corpus.blog
41554 blogs · [ { "id": "01a0d74b-183e-70d4-a0b2-ec585f4b320d", "title": "The Capacity Paradox", "url": "https://blog.stackdump.com/posts/capacity-paradox", "published_at": "2026-09-16T00:00:00+00:00" }, { "id": "01a08754-616e-71c0-9aa3-b80942345fa7", "title": "Byte-Exact Across Four Languages", "url": "https://blog.stackdump.com/posts/byte-exact-across-four-languages", "published_at": "2026-09-04T00:00:00+00:00" }, { "id": "01a08754-616e-71c0-9aa3-b80942e89fbf", "title": "A Tiling for Computation", "url": "https://blog.stackdump.com/posts/metamodel", "published_at": "2026-08-23T00:00:00+00:00" }, { "id": "01a08754-616e-71c0-9aa3-b8094326f404", "title": "Building ZK Poker: Four Petri Nets and a Branchless Circuit", "url": "https://blog.stackdump.com/posts/building-zk-poker", "published_at": "2026-08-22T00:00:00+00:00" }, { "id": "01a08754-616e-71c0-9aa3-b809436338a4", "title": "The Model Is the App", "url": "https://blog.stackdump.com/posts/model-is-the-app", "published_at": "2026-08-22T00:00:00+00:00" }, { "id": "01a08754-616e-71c0-9aa3-b809438f4a2e", "title": "A Generator You Can Read", "url": "https://blog.stackdump.com/posts/generator-you-can-read", "published_at": "2026-08-22T00:00:00+00:00" }, { "id": "01a08754-616e-71c0-9aa3-b809439911c4", "title": "The Obligation Triangle", "url": "https://blog.stackdump.com/posts/obligation-triangle", "published_at": "2026-08-22T00:00:00+00:00" }, { "id": "01a08754-616e-71c0-9aa3-b809444c1282", "title": "From Petri-net toy to jambox: 38 days of beats.bitwrap.io", "url": "https://blog.stackdump.com/posts/beats-evolution", "published_at": "2026-08-22T00:00:00+00:00" }, { "id": "01a08754-616e-71c0-9aa3-b80945477b75", "title": "Peerage Is an Automorphism", "url": "https://blog.stackdump.com/posts/peerage-invariant", "published_at": "2026-08-22T00:00:00+00:00" }, { "id": "01a08754-616e-71c0-9aa3-b8094570e2dd", "title": "Structuralism, Not Objects: Dirac Deltas, Algebraic Effects, and Why C Comes First", "url": "https://blog.stackdump.com/posts/structuralism-not-objects", "published_at": "2026-08-20T00:00:00+00:00" }, { "id": "01a08754-616f-7053-8298-444eb339ddab", "title": "The Proof Form: When a Theorem Is Just Another Port", "url": "https://blog.stackdump.com/posts/proof-form", "published_at": "2026-08-02T00:00:00+00:00" }, { "id": "01a08754-616f-7053-8298-444eb426115a", "title": "f004 Is Older Than My Daughter", "url": "https://blog.stackdump.com/posts/f004", "published_at": "2026-07-30T00:00:00+00:00" }, { "id": "01a08754-616f-7053-8298-444eb42c685c", "title": "cdn.stackdump.com Is a Polydocument Host", "url": "https://blog.stackdump.com/posts/polydocument-host", "published_at": "2026-07-06T00:00:00+00:00" }, { "id": "01a08754-616f-7053-8298-444eb4f0b641", "title": "beats.bitwrap.io is a Jambox Now", "url": "https://blog.stackdump.com/posts/beats-launch-jambox", "published_at": "2026-04-30T00:00:00+00:00" }, { "id": "01a08754-616f-7053-8298-444eb58a2aea", "title": "A browser music sequencer where every note is a Petri-net transition firing", "url": "https://blog.stackdump.com/posts/petri-net-runtime", "published_at": "2026-04-30T00:00:00+00:00" }, { "id": "01a08754-616f-7053-8298-444eb67ff852", "title": "Brouwer Ordinals and the Shape of a Witness", "url": "https://blog.stackdump.com/posts/alpha-decidability-past-tense", "published_at": "2026-04-16T00:00:00+00:00" }, { "id": "01a08754-616f-7053-8298-444eb71d8a22", "title": "The Pflow Square", "url": "https://blog.stackdump.com/posts/pflow-square", "published_at": "2026-04-07T00:00:00+00:00" }, { "id": "01a08754-616f-7053-8298-444eb7e8db63", "title": "The Zipper Whose Hole Is a Universe", "url": "https://blog.stackdump.com/posts/tense-type-theory", "published_at": "2026-04-04T00:00:00+00:00" }, { "id": "01a08754-616f-7053-8298-444eb8aac1d9", "title": "The Little Language Thesis", "url": "https://blog.stackdump.com/posts/little-language-thesis", "published_at": "2026-03-28T00:00:00+00:00" }, { "id": "01a08754-616f-7053-8298-444eb8bfe3e2", "title": "Petri Nets as a Music Sequencer", "url": "https://blog.stackdump.com/posts/petri-net-sequencer", "published_at": "2026-03-25T00:00:00+00:00" }, { "id": "01a08754-616f-7053-8298-444eb94be149", "title": "ZK Polls: Voting as a Visible State Machine", "url": "https://blog.stackdump.com/posts/zk-polls-voting-as-state-machine", "published_at": "2026-03-19T00:00:00+00:00" } ] posts Claim your blog
Back to blog.stackdump.com
Blog · corpus.blog/blogs/blog.stackdump.com/posts

blog.stackdump.com

blog.stackdump.com

2026

The Capacity Paradoxoriginal ↗
16 Sept 2026
Byte-Exact Across Four Languagesoriginal ↗
4 Sept 2026
A Tiling for Computationoriginal ↗
23 Aug 2026
Building ZK Poker: Four Petri Nets and a Branchless Circuitoriginal ↗
22 Aug 2026
The Model Is the Apporiginal ↗
22 Aug 2026
A Generator You Can Readoriginal ↗
22 Aug 2026
The Obligation Triangleoriginal ↗
22 Aug 2026
From Petri-net toy to jambox: 38 days of beats.bitwrap.iooriginal ↗
22 Aug 2026
Peerage Is an Automorphismoriginal ↗
22 Aug 2026
Structuralism, Not Objects: Dirac Deltas, Algebraic Effects, and Why C Comes Firstoriginal ↗
20 Aug 2026
The Proof Form: When a Theorem Is Just Another Portoriginal ↗
2 Aug 2026
f004 Is Older Than My Daughteroriginal ↗
30 Jul 2026
cdn.stackdump.com Is a Polydocument Hostoriginal ↗
6 Jul 2026
beats.bitwrap.io is a Jambox Noworiginal ↗
30 Apr 2026
A browser music sequencer where every note is a Petri-net transition firingoriginal ↗
30 Apr 2026
Brouwer Ordinals and the Shape of a Witnessoriginal ↗
16 Apr 2026
The Pflow Squareoriginal ↗
7 Apr 2026
The Zipper Whose Hole Is a Universeoriginal ↗
4 Apr 2026
The Little Language Thesisoriginal ↗
28 Mar 2026
Petri Nets as a Music Sequenceroriginal ↗
25 Mar 2026
ZK Polls: Voting as a Visible State Machineoriginal ↗
19 Mar 2026