GoKawiil
Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
(news.ycombinator.com)
691.
692.
Growing up in “404 Not Found”: China's nuclear city in the Gobi Desert
(news.ycombinator.com)
693.
Dialtone – AOL 3.0 Server
(news.ycombinator.com)
694.
Yanis Varoufakis on the future of capitalism [video]
(news.ycombinator.com)
695.
How We Found Out About COINTELPRO (2014)
(news.ycombinator.com)
696.
Richard Stallman at the First Hackers Conference in 1984 [video]
(news.ycombinator.com)
697.
A Century of Noether's Theorem
(news.ycombinator.com)
698.
Floor796
(news.ycombinator.com)
699.
Splice a Fibre
(news.ycombinator.com)
700.
An experiment in separating identity, memory, and tools
(news.ycombinator.com)
701.
I built a quiet site for finding ambient albums while working
(news.ycombinator.com)
702.
Rob Pike goes nuclear over GenAI
(news.ycombinator.com)
703.
Rob Pike Goes Nuclear over GenAI
(news.ycombinator.com)
704.
Show HN: Euclidle – Guess the Coordinates in N‑Dimensional Space
(news.ycombinator.com)
705.
Intelligence – A Mystery Investigation Game
(news.ycombinator.com)
706.
Fahrplan – 39C3
(news.ycombinator.com)
707.
Who Watches the Waymos? I do [video]
(news.ycombinator.com)
708.
Show HN: Just Fucking Use Cloudflare – A satirical guide to the CF stack
(news.ycombinator.com)
709.
Hacking a Java Minecraft server with memory overflows [video]
(news.ycombinator.com)
710.
Avoid Mini-Frameworks
(news.ycombinator.com)
711.
Help My c64 caught on fire
(news.ycombinator.com)
712.
Nearly 1 in 4 Americans Think They Have a Personal Social Security Account
(news.ycombinator.com)
713.
Classical billiards can compute (2d billiard systems are Turing complete)
(news.ycombinator.com)
714.
Universal Reasoning Model (53.8% pass 1 ARC1 and 16.0% ARC 2)
(news.ycombinator.com)
715.
Benn Jordan – This Flock Camera Leak Is Like Netflix for Stalkers [video]
(news.ycombinator.com)
716.
Uplane (YC F25) Is Hiring Founding Engineers (Full-Stack and AI)
(news.ycombinator.com)
717.
On the Existence, Impact, and Origin of Hallucination-Associated Neurons in LLMs
(news.ycombinator.com)
718.
Show HN: Backlog – a public repository of real work problems
(news.ycombinator.com)
719.
Hybrid Aerial Underwater Drone – Bachelor Project [video]
(news.ycombinator.com)
720.
Show HN: Rust/WASM lighting data toolkit – parses legacy formats, generates SVGs
(news.ycombinator.com)
Today's top topics:
apple
meta
google
anthropic
openai
mark zuckerberg
android
nvidia
android authority
ai agents