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/...

Классическая ошибка.

Кто здесь