Stories by matt_d

Reverse-engineering the first FPGA chip, the XC2064

C++20 approved, C++23 meetings and schedule update

RCU Usage in the Linux Kernel: Eighteen Years Later

Understanding and Evolving the Rust Programming Language

8086 Microcode Disassembled

DAVE: Deriving Automatically Verilog from English

How to Evaluate Deep Neural Network Processors: TOPS/W Alone Considered Harmful [pdf]

Hints and Principles for Computer System Design [pdf]

Xsmith 2.0: a tool for building fuzzers for programming language implementations

pclmulqdq Tricks

Incremental Type Migration Using Type Algebra

Elastic Sheet-Defined Functions: Generalising to Variable-Size Input Arrays

A Learned Performance Model for the Tensor Processing Unit

What to Define When You’re Defining Gradual Type Systems

Testing Compilers More Thoroughly by Being Less Conservative About UB [pdf]

Characterizing Latency Overheads in the Deployment of FPGA Accelerators

Swift’s Chris Lattner on the Possibility of Machine Learning-Enabled Compilers

PLTalk: Edwin Brady on Idris

Happy Hour with Architects Episode 5: The Role of FPGAs [video]

Formulog: ML + Datalog + SMT

73 74 75 76 77 78 79 80 81 82