< prev1 / 10 more >

• 265Breaking the open web won't stop the bad bots (techpolicy.press)
  by raybb3 days ago | 22 comments
• 34AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura (thedataexchange.media)
  by datascientist1 day ago | 3 comments
• 34Longitudinal Changes InWearable-Captured PhysiologyBefore Sudden Cardiac Death (jacc.org)
  by brandonb2 days ago | 6 comments
• 254Show HN: A working Nintendo in ~1GB of Qwen weights (github.com)
  by dbreunig17 hours ago | 22 comments
• 154The oldest ice disappears and the Stone Age emerges from it (sciencenorway.no)
  by dxs14 hours ago | 14 comments
• 283Florilegium: Procedural Flowers in LaTeX (github.com)
  by nanna18 hours ago | 26 comments
• 160Infinite Mac: BeOS (blog.persistent.info)
  by ecliptik15 hours ago | 9 comments
• 899Backdoor in Claude Code for VS Code extension on the Cursor Marketplace (phorion.io)
  by _chall1 day ago | 116 comments
• 193Show HN: To Honor Sir Patrick Stewart, Enjoy the TNG Episode Guessing Game (tng.episodle.com)
  by francisofascii10 hours ago | 20 comments
• 197Cisco gives engineer unlimited AI tokens to rewrite legacy code (fortune.com)
  by taubek20 hours ago | 55 comments

< prev1 / 10 more >