Stories by matt_d

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

What Ownership Is About: A Mental Model Approach

Generalized Optimization Modulo Theories

(De/Re)-Composition of Data-Parallel Computations via Multi-Dim. Homomorphisms

Optimizing Layout of Recursive Datatypes with Marmoset

Implementing grevmul with GF2P8AFFINEQB

Rethinking the kernel system call entry

Oxidizing OCaml with Modal Memory Management [pdf]

Being Lazy When It Counts: Practical Constant-Time Memory Management for FP

Performance, Power Efficiency, and Programmability of AMD Matrix Cores

CloverLeaf on Intel Multi-Core CPUs: A Case Study in Write-Allocate Evasion

11
12
13
14
15
16
17
18
19
20