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.
Grace pictured supporting Robert Mugabe, aged 93, days before he was ousted as president in 2017
。whatsapp对此有专业解读
Alireza Salarian says Iran’s new supreme leader was lucky to survive strike that killed six of his family members。手游是该领域的重要参考
Поездка Трампа в Китай столкнулась с неопределенностью08:47。WhatsApp Web 網頁版登入是该领域的重要参考
Continue reading...