-
542
OpenLogi
(openlogi.org)
-
27
Where Human Sleep Went Wrong
(nautil.us)
-
255
Cerebras CS-4
(cerebras.ai)
-
94
Palomar: A registry of Lean verified mathematics
(terrytao.wordpress.com)
-
88
Supersonic Trebuchet [video]
(youtube.com)
-
468
Being ambitious and being a dad
(nicholascharriere.com)
-
228
Scientists stunned by children's lung recovery in ultra low emission zone
(bbc.com)
-
261
A 3D fruit fly on macOS desktop powered by the real FlyWire connectome
(github.com)
-
139
Solo – a .so loader for static Linux binaries
(github.com)
-
36
The Vietnam Binh Chau (Chau Tan) Late Tang Wreck
(koh-antique.com)
-
338
How does IKEA come up with names for its products?
(ikea.com)
-
13
λλ: A Programming Language for Silicon Photonics
(dl.acm.org)
-
16
Berd
(berd.xyz)
-
222
Meta's blockbuster trial draws parallels to big tobacco
(economist.com)
-
24
"Sabotage": Experts, lawmakers blast RFK Jr. for destroying healthcare research
(arstechnica.com)
-
132
AI usage patterns in software teams
(linear.app)
-
46
CUDA Shared Memory Swizzling
(leimao.github.io)
-
206
Finger: the 1971 social network that never died
(en.andros.dev)
-
13
Looking for Missed Alarm Bugs in a Formal Verification Tool
(blog.regehr.org)
-
31
We turned off Pub/Sub and nobody noticed
(incident.io)
-
246
Turbovec – Google's TurboQuant for vector search in Rust
(github.com)
-
4
The Two Factions of C++
(herecomesthemoon.net)
-
175
A 25-year-old video patent just expired, ending a legal headache for Linux
(xda-developers.com)
-
307
And then the men with guns tell you to do it anyway
(shkspr.mobi)
-
50
Show HN: Automatically detect and patch walking-dead states in Sierra games
(github.com)
-
1157
The Amazon tax
(seths.blog)
-
192
Claude writing a macOS driver for my obscure HP printer built only for Windows
(twitter.com)
-
18
The Mojo language (by Modular, now Qualcomm) is now open-source
(modular.com)
-
75
Show HN: Interactive, animated architecture of any HuggingFace models
(modelmap.cc)
-
180
Apple announces changes for apps in the European Union
(apple.com)