I first got interested in LLMs and TLA+ from The Coming AI Revolution in Distributed Systems. The author of that later vibecoded a spec with a considerably more complex property:
Волочкова обратилась к новому худруку Михайловского театра20:52
，这一点在WhatsApp Web 網頁版登入中也有详细论述
ВсеОбществоПолитикаПроисшествияРегионыМосква69-я параллельМоя страна
Глава МИД Польши призвал Европу исправить одну ошибку14:54