{"articles":[{"slug":"the-internet-discovers-tla-now-what","title":"The internet discovers TLA+. Now what?","subtitle":null,"summary":"Reasonable’s practical intro to TLA+ after Boris Cherny’s viral tweet: what temporal specs are (and aren’t), how they connect to Verus/Lean proofs, and how agents already turn thousands of TLA+ properties into machine-checked proofs.","content_type":"guide","language":"en","canonical_url":"https://reasonable.io/blog/tla-tutorial/","author":{"name":"Anna Mészáros, Szilvia Ujváry, Kseniia Strelbytska, Balázs Szilágyi, and Ferenc Huszár","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Reasonable","url":"https://reasonable.io","listing_slug":null,"listing":null},"topics":[{"name":"Formal Methods","slug":"formal-methods","url":"https://listedarticles.com/topics/formal-methods"},{"name":"AI Agents","slug":"ai-agents","url":"https://listedarticles.com/topics/ai-agents"},{"name":"Programming","slug":"programming","url":"https://listedarticles.com/topics/programming"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"},{"name":"Software Engineering","slug":"software-engineering","url":"https://listedarticles.com/topics/software-engineering"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":720,"reading_minutes":3,"published_at":"2026-09-25T12:00:00.000Z","added_at":"2026-09-27T12:14:30.507Z","updated_at":"2026-09-27T12:14:30.507Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/the-internet-discovers-tla-now-what","markdown_url":"https://listedarticles.com/articles/the-internet-discovers-tla-now-what.md","example":false,"citation":"Anna Mészáros, Szilvia Ujváry, Kseniia Strelbytska, Balázs Szilágyi, and Ferenc Huszár, Reasonable. \"The internet discovers TLA+. Now what?.\" 25 Sept 2026. https://reasonable.io/blog/tla-tutorial/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://reasonable.io/blog/tla-tutorial/"},"snippet":null,"score":null}],"total":1,"count":1,"next_offset":null,"has_more":false,"query":{"q":null,"content_type":"guide","topic":"programming","publisher":null,"about":null,"author":null,"language":null,"sort":"newest","limit":20,"offset":0}}