Submissions by harporoeder

Syndicated Actors for Conversational Concurrency

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)

Legdur – keep your legacy durable

Browser Database Comparison

Mokuroku: Secondary indices for RocksDB in Rust

WireGuard End-to-End Encrypted Hub-and-Spoke

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]

Tylr: A tiny tile-based editor

Fructure: A structured interaction engine in Racket

Luhn algorithm using SWAR and SIMD