Stories by fanf2

Deploying IPv6-mostly access networks

Boolean Blindness

Posit floating point numbers: thin triangles and other tricks (2019)

Jef Raskin: Intuitive equals familiar. (1994)

Efficient communication and collection with compact normal forms in Haskell [pdf]

Pattern matching and exhaustiveness checking algorithms implemented in Rust

HashChain: A family of fast factor-based sublinear exact-matching string se

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

1
2
3
4
5
6
7
8
9
10