Stories by g0xA52A2A

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

SuperC: Parsing All of C by Taming the Preprocessor [pdf] (2012)

TextOS – Twitter

Writing a scheduler for Linux in Rust that runs in user-space (part 2)

The perils of pause(2) (2023)

Microsoft and Mistral AI announce new partnership

Blazingly Fast™ Type Class Resolution with Tries

Vectorizing ML Models for Fun

bpaf – Command line parser with applicative interface

The Ultimate Conditional Syntax [video]

JIT in ClickHouse

1
2
3
4
5
6
7
8
9
10