logoNewsNewestAskShowJobs Open on GitHub
< 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 >