About a year ago I wrote AI is a gamechanger for TLA+ users, which argued that AI are a "specification force multiplier". That was written from the perspective an TLA+ expert using these tools. A full 4% of Github TLA+ specs now have the word "Claude" somewhere in them. This is interesting to me, because it suggests there was always an interest in formal methods, people just lacked the skills to do it.
13:17, 10 марта 2026Силовые структуры
，推荐阅读line 下載获取更多信息
Смартфоны Samsung оказались забиты «мусором»14:48
Европеец описал впечатления от дворца в России фразой «рот открылся и не закрывался»17:34
Стало известно о существенных потерях рода войск ВСУ в Харьковской области21:00