Stories by matt_d

Elaboration with Error Recovery

Sound Static Data Race Verification for C: Is the Race Lost?

Monads are not like burritos

Inside torch.compile Guards: How They Work, What They Cost, and Ways to Optimize

phkmalloc

Advent of Computing: Episode 159 – The Intel 286: A Legacy Trap

Introduction to Competitive Programming in Haskell

Relational Abstractions Based on Labeled Union-Find

A Guided Tour of Polarity and Focusing

"How slow is the tracing interpreter of PyPy's meta-tracing JIT?"

JIT Code Generation with AsmJit [video]

Type Theory and Themes in Philosophical Logic

EDAN: Towards Understanding Memory Parallelism and Latency Sensitivity in HPC [pdf]

Inspecting Compiler Optimizations on Mixed Boolean Arithmetic Obfuscation

Modern Minimal Perfect Hashing: A Survey

How to Make the Most Out of SIMD on AArch64?

[RFC] MLIR Dialect for WebAssembly

An SMT Formalization of Mixed-Precision Matrix Multiplication

From Boolean logic to bitmath and SIMD: transitive closure of tiny graphs

Autocomp: LLM-Driven Code Optimization for Tensor Accelerators

1
2
3
4
5
6
7
8
9
10