Totality and non-standard recursion in Idris(franklin.dyer.me)

4 points by franklin_p_dyer 2 years ago | 0 comments

Konrad Zuse (1994)(xn--plankalkl-x9a.de)

72 points by tmalsburg2 2 years ago | 41 comments

NixOS for the Impatient(borretti.me)

139 points by yarapavan 3 years ago | 68 comments

ZX Spectrum Raytracer(gabrielgambetta.com)

193 points by ggambetta 2 years ago | 57 comments

Why I love NixOS(birkey.co)

411 points by birkey 7 months ago | 277 comments

A personal blog post explaining why the author loves NixOS, focusing on the deterministic, reproducible Nix package manager rather than the Linux distro itself.

Zenbleed(lock.cmpxchg8b.com)

1160 points by loeg 3 years ago | 327 comments

Tavis Ormandy's writeup of Zenbleed, an AMD Zen 2 CPU vulnerability that leaks data from vector registers, covering exploitation, discovery, and mitigation.