Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Electron band structure in germanium, my ass (2001)

Programming as Theory Building (1985) [pdf]

The invention of fuzz testing

Electron band structure in germanium, my ass (2000)

Efficiently Searching In-Memory Sorted Arrays: Revenge of Interpolation Search? [pdf]

How to explain zero-knowledge protocols to your children (1998)

Probability and Statistics Cookbook (2011)

Naur on Programming as Theory Building (1985)

A Study of Firecracker and gVisor (2020)

Operating Systems: Three Easy Pieces

Log-structured File Systems

Operating Systems: Three Easy Pieces

The No-Order File System

Anticipatory Procastrination

CBR 1000RR LEDs

UWisconsin course on Haskell and Rust

CS-838: Virtualization

Programming as Theory Building – Peter Naur

Multilisp: A Language for Concurrent, Symbolic Computation (1985)

Fast key-value stores: An idea whose time has come and gone

How to Eliminate the Dreaded “Blind Spot”

Manual vs. Automated Vulnerability Assessment: A Case Study

Operating Systems: Three Easy Pieces

Peeking Behind the Curtains of Serverless Platforms

Operating Systems: Three Easy Pieces

Electron Band Structure in Germanium, My Ass (2007)

Probability and Statistics Cookbook

Operating Systems: Three Easy Pieces

Writing Reusable Code Feedback at Scale with Mixed-Initiative Program Synthesis

Fast: A Transducer-Based Language for Tree Manipulation (2014)

More →