Stories by fanf2

Roofline model of computer performance for HPC applications

Why mmap is faster than system calls (2019)

Lambda the Penultimate

Binary Lambda Calculus

BlockQuicksort: Avoiding Branch Mispredictions in Quicksort

Ips4o: In-place parallel superscalar samplesort

Free yourself from the Spotify desktop client with spotifyd

Keeping Secrets: Diffie-Hellman and the NSA

Cryptographic signing using SSH-keygen(1) with a FIDO authenticator

Myst: A markdown flavor and parser for Sphinx

The unreasonable effectiveness of quasirandom sequences (2018)

Optional Parameters in Rust

Building the Fastest RaptorQ (RFC6330) FEC Codec in Rust

Improving security in s2n, Amazon's TLS implementation

Libsixel: Dec Terminal Graphics

Building the mathematical library of the future with Lean

GPU-accelerated ODE solving in R with Julia

Overloading by Return Type in C++

We need a C-compatible Rust crate for bitfields

Crux: Exhaustive symbolic testing for C, C++, and Rust