< prev1 / 10 more >

• 882My AI skeptic friends are all nuts (fly.io)
  by tabletcorry6 hours ago | 216 comments
• 277Ask HN: Who is hiring? (June 2025)
  by whoishiring12 hours ago | 218 comments
• 53Conformance checking at MongoDB: Testing that our code matches our TLA+ specs (mongodb.com)
  by todsacerdoti5 hours ago | 3 comments
• 149Show HN: I build one absurd web project every month (absurd.website)
  by absurdwebsite7 hours ago | 19 comments
• 194Show HN: A toy version of Wireshark (student project) (github.com)
  by lixiasky12 hours ago | 17 comments
• 359Show HN: Kan.bn – An open-source alterative to Trello (github.com)
  by henryball17 hours ago | 37 comments
• 44Ask HN: How do I learn practical electronic repair?
  by juanse2 days ago | 22 comments
• 22Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
  by Jtsummers5 hours ago | 2 comments
• 519How to post when no one is reading (jeetmehta.com)
  by j4mehta23 hours ago | 80 comments
• 5GenAI Is Our Polyester (culture.ghost.io)
  by todsacerdoti1 hour ago | 1 comments

< prev1 / 10 more >