Stories by fanf2

EverParse: Hardening critical attack surfaces with formally proven message parse

Daylight saving time gripe assistant tool

Custom-Width Integer Types

MMP at 25: how proportional representation changed New Zealand forever

A security kernel based on the lambda calculus

Yet-another-cad-viewer: display OCP/CadQuery/Build123d models in a web browser

Xsum: Exactly-rounded summation of floating point values

Illuminating Synchronization Edges for ThreadSanitizer

Social media doesn't turn people into assholes, and everyone's wrong about echo (2021)

The Game of Life caterpillar spaceship

Do not taunt happy fun branch predictor (2023)

Generalizing over generics a.k.a. higher kinded types in Rust

Any Game of Life pattern can be constructed from just 15 gliders (2022)

The Actual OSI Model

Some sanity for C and C++ development on Windows (2021)

When the CRC and the TCP checksum disagree [pdf]

Cleaning up your PostgreSQL database

Zig-style generics are not well-suited for most languages (2022)

54
55
56
57
58
59
60
61
62
63