< prev1 / 10 more >

• 874My AI skeptic friends are all nuts (fly.io)
  by tabletcorry6 hours ago | 215 comments
• 277Ask HN: Who is hiring? (June 2025)
  by whoishiring12 hours ago | 217 comments
• 53Conformance checking at MongoDB: Testing that our code matches our TLA+ specs (mongodb.com)
  by todsacerdoti5 hours ago | 3 comments
• 146Show HN: I build one absurd web project every month (absurd.website)
  by absurdwebsite7 hours ago | 19 comments
• 193Show HN: A toy version of Wireshark (student project) (github.com)
  by lixiasky12 hours ago | 17 comments
• 358Show HN: Kan.bn – An open-source alterative to Trello (github.com)
  by henryball17 hours ago | 37 comments
• 22Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
  by Jtsummers5 hours ago | 2 comments
• 41Ask HN: How do I learn practical electronic repair?
  by juanse2 days ago | 20 comments
• 518How to post when no one is reading (jeetmehta.com)
  by j4mehta23 hours ago | 80 comments
• 117Japanese Scientists Develop Artificial Blood Compatible with All Blood Types (tokyoweekender.com)
  by Geekette5 hours ago | 12 comments

< prev1 / 10 more >