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