• 25 Synthesizing Loop-Free Programs with Rust and Z3 (2020) (fitzgen.com)
  by karelpeeters 5 days ago | discuss
• 133 'Fingerprints' inside the Sun could reveal if it once swallowed a planet (ras.ac.uk)
  by blincoln 4 days ago | 42 comments
• 12 The bitter lesson of browser agents (browser-use.com)
  by gregpr07 a day ago | 2 comments
• 13 Do you still read the code? (zanlib.dev)
  by wofo 2 days ago | 2 comments
• 9 AI is not going to kill you (sufficientlyadvanced.blog)
  by mohonishc a day ago | 4 comments
• 258 Microsoft patches Windows and Excel – breaks audio, remote access, and paste (theregister.com)
  by Alephinitesimal 2 days ago | 179 comments
• 157 Open-source AI and open models reading list (interconnects.ai)
  by simonpure 3 days ago | 30 comments
• 33 Hackers Stole Flock Camera Software Revealing How Company Tracks Cars and People (404media.co)
  by driverdan 12 hours ago | 1 comments
• 635 Homebrew 7.0.0 (brew.sh)
  by mikemcquaid 4 days ago | 253 comments
• 5 The Roman telescope has enough gas for 22 years, double NASA's expectations (arstechnica.com)
  by rbanffy 12 hours ago | discuss
• 313 Nike exits the S&P 100 after 18 years and a $200B market-cap wipeout (fortune.com)
  by andsoitis 3 days ago | 435 comments
• 112 How much oil-market buffer is left? (depletion.org)
  by mcone a day ago | 173 comments
• 199 I added a non-wi-fi Mitsubishi AC to Home Assistant (medium.com)
  by ichacas 7 days ago | 105 comments
• 49 The biggest dinosaurs couldn't sit on their eggs (cbc.ca)
  by BiraIgnacio 3 days ago | 16 comments
• 679 google.com/goto: Google's anti-scraping update (autom.dev)
  by 1e1a 5 days ago | 553 comments
• 12 More people are seeking emergency care for gambling and it's mostly men and boys (cbc.ca)
  by rdmuser 17 hours ago | 3 comments
• 606 IKEA made a mod for Skyrim [video] (youtube.com)
  by kegenaar 7 days ago | 172 comments
• 145 I fixed a tractor using John Deere's self-repair service. Farmers aren't sold (wired.com)
  by sbulaev 5 days ago | 159 comments
• 10 Sub-Agents Are Just Wrong (polylane.com)
  by momojo a day ago | discuss
• 3 Khipu (Quipu) Field Guide (khipufieldguide.com)
  by SanjayMehta a day ago | discuss
• 7 Periodic Labs, building labs that learn (periodic.com)
  by aguez a day ago | discuss
• 25 Lovable rewrites Vite in Rust – Reduces memory usage by 10x (lovable.dev)
  by vikeri 2 days ago | 3 comments
• 6 NHTSA orders Tesla to prove its Cybercab is legal to sell, under oath (electrek.co)
  by Tomte 10 hours ago | 3 comments
• 11 Show HN: SCIP MIP solver bindings for Go, ported from russcip (github.com)
  by generalist_dev a day ago | discuss
• 16 The Apple IIGS was introduced 40 years ago today (twitter.com)
  by stlhood 20 hours ago | 1 comments
• 217 Getting 50 GB/S Back from the Apple Neural Engine (eiln.github.io)
  by eiln 7 days ago | 36 comments
• 57 Largest known Roman mosaic, beneath Baths of Trajan, opens to the public (theartnewspaper.com)
  by bookofjoe 2 days ago | 9 comments
• 810 Everyone should slow down AI development except for me (xeiaso.net)
  by xena 4 days ago | 455 comments
• 270 Julia 1.13 highlights (julialang.org)
  by eigenspace 7 days ago | 47 comments
• 77 TailTalk: A modern async user space AppleTalk stack with Rust and Tokio (github.com)
  by zdw 4 days ago | 15 comments