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

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)