OpenLogi (openlogi.org)
708 points by amatheus 8 hours ago | 202 comments
Cerebras CS-4 (cerebras.ai)
285 points by sunils34 10 hours ago | 201 comments
The Two Factions of C++ (herecomesthemoon.net)
30 points by signa11 3 days ago | 16 comments
Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com)
105 points by matt_d 8 hours ago | 16 comments
Being ambitious and being a dad (nicholascharriere.com)
507 points by nichochar 3 days ago | 316 comments
Supersonic Trebuchet [video] (youtube.com)
110 points by CharlesW 4 days ago | 35 comments
A 3D fruit fly on macOS desktop powered by the real FlyWire connectome (github.com)
284 points by phoenix120 13 hours ago | 106 comments
Scientists stunned by children's lung recovery in ultra low emission zone (bbc.com)
269 points by dabinat 10 hours ago | 202 comments
Where Human Sleep Went Wrong (nautil.us)
62 points by XzetaU8 3 hours ago | 48 comments
How does IKEA come up with names for its products? (ikea.com)
350 points by NaOH 16 hours ago | 241 comments
Solo – a .so loader for static Linux binaries (github.com)
145 points by zX41ZdbW 11 hours ago | 162 comments
λλ: A Programming Language for Silicon Photonics (dl.acm.org)
24 points by matt_d 4 hours ago | 6 comments
Activation Energy is a good model for a lot of things (homosabiens.substack.com)
9 points by surprisetalk 5 days ago | 0 comments
The Vietnam Binh Chau (Chau Tan) Late Tang Wreck (koh-antique.com)
41 points by teleforce 9 hours ago | 3 comments
The Mojo language (by Modular, now Qualcomm) is now open-source (modular.com)
51 points by flaburgan 3 hours ago | 17 comments
AI usage patterns in software teams (linear.app)
142 points by giuliomagnifico 12 hours ago | 80 comments
Finger: the 1971 social network that never died (en.andros.dev)
219 points by andros a day ago | 69 comments
Show HN: Automatically detect and patch walking-dead states in Sierra games (github.com)
64 points by wkfauna 8 hours ago | 23 comments
CUDA Shared Memory Swizzling (leimao.github.io)
51 points by jxmorris12 6 days ago | 2 comments
Turbovec – Google's TurboQuant for vector search in Rust (github.com)
252 points by fittingopposite 16 hours ago | 31 comments
A 25-year-old video patent just expired, ending a legal headache for Linux (xda-developers.com)
195 points by theanonymousone 4 days ago | 82 comments
Meta's blockbuster trial draws parallels to big tobacco (economist.com)
237 points by newsomix9xl 8 hours ago | 189 comments
And then the men with guns tell you to do it anyway (shkspr.mobi)
324 points by _djo_ 17 hours ago | 208 comments
Claude writing a macOS driver for my obscure HP printer built only for Windows (twitter.com)
204 points by porridgeraisin a day ago | 160 comments
The Amazon tax (seths.blog)
1185 points by herbertl 21 hours ago | 631 comments
Looking for Missed Alarm Bugs in a Formal Verification Tool (blog.regehr.org)
14 points by luu 5 days ago | 0 comments
Show HN: Interactive, animated architecture of any HuggingFace models (modelmap.cc)
83 points by lizhaoliu 10 hours ago | 9 comments
Apple announces changes for apps in the European Union (apple.com)
202 points by newusertoday 18 hours ago | 284 comments
Tiny satellite will use the dark side of the Moon as a shield (cam.ac.uk)
42 points by NordStreamYacht 9 hours ago | 7 comments
Beware Management Consultants (about.iceland.co.uk)
553 points by KolmogorovComp 15 hours ago | 149 comments