Stories by fanf2

Arend: A theorem prover based on Homotopy Type Theory

Ucs-detect: automatically test the Unicode version and support level of a termin

Tour of a Scheme pattern matcher: expression and pattern expansion

The honest troubleshooting code of conduct

Fuzzing DNS Zone Parsers

Smoothsort Demystified

IPv6 in the UK 6 years after World IPv6 day

Entrepreneurs don't have a special gene for risk, they come from families with m (2015)

Practical security in production: hardening LLVM's C++ standard library at App

PolySubML Is Broken

Why are sizes signed in the Futhark programming language?

Things I wished more developers knew about databases

The Bulgarian Calendar

Eight Months of NixOS

`Indexer` and `Int` vs. `UInt` in the Mojo Programming Language

Stroustrup says subscripts and sizes should be signed [pdf]

Georgia Tech Software Tools subsystem and C compiler for Prime computers

Facebook's ad targeting algorithm is inherently biased

Talking Oglaf with Trudy Cooper and Doug Bayne: 'We'd stay up all night drawing

Linking and shrinking Rust static libraries

18 19 20 21 22 23 24 25 26 27