Joined 8/9/2010, 6:18:57 PM has 41925 karma
dot@dotat.at
https://dotat.at (home page)
https://dotat.at/@/ (blog)
https://dotat.at/:/ (links)
erstwhile fanf@isc.org hostmaster@cam.ac.uk postmaster@cam.ac.uk fanf@exim.org fanf@apache.org
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
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]