< prev1 / 10 more >

• 156Claude Can (Sometimes) Prove It (galois.com)
  by lairv3 days ago | 12 comments
• 105Is Zig's New Writer Unsafe? (openmymind.net)
  by ibobev4 hours ago | 5 comments
• 80Escapee pregnancy test frogs colonised Wales for 50 years (bbc.com)
  by Luc4 days ago | 9 comments
• 23Show HN: Math2Tex – Convert handwritten math and complex notes to LaTeX text
  by leoyixing3 days ago | 7 comments
• 61Scientists find that ice generates electricity when bent (phys.org)
  by isaacfrond3 days ago | 6 comments
• 233If all the world were a monorepo (jtibs.substack.com)
  by sebg4 days ago | 22 comments
• 20Evals in 2025: benchmarks to build models people can use (github.com)
  by jxmorris122 days ago | 1 comments
• 490The best YouTube downloaders, and how Google silenced the press (windowsread.me)
  by Leftium1 day ago | 33 comments
• 59PyPI Blog: Token Exfiltration Campaign via GitHub Actions Workflows (blog.pypi.org)
  by miketheman3 days ago | 5 comments
• 452Ants that seem to defy biology – They lay eggs that hatch into another species (smithsonianmag.com)
  by sampo1 day ago | 32 comments

< prev1 / 10 more >