Stories by fanf2

Eidophor: 1950's space age video projection technology. [video]

Triangle of power notation: exponents roots and logarithms

Situated Software

IELR(1): practical LR(1) parser tables for non-LR(1) grammars with conflict reso [pdf]

JA4: A suite of network fingerprinting standards

Static interpretation of higher-order modules in Futhark: functional GPU program

Logarithms of algebraic data types for property-based testing (2022)

Implementing dependent types in pi-forall (2023)

What is cosh(List(Bool))? Or beyond algebra: analysis of data types

London Cycle Orbital: peaceful cycling at London's margins

What is systems programming, really? (2018)

Exploit a binary with sigreturn oriented programming (SROP)

Diagnosing a double-free concurrency bug in Rust's unbounded channels

Postgres Extensions in Rust

The crisis of zombie social science

Initialization in C++ is seriously bonkers

Gif320: A GIF viewer for DEC VT320 terminals

Clowns to the left of me, jokers to the right - Dissecting Data Structures [pdf] (2008)

Distance-based ISA for efficient register renaming

4
5
6
7
8
9
10
11
12
13