Stories by matt_d

The SAT Museum [pdf]

Cramming a tiny program into a tiny ELF file

The Evolution of Effects – Haskell 2023 – Nicolas Wu [video]

Symposium on Principles of Programming Languages (POPL) 2024 – Accepted Papers

zpoline: System call hook for x86-64 Linux

Linux Kernel Module (LKM) Golf

The last 5 years of V8's garbage collector

How single-iteration InstCombine improves LLVM compile time

How symbols work and why we need them – Anders Schau Knatten – NDC TechTown 2023 [video]

Advent of Computing: Episode 121 – Arguments Against Programming

First ACM Workshop on Functional Software Architecture: Videos and Papers

On the Dual Nature of Necessity in Use of Rust Unsafe Code

Protocols and Associated Types in Swift [pdf]

Teaching and Learning Compilers Incrementally [ICFP'23 Tutorial] Jeremy G. Siek [video]

Multi-phase computation as an applicative functor [video]

Formalizing, Verifying & Applying ISA Security Guarantees as Universal Contracts

Introduction to Microscaling Formats (MX) Data

Intro to LLVM and MLIR with Rust and Melior

A History of Subtyping – Benjamin C. Pierce – PLMW @ ICFP 2023 [video]

FetchBench: Systematic Identification and Characterization of Prefetchers [pdf]

17
18
19
20
21
22
23
24
25
26