Stories by max-ch

We Lost Reading

An introduction to formal proof verification and the Curry-Howard Correspondence

Curry-Howard Correspondence – How proof assistants work [pdf]

Show HN: A Sims-style house builder in the browser (Three.js, no back end)

Zero Knowledge Tolstoyan Art

Show HN: Open database of 2k IP camera specs (JSON/CSV, CC0)

Show HN: Wolli – agents that extend themselves around a job

How to build a GitHub code review agent

Current ListenBrainz server issues/high load, Part 2

Show HN: Create agents that grow to fulfill their purpose

Some Intuition Behind the Contrapositive

Celebrated British artist David Hockney dies aged 88

Show HN: Billoop – generate Factur-X and UBL e-invoices from Shopify orders

Show HN: A benchmark where LLMs make memes from current news

Show HN: Mimik – open-source local-first alternative to Scribe and Tango

I benchmarked Claude Code's caveman plugin against "be brief."

Show HN: OCP v3.4 – Share your Claude Pro/Max subscription over LAN ($0 extra)

Turing Machines and Formal Computation

OpenClaw vs. Amazon Quick Suite

Memory Continuity: Zero-Dep Markdown Session Persistence for OpenClaw

1 2 3 4 5 6 7 8 9 10