Submissions by g0xA52A2A

The FastLanes Compression Layout: Decoding >100B Integers per Second [pdf]

Spending too much time optimizing for loops

Inline caching in our AST interpreter

Knot-based Key Exchange protocol [pdf]

lsb2s – Ludicrous speed binary to source converter

Overflow in consistent hashing (2018)

Union vs. Sum Types

Building a Better Hashtable on an FPGA

Notes on Implementing Algebraic Subtyping

A small template engine for C

Modular Error Reporting with Dependent Lenses

Decoding UTF8 with parallel extract

Not all graphs are trees

Heartbeat Scheduling: Provable efficiency for nested parallelism

Lolita: A tagless, dependently typed, self-aware programming language

Unanimous 2PC: Fault-Tolerant Distributed Transactions Can Be Fast and Simple

Knuth–Morris–Pratt illustrated

Why is there no realloc that takes the number of bytes to copy?

Open-source XYZ nanopositioner for precision analytical applications

Rendering string diagrams recursively [pdf]

Gentle Intro to Type-Level Recursion in Rust: From Zero to HList Sculpting

Agave Font

Linear Algebra of Types (2019)

In Search of the Perfect Fold

Bertie – A minimal, high-assurance implementation of TLS 1.3 written in hacspec

Understanding the Phases Applicative

Faster and Fewer Page Faults

What's in a GIF?

Why Is Defunctionalization Good?