prev 1 / 10 more

• 119
  Formal methods and the future of programming (blog.janestreet.com)
  by eatonphil7 hours ago 16 comments
• 79
  FarOutCompany (faroutcompany.com)
  by bookofjoe6 hours ago 6 comments
• 187
  Lisp's Influence on Ruby (blog.tacoda.dev)
  by tacoda3 days ago 8 comments
• 186
  The Birth and Death of JavaScript (2014) (destroyallsoftware.com)
  by subset7 hours ago 18 comments
• 173
  I indexed 669 GB of my GoPro videos using my M1 Max computer and local ML models
  by iliashad5 hours ago 16 comments
• 91
  The only scalable delete in Postgres is DROP TABLE (planetscale.com)
  by hollylawly3 days ago 15 comments
• 342
  Not everyone is using AI for everything (gabrielweinberg.com)
  by yegg5 hours ago 50 comments
• 77
  Rome Fell and Nobody Noticed (friedkielbasa.substack.com)
  by fkozlowski2 hours ago 5 comments
• 149
  Linux 7.1 (lore.kernel.org)
  by berlianta4 hours ago 5 comments
• 37
  Show HN: 3D print Z reinforcement via injected loops (mgunlogson.github.io)
  by mgunlogson5 days ago 9 comments

prev 1 / 10 more