Submissions by fanf2

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

Owi: Performant parallel symbolic execution made easy with OCaml and WebAssembly

Hollywood: Split a computer console into multiple panes of genuine technical mel

Build better Golang release binaries [video]

The Black Death: Marmots and Mongols?

Bubble sort is not robust either (2024)

A dictionary of affixes: the building blocks of English

Policy for the distribution of ISO publications and the protection of ISO's co

Wayland isn't going to save the Linux desktop

The State of Garnet in 2025

Incremental zero-config code navigation using stack graphs with Tree-sitter at G (2021)

Less Htmx Is More

Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013)

Carl Linnaeus's note-taking innovations