< prev 4 / 10 more >

• 383LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
  by johnbender14 hours ago | 54 comments
• 8Hacker leaks 281 GB of data from Germany's far-right AfD party (bitdefender.com)
  by speckx48 minutes ago | 1 comments
• 1100eMudhra to exit global SSL/TLS certificate business (emudhra.com)
  by bo0tzz1 day ago | 127 comments
• 95Color Names (names.color.pizza)
  by akkartik2 days ago | 11 comments
• 222Hedra is a 3D open world game I wrote from scratch while in highschool (github.com)
  by maxilevi19 hours ago | 16 comments
• 17Hand-bent after 3D printing, Oberdoerfer and Krebs' Bend chair (designboom.com)
  by surprisetalk2 days ago | 5 comments
• 115Railpass (train.samismith.com)
  by CharlesW16 hours ago | 15 comments
• 31Jared Kushner's Hacked Phone Revealed His Secret Negotiations (wallhop.io)
  by alexander20023 hours ago | 4 comments
• 65A lost Schrödinger manuscript reveals a twist in quantum physics (sciencealert.com)
  by ibobev1 day ago | 14 comments
• 45How to Design Flowers (asimov.press)
  by surprisetalk2 days ago | 2 comments

< prev 4 / 10 more >