Stories by fanf2

ECFiber: Building a fibre-to-the-premises network in rural Vermont (2021)

Bluefishjs: Composing Diagrams in with Declarative Relations

Heron: Modern Hardware Graph Reduction (2024)

Portable dynamically linked packages on Linux

I Got Plenty o' Nuttin': linear dependent types [pdf]

A collection of articles about retries

Arithmetic with Continued Fractions

BNFGen: A random text generator based on context-free grammars

Staged compilation with two-level type theory [pdf]

Autosetup: A Tcl-based build environment "autoconfigurator"

Haflang: Hardware Acceleration of Functional Languages

Bluefishjs: A diagram drawing framework for JavaScript

The Joys of Unix Keyboards

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

45 46 47 48 49 50 51 52 53 54