Stories by g0xA52A2A

The IL Protocol

Writing a 9P Server from Scratch

Userspace Bypass: Accelerating Syscall-Intensive Applications

Compiling to Intrinsically Typed Combinators

Half&Half: Demystifying Intel’s Directional Branch Predictors [video]

Large Multiplication

Distributed Transactions at Scale in Amazon DynamoDB

Intel VT-rp – Part 1. remapping attack and HLAT

Simulation Testing for Liveness

Large Poisson polynomials: Computation, results and analysis [pdf]

A persistent task queue in Rust

Demystifying Pratt Parsers

Propagating bounds through bitwise operations

Working Ternary ALU (2019)

The Centrality of AffineTraversal

Chyp: An interactive theorem prover for string diagrams

ICFP Pearl preprint on rec-def

TIL: Don’t forget your Web Manifest file

Dynamic programming in Haskell: automatic memoization

Go: Execution Tracer Overhaul

3
4
5
6
7
8
9
10
11