Stories by matt_d

Writing an IR from Scratch and survive to write a post

Deriving Dependently-Typed OOP from First Principles

2024 EuroLLVM Developers' Meeting Videos

Control Structures, English Translation of Lectures by Xavier Leroy

Compiling with Abstract Interpretation

Programming Language Design and Implementation (PLDI) 2024 Proceedings

When Is Parallelism Fearless and Zero-Cost with Rust?

Always Measure One Level Deeper

Closure-Free Functional Programming in a Two-Level Type Theory

Oregon Programming Languages Summer School (OPLSS) 2024 Lectures

Sequential Search, Correctly

Type Theory Forall #39: Equality, Quotation, Bidirectional Type Checking

Path Generics in Rust: A Sketch Proposal for Simplicity and Generality

Correctly Compiling Proofs About Programs Without Proving Compilers Correct [pdf]

Data Structures and Algorithms, Correctly

Arithmetic Formats for Machine Learning – Report from IEEE WG P3109 – ARITH 2024 [pdf]

Soft GPGPU versus IP Cores: Quantifying and Reducing the Performance Gap

Deep Dive into Ownership in Mojo

Introduction to HOL – Interactive Theorem Proving Guest Lecture: Magnus Myreen [video]

LDB: An Efficient Latency Profiling Tool for Multithreaded Applications

10
11
12
13
14
15
16
17
18
19