Stories by g0xA52A2A

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?

Evaluating the Claims of "SAT Requires Exhaustive Search"

A compact relocation format for ELF

QuePaxa: Escaping the Tyranny of Timeouts in Consensus

1
2
3
4
5
6
7
8
9
10