112 Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com) by matt_d • about 8 hours ago • 18 comments
291 A 3D fruit fly on macOS desktop powered by the real FlyWire connectome (github.com) by phoenix120 • about 13 hours ago • 108 comments
4 Air Theremin – a browser theremin you play by waving at your webcam (theremin.bizibah.com) by gurov • 43 minutes ago • 1 comments
357 How does IKEA come up with names for its products? (ikea.com) by NaOH • about 17 hours ago • 250 comments
279 Scientists stunned by children's lung recovery in ultra low emission zone (bbc.com) by dabinat • about 10 hours ago • 217 comments
29 λλ: A Programming Language for Silicon Photonics (dl.acm.org) by matt_d • about 5 hours ago • 6 comments
6 Rings forged from meteorites may have been fashionable among ancient Greek elite (phys.org) by pseudolus • 5 days ago
145 Solo – a .so loader for static Linux binaries (github.com) by zX41ZdbW • about 11 hours ago • 167 comments
41 The Vietnam Binh Chau (Chau Tan) Late Tang Wreck (koh-antique.com) by teleforce • about 9 hours ago • 3 comments
59 The Mojo language (by Modular, now Qualcomm) is now open-source (modular.com) by flaburgan • about 3 hours ago • 22 comments
73 Show HN: Automatically detect and patch walking-dead states in Sierra games (github.com) by wkfauna • about 9 hours ago • 23 comments
221 Finger: the 1971 social network that never died (en.andros.dev) by andros • 1 day ago • 69 comments
13 Activation Energy is a good model for a lot of things (homosabiens.substack.com) by surprisetalk • 5 days ago • 2 comments
199 A 25-year-old video patent just expired, ending a legal headache for Linux (xda-developers.com) by theanonymousone • 4 days ago • 86 comments
253 Turbovec – Google's TurboQuant for vector search in Rust (github.com) by fittingopposite • about 17 hours ago • 31 comments
244 Meta's blockbuster trial draws parallels to big tobacco (economist.com) by newsomix9xl • about 9 hours ago • 193 comments
212 Claude writing a macOS driver for my obscure HP printer built only for Windows (twitter.com) by porridgeraisin • about 23 hours ago • 163 comments
327 And then the men with guns tell you to do it anyway (shkspr.mobi) by _djo_ • about 18 hours ago • 217 comments
9 Peter Thiel-Linked Race Science Network That Penetrated Cambridge University (bylinetimes.com) by Lapra • 35 minutes ago
144 AI usage patterns in software teams (linear.app) by giuliomagnifico • about 13 hours ago • 90 comments
86 Show HN: Interactive, animated architecture of any HuggingFace models (modelmap.cc) by lizhaoliu • about 11 hours ago • 9 comments
206 Apple announces changes for apps in the European Union (apple.com) by newusertoday • about 19 hours ago • 298 comments
43 Tiny satellite will use the dark side of the Moon as a shield (cam.ac.uk) by NordStreamYacht • about 10 hours ago • 8 comments
557 Beware Management Consultants (about.iceland.co.uk) by KolmogorovComp • about 15 hours ago • 149 comments
35 That Disgraceful, Disreputable, (Wonderful) Form of Punctuation: The Parenthesis (lithub.com) by pseudolus • about 10 hours ago • 19 comments
360 Sticky wage norms and the real wage cost of unexpected inflation (bfi.uchicago.edu) by jplusequalt • about 10 hours ago • 231 comments
78 Launch HN: machine0 (YC S26) – Persistent CPU and GPU VMs from the CLI (machine0.io) by bwm • about 19 hours ago • 42 comments
176 Python Polars Cheatsheet (based on our O'Reilly book) (opensource.posit.co) by jeroenjanssens • about 21 hours ago • 40 comments
154 California's new tire efficiency rules could save drivers $1B a year (grist.org) by littlexsparkee • 1 day ago • 225 comments
48 The 90-year history of the binoculars bolted to scenic overlooks (dpreview.com) by sohkamyung • about 12 hours ago • 12 comments
45 How a giant battery is transforming a town centre in Cannington, Ontario (betakit.com) by builtbystef • 5 days ago • 13 comments
129 GLM-5.3 Artificial Analysis Benchmarks (artificialanalysis.ai) by apitman • about 13 hours ago • 50 comments
568 Cursor launches Origin, GitHub alternative (cursor.com) by tomasreimers • 1 day ago • 419 comments
276 Claude Code May–August 2026 weekly limits promotion (support.claude.com) by tyre • about 18 hours ago • 249 comments
429 Using the railway network as a flatbed scanner (philo.gay) by otherayden • about 22 hours ago • 69 comments
93 2,500-year-old sculpture discovered at UNESCO site in Turkey (theartnewspaper.com) by speckx • 6 days ago • 25 comments
844 Universal health coverage could save $1T and 114k lives a year: study (ysph.yale.edu) by karakoram • 2 days ago • 883 comments