1. Using LLM-based Verification to Eliminate Bugs in Linux's Network Stack view 3 comments
2. A Linux Kernel 0-day Journey - From a limited UAF to Physical Memory R/W view 0 comments
3. Who needs a real-time database? view 0 comments
4. Fuzzing for fun - unauthenticated denial of service in snac2 view 0 comments
5. SleeperGem: RubyGems supply chain attack targets dormant maintainer accounts view 0 comments
6. The death and rebirth of my home server view 11 comments
7. Running microVMs in Proxmox VE, The Easy Way view 13 comments
8. Dependable C view 37 comments
9. Git email patch review addon for Thunderbird view 2 comments
10. Who’s responsible for bug reports on old software versions? view 4 comments
11. Shake Blog view 6 comments
12. More emulation goodness, an Intel Itanium (IA-64) emulator that boots Windows view 5 comments
13. Mathematicians still don’t know the fastest way to multiply numbers view 6 comments
14. Extending MVCC to be serializable, in TLA+ (2024) view 0 comments
15. Scanline edge-flag algorithm for antialiasing view 0 comments
16. The Zen of Parallel Programming view 2 comments
17. CodeSizer: Why is that binary so big? view 5 comments
18. Reviewing AI Code Is Not A Viable Argument (2025) view 141 comments
19. Hardcore IndieWeb: Run your own website 100% independently for only $0.01/day view 17 comments
20. The computer at the bottom of a canal view 3 comments
21. Gleam has mirrored its source code on tangled (an AT-protocol based forge) view 6 comments
22. Introduction to Formal Verification with Lean (Part 1) view 1 comments
23. ZTA: Zero Token Architecture view 0 comments
24. Studying Linux Schedulers, and Why Metrics Matter view 0 comments
25. I Built an Even Better Ropebot Dog view 0 comments

More