Stories by matt_d

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

Sharpening a lower bound with KnownBits information

Fortifying Rust's FFI with Enscapsulated Functions – Leon Schuermann [video]

Deep Dive into Ownership in Mojo

Minimal MLIR: A minimal (really) out-of-tree MLIR example

The Borrow Checker Within

Circle C++ with Memory Safety

Arm Scalable Matrix Extension (SME) Introduction

Energy: Rewriting the Possibilities

BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework

Rotten Green Tests in Google Test

17
18
19
20
21
22
23
24
25
26