Stories by fanf2

Programming in Martin-Lof's type theory: an introduction. (1990)

Encoding Hangeul, Koreas writing system

Optimal bounds for open addressed hash tables without reordering

SQL OFFSET is worse than keyset pagination

Efficient communication and garbage collection in Haskell with compact normal fo

YamlScriot: YAML Done Wisely

I think about C99 strict aliasing rules

HVM: Higher-order virtual machine, a parallel, optimal functional runtime

Setenv() isn't threadsafe and even safe Rust didn't save us

Factoring in gravitomagnetism could do away with dark matter (2021)

Verb: Emacs Org Mode HTTP client

Stacking lookup tables in a lexer generator

The .su ccTLD might be safe after all

Why is it hard to automatically suggest what index to create?

Eradicating Trivial Vulnerabilities, at Scale

The `Satisfies` Operator in TypeScript

When is "this trait can be implemented" part of the trait's public API? Sealed t

Compiler construction textbook by Niklaus Wirth

Memories: Edinburgh ML to Standard ML

31
32
33
34
35
36
37
38
39
40