Stories by fanf2

Height hunt: a quest to find and visit every possible low bridge / height restri

Is Email Confidential in Transit Yet?

From milliseconds to 26 nanoseconds: how a $20 eBay SFP module beat my NT

Removing the AUICGP instruction from CHERIoT RISC V

The longest train journey in the EU

Jumping into cold water can stop your heart

Gecko: A fast GLR parser with automatic syntax error recovery

Cryptographic right answers: post quantum and Rust edition

An algorithmic reconstruction of normalisation by evaluation

Garbage collection and the edge of safe Rust

Using QUIC backscatter to infer hypergiant deployment configurations

Performance of the Wren Programming Language

Jujutsu / jj megamerges for fun and profit

Ggsql: A SQL extension for declarative data visualisation based on the Grammar O

Plotnine: Grammar of Graphics for Python

Verus is a tool for verifying the correctness of code written in Rust

Vega-lite: a high-level grammar of interactive graphics in JavaScript

Generating random numbers using C++ standard library: the problems

Running modern code on a 1960s UNIVAC computer via a RISC V emulator

Practical Antiforgery in Software Design

1 2 3 4 5 6 7 8 9 10