1. GTFOBins (gtfobins.org)
  2. Mo RAM, Mo Problems (2025) (fabiensanglard.net)
  3. Men who stare at walls (www.alexselimov.com)
  4. 107 points by zdw 2 days | 49 comments
  5. Integrated by Design (vivianvoss.net)
  6. “Why not just use Lean?” (lawrencecpaulson.github.io)