leodemoura.github.io
۲۶ مهر
عرضه ابزار Lean همراه با هسته‌های اثبات‌گر تأییدشده برای مقابله با خطاهای امنیتی
زبان Lean با انتشار نسخه v4.35.0 و دستور lake check، هسته‌های اثبات‌گر جدید و تأییدشده‌ای را برای مقابله با آسیب‌پذیری‌های کشف‌شده توسط عامل‌های هوش مصنوعی ارائه کرده است. این به‌روزرسانی با استفاده از رویکردهای صوری و هسته‌های جایگزین، امنیت بررسی اثبات‌ها را به شکل چشمگیری افزایش می‌دهد.
۲۰۴ امتیاز
۸۰ نظر
۳ دقیقه
danieltemkin.com
۲۴ مهر
زبان برنامه‌نویسی Folders؛ وقتی کدهای شما فقط پوشه‌های تو در تو هستند
زبان برنامه‌نویسی Folders یک زبان غیرمتنی و عجیب (Esolang) است که در آن کدهای برنامه صرفاً از ساختار تو در تو و ترتیب پوشه‌ها تشکیل شده‌اند. این ایده جذاب و جنون‌آمیز، نشان می‌دهد که چگونه می‌توان منطق محاسباتی را بدون نوشتن حتی یک خط متن پیاده‌سازی کرد.
۲۱۶ امتیاز
۳۸ نظر
۳ دقیقه