The Ken Thompson Hack(wiki.c2.com)

98 points by stephc_int13 2 years ago | 27 comments

Solving `Passport Application` with Haskell(jameshaydon.github.io)

283 points by jameshh 1 year ago | 111 comments

Colored Petri Nets, LLMs, and distributed applications(blog.sao.dev)

45 points by stuartaxelowen 8 months ago | 5 comments

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.

I love Linux, but I can't quit Windows(jpain.io)

15 points by speckx 5 months ago | 9 comments

Making Rust supply chain attacks harder with Cackle(davidlattimore.github.io)

169 points by djoldman 3 years ago | 71 comments