The Scariest Lines of Code I've Ever Written
canro91.github.io·19h·
Discuss: Hacker News
🔄compilers
Flag this post
Linking and shrinking Rust static libraries: a tale of fire
centricular.com·1d·
Discuss: Lobsters, Hacker News, r/rust
🔄compilers
Flag this post
Choosing the best AI coding agent for Bitrise
bitrise.io·3d·
Discuss: Hacker News
✅formal methods
Flag this post
UseExtracted: The Tailwind of Internationalization?
next-intl.dev·12h·
Discuss: Hacker News
✅formal methods
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·3d·
Discuss: Lobsters, Hacker News, r/Zig, r/programming
🔄compilers
Flag this post
Software Development in the Time of New Angels
davegriffith.substack.com·4d·
Discuss: Substack
🌐network programming
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·4d·
Discuss: Hacker News, Hacker News
✅formal methods
Flag this post
Cursor's Composer-1 vs. Windsurf's SWE-1.5: The Rise of Vertical Coding Models
inkeep.com·3d·
Discuss: Hacker News
🔄compilers
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.com·4d·
Discuss: Hacker News
✅formal methods
Flag this post
CEF.AI is hiring for Principal Software Engineer position in SF
join.com·3d·
Discuss: Hacker News
🌐network programming
Flag this post
Sharing my Clean Architecture boilerplate I'll be using in 2026
etsd.tech·23h·
Discuss: Hacker News
✅formal methods
Flag this post
Supermetal: Transactional databases data replication and CDC
supermetal.io·15h·
Discuss: Hacker News
✅formal methods
Flag this post
Toward fast, containerized, user-space filesystems
lwn.net·1d·
Discuss: Hacker News
⚡query optimization
Flag this post
Show HN: I built a way to debug your deployed code on Vercel from your AI IDE
getreturn0.com·2d·
Discuss: Hacker News
🔄compilers
Flag this post
Agile and Coding: Please don't break things
davidvujic.blogspot.com·1d·
Discuss: Hacker News
🌐network programming
Flag this post
Automation via UEFI
vahidhashemi.com·2d·
Discuss: Hacker News
🔄compilers
Flag this post
I Chose to Focus on Data Systems Instead of Application Programming
alexnemethdata.com·3d·
Discuss: Hacker News
✅formal methods
Flag this post
Up and Down the Ladder of Abstraction
worrydream.com·3d·
Discuss: Hacker News
✅formal methods
Flag this post
How to make government work: Lessons from a rare British success story
samf.substack.com·9h·
Discuss: Substack
✅formal methods
Flag this post
Show HN: A new language for COBOL workloads, built on Go
github.com·3d·
Discuss: Hacker News
🔄compilers
Flag this post