< prev1/10 more >

• 57Formally Verifying PBS Kids with Lean4 (shadaj.me)
  by shadaj6 days ago | 1 comments
• 200I put a real-time 3D shader on the Game Boy Color (blog.otterstack.com)
  by adunk5 hours ago | 14 comments
• 72Exploiting signed bootloaders to circumvent UEFI Secure Boot (habr.com)
  by todsacerdoti6 hours ago | 5 comments
• 177Omega-3 is inversely related to risk of early-onset dementia (nlm.nih.gov)
  by brandonb4 hours ago | 17 comments
• 185Dave Farber has died (lists.nanog.org)
  by vitplister9 hours ago | 18 comments
• 100Bun v1.3.9 (bun.com)
  by tosh3 hours ago | 4 comments
• 26Amazon delivery drone strikes North Texas apartment, causing minor damage (expressnews.com)
  by robotnikman1 hour ago | 8 comments
• 135Curating a Show on My Ineffable Mother, Ursula K. Le Guin (hyperallergic.com)
  by bryanrasmussen11 hours ago | 10 comments
• 153Billing can be bypassed using a combo of subagents with an agent definition (github.com)
  by napolux4 hours ago | 19 comments
• 161Show HN: It took 4 years to sell my startup. I wrote a book about it (derekyan.com)
  by zhyan71094 days ago | 15 comments

< prev1/10 more >