Stories by fanf2

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

Y-cruncher: a multi-threaded Pi program

Please stop calling databases CP or AP

C23 is coming: here's what's on the menu

15
16
17
18
19
20
21
22
23
24