Our work

We develop and maintain four infrastructure projects for vital systems, and we run two ecosystem initiatives.

Infrastructure projects

Data compression

Almost all content sent over the Internet undergoes data compression using algorithms like zlib and zstd.

Time synchronization

Reliable, securely synchronized time is a building block for the Internet and other critical infrastructure.

Smart grid protocols

As renewable energy resources increase, secure smart grid protocols are vital to optimizing our electricity grid.

Privilege boundary

The sudo utility mediates a critical privilege boundary on every open-source operating system that powers the Internet.

Ecosystem projects

Making Rust faster than C

Our mission is to make critical infrastructure software safer. We must eliminate performance considerations as a barrier for adoptiong the memory safe languange Rust in order to achieve this goal.

Education - teach-rs

Teach-rs is a university course for computer science students, introducing the Rust Programming Language, and is available for anyone who wants to teach Rust.