Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…

List of bugs found in distributed protocols

✏️ A versatile DNA sequence optimizer

CUE has moved to https://github.com/cue-lang/cue

Linearization checker for Java concurrent programs

Anki's shared backend and web components, and the Qt frontend

NoSQL data store using the seastar framework, compatible with Apache Cassandra

A curated list of engineering blogs

In-browser Markdown editor

RFCs for changes to Rust