Stories by fanf2

Cloaca: A concurrent hardware garbage collector for non-strict functional langua

A collection of quotes on the design of notation as a tool of thought

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

1
2
3
4
5
6
7
8
9
10