< prev1 / 10 more >

• 747My AI skeptic friends are all nuts (fly.io)
  by tabletcorry5 hours ago | 200 comments
• 267Ask HN: Who is hiring? (June 2025)
  by whoishiring11 hours ago | 213 comments
• 116Snowflake to buy Crunchy Data for $250M (wsj.com)
  by mfiguiere6 hours ago | 12 comments
• 45Conformance checking at MongoDB: Testing that our code matches our TLA+ specs (mongodb.com)
  by todsacerdoti4 hours ago | 3 comments
• 127Show HN: I build one absurd web project every month (absurd.website)
  by absurdwebsite6 hours ago | 18 comments
• 351Show HN: Kan.bn – An open-source alterative to Trello (github.com)
  by henryball16 hours ago | 37 comments
• 19Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
  by Jtsummers4 hours ago | 2 comments
• 506How to post when no one is reading (jeetmehta.com)
  by j4mehta22 hours ago | 80 comments
• 24Ask HN: How do I learn practical electronic repair?
  by juanse2 days ago | 12 comments
• 93Japanese Scientists Develop Artificial Blood Compatible with All Blood Types (tokyoweekender.com)
  by Geekette4 hours ago | 8 comments

< prev1 / 10 more >