OverTheWire: Learn and practice security concepts through fun games
overthewire.org·4d·
Discuss: Hacker News
✅formal methods
NIST Finalizes 'Lightweight Cryptography' Standard to Protect Small Devices
nist.gov·4d·
Discuss: Hacker News, r/embedded
✅formal methods
Why Remediation Is the Hardest Problem in NHI Security
token.security·3d·
Discuss: Hacker News
✅formal methods
Intriguing Properties of GPT-OSS Jailbreaks
xlabaisecurity.com·4d·
Discuss: Hacker News
✅formal methods
Show HN: Universal Profile Scraper
profilespider.com·3d·
Discuss: Hacker News
⚡query optimization
The Case for Case Insensitivity (2005)
blog.codinghorror.com·4d·
Discuss: Hacker News
🔄compilers
Recto – A Truly 2D Language
masatohagiwara.net·5d·
Discuss: Hacker News
🐫ocaml
Liveness analysis with Datalog
bernsteinbear.com·5d·
Discuss: Lobsters, Hacker News, r/programming
🔄compilers
I ban users from my repositories
willmcgugan.github.io·4d·
Discuss: Hacker News
⚙️systems programming
Why we open sourced our MCP server, and what it means for you
github.blog·5d·
Discuss: Hacker News
⚙️systems programming
The Origins of Efficiency
press.stripe.com·5d·
Discuss: Hacker News
✅formal methods
Stay calm. Keep going. AI must wait or the bubble will burst
smartmic.bearblog.dev·4d·
Discuss: Hacker News
⚙️systems programming
The Great Generalist Extinction
wryco.com·6d·
Discuss: Hacker News
⚙️systems programming
Ask HN: How do you deliver big projects as a solo contractor?
news.ycombinator.com·6d·
Discuss: Hacker News
⚙️systems programming
Do we understand how neural networks work?
verysane.ai·4d·
Discuss: Hacker News
✅formal methods
We Fixed AI's Broken Promise
understoryai.substack.com·6d·
Discuss: Substack
✅formal methods
Dodgy Huawei chips nearly sunk DeepSeek's next-gen R2 model
theregister.com·3d·
Discuss: Hacker News
⚙️systems programming
Gustav: A sprint orchestrator for Claude Code
github.com·5d·
Discuss: Hacker News
🔄compilers
AOL will finally end 1991 dial-up Internet service that’s older than smartphones
arstechnica.com·6d·
Discuss: Hacker News
⚡query optimization
A Simple Model of Online Platform Enshittification
apoorvalal.github.io·6d·
Discuss: Hacker News
⚡query optimization