• 25 Synthesizing Loop-Free Programs with Rust and Z3 (2020) (fitzgen.com)
  by karelpeeters 5 days ago | discuss
• 12 Iran strikes on Amazon data centers caused permanent loss of customer data (arstechnica.com)
  by rbanffy 9 hours ago | 7 comments
• 18 Fed approves interest rate hike, signals one more to come this year (cnbc.com)
  by rawgabbit 8 hours ago | 1 comments
• 8 Gnome 51 Released with Improved Frame Scheduling, Many App Improvements (phoronix.com)
  by tuhtah 9 hours ago | 1 comments
• 20 Sanders: "If AI is coming for workers, it should bring a 4-day workweek with it" (fortune.com)
  by Markoff 19 hours ago | 1 comments
• 12 The bitter lesson of browser agents (browser-use.com)
  by gregpr07 a day ago | 2 comments
• 158 Open-source AI and open models reading list (interconnects.ai)
  by simonpure 3 days ago | 30 comments
• 258 Microsoft patches Windows and Excel – breaks audio, remote access, and paste (theregister.com)
  by Alephinitesimal 2 days ago | 179 comments
• 635 Homebrew 7.0.0 (brew.sh)
  by mikemcquaid 4 days ago | 253 comments
• 679 google.com/goto: Google's anti-scraping update (autom.dev)
  by 1e1a 5 days ago | 553 comments
• 13 Do you still read the code? (zanlib.dev)
  by wofo 2 days ago | 2 comments
• 199 I added a non-wi-fi Mitsubishi AC to Home Assistant (medium.com)
  by ichacas 7 days ago | 105 comments
• 313 Nike exits the S&P 100 after 18 years and a $200B market-cap wipeout (fortune.com)
  by andsoitis 3 days ago | 436 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 6 days ago | 159 comments
• 49 The biggest dinosaurs couldn't sit on their eggs (cbc.ca)
  by BiraIgnacio 3 days ago | 16 comments
• 6 We Must Create the Shit Machine (mcsweeneys.net)
  by CharlesW 10 hours ago | discuss
• 9 AI is not going to kill you (sufficientlyadvanced.blog)
  by mohonishc a day ago | 4 comments
• 112 How much oil-market buffer is left? (depletion.org)
  by mcone a day ago | 173 comments
• 10 Sub-Agents Are Just Wrong (polylane.com)
  by momojo a day ago | discuss
• 78 TailTalk: A modern async user space AppleTalk stack with Rust and Tokio (github.com)
  by zdw 4 days ago | 15 comments
• 217 Getting 50 GB/S Back from the Apple Neural Engine (eiln.github.io)
  by eiln 7 days ago | 36 comments
• 810 Everyone should slow down AI development except for me (xeiaso.net)
  by xena 4 days ago | 455 comments
• 12 Trump's war on EVs derailed America's auto-factory revival (economictimes.indiatimes.com)
  by devonnull 6 hours ago | 1 comments
• 7 Periodic Labs, building labs that learn (periodic.com)
  by aguez a day ago | discuss
• 270 Julia 1.13 highlights (julialang.org)
  by eigenspace 7 days ago | 47 comments
• 780 Don't let anyone take away your big box of cables (blog.jim-nielsen.com)
  by Brajeshwar 6 days ago | 464 comments
• 130 Microcode in Intel's 8087 floating-point chip: the scale instruction (righto.com)
  by pwg 4 days ago | 53 comments
• 25 Lovable rewrites Vite in Rust – Reduces memory usage by 10x (lovable.dev)
  by vikeri 2 days ago | 3 comments
• 57 Largest known Roman mosaic, beneath Baths of Trajan, opens to the public (theartnewspaper.com)
  by bookofjoe 3 days ago | 9 comments