-
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)
-
285
A 3D fruit fly on macOS desktop powered by the real FlyWire connectome
(github.com)
-
271
Scientists stunned by children's lung recovery in ultra low emission zone
(bbc.com)
-
350
How does IKEA come up with names for its products?
(ikea.com)
-
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
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)
-
66
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)
-
238
Meta's blockbuster trial draws parallels to big tobacco
(economist.com)
-
205
Claude writing a macOS driver for my obscure HP printer built only for Windows
(twitter.com)
-
324
And then the men with guns tell you to do it anyway
(shkspr.mobi)
-
1185
The Amazon tax
(seths.blog)
-
83
Show HN: Interactive, animated architecture of any HuggingFace models
(modelmap.cc)
-
14
Looking for Missed Alarm Bugs in a Formal Verification Tool
(blog.regehr.org)
-
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)