41554 blogs · [ { "id": "01a087ca-98c3-7158-b18f-6d6fb89d7fc3", "title": "Proving safety of Tendermint consensus with Apalache and AI", "url": "https://protocols-made-fun.com/tendermint-safety.html?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed", "published_at": "2026-07-23T00:00:00+00:00" }, { "id": "01a087ca-98c3-7158-b18f-6d6fb9385b26", "title": "Formal proofs for distributed protocols with AI may be closer than you think", "url": "https://protocols-made-fun.com/proofs-are-closer.html?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed", "published_at": "2026-06-26T00:00:00+00:00" }, { "id": "01a087ca-98c3-7158-b18f-6d6fb9bca217", "title": "Extracting formal specifications from Apache ZooKeeper with AI tools and Apalache", "url": "https://protocols-made-fun.com/zookeeper-testing.html?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed", "published_at": "2026-05-26T00:00:00+00:00" }, { "id": "01a087ca-98c3-7158-b18f-6d6fb9e5b964", "title": "TLC breadth-first search vs random simulation", "url": "https://protocols-made-fun.com/tlc-vs-simulation.html?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed", "published_at": "2026-04-30T00:00:00+00:00" }, { "id": "01a087ca-98c3-7158-b18f-6d6fba30a8c5", "title": "Specification debugging as code generation", "url": "https://protocols-made-fun.com/debug-as-code-generation.html?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed", "published_at": "2026-03-23T00:00:00+00:00" }, { "id": "01a087ca-98c3-7158-b18f-6d6fbaa05072", "title": "All you need is a simulator? Nope", "url": "https://protocols-made-fun.com/random-walks.html?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed", "published_at": "2026-03-09T00:00:00+00:00" }, { "id": "01a087ca-98c4-73d1-b286-600d24b5335a", "title": "AI-generated shovels or second-order slop?", "url": "https://protocols-made-fun.com/second-order-slop.html?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed", "published_at": "2026-02-12T00:00:00+00:00" }, { "id": "01a087ca-98c4-73d1-b286-600d25a6cb82", "title": "Property-based testing, adversarial developers, and LLMs", "url": "https://protocols-made-fun.com/pbt-adversarial-llms.html?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed", "published_at": "2025-12-22T00:00:00+00:00" }, { "id": "01a087ca-98c4-73d1-b286-600d25b3fb4d", "title": "Interactive Symbolic Testing of TFTP with TLA+ and Apalache", "url": "https://protocols-made-fun.com/tftp-symbolic-testing.html?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed", "published_at": "2025-12-15T00:00:00+00:00" }, { "id": "01a087ca-98c4-73d1-b286-600d2619639b", "title": "Formal Verification of the Aztec Governance Protocol", "url": "https://protocols-made-fun.com/aztec-governance.html?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed", "published_at": "2025-12-09T00:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/protocols-made-fun.com/posts