Follow along on a google colab: https://colab.research.google.com/github/philzook58/philzook58.github.io/blob/master/pynb/cbmc_tut.ipynb

A memory allocator that automatically reduces the memory footprint of C/C++ applications. - plasma-umass/Mesh

Heap Layers: An Extensible Memory Allocation Infrastructure - emeryberger/Heap-Layers

This post briefly maps out many different subfields of programming language theory, in an effort to make it more accessible to those outside academia.

https://en.wikipedia.org/wiki/WebAssembly
https://developer.mozilla.org/en-US/docs/WebAssembly Toolchains Runtime Wasmer, Wasmtime, more Compiler emscripten
run emscripten on the web : clang-js, Emception, wasm-clang Misc Prefer writing wasm by hand?…

This article explains how BuildKit works in depth, why it's faster than Docker's previous build engine, and what it looks like under the hood.