< prev1 / 10 more >

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

< prev1 / 10 more >