Stories by fanf2

Waffle's revenge: classic 1 bit 8x8 tiling patterns

The government approved Cambridge's sewage treatment plant upgrade, then withd

A novel technique for SQL injection with PHP PDO's prepared statements

Ascon Lightweight Cryptography

The type theory fire triangle: how to mix substitution, dependent elimination, a

Dealing with cancel safety in async Rust

Indexing Jsonb in PostgreSQL

Tony Hoare: How did software get so reliable without proof?

CandyFab: A DIY 3D sugar printer

MacBook lid angle sensor sound effects

GNU Autotools Mythbuster

Cargo-remark: view LLVM optimization remarks for Rust

A more perfect [derive] for Rust

Nontransitive comparison functions lead to out-of-bounds read and write in glibc

Evolution of the ELF object file format

Beyond Booleans in Lean

Default musl allocator considered harmful to performance

A new packaging model for Rust in Guix

Why Lean 4 replaced OCaml as my primary language

25
26
27
28
29
30
31
32
33
34