Stories by Max-q

Show HN: A minimal implementation of LLM output watermarking

Show HN: A distributed experiment in structured prime search

We Lost Reading

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

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

Zero Knowledge Tolstoyan Art

Current ListenBrainz server issues/high load, Part 2

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

The Missing Equation of Quantum Biology

OCP – Use your Claude Pro/Max subscription as an OpenAI-compatible API($0 extra)

I tested all 5M-KEM implementations for timing leaks on Apple M4 Pro

1 2 3 4 5 6 7 8 9 10