Stories by fanf2

A (Reasonably) Opinionated Comparison of Isabelle/HOL, Lean, HOL4, and Agda

Division by zero in common meadows (nicer fields)

Reachability and error diagnosis in LR(1) parsers [pdf]

Jasmin: A language for high-assurance and high-speed cryptography

The performance cost of RwLock vs. Crossbeam epoch in our read-heavy workload

Covariance and contravariance: a fresh look at an old issue (a primer in advance [pdf]

Sound and complete flow typing with unions, intersections and negations [pdf]

Error sets with eros: the missing piece in Rust error handling

Smart pointers and handles for places in Rust: Beyond the and

Set-theoretic types for polymorphic variants

A simple language with flow typing

Two-stack sliding-window aggregation

Writing the Cyclone Scheme Compiler

Typeclasses vs. Modules

Compiling the Linux Kernel with Gccrs

Radsort: A parallel O(sqrt n) overhead LSD radix sort

Danish children struggle to learn their vowel-filled language, and this changes

Two kinds of SQL query builders

From System F to typed assembly language

Sleef: SIMD library for evaluating elementary functions, a vectorized libm, trig

1 2 3 4 5 6 7 8 9 10