1. 211
   

   newWhat mathematicians should know about the Lean Theorem Prover: reliability & AIterrytao.wordpress.com

   ▲ 206matt_d3d💬 58savesaved
2. 212
   

   newFable Took My Jobcendyne.dev

   ▲ 215jllyhill10h💬 331savesaved
3. 213
   

   newWSL3 Performance is about 5-60% faster than WSL2 depending on the workloadtonym.us

   ▲ 236tonymet4d💬 231savesaved
4. 214
   

   newTell HN: GitHub refuses to remove cracked copies of my software after a month

   ▲ 574IvanK_net5d💬 345savesaved
5. 215
   

   newStep 5 Preview, a 1M-context MoE from StepFun, shows up on OpenRouteropenrouter.ai

   ▲ 146AnneWodell4d💬 38savesaved
6. 216
   

   new“Math 2.0” will need to value mathematical progress more holisticallymathstodon.xyz

   ▲ 611ent1014d💬 653savesaved
7. 217
   

   newA Terminal Protocol for Program Status (OSC 7501)mitchellh.com

   ▲ 186mfiguiere5d💬 53savesaved
8. 218
   

   newTheranos.worldwww.theranos.world

   ▲ 569kbyatnal4d💬 208savesaved
9. 219
   

   newGod of War on PSP, recompiled to WebAssembly and running in the browsergithub.com

   ▲ 245sn0015d💬 113savesaved
10. 220
    

    newThings that don't bother me as your managertwitter.com

    ▲ 21LouisLazaris17h💬 3savesaved
11. 221
    

    newA 5.3M-year-old deep-sea whale necropolis in the Diamantina Zonewww.nature.com

    ▲ 154bryanrasmussen5d💬 16savesaved
12. 222
    

    newAnne Carson wins Nobel Prize in literature 2026www.theguardian.com

    ▲ 190sonabinu4d💬 49savesaved
13. 223
    

    newPush ifs up and fors down: The idiom, its algebra, and its limitsdebasishg.github.io

    ▲ 194speckx5d💬 91savesaved
14. 224
    

    newA 1980s filter chip that uses switched capacitorswww.righto.com

    ▲ 33pwg2d💬 10savesaved
15. 225
    

    new'Wallace and Gromit,' 90% Aloneanimationobsessive.substack.com

    ▲ 301vinhnx3d💬 48savesaved
16. 226
    

    newPVX-001: open-source Covid-19 vaccine starts Phase 1 trialchronicles.popvax.com

    ▲ 140jajoosam2d💬 32savesaved
17. 227
    

    newAI-ready biological data: $1.8B global commitmentbiohub.org

    ▲ 149ray__3d💬 20savesaved
18. 228
    

    newThe art of defusing a second world war bombwww.theguardian.com

    ▲ 153sandebert5d💬 117savesaved
19. 229
    

    newWhy 'externalized' proofs of cyclic trait impls does not worksmallcultfollowing.com

    ▲ 4khalidkhair21hdiscusssavesaved
20. 230
    

    newAnti-patterns in software bloggingrefactoringenglish.com

    ▲ 340ilreb5d💬 149savesaved
21. 231
    

    newTell HN: I've been paying for a rural Tanzanian's education for 10 years

    ▲ 775lukehandcool4d💬 244savesaved
22. 232
    

    newTimekeepers to vote on ditching the leap secondwww.abc.net.au

    ▲ 14Gaishan16hdiscusssavesaved
23. 233
    

    newTelegram Desktop vulnerability allowed any user's file to be stolenbeaksec.github.io

    ▲ 464g-b-r2d💬 326savesaved
24. 234
    

    newNavier–Stokes Lost in Translationarxiv.org

    ▲ 360nill05d💬 236savesaved
25. 235
    

    newADHD as a circadian rhythm disorder: evidence and implications for chronotherapy (2025)www.frontiersin.org

    ▲ 403bookofjoe3d💬 268savesaved
26. 236
    

    newHow machines learned precisionglinscott.github.io

    ▲ 248glinscott6d💬 71savesaved
27. 237
    

    newGoogle Playground: Create and play custom gamesblog.google

    ▲ 166acossta5d💬 231savesaved
28. 238
    

    newTypesafe AI raises $870M at $7.5Btypesafe.ai

    ▲ 443tosh3d💬 356savesaved
29. 239
    

    newPointing AI at archives found a forgotten meteorite, lost rhinos, and morejessewaites.com

    ▲ 184piratebroadcast3d💬 92savesaved
30. 240
    

    newComputers Cannot Make Decisionswiki.cateat.fish

    ▲ 209heavensteeth2d💬 186savesaved

· edit