Show HN: O3 beats Sonnet 4 at coding (in our codebase, wrt our preferences)
news.ycombinator.com·1d·
Discuss: Hacker News
✅Formal Methods
Ivory: Postgres cluster management tool
github.com·2h·
Discuss: Hacker News
🔒Cryptography
Show HN: I made a full Ethereum account-proof circuit in Circom
github.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Energy Driven Development
blog.waleson.com·4h·
Discuss: blog.waleson.com, Hacker News
✅Formal Methods
Vibe Coding an SMTP Server, in Rust
mailpace.com·4d·
Discuss: Hacker News
✅Formal Methods
Another Linux utility is being rewritten in Rust
neowin.net·1d·
Discuss: Hacker News
✅Formal Methods
Tool Poisoning Attacks in MCPs
blog.dailydoseofds.com·4h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
How to Make a Font That Says Nothing
untested.sonnet.io·3d·
Discuss: Lobsters, Hacker News, Hacker News
✅Formal Methods
Why MIT Switched from Scheme to Python (2009)
wisdomandwonder.com·1d·
Discuss: Hacker News, r/programming
✅Formal Methods
Show HN: Unied Lightweight Terminal Code and Text Editor with Advanced Commands
news.ycombinator.com·3d·
Discuss: Hacker News
✅Formal Methods
HarfRust – Official HarfBuzz Port to Rust
github.com·2d·
Discuss: Hacker News
✅Formal Methods
You can now train a 70B language model at home
answer.ai·2d·
Discuss: Hacker News
⚡CUDA
The many, many, many JavaScript runtimes of the last decade
buttondown.com·1h·
Discuss: Hacker News, r/javascript
✅Formal Methods
Robots eating other robots: The benefits of machine metabolism
arstechnica.com·4h·
Discuss: Hacker News
🔒Cryptography
Hexatetrahedral Rails
blog.julik.nl·1d·
Discuss: Hacker News
✅Formal Methods
KCert: A Simple Let's Encrypt Manager for Kubernetes
github.com·3h·
Discuss: Hacker News
🔒Cryptography
Using GitHub Spark to reverse engineer GitHub Spark
simonwillison.net·3d·
Discuss: Hacker News
✅Formal Methods
Never write your own Date Parsing Library
zachleat.com·2d·
Discuss: Hacker News
✅Formal Methods
InstructVLA: Vision-Language-Action Instruction Tuning
yangs03.github.io·2d·
Discuss: Hacker News
✅Formal Methods
OpenBSD Meets the Solar Neighborhood
laser-coder.net·17h·
Discuss: Hacker News
🔒Cryptography