Stories by plugin-baby

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

Glucagon-Like Peptide-1 Receptor Agonists and Risk of Macular Degeneration

Google Is Offering Buyouts to US Employees Throughout the Company

Proofs on a Leash: Post-Quantum Lattice Snark with Greyhound

Ask HN: Which agentic framework/tool do you prefer and why?

The trap of the top-down approach

1 2 3 4 5 6 7 8 9 10