Stories by baby-yoda

Explainer of the most widely used zero-knowledge proof system

Breaking Jolt's Verifier with an Unbound Uni-Skip Claim

Show HN: Coding agents can control desktop software without MCPs

Groth16, Intuitively

The Final Form of Software Development

Sum-Check as an Algebraic Tensor Reduction: Part I

Ghostmd: Ghostty but for Markdown Notes

I Built an Agent to Fix Context Issues

Molt Road – Silk Road for Agents

Show HN: A Python CLI for Managing AI Agent Skills

Lean4 Formalization of "A Simplified Round-by-Round Soundness Proof of Fri"

Show HN: Weekly code audits for vibe coders

Show HN: A game/benchmark where AI bots hunt each other

Show HN: An AI agent that audits your entire Python codebase

Techpants.io

Show HN: Pyscn – Python code quality analyzer for vibe coders

Feds say 100k-card farms could have killed cell towers in NYC near the UN

Ask HN: Is America Going to Become an Autocracy?

1 2 3 4 5 6 7 8 9 10