Stories by fanf2

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

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

49 50 51 52 53 54 55 56 57 58