Stories by fanf2

Compile-time dependent types in the Syl programming language

Precedence levels are dead; long live precedence sets

A bit provenance abstract domain for the Toy optimizer

Methane Hotspot Explorer

How integers should work (in systems programming languages)

Worried by Wordexp(3)

Analyzing Rust Programs with Charon

Safe self-referential data structures in Linux kernel Rust

Record Types Everywhere

Google Chrome is breaking the web forward

Papers we love: flow typing, a new lens on linearity

Removing a type assertion with Object.assign in TypeScript

One Hash Bloom Filters

Black-box HashDoS: attacking hash tables without knowing the hash function

Bidirectional Type Slicing

Making a language with row types and bidirectional typing, targeting WASM

Chasing a -O2 Pessimization in Antcc

Reconstructing a TypeScript bidirectional type checker

Noperts: Reproducible proofs of non-Rupert polyhedra

The Wild West of polyglot docs sites

1 2 3 4 5 6 7 8 9 10