Jepsen: TigerBeetle 0.16.11(jepsen.io)

193 points by aphyr 1 year ago | 55 comments

Borgo Programming Language(borgo-lang.github.io)

334 points by MrBuddyCasino 1 year ago | 159 comments

Interactive intro and playground for Borgo, a new statically typed programming language with Rust-like features that compiles to Go.

Shrimple – A Simpler, Nicer Markdown(qount25.dev)

15 points by usrbinenv 3 months ago | 25 comments

Debian Git Monorepo(blog.liw.fi)

207 points by pabs3 2 years ago | 136 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.

Typechecker Zoo(sdiehl.github.io)

161 points by todsacerdoti 1 year ago | 24 comments