matt_d 的提交内容

Programming and reasoning about actors that share state

The Key to Effective UDF Optimization: Before Inlining, First Perform Outlining [pdf]

Strong Components and Weak Components: 2024 Annual Christmas Lecture, Don Knuth [video]

2024 LLVM Developers' Meeting Videos

"Communicating Chorrectly with a Choreography" is out

From Gates to Pixels: Making Your Own Graphics Hardware [video]

The Hoare Cube

"Performance Analysis and Tuning on Modern CPUs": Second Edition Released

What Goes Around Comes Around... And Around... - Andy Pavlo, Dijkstra Award 2024

Bicameral, Not Homoiconic

The Denotational Semantics of SSA

Counterexamples in Safe Rust

Tacit Talk Episode 8: Tacit Definition (1991)

C++ Switch Statements Under the Hood in LLVM – Hans Wennborg [video]

Reverse engineering Microsoft BASIC [video]

Introduction to SASS and GPU Microarchitecture – GPU Mode Lecture 37 [video]

ACM SIGPLAN International Conference on Functional Programming ICFP 2024 Videos

Type Theory Forall: What Is Type Theory and What Properties We Should Care About

Exploring parsing APIs: what to generate, and how

Hardware Trends Impacting Floating-Point Computations in Scientific Applications

Evaluating Human Factors Beyond Lines of Code

Oral History of Nolan Bushnell [video]

DBSP: Automatic Incremental View Maintenance for Rich Query Languages

Towards Sound `unsafe` Rust – Rust Formal Methods Interest Group [video]

Software Security Analysis in 2030 and Beyond: A Research Roadmap [pdf]

Creating Your Own Programming Language – Laurence Tratt [video]

Story-time: C++, bounds checking, performance, and compilers

How linear types control the future and prevent bugs [video]

Exo 2: Growing a Scheduling Language

Memory Bandwidth and System Balance in HPC Systems: 2024 Update [video]