prev 1 / 10 more

• 38
  How to train your program verifier (risemsr.github.io)
  by matt_d4 days ago 4 comments
• 567
  Google restricting Google AI Pro/Ultra subscribers for using OpenClaw (ai.google.dev)
  by srigi9 hours ago 96 comments
• 203
  Six Math Essentials (terrytao.wordpress.com)
  by digital5513 hours ago 12 comments
• 275
  Man accidentally gains control of 7k robot vacuums (popsci.com)
  by Brajeshwar17 hours ago 32 comments
• 43
  Aqua: A CLI message tool for AI agents (github.com)
  by lyricat6 hours ago 9 comments
• 35
  The Musidex: A physical music library for the streaming era (hannahilea.com)
  by zdw3 days ago 9 comments
• 235
  Fix your tools (ochagavia.nl)
  by vinhnx16 hours ago 27 comments
• 17
  What I learned designing a barebones UI engine (madebymohammed.com)
  by teleforce4 hours ago 1 comments
• 82
  Using the new bridges of FreeBSD 15 (blog.feld.me)
  by vermaden9 hours ago 5 comments
• 120
  Hello Worg, the Org-Mode Community (orgmode.org)
  by dargscisyhp14 hours ago 6 comments

prev 1 / 10 more