Stories by matt_d

C++20: What's in it for you? - CppCon 2019 - Marc Gregoire

The Differentiable Curry

The Earliest Unix Code: An Anniversary Source Code Release

What Type Soundness Theorem Do You Want to Prove?

The inner magic behind the Z3 theorem prover

ARRAY 2019: Libraries, Languages, and Compilers for Array Programming

One-and-a-Half Simple Differential Programming Languages [pdf]

Proceedings of the ACM on Programming Languages: OOPSLA 2019

How to Design Co-Programs

Discussion of x86 L1D related cache counters

JavaScript for Idris Developers

How to find expensive locks in multithreaded application

Calibrating your fear of big bad optimizing compilers

Fibers aren’t useful for much any more

Liquidate Your Assets: Reasoning About Resource Usage in Liquid Haskell [pdf]

Scaling symbolic evaluation for automated verification of systems code w/ Serval

Connected Components, Concurrently

Miniblog: How conditional branches work in Vectorized Emulation

Discovering Hard Disk Physical Geometry through Microbenchmarking

Experimenting with Languages in Redex

75
76
77
78
79
80
81
82
83
84