1. The wonder of MSBuild view 1 comments
  2. Pure Silicon Demo Coding: No CPU, No Memory, Just 4k Gates view 1 comments
  3. sqlite-wasm-http: An experimental HTTP VFS driver for SQLite WASM view 2 comments
  4. We asked four AI coding agents to rebuild Minesweeper—the results were explosive view 0 comments
  5. An uncomfortable but necessary discussion about the Debian bug tracker view 22 comments
  6. Schrödinger’s test: The /dev/mem case view 0 comments
  7. LAVD: Meta’s New Default Scheduler view 0 comments
  8. NPM Package With 56K Downloads Caught Stealing WhatsApp Messages view 8 comments
  9. Mostly Automated Proof Repair for Verified Libraries view 0 comments
  10. What's "new" in Miri (and also, there's a Miri paper!) view 5 comments
  11. Attention From First Principles view 0 comments
  12. I’m a former CTO. Here is the 15 sec coding test I used to instantly filter out 50% of unqualified applicants view 123 comments
  13. Old English Computer Glossary view 0 comments
  14. FreeBSD Closes the Laptop Gap: Year One Project Update view 1 comments
  15. Sampling random binary trees with a size-limited critical Boltzmann sampler view 0 comments
  16. Introducing Open Forms view 7 comments
  17. Email Simplicity vs Decentralized Chat view 37 comments
  18. Why Quantum Cryptanalysis is Bollocks view 0 comments
  19. polyglot-image: A disk image that boots on multiple architectures view 0 comments
  20. Web engine CI on a shoestring budget view 0 comments
  21. Proposed Rust kernel extensions in place of eBPF view 22 comments
  22. From Zero to QED: An informal introduction to formality in Lean 4 view 0 comments
  23. Nature Programming Language view 19 comments
  24. Feature discussion: replying to multiple comments in story view 3 comments
  25. Thirteen years of Rust and the birth of Rue view 20 comments
More