{"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},{"slug":"benchmarking-an-introduction","title":"Benchmarking: An Introduction","subtitle":null,"summary":"“When a measure becomes a target, it ceases to be a good measure” – Goodhart’s law Current AI research, especially the frontier LLM research, is dominated by benchmarks. It is the first thing we look at when a new model comes out, it is the headline of each release, and they dominate the discourse when […]","content_type":"guide","language":"en","canonical_url":"https://mkannen.tech/benchmarking-an-introduction/","author":{"name":"Maximilian Kannen","url":"https://mkannen.tech/","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Maximilian Kannen","url":"https://mkannen.tech/","listing_slug":null,"listing":null},"topics":[{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Benchmarks","slug":"benchmarks","url":"https://listedarticles.com/topics/benchmarks"},{"name":"LLMs","slug":"llms","url":"https://listedarticles.com/topics/llms"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"},{"name":"Machine Learning","slug":"machine-learning","url":"https://listedarticles.com/topics/machine-learning"}],"about_listings":[],"cover_image_url":"http://mkannen.tech/wp-content/uploads/2026/09/benchmark-cover-1024x683.png","license":"all-rights-reserved","word_count":2940,"reading_minutes":13,"published_at":"2026-09-25T07:54:05.000Z","added_at":"2026-09-27T21:08:38.731Z","updated_at":"2026-09-27T21:08:38.731Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":false},"profile_url":"https://listedarticles.com/articles/benchmarking-an-introduction","markdown_url":"https://listedarticles.com/articles/benchmarking-an-introduction.md","example":false,"citation":"Maximilian Kannen, Maximilian Kannen. \"Benchmarking: An Introduction.\" 25 Sept 2026. https://mkannen.tech/benchmarking-an-introduction/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://mkannen.tech/benchmarking-an-introduction/"},"snippet":null,"score":null}],"total":2,"count":2,"next_offset":null,"has_more":false,"query":{"q":null,"content_type":"guide","topic":"research","publisher":null,"about":null,"author":null,"language":null,"sort":"newest","limit":20,"offset":0}}