Show HN: Lean4 proof that SSOT requires definition-time hooks and introspection(zenodo.org)

6 points by trissim 9 months ago | 2 comments

Entire Linux Network stack diagram (2024)(zenodo.org)

533 points by hhutw 1 year ago | 45 comments

A Zenodo poster record by Hrvoje Horvat presenting a diagram of the entire Linux network stack, from virtualization and sockets to TCP/UDP, GRO/RPS, scheduler and Netfilter.

Xanadu was waiting for agents(zed.dev)

141 points by nsm 1 month ago | 57 comments

Berkeley Humanoid Lite – Open-source robot(lite.berkeley-humanoid.org)

253 points by ratsbane 1 year ago | 33 comments

Show HN: Zyme – An Evolvable Programming Language(zyme.dev)

137 points by almusdives 1 year ago | 17 comments

Zig's (.{}){} Syntax(openmymind.net)

216 points by todsacerdoti 2 years ago | 138 comments