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