Stories by matt_d

Resources: Executable Files (ELF, Mach-O, PE) and Debugging Data (DWARF, PDB)

My first experience with formal methods

Closed Problems in Approximate Computing

Differences between FPGA and ASIC development

Deep Learning Library 1.0 – Fast Neural Network Library

“A (Not So Gentle) Introduction to Systems Programming in ATS” by Aditya Siram

CppCon 2017: Titus Winters “C++ as a ”Live at Head“ Language”

CppCon 2017: Bjarne Stroustrup “Learning and Teaching Modern C++”

Introducing Abseil, a new common libraries project

Nvidia Deep Learning Accelerator

Bringing the web up to speed with WebAssembly

[pdf] “Finding Missed Compiler Optimizations by Differential Testing”

Leave your OS at home: the rise of library operating systems

[pdf] Selfie and the Basics: single-file C compiler, MIPS emulator and hypervisor

GCC low-level IR and basic code generation

What is “modern” programming?

Trip report: Summer ISO C++ standards meeting in Toronto

Hotspot – a GUI for the Linux perf profiler

Implementing Algebraic Effects in C

Getting compilers right: a reliable foundation for secure software