Stories by matt_d

Publication Trends at ISCA (International Symposium on Computer Architecture)

Practical Byte-Granular Memory Blacklisting Using Califorms

Looking inside a 1970s PROM chip that stores data in microscopic fuses

Nifty Features of the ARM Architecture

CSRTale #13: Formal verification of strong eventual consistency

Writing efficient free variable traversals – The Glasgow Haskell Compiler

IETF 105: Technology Deep Dive: How Network Interface Cards (NICs) Work Today

Combinatorial Register Allocation and Instruction Scheduling

NDA: Preventing Speculative Execution Attacks at Their Source [pdf]

Trip C++ Standards Meeting in Cologne, July 2019

Dynamic Languages and Parallelism: How to Go from Broken/Slow to Safe&Efficient?

Saving the World from Spreadsheets [video]

2019-07 Cologne ISO C++ Committee Trip Report: The C++20 Eagle has Landed

Pointer Tagging for Memory Safety

A Golden Age of Hardware Description Languages

Idris 2: Type-Driven Development of Idris – Curry On 2019 – Edwin Brady

Teaching Your SMT Solver Probability Theory

Designing a RISC-V CPU in VHDL, Part 18: Control and Status Register Unit

The dangers of conditional consistency guarantees

Learning Key-Value Store Design

83
84
85
86
87
88
89
90
91
92