Stories by fanf2

Dependent types and program equivalence [pdf] (2010)

Fend: An arbitrary-precision unit-aware calculator

What's higher-order about so-called higher-order references?

Faer: A general-purpose linear algebra library for Rust

Rewriting the Ruby Parser

Dependent types at work in Agda [pdf]

The complexity and performance of parsing with derivatives

Simulating time with square-root space

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

38
39
40
41
42
43
44
45
46
47