1

2

3

The Two Factions of C++

4

Palomar: A registry of Lean verified mathematics

5

Supersonic Trebuchet [video]

6

Being ambitious and being a dad

7

A 3D fruit fly on macOS desktop powered by the real FlyWire connectome

8

Scientists stunned by children's lung recovery in ultra low emission zone

9

Where Human Sleep Went Wrong

10

How does IKEA come up with names for its products?

11

Solo – a .so loader for static Linux binaries

12

Activation Energy is a good model for a lot of things

13

λλ: A Programming Language for Silicon Photonics

14

The Vietnam Binh Chau (Chau Tan) Late Tang Wreck

15

AI usage patterns in software teams

16

Finger: the 1971 social network that never died

17

The Mojo language (by Modular, now Qualcomm) is now open-source

18

Show HN: Automatically detect and patch walking-dead states in Sierra games

19

Turbovec – Google's TurboQuant for vector search in Rust

20

CUDA Shared Memory Swizzling

21

A 25-year-old video patent just expired, ending a legal headache for Linux

22

Meta's blockbuster trial draws parallels to big tobacco

23

And then the men with guns tell you to do it anyway

24

Claude writing a macOS driver for my obscure HP printer built only for Windows

25

26

Looking for Missed Alarm Bugs in a Formal Verification Tool

27

Show HN: Interactive, animated architecture of any HuggingFace models

28

Apple announces changes for apps in the European Union

29

Beware Management Consultants

30

Tiny satellite will use the dark side of the Moon as a shield

Rendered at 10:19:04 GMT+0000 (Coordinated Universal Time) with Vercel.