< prev 2 / 10 more >

• 77Case study: Creative math – How AI fakes proofs (tomaszmachnik.pl)
  by musculus9 hours ago | 21 comments
• 13Compiling models to megakernels (blog.luminal.com)
  by jafioti1 day ago | 1 comments
• 40The Science of Fermentation [audio] (bbc.co.uk)
  by fallinditch2 days ago | 4 comments
• 72Environmentalists worry Google behind bid to control Oregon town's water (sfgate.com)
  by voxadam4 hours ago | 4 comments
• 26Building a Real-Time HN Display for $15 (medium.com)
  by kylegalbraith3 days ago | 6 comments
• 91The future of software engineering is SRE (swizec.com)
  by Swizec9 hours ago | 19 comments
• 48Delta single handle ball faucets (1963) (archive.org)
  by userbinator4 days ago | 14 comments
• 200Using PostgreSQL as a Dead Letter Queue for Event-Driven Systems (diljitpr.net)
  by tanelpoder16 hours ago | 16 comments
• 198Clawdbot - open source personal AI assistant (github.com)
  by KuzeyAbi7 hours ago | 38 comments
• 125I was right about ATProto key management (notes.nora.codes)
  by todsacerdoti12 hours ago | 14 comments

< prev 2 / 10 more >