New blog post! ✨ I argue that AI will make formal verification go mainstream. martin.kleppmann.com/2025/12/08/a...
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
А это так и задумано?
Ай
Это не военное преступление если тебе было стыдно
Друзья! У моей первой полноценной игры, аркадной головоломки Robot Detour, появилась страница в Steam! 🎉
Новый трейлер, обновлённый внешний вид, красивейший постер, но главное — наконец-то есть страница в стиме!!!
Буду очень рад вишлистам и репостам 🙏
store.steampowered.com/app/2666840/...
Какие?
Ресторан, в котором лепра - ещё та
Вот тебе тогда картинка от аихриста
Тмнт интендед?
Проклятый старый ХУЙ
Спасибо
> Russianы
Я бы да
Классическая ошибка.
Кто здесь
