Stories by fanf2

CHERIoT provides strong and usable isolation without an MMU

Inspecting the Cortex-A76 L1i Cache with Ramindex

Stabilization Progress of Rust Allocators

Solaris Turnstiles for mutex priority inheritance

Bitap: My favorite string matching algorithm

A faster way to convert a timestamp to hour, min, SEC

Liquid Types. (2008) [pdf]

Exploring Mojo's raw pointer type

A preview of the future Intel architecture documentation

The Revo Programming Language

New things for regular expressions in PostgreSQL: pg_tre and pg_re2

Wasmi 2.0: engineering of the fastest WASM interpreters

Empty intervals are valid intervals

A one-handed clock on the hyperbolic plane

Zero-cost 'tagless initial' in Rust with GADT-style enums

The Cursed Computer Iceberg

ARM weak memory consistency vs. TSO on Apple Silicon: what is it good for?

Sloc cloc and code (scc) 4.0: finding the files that need the most attention

Symmetries in Boolean Scans with APL

The Sync Heap: delete first, ask questions later

1 2 3 4 5 6 7 8 9 10