Stories by max-andr

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

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

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

1 2 3 4 5 6 7 8 9 10