| Rotman Lens 134 points by thomasjb | 44 Comments |
| Kani: A Model Checker for Rust 160 points by Jimmc414 | 9 Comments |
| The Making of Claude Code 50 points by kanamekun | 28 Comments |
| Clojure 1.13 adds support for checked keys 218 points by FelipeCortez | 47 Comments |
| A Script for Mark Zuckerberg 15 points by chrisvalleybay | 3 Comments |
| Resetting Xbox 723 points by dijksterhuis | 894 Comments |
| M/PC – A Concatenative OS 79 points by caminanteblanco | 12 Comments |
| NSA and IETF: Fairness 137 points by WatchDog | 168 Comments |