Stories by max-andr

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

High growth startups are full contact sports

Show HN: Gochan – A library of channel architectures for Go, inspired by Rust

Documenting my immigrant founder's journey in the Bay Area

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

Show HN: Kstack – Skill pack for monitoring/troubleshooting K8s in Claude Code

1 2 3 4 5 6 7 8 9 10