1. YOCaml a framework used to describe static site generator view 9 comments
  2. Can I use HTTPS RRs? view 1 comments
  3. From profiling to kernel patch: the journey to an eBPF performance fix view 0 comments
  4. Building smaller Docker images faster view 13 comments
  5. Trying manual memory management in Go view 0 comments
  6. Skills vs Dynamic MCP Loadouts view 0 comments
  7. I no longer have only one OS on all my devices view 1 comments
  8. Rethinking sudo with object capabilities view 12 comments
  9. The Coming Need for Formal Specification view 5 comments
  10. 50 years of proof assistants view 4 comments
  11. Guarding My Git Forge Against AI Scrapers view 33 comments
  12. Pure vs. impure iterators in Go view 17 comments
  13. I couldn't find a logging library that worked for my library, so I made one view 4 comments
  14. BenchFlow | RL Environments for Coding Agents view 0 comments
  15. Being a SysAdmin is hard view 33 comments
  16. async dns view 9 comments
  17. Security Issues with Electronic Invoices view 0 comments
  18. bidicalc: a bidirectional calculator view 24 comments
  19. Cycle-accurate YM2149 PSG emulator view 0 comments
  20. My Python setup, December 2025 view 14 comments
  21. Django: what’s new in 6.0 view 2 comments
  22. Freeing a Xiaomi Humidifier from the Cloud view 5 comments
  23. OSS Friday Update - Fibers are the Future of Ruby view 0 comments
  24. Oils 0.37.0 - Alpine Linux, YSH, and mycpp view 5 comments
  25. CM0 - a new Raspberry Pi you can't buy view 0 comments
More