Stories by plugin-baby

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

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

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

Techpants.io

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

Ask HN: Is America Going to Become an Autocracy?

Supply chain attacks are the new big thing (2022)

How to PLONK (zero-knowledge proofs tutorial)

Messing with AIs

Bug Hunt: Zero-Knowledge, Full-Paranoia, and the AI That Stares Back

Canada's Digital Services Tax Stays in Place Despite G-7 Deal

1 2 3 4 5 6 7 8 9 10