41554 blogs · [ { "id": "01a08c62-a37f-7090-883e-5209816e2182", "title": "Transactional Programming Models", "url": "https://will62794.github.io/databases/transactions/programming/2026/05/25/transactional-programming.html", "published_at": "2026-05-25T00:00:00+00:00" }, { "id": "01a08c62-a37f-7090-883e-520982166069", "title": "Towards Autonomous Protocol Proofs", "url": "https://will62794.github.io/formal-methods/2026/04/03/autonomous-protocol-proofs.html", "published_at": "2026-04-03T00:00:00+00:00" }, { "id": "01a08c62-a37f-7090-883e-520982e55c39", "title": "Canonicalized Distributed Protocol Specs", "url": "https://will62794.github.io/distributed-systems/2026/03/07/canonical-dist-protocols.html", "published_at": "2026-03-07T00:00:00+00:00" }, { "id": "01a08c62-a37f-7090-883e-52098341e129", "title": "Verified Transpilation with Claude", "url": "https://will62794.github.io/verification/llms/compilation/2026/01/20/bespoke-compilation.html", "published_at": "2026-01-20T00:00:00+00:00" }, { "id": "01a08c62-a37f-7090-883e-520983733bfb", "title": "Git for Transactions", "url": "https://will62794.github.io/databases/transactions/isolation/2025/10/14/git-for-transactions.html", "published_at": "2025-10-14T00:00:00+00:00" }, { "id": "01a08c62-a37f-7090-883e-520983813955", "title": "On Writing, Specification, and Outputs", "url": "https://will62794.github.io/formal-methods/specification/writing/2025/09/19/on-writing-and-specification.html", "published_at": "2025-09-19T00:00:00+00:00" }, { "id": "01a08c62-a37f-7090-883e-520983e9dcfd", "title": "Logless Raft", "url": "https://will62794.github.io/distributed-systems/consensus/2025/08/25/logless-raft.html", "published_at": "2025-08-25T00:00:00+00:00" }, { "id": "01a08c62-a37f-7090-883e-520984dad2a2", "title": "Simple Serializable Snapshot Isolation", "url": "https://will62794.github.io/databases/transactions/isolation/2025/05/13/simple-serializable-snapshot-isolation.html", "published_at": "2025-05-13T00:00:00+00:00" }, { "id": "01a08c62-a37f-7090-883e-520985145cfa", "title": "Transactions as Transformers", "url": "https://will62794.github.io/databases/transactions/isolation/2025/05/04/transformers-not-transactions.html", "published_at": "2025-05-04T00:00:00+00:00" }, { "id": "01a08c62-a380-7196-bc2f-c44fd6a38422", "title": "Modern Views of Transaction Isolation", "url": "https://will62794.github.io/formal-methods/specification/2025/03/17/transaction-isolation-models.html", "published_at": "2025-03-17T00:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/will62794.github.io/posts