1. Slaughtering Competition Problems with Quantifier Elimination view 0 comments
  2. Kiorg v1.4.1 - A modern battery included file manager with vim inspired keybind view 0 comments
  3. Shower thoughts view 0 comments
  4. Clopus-Watcher: An autonomous monitoring agent view 0 comments
  5. The production bug that made me care about undefined behavior view 15 comments
  6. Blocking Queues view 0 comments
  7. Rust Errors Without Dependencies view 29 comments
  8. Solve Hi-Q with AlphaZero and Curriculum Learning view 1 comments
  9. On LLMs in programming view 30 comments
  10. Why is calling my asm function from Rust slower than calling it from C? view 11 comments
  11. I was wrong about typescript part 1 view 12 comments
  12. A Modern Recommender Model Architecture view 2 comments
  13. 39C3: To sign or not to sign: Practical vulnerabilities in GPG & friends view 3 comments
  14. Haskelling My Typst view 0 comments
  15. This PNG will show different version if you open it in Chrome than in Safari view 6 comments
  16. The dangers of SSL certificates view 19 comments
  17. How To Minimize Bugs in Cryptography Code view 0 comments
  18. Goodbye Sass view 17 comments
  19. Fast CVVDP implementation in C view 0 comments
  20. Release age v1.3.0: post-quantum (and more) view 0 comments
  21. gpg.fail view 31 comments
  22. Poor code examples cause LLM misalignment in unrelated domains view 1 comments
  23. CVE-2025-14847: MongoBleed view 7 comments
  24. Petlibro: Your Pet Feeder Is Feeding Data To Anyone Who Asks view 0 comments
  25. How We Optimize RocksDB in TiKV — Write Batch Optimization view 0 comments
More