< prev1 / 10 more >

• 900My AI skeptic friends are all nuts (fly.io)
  by tabletcorry6 hours ago | 217 comments
• 277Ask HN: Who is hiring? (June 2025)
  by whoishiring12 hours ago | 218 comments
• 55Conformance checking at MongoDB: Testing that our code matches our TLA+ specs (mongodb.com)
  by todsacerdoti5 hours ago | 3 comments
• 387Cloudlflare builds OAuth with Claude and publishes all the prompts (github.com)
  by gregorywegory13 hours ago | 48 comments
• 149Show HN: I build one absurd web project every month (absurd.website)
  by absurdwebsite7 hours ago | 19 comments
• 11GenAI Is Our Polyester (culture.ghost.io)
  by todsacerdoti2 hours ago | 1 comments
• 195Show HN: A toy version of Wireshark (student project) (github.com)
  by lixiasky12 hours ago | 17 comments
• 360Show HN: Kan.bn – An open-source alterative to Trello (github.com)
  by henryball17 hours ago | 37 comments
• 23Teaching 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

< prev1 / 10 more >