< prev1/10 more >

• 259A digestion of the Jacobian conjecture counterexample (terrytao.wordpress.com)
  by jeremyscanvic12 hours ago | 14 comments
• 5Introduction to Formal Verification with Lean Part 1 (hashcloak.com)
  by badcryptobitch2 days ago | 0 comments
• 45Show HN: A new kind of FPS aim trainer (openaim.pramit.gg)
  by pmazumder4 hours ago | 9 comments
• 8Atomically Thin Materials Significantly Shrink Qubits (spectrum.ieee.org)
  by Jimmc4144 days ago | 1 comments
• 133Ten Steps Towards Happiness (2015) (hintjens.com)
  by emerongi8 hours ago | 15 comments
• 347Long presumed dead, a thriving coral reef is discovered in West Africa (e360.yale.edu)
  by speckx18 hours ago | 15 comments
• 197"Drawing" the Mona Lisa with GPT-5.6, Claude, Gemini, and Grok (tryai.dev)
  by hershyb_12 hours ago | 32 comments
• 318Jack Dorsey launches Buzz to combine team chat, AI agents and Git hosting (runtimewire.com)
  by ryanmerket16 hours ago | 79 comments
• 413Apple defeats liability for not scanning iCloud for CSAM (blog.ericgoldman.org)
  by speckx19 hours ago | 23 comments
• 270LG to ban residential proxies from smart TV apps (krebsonsecurity.com)
  by DemiGuru7 hours ago | 34 comments

< prev1/10 more >