• 188 Now is the time to give LLMs access to the ACM digital library (cacm.acm.org)
  by rbanffy 3 days ago | 178 comments
• 114 Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code (github.com)
  by permute 3 days ago | 49 comments
• 4 Ask HN: Can Apple Ever Be Disrputed? (undefined)
  by Taikhoom2010 11 hours ago | 11 comments ask
• 38 A Texture Lookup Approach to Bézier Curve Evaluation on the GPU (JCGT) (jcgt.org)
  by ibobev 2 days ago | 10 comments
• 273 Zig's Incremental Compilation Internals (mlugg.co.uk)
  by garyhtou 3 days ago | 262 comments
• 18 Microsoft's $450B Jump Is Biggest in Stock Market History (bloomberg.com)
  by signatoremo 18 hours ago | 3 comments
• 56 'My life's screwed': Korean investors stress out after AI bubble bursts (ft.com)
  by scrlk a day ago | 44 comments
• 6 How your software will fail at scale [video] (youtube.com)
  by azhenley 10 hours ago | discuss
• 96 How real are real numbers? (2004) (arxiv.org)
  by surprisetalk 4 days ago | 101 comments
• 84 Solving Fermat: Andrew Wiles (pbs.org)
  by 1970-01-01 4 days ago | 36 comments
• 34 ALP: Adaptive lossless floating-point compression (github.com)
  by fanf2 6 days ago | 4 comments
• 4 Show HN: XQL, a query language for screening market data (xcreener.com)
  by guzzul a day ago | 2 comments
• 11 Show HN: RunNburn – Run a 295B Moe from a 98GB GGUF on a 64GB RAM Desktop (github.com)
  by coderredlab 2 days ago | discuss
• 18 OpenDerm – Open-source robotic 3D skin imaging (openderm.github.io)
  by avyfain 2 days ago | 1 comments
• 656 New HIV vaccine shows unprecedented success in preclinical study (lji.org)
  by codebyaditya 3 days ago | 295 comments
• 164 Self-contained highly-portable Python distributions (gregoryszorc.com)
  by jcbhmr 4 days ago | 42 comments
• 55 The motion-sickness cure hidden in iPhone settings (bbc.com)
  by saikatsg 2 days ago | 32 comments
• 6 Handling environment variables in Emacs on OS X and Linux (seds.nl)
  by speckx 20 hours ago | discuss
• 17 Anthropic says Claude hacked three companies during tests (reuters.com)
  by nerder92 14 hours ago | 4 comments
• 4 AI Agent Authentication and Authorization (IETF Internet-Draft) (datatracker.ietf.org)
  by jhgaylor 20 hours ago | 2 comments
• 5 Can AI agents conduct open-ended AI research? (arxiv.org)
  by randomwalker 20 hours ago | discuss
• 16 Show HN: Dreeve, a self-hosted dashboard for your sports and fitness data (github.com)
  by frogfuhrer 2 days ago | 2 comments
• 9 Ukraine's Kill Zone (reuters.com)
  by dirtyaura 5 hours ago | 1 comments
• 206 The iPhone Upgrade Program is being replaced by Apple Upgrade (apple.com)
  by lkurtz 3 days ago | 386 comments
• 38 The only road in London where you have to drive on the right (mylondon.news)
  by theanonymousone 2 days ago | 71 comments
• 44 Sam Altman is now talking to the White House about decelerating AI (twitter.com)
  by abhishekdev a day ago | 47 comments
• 163 Exploiting Volvo/Eicher's fleet platform to gain control over all users/vehicles (eaton-works.com)
  by EatonZ 4 days ago | 61 comments
• 926 PGSimCity - How PostgreSQL Works (nikolays.github.io)
  by jonbaer 5 days ago | 92 comments
• 168 VLC for Unity now supported on Linux (code.videolan.org)
  by martz 4 days ago | 54 comments
• 14 Sales Are So Low, California Wineries Are Burning Their Vineyards (nytimes.com)
  by lxm 16 hours ago | 5 comments