Stories by fanf2

Thoughts on Hashing in Rust

A multivalued language with a dependent type system. (A precursor to Epic Verse [pdf]

A Retrospective on SCCS, the Source Code Control System [pdf]

Fast type class resolution with a trie

Fixing the traffic jam in the science of technology safety

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

3
4
5
6
7
8
9
10
11
12