Stories by fanf2

Tech ain't that deep – and that's a problem

Rust for Morello ARM CHERI: always-on memory safety, even in unsafe code [pdf]

Qalculate Time Hacks

Qalculate Hacks

Inkwell: It's a New Kind of Wrapper for Exposing LLVM in Safe Rust

An overview of language features and implementation tasks that contribute toward

Native Inotify in FreeBSD

6× faster batched binary search in Rust

Reaction: A daemon that scans program outputs for repeated patterns, and takes a

Digital show and tell: how digital audio signals behave in the real world

Mechanized type inference for record concatenation as in Nix

Rust service isn't leaking: when do glibc / jemalloc / mimalloc call munmap

In-place functional programming with Koka

CO2 helps viruses stay alive longer in the air

Ditching Vagrant: VMs with KVM and Virsh on Debian

A floating point option shield to check for sensible C compiler configurations

Proving the fundamental theorem of arithmetic in Agda

Low-level Haskell: The cursed way to emulate inline assembly in Haskell/GHC, or

The Economics of Starlink and SpaceX

An arbitrary-palette positional dithering algorithm

3 4 5 6 7 8 9 10 11 12