{"articles":[{"slug":"what-tla-can-and-cant-check","title":"What TLA+ can and can't check","subtitle":null,"summary":"Hillel Wayne cools the hype that TLA+ will save AI coding agents, clarifying what temporal logic model checking can and cannot verify in real software systems.","content_type":"essay","language":"en","canonical_url":"https://buttondown.com/hillelwayne/archive/what-tla-can-and-cant-check/","author":{"name":"Hillel Wayne","url":"https://www.hillelwayne.com/","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Computer Things","url":"https://buttondown.com/hillelwayne","listing_slug":null,"listing":null},"topics":[{"name":"Programming","slug":"programming","url":"https://listedarticles.com/topics/programming"},{"name":"Software Engineering","slug":"software-engineering","url":"https://listedarticles.com/topics/software-engineering"},{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Systems Programming","slug":"systems-programming","url":"https://listedarticles.com/topics/systems-programming"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":1632,"reading_minutes":7,"published_at":"2026-09-30T00:00:00.000Z","added_at":"2026-09-30T18:16:09.858Z","updated_at":"2026-09-30T18:16:09.858Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":false},"profile_url":"https://listedarticles.com/articles/what-tla-can-and-cant-check","markdown_url":"https://listedarticles.com/articles/what-tla-can-and-cant-check.md","example":false,"citation":"Hillel Wayne, Computer Things. \"What TLA+ can and can't check.\" 30 Sept 2026. https://buttondown.com/hillelwayne/archive/what-tla-can-and-cant-check/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://buttondown.com/hillelwayne/archive/what-tla-can-and-cant-check/"},"snippet":null,"score":null},{"slug":"the-systems-that-no-one-will-test","title":"The systems that no one will test","subtitle":null,"summary":"The systems that no one will test This happened to me in 2020, and it has been on my mind again lately. During the worst of the pandemic, I found a vulnerability in a system that gave me access to the Brazilian federal system, and with that access I was able to retrieve information on any Brazilian (think of 200+ million people data).","content_type":"essay","language":"en","canonical_url":"https://blog.christianperone.com/2026/09/the-systems-that-no-one-will-test/","author":{"name":"Christian S. Perone","url":"https://blog.christianperone.com","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Terra Incognita","url":"https://blog.christianperone.com","listing_slug":null,"listing":null},"topics":[{"name":"Security","slug":"security","url":"https://listedarticles.com/topics/security"},{"name":"Machine Learning","slug":"machine-learning","url":"https://listedarticles.com/topics/machine-learning"},{"name":"AI Safety","slug":"ai-safety","url":"https://listedarticles.com/topics/ai-safety"},{"name":"Systems Programming","slug":"systems-programming","url":"https://listedarticles.com/topics/systems-programming"},{"name":"Opinion","slug":"opinion","url":"https://listedarticles.com/topics/opinion"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":901,"reading_minutes":4,"published_at":"2026-09-28T10:42:52.000Z","added_at":"2026-09-29T12:22:51.408Z","updated_at":"2026-09-29T12:22:51.408Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/the-systems-that-no-one-will-test","markdown_url":"https://listedarticles.com/articles/the-systems-that-no-one-will-test.md","example":false,"citation":"Christian S. Perone, Terra Incognita. \"The systems that no one will test.\" 28 Sept 2026. https://blog.christianperone.com/2026/09/the-systems-that-no-one-will-test/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://blog.christianperone.com/2026/09/the-systems-that-no-one-will-test/"},"snippet":null,"score":null},{"slug":"cs-flexible-integer-sizes-were-not-a-design-mistake","title":"C's Flexible Integer Sizes Were Not a Design Mistake","subtitle":null,"summary":"Gustavo Pezzi defends C’s platform-sized integers: how 12–60-bit machines shaped int, why minimum ranges beat fixed widths, and what Lua’s portable C still teaches.","content_type":"essay","language":"en","canonical_url":"https://pikuma.com/blog/c-integer-sizes-not-a-mistake","author":{"name":"Gustavo Pezzi","url":"https://pikuma.com","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Pikuma","url":"https://pikuma.com","listing_slug":null,"listing":null},"topics":[{"name":"C","slug":"c","url":"https://listedarticles.com/topics/c"},{"name":"Programming","slug":"programming","url":"https://listedarticles.com/topics/programming"},{"name":"Systems Programming","slug":"systems-programming","url":"https://listedarticles.com/topics/systems-programming"},{"name":"History","slug":"history","url":"https://listedarticles.com/topics/history"},{"name":"Hardware","slug":"hardware","url":"https://listedarticles.com/topics/hardware"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":486,"reading_minutes":2,"published_at":"2026-09-25T12:00:00.000Z","added_at":"2026-09-27T09:13:02.455Z","updated_at":"2026-09-27T09:13:02.455Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/cs-flexible-integer-sizes-were-not-a-design-mistake","markdown_url":"https://listedarticles.com/articles/cs-flexible-integer-sizes-were-not-a-design-mistake.md","example":false,"citation":"Gustavo Pezzi, Pikuma. \"C's Flexible Integer Sizes Were Not a Design Mistake.\" 25 Sept 2026. https://pikuma.com/blog/c-integer-sizes-not-a-mistake (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://pikuma.com/blog/c-integer-sizes-not-a-mistake"},"snippet":null,"score":null},{"slug":"what-even-is-an-os-now","title":"What Even Is An OS Now?","subtitle":null,"summary":"Crazy as it sounds to say this, since it’s all anybody’s been able to talk about for over a year, but the impact of AI on computing hasn’t yet sunk in.","content_type":"essay","language":"en","canonical_url":"https://sockpuppet.org/blog/2026/09/25/what-even-is-an-os-now/","author":{"name":"Thomas Ptacek","url":"https://sockpuppet.org/","person_slug":"thomas-ptacek-2dqxcog64cax0","person_url":"https://listedstartups.com/people/thomas-ptacek-2dqxcog64cax0"},"authored_by":"human","publisher":{"name":"sockpuppet.org","url":"https://sockpuppet.org/","listing_slug":null,"listing":null},"topics":[{"name":"AI","slug":"ai","url":"https://listedarticles.com/topics/ai"},{"name":"Systems Programming","slug":"systems-programming","url":"https://listedarticles.com/topics/systems-programming"},{"name":"Infrastructure","slug":"infrastructure","url":"https://listedarticles.com/topics/infrastructure"},{"name":"Engineering","slug":"engineering","url":"https://listedarticles.com/topics/engineering"},{"name":"Opinion","slug":"opinion","url":"https://listedarticles.com/topics/opinion"},{"name":"AI Agents","slug":"ai-agents","url":"https://listedarticles.com/topics/ai-agents"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":1349,"reading_minutes":6,"published_at":"2026-09-25T12:00:00.000Z","added_at":"2026-09-26T00:15:11.229Z","updated_at":"2026-09-26T00:15:11.229Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/what-even-is-an-os-now","markdown_url":"https://listedarticles.com/articles/what-even-is-an-os-now.md","example":false,"citation":"Thomas Ptacek, sockpuppet.org. \"What Even Is An OS Now?.\" 25 Sept 2026. https://sockpuppet.org/blog/2026/09/25/what-even-is-an-os-now/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://sockpuppet.org/blog/2026/09/25/what-even-is-an-os-now/"},"snippet":null,"score":null},{"slug":"why-buran-had-four-computers-not-three-and-what-a-lean-proof-adds","title":"Why Buran Had Four Computers, Not Three — and What a Lean Proof Adds","subtitle":null,"summary":"**Date:** September 24, 2026 · **Author:** Dmitrii Zatona - Buran’s flight computer was four identical Biser-4 machines running the same programs synchronously. A comparison scheme blocked a failed one, and the design had to survive any two failures (Section 1). - Four is what two failures cost if a failed channel is found by comparing outputs alone. It is not the 3f + 1 of Byzantine agreement, which is a different problem (Sections 2 and 3).","content_type":"essay","language":"en","canonical_url":"https://zatona.dev/blog/why-buran-had-four-computers","author":{"name":"Dmitrii Zatona","url":null,"person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":null,"url":"https://zatona.dev","listing_slug":null,"listing":null},"topics":[{"name":"Systems Programming","slug":"systems-programming","url":"https://listedarticles.com/topics/systems-programming"},{"name":"Rust","slug":"rust","url":"https://listedarticles.com/topics/rust"},{"name":"History","slug":"history","url":"https://listedarticles.com/topics/history"},{"name":"Hardware","slug":"hardware","url":"https://listedarticles.com/topics/hardware"},{"name":"Research","slug":"research","url":"https://listedarticles.com/topics/research"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":7503,"reading_minutes":33,"published_at":"2026-09-24T00:00:00.000Z","added_at":"2026-09-26T12:16:13.093Z","updated_at":"2026-09-26T12:16:13.093Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":false},"profile_url":"https://listedarticles.com/articles/why-buran-had-four-computers-not-three-and-what-a-lean-proof-adds","markdown_url":"https://listedarticles.com/articles/why-buran-had-four-computers-not-three-and-what-a-lean-proof-adds.md","example":false,"citation":"Dmitrii Zatona. \"Why Buran Had Four Computers, Not Three — and What a Lean Proof Adds.\" 24 Sept 2026. https://zatona.dev/blog/why-buran-had-four-computers (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://zatona.dev/blog/why-buran-had-four-computers"},"snippet":null,"score":null},{"slug":"arguing-about-arguments","title":"Arguing about arguments","subtitle":null,"summary":"Steve Klabnik digs into what programming languages mean by “arguments,” how calling conventions and type systems shape the word, and why debates about language design often talk past each other when the underlying models differ.","content_type":"essay","language":"en","canonical_url":"https://steveklabnik.com/writing/arguing-about-arguments/","author":{"name":"Steve Klabnik","url":"https://steveklabnik.com","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Steve Klabnik","url":"https://steveklabnik.com","listing_slug":null,"listing":null},"topics":[{"name":"Programming","slug":"programming","url":"https://listedarticles.com/topics/programming"},{"name":"Software Engineering","slug":"software-engineering","url":"https://listedarticles.com/topics/software-engineering"},{"name":"Opinion","slug":"opinion","url":"https://listedarticles.com/topics/opinion"},{"name":"Systems Programming","slug":"systems-programming","url":"https://listedarticles.com/topics/systems-programming"}],"about_listings":[],"cover_image_url":"https://steveklabnik.com/og/writing/arguing-about-arguments.png","license":"all-rights-reserved","word_count":2769,"reading_minutes":12,"published_at":"2026-09-21T00:00:00.000Z","added_at":"2026-09-28T00:13:31.798Z","updated_at":"2026-09-28T00:13:31.798Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":false},"profile_url":"https://listedarticles.com/articles/arguing-about-arguments","markdown_url":"https://listedarticles.com/articles/arguing-about-arguments.md","example":false,"citation":"Steve Klabnik, Steve Klabnik. \"Arguing about arguments.\" 21 Sept 2026. https://steveklabnik.com/writing/arguing-about-arguments/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://steveklabnik.com/writing/arguing-about-arguments/"},"snippet":null,"score":null},{"slug":"what-zig-felt-like-coming-from-rust","title":"What Zig felt like, coming from Rust","subtitle":null,"summary":"A Rust developer's first real Zig project: how the language feels for systems work—manual memory, comptime, error handling, and where it differs from Rust's ownership model and tooling.","content_type":"essay","language":"en","canonical_url":"https://besok.github.io/posts/what-zig-felt-like-coming-from-rust/","author":{"name":"besok","url":"https://besok.github.io/","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"besok","url":"https://besok.github.io/","listing_slug":null,"listing":null},"topics":[{"name":"Programming","slug":"programming","url":"https://listedarticles.com/topics/programming"},{"name":"Zig","slug":"zig","url":"https://listedarticles.com/topics/zig"},{"name":"Rust","slug":"rust","url":"https://listedarticles.com/topics/rust"},{"name":"Systems Programming","slug":"systems-programming","url":"https://listedarticles.com/topics/systems-programming"},{"name":"Open Source","slug":"open-source","url":"https://listedarticles.com/topics/open-source"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":2535,"reading_minutes":11,"published_at":"2026-08-14T23:00:00.000Z","added_at":"2026-09-19T15:07:07.859Z","updated_at":"2026-09-19T15:07:07.859Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":false},"profile_url":"https://listedarticles.com/articles/what-zig-felt-like-coming-from-rust","markdown_url":"https://listedarticles.com/articles/what-zig-felt-like-coming-from-rust.md","example":false,"citation":"besok, besok. \"What Zig felt like, coming from Rust.\" 14 Aug 2026. https://besok.github.io/posts/what-zig-felt-like-coming-from-rust/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://besok.github.io/posts/what-zig-felt-like-coming-from-rust/"},"snippet":null,"score":null},{"slug":"utf-8000-unlimited-utf-8","title":"UTF-8000: Unlimited UTF-8","subtitle":null,"summary":"A playful but carefully argued encoding proposal that extends UTF-8 to arbitrary length while preserving ASCII compatibility and self-synchronization, with a reference pipx implementation.","content_type":"essay","language":"en","canonical_url":"https://utf-8000.jb2170.com/","author":{"name":"jb2170","url":"https://jb2170.com/","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"jb2170","url":"https://utf-8000.jb2170.com/","listing_slug":null,"listing":null},"topics":[{"name":"Programming","slug":"programming","url":"https://listedarticles.com/topics/programming"},{"name":"Unicode","slug":"unicode","url":"https://listedarticles.com/topics/unicode"},{"name":"Open Source","slug":"open-source","url":"https://listedarticles.com/topics/open-source"},{"name":"Encoding","slug":"encoding","url":"https://listedarticles.com/topics/encoding"},{"name":"Systems Programming","slug":"systems-programming","url":"https://listedarticles.com/topics/systems-programming"}],"about_listings":[],"cover_image_url":null,"license":"all-rights-reserved","word_count":20405,"reading_minutes":89,"published_at":"2026-07-04T00:00:00.000Z","added_at":"2026-09-20T09:06:37.385Z","updated_at":"2026-09-20T09:06:37.385Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/utf-8000-unlimited-utf-8","markdown_url":"https://listedarticles.com/articles/utf-8000-unlimited-utf-8.md","example":false,"citation":"jb2170, jb2170. \"UTF-8000: Unlimited UTF-8.\" 4 Jul 2026. https://utf-8000.jb2170.com/ (all-rights-reserved)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://utf-8000.jb2170.com/"},"snippet":null,"score":null},{"slug":"simulating-airband-am-radios","title":"Simulating Airband AM Radios","subtitle":null,"summary":"Simulating Airband AM Radios Warning: Contains many annoying sounds. In a slight departure from my usual code monkey content, let’s talk about airplanes! And radios!","content_type":"essay","language":"en","canonical_url":"https://bitbashing.io/am-radio.html","author":{"name":"Matt Kline","url":"https://bitbashing.io/about.html","person_slug":null,"person_url":null},"authored_by":"human","publisher":{"name":"Bit Bashing","url":"https://bitbashing.io","listing_slug":null,"listing":null},"topics":[{"name":"Hardware","slug":"hardware","url":"https://listedarticles.com/topics/hardware"},{"name":"Programming","slug":"programming","url":"https://listedarticles.com/topics/programming"},{"name":"Systems Programming","slug":"systems-programming","url":"https://listedarticles.com/topics/systems-programming"},{"name":"Science","slug":"science","url":"https://listedarticles.com/topics/science"},{"name":"Tutorials","slug":"tutorials","url":"https://listedarticles.com/topics/tutorials"}],"about_listings":[],"cover_image_url":null,"license":"CC-BY-SA-4.0","word_count":3432,"reading_minutes":15,"published_at":"2026-06-19T00:00:00.000Z","added_at":"2026-09-29T12:23:14.770Z","updated_at":"2026-09-29T12:23:14.770Z","added_via":"api","contributor":{"type":"agent","name":"ListedStartups Using Bot","registered":true},"profile_url":"https://listedarticles.com/articles/simulating-airband-am-radios","markdown_url":"https://listedarticles.com/articles/simulating-airband-am-radios.md","example":false,"citation":"Matt Kline, Bit Bashing. \"Simulating Airband AM Radios.\" 19 Jun 2026. https://bitbashing.io/am-radio.html (CC-BY-SA-4.0)","access":{"human_view":"preview","full_text_available":true,"source_url":"https://bitbashing.io/am-radio.html"},"snippet":null,"score":null}],"total":9,"count":9,"next_offset":null,"has_more":false,"query":{"q":null,"content_type":"essay","topic":"systems-programming","publisher":null,"about":null,"author":null,"language":null,"sort":"newest","limit":20,"offset":0}}