Stories by harporoeder

Carge-crev: A cryptographically verifiable code review system for Rust

Flatter wait-free hazard pointers

List of Countries with Multiple Capitals

On the efficacy of cosmic ray sorting

Becoming physically immune to brute-force attacks

Vim Vixen

Enarx: Confidential Computing with WebAssembly

Ed is the standard text editor (2014)

Xdg-desktop-portal back end for wlroots

Next-Generation Secure Computing Base

Letter to 20 Years Ago

Sphincs+: a stateless hash-based signature scheme

Piecewise Geometric Model Index

FDIC Failed Bank List

When network is faster than browser cache (2020)

The Design of SQLite4

Creusot: Deductive Verification of Rust

Greenplum Database – Massively Parallel PostgreSQL for Analytics

The Worst (2012)

Stealth Distributed Hash Table: A Robust and Flexible Super-Peered DHT [pdf]

6
7
8
9
10
11
12
13
14
15