• 156 Are We Stuck with Lean? (mathoverflow.net)
  by jjgreen 4 days ago | 67 comments
• 134 Algorithms on billion-scale graph using 10GB RAM: I love DataFusion (semyonsinchenko.github.io)
  by speckx 3 days ago | 40 comments
• 344 AI financial advice is surprisingly good, especially if you ask right questions (mitsloan.mit.edu)
  by foxtrot8672 2 days ago | 392 comments
• 4 Combinatorial Materials Synthesis(2023) [pdf] (gregoire.people.caltech.edu)
  by o4c 21 hours ago | discuss
• 11 Devtools must be open source (blog.exe.dev)
  by tosh 21 hours ago | 1 comments
• 196 June in Servo: real world compat, media queries, SharedWorker, and more (servo.org)
  by iamnothere 3 days ago | 64 comments
• 788 Superlogical (superlogical.com)
  by yan 5 days ago | 457 comments
• 235 The most official water costs $120k a gallon (signoregalilei.com)
  by surprisetalk 3 days ago | 187 comments
• 422 Google will expand age checks on Android worldwide till the end of the year (android-developers.googleblog.com)
  by dmantis 4 days ago | 526 comments
• 749 KOReader (koreader.rocks)
  by Cider9986 5 days ago | 245 comments
• 235 Physicists Solve a Muon Mystery. Now, Old Results Don't Add Up (quantamagazine.org)
  by ibobev 4 days ago | 178 comments
• 5 T cells targeting SARS-CoV-2, EBV, and CMV stay in attack mode in Long Covid (cell.com)
  by thenerdhead 18 hours ago | discuss
• 15 The diabolical world of convincing AI thirst traps (vox.com)
  by nabbed 16 hours ago | 6 comments
• 11 General Motors Streetcar Conspiracy (en.wikipedia.org)
  by jaredwiener 17 hours ago | discuss
• 14 Bubble Memory (en.wikipedia.org)
  by jacquesm 19 hours ago | discuss
• 122 Just because a game is on disc doesn't mean it will work in the future (arstechnica.com)
  by rbanffy 3 days ago | 128 comments
• 194 Progressive Web Components (arielsalminen.com)
  by hosteur 3 days ago | 55 comments
• 17 Playing with Georgia (mighil.com)
  by surprisetalk 5 days ago | 9 comments
• 13 The Apple Network Server's all-too-secret weapon (featuring PPC Toolbox) (oldvcr.blogspot.com)
  by rbanffy a day ago | 2 comments
• 392 How to Exist (raptitude.com)
  by walterbell 3 days ago | 242 comments
• 340 A $500 RL fine-tune of a 9B open model beat frontier models on catalog review (fermisense.com)
  by ilreb 7 days ago | 127 comments
• 128 Why don't people use formal methods? (2019) (hillelwayne.com)
  by Thom2503 4 days ago | 117 comments
• 16 Coursera Bets $100M That Andrew Ng Can Do What Coursera Can't (classcentral.com)
  by dhawalhs 20 hours ago | 3 comments
• 10 A mystery virus started killing horses. Then humans (theguardian.com)
  by edfsadfer 14 hours ago | 2 comments
• 100 Rune 1.1: adds Python, an Emacs editor, a symbol index and is now free (rune.build)
  by ernestrc 4 days ago | 51 comments
• 243 RamenHaus (ramen.haus)
  by oler 2 days ago | 126 comments
• 214 Logic for Programmers (logicforprogrammers.com)
  by _doctor_love 5 days ago | 47 comments
• 258 SQLite in Production: Optimizing WAL Mode, Concurrency, and VFS Layers (micrologics.org)
  by ankitg12 5 days ago | 77 comments
• 16 Negative social ties as risks for faster aging, inflammation, and multimorbidity (pmc.ncbi.nlm.nih.gov)
  by davidbarker 17 hours ago | 1 comments
• 97 Where USB Memory Sticks are Born (2013) (bunniestudios.com)
  by jacquesm 7 days ago | 8 comments