< prev1/10 more >

• 87An Interactive Intro to CRDTs (2023) (jakelazaroff.com)
  by evakhoury5 hours ago | 8 comments
• 55Cancel ChatGPT AI boycott surges after OpenAI pentagon military deal (euronews.com)
  by nothrowaways53 minutes ago | 6 comments
• 1129The Xkcd thing, now interactive (editor.p5js.org)
  by memalign14 hours ago | 61 comments
• 8What’s in a name? (2014) (sailsandcommas.com)
  by Curiositry2 days ago | 1 comments
• 129When AI writes the software, who verifies it? (leodemoura.github.io)
  by todsacerdoti8 hours ago | 39 comments
• 82We've freed Cookie's Bustle from copyright hell (gamehistory.org)
  by sb0574 hours ago | 3 comments
• 295Don't become an engineering manager (newsletter.manager.dev)
  by flail10 hours ago | 57 comments
• 70Launch HN: Cekura (YC F24) – Testing and monitoring for voice and chat AI agents
  by atarus10 hours ago | 11 comments
• 414Physics Girl: Super-Kamiokande – Imaging the sun by detecting neutrinos [video] (youtube.com)
  by pcdavid10 hours ago | 27 comments
• 70TorchLean: Formalizing Neural Networks in Lean (leandojo.org)
  by matt_d2 days ago | 2 comments

< prev1/10 more >