Stories by fanf2

Using bitmaps to perform range queries

Imberbus: A classic bus service across the Salisbury Plain to the lost village o

A Prototype Original iPod

Automatic server reloading on change in Rust with listenfd and systemfd

Spin: Formal verification of multi-threaded code

Flat origami is Turing complete (2023)

PopSec: How not to blow up a pipeline [pdf]

The thing about the Kobayashi Maru

What is algebraic about algebraic effects and handlers?

Standard ML ideas, principles, culture [pdf]

The London Underground is too hot, but it's not an easy fix

Numbat: A statically typed programming language for scientific computations with

A 3D mouse with 3D printed flexures and PCB coils

Adjust your sett: a tartan editor

RSS/Atom feed best practise

High performance correctly rounded math libraries for 32-bit floating point

Sharun: Run dynamically linked ELF binaries everywhere

How to unlock LUKS using Dropbear SSH keys remotely in Linux

1
2
3
4
5
6
7
8
9
10