Stories by fanf2

The seven virtues of simple type theory / higher-order logic [pdf]

Using Lxcfs Together with Podman

Flat design vs. rich ("skeuomorphic") design: a bibliography

Why Metropolis–Hastings Works

Map Projection Transitions

Tony Hoare on record handling. (1965)

Lifetime Dispersion and Generational GC

Apple's Sillyballs (1988)

Rust-parallel: Run commands in parallel and aggregate outputs, like GNU parallel

A review of the Helix editor after 1.5 years

Explicit Refinement Types

No value restriction is needed for algebraic effects and handlers

Programming languages and dimensions of units of measure

A queer history of computing: Peter Landin

What Declarative Languages Are

Synchronizing Clocks by Leveraging Local Clock Properties (2022)

How attackers are still phishing "phishing-resistant" passkey authentication

AdBlock Tester: test your AdBlock extensions

Post-mortem of network outage affecting OpenStreetMap.org in December 2024

17
18
19
20
21
22
23
24
25
26