1. kudu - easily manage VMs on Linux view 0 comments
2. Replacing a Rust Enum with a 64-bit Word Made My Interpreter 17% Faster view 0 comments
3. 50 years of proof assistants view 0 comments
4. Hot Chips 2026: CUDA targets RISC-V view 0 comments
5. US data centers tripled water use to 17 billion gallons view 0 comments
6. What are you doing this week? view 31 comments
7. Understanding and implementing a simple big unsigned integer library (2020) view 0 comments
8. 3 constraints before I build anything view 6 comments
9. The changing role of finite-state model checking view 1 comments
10. Training AI to Paint with Code view 0 comments
11. My Thoughts on AI, Part 1: Fears, Opinions, and Mental Journey view 1 comments
12. offgrid electric car (2025) view 21 comments
13. Replicating Reddit's best feature on other forums view 23 comments
14. Control and complexity: tension in systems design view 1 comments
15. Jabber/XMPP: 25 Years of Digital Independence view 2 comments
16. Sloc Cloc and Code 4.0 (scc) - Finding the files that need the most attention view 0 comments
17. Fixing an eMachines EL1200 BIOS bug with Claude view 0 comments
18. Micro language implementation: Calcium view 0 comments
19. Making the Impossible Possible (Again): Ten Years of Flexible Paxos view 0 comments
20. And then the men with guns tell you to do it anyway view 29 comments
21. The text mode lie: why modern TUIs are a nightmare for accessibility view 15 comments
22. Amazon kept shutting down my tablet, so I spent $266 on four AI models to own it view 16 comments
23. Life Beyond Distributed Transactions: An apostate’s opinion (2007) view 0 comments
24. An Introduction to Canvas in GNU Emacs view 13 comments
25. Building certgrep.sh: a free certificate transparency search engine view 3 comments

More