1
720
OpenLogi (openlogi.org)
289
Cerebras CS-4 (cerebras.ai)
32
The Two Factions of C++ (herecomesthemoon.net)
511
Being ambitious and being a dad (nicholascharriere.com)
106
Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com)
111
Supersonic Trebuchet [video] (youtube.com)
350
145
Solo – a .so loader for static Linux binaries (github.com)
25
λλ: A Programming Language for Silicon Photonics (dl.acm.org)
63
Where Human Sleep Went Wrong (nautil.us)
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)
53
142
AI usage patterns in software teams (linear.app)
219
Finger: the 1971 social network that never died (en.andros.dev)
51
CUDA Shared Memory Swizzling (leimao.github.io)
252
195
A 25-year-old video patent just expired, ending a legal headache for Linux (xda-developers.com)
238
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)
1185
The Amazon tax (seths.blog)
14
Looking for Missed Alarm Bugs in a Formal Verification Tool (blog.regehr.org)
202
553
Beware Management Consultants (about.iceland.co.uk)