Stories by fanf2

The changing role of finite-state model checking

An Introduction to Canvas in Emacs

Nss-userhosts: a name service switch module allowing unprivileged users to have

The figure of the Earth: global geodesy in the mid-20th C

Principles of dependent type theory [pdf]

Emacs arbitrary code execution on file open, again

Compile-time improvements in LLVM 23

Lego color wheels (and why build a grid instead)

The smell of rain: how Aussie scientists invented a new word in 1964

Why compiling Rust to WASM is slow

Accurate int/float colour conversions

Protecting the Rust standard library from accidental breakage with cargo-semver

Computing Graph Dominators

Speeding up (small) Ruby hashes with SWAR

Rustc_codegen_JVM: Compile Rust to Java bytecode and runnable JARs

The mathematical beauty of hyperbezier curves

Additional publications in mathematics by Jeremy L. Martin

Implementation strategies for mutable value semantics

Rust fearless_SIMD v0.7: 64-bit integers, improved generics, SSE2, and upcoming

Ruminating about mutable value semantics

1 2 3 4 5 6 7 8 9 10