< prev1 / 12 more >

• 1Show HN: Quaesito: a self-hosted app for quiz nights with friends (github.com)
  by ggirelli0 minutes ago | 0 comments
• 1Tensordyne is making AI compute more efficient using logarithms (zach.be)
  by mdp20210 minutes ago | 0 comments
• 1Did Numerical Control De-Skill Machinists? [video] (youtube.com)
  by rnicholson1 minute ago | 0 comments
• 1I just build Claude Dev Tools (github.com)
  by AshborneDev4 minutes ago | 0 comments
• 1AI does math. Should you get a PhD? (jasonpolak.substack.com)
  by bemtevi6 minutes ago | 0 comments
• 1Ask HN: Open-source model weights on bluray drives, anyone?
  by satuke6 minutes ago | 0 comments
• 7The Double-Counted Future (yusufaytas.com)
  by yusufaytas7 minutes ago | 0 comments
• 1Simulate coding pre-AI by year (beforetheprompt.xipu.li)
  by GoodluckH9 minutes ago | 0 comments
• 1Show HN: MyTasteRank – Track drinks, food, movies, etc. for personal ranking (mytasterank.com)
  by MarkBekooy11 minutes ago | 1 comments
• 1Comparison of Isabelle/HOL, Lean, HOL4, and Agda: A Tale of Four Theorem Provers (blueberrywren.dev)
  by birdculture12 minutes ago | 0 comments

< prev1 / 12 more >