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.

In this blog post, I delve into the comparison of memory consumption between asynchronous and multi-threaded programming across popular languages like Rust, ...

As the story of C’s birth goes hand in hand with the creation of Unix, the first C compiler can be traced back to the early 1970’s.