Stories by Max-Ganz-II

I benchmarked a TDD-enforcing Claude Code plugin. It didn't write better code

Show HN: Can an AI agent bypass a post-quantum signed authorization policy?

We are all Product Engineers Now

Can you make the machine break the rules? – A public authorization challenge

Show HN: Moe-Direct – MoE Models far larger than your RAM, on a consumer desktop

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

1 2 3 4 5 6 7 8 9