Stories by matt_d

GNU Tools Cauldron 2018 Videos

SPACER and Z3: Accessible, reliable model checking as theorem proving

Proofs and Side Effects

An Open Source Pipelined FFT Generator

Spectre: Secrets, Side-Channels, Sandboxes, Security – Chandler Carruth, CppCon

What the Errors Tell Us – Margaret H. Hamilton

CppCon 2018: Herb Sutter “Thoughts on a more powerful and simpler C++ (5 of N)”

Swiss Tables and absl::Hash

Reading bits in far too many ways (part 3)

Launching Processes on Linux

Performance implications of converting recursion to an explicit stack

Compiled and Vectorized Queries [pdf]

Designing a RISC-V CPU in VHDL: Arty S7 RPU SoC

CppCon 2018: Mark Elendt: Patterns and Techniques Used in Houdini 3D Graphics

CppCon 2018: Bjarne Stroustrup “Concepts: The Future of Generic Programming”

What can C++ do for embedded systems developers? [video]

The ARM Machinists Atlas

Navigating a Large Codebase

GCC gOlogy: studying the impact of optimizations on debugging

Modularity in C++ 17 – Bjarne Stroustrup