421
We resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPTborisalexeev.com
9 points by mathfan 1 days ago | 2 comments
422
EVs are depreciating faster than gas-powered carsrestofworld.org
430 points by belter 6 days ago | 959 comments
423
Nvidia has produced the first Blackwell wafer on US soilxda-developers.com
162 points by kristianp 3 days ago | 63 comments
424
Next steps for BPF support in the GNU toolchainlwn.net
111 points by signa11 6 days ago | 26 comments
425
Police Break Up Lego Theft Ring, Recovering Hundreds of Beheaded Figurinesnytimes.com
43 points by sanj 4 days ago | 28 comments
426
U.S. Lifts Key Restriction on Ukraine's Use of Western Long-Range Missileswsj.com
17 points by JumpCrisscross 13 hours ago | 10 comments
427
Live Stream from the Namib Desertbookofjoe2.blogspot.com
566 points by surprisetalk 6 days ago | 108 comments
428
Meta overhauls legacy AI operationsaxios.com
7 points by breadislove 19 hours ago | 1 comment
429
Resizeable Bar Support on the Raspberry Pijeffgeerling.com
115 points by speckx 14 days ago | 47 comments
430
Meta lays off 600 from "bloated" AI unitcnbc.com
4 points by holden_nelson 9 hours ago | 1 comment
431
Iceland just found its first mosquitoescnn.com
22 points by breve 1 days ago | 2 comments
432
John Titoren.wikipedia.org
16 points by cryptoz 1 days ago | 0 comments
433
Microplastics May Be Tied to Vascular Dementia Casessciencealert.com
35 points by fluxist 2 days ago | 1 comment
434
Syntax highlighting is a waste of an information channel (2020)buttondown.com
346 points by swyx 10 days ago | 171 comments
435
New coding models and integrationsollama.com
220 points by meetpateltech 7 days ago | 70 comments
436
StageConnect: Behringer protocol is open sourcegithub.com
186 points by jdboyd 5 days ago | 111 comments
437
Vaclav Smil on why there will be no energy transitionenergyskeptic.com
15 points by measurablefunc 3 days ago | 27 comments
438
TurboTax’s 20-year fight to stop Americans from filing taxes for free (2019)propublica.org
910 points by lelandfe 7 days ago | 468 comments
439
Tinnitus Neuromodulatormynoise.net
392 points by gjvc 5 days ago | 248 comments
440
The working-class hero of Bletchley Park you didn't see in the moviestheguardian.com
127 points by hansmayer 11 days ago | 87 comments
441
Look at how unhinged GPU box art was in the 2000s (2024)xda-developers.com
234 points by m-hodges 3 days ago | 115 comments
442
K8s with 1M nodesbchess.github.io
283 points by denysvitali 6 days ago | 80 comments
443
Chess grandmaster Daniel Naroditsky has diedold.reddit.com
423 points by ntnbr 3 days ago | 145 comments
444
Moonlander.BASbasic-code.bearblog.dev
56 points by ibobev 11 days ago | 16 comments
445
Understanding Spec-Driven-Development: Kiro, Spec-Kit, and Tesslmartinfowler.com
128 points by janpio 6 days ago | 32 comments
446
AMD's Chiplet APU: An Overview of Strix Halochipsandcheese.com
206 points by zdw 5 days ago | 77 comments
447
Trump Administration Cuts Cyberdefense Even as Threats Grownytimes.com
11 points by flowerlad 10 hours ago | 0 comments
448
A liver transplant from start to finishpress.asimov.com
127 points by mailyk 11 days ago | 36 comments
449
AI eats leisure time, makes employees work more, study findstheregister.com
19 points by raw_anon_1111 1 days ago | 1 comment