Programming Deadlock

The Functional Machine Calculus https://arxiv.org/abs/2212.08177

rustgo: calling Rust from Go with near-zero overhead https://words.filippo.io/rustgo/

Reduction of Language Hierarchies https://www.researchgate.net/publication/2819049_Reduction_of_Language_Hierarchies

Abstract interpretation in the Toy Optimizer https://bernsteinbear.com/blog/toy-abstract-interpretation/

rr: record and replay debugger for C/C++ https://rr-project.org/

A Linux kernel syscall implementation tracker https://syscalls.mebeim.net/?table=x86/64/x64/latest

Delimited continuations in byte-code and native OCaml https://github.com/zinid/delimcc

Metamorphosis grammars https://link.springer.com/chapter/10.1007/BFb0031371

C++ Design Patterns for Low-Latency Applications https://hackaday.com/2024/07/13/c-design-patterns-for-low-latency-applications/

Can we build an optimal processor? https://twitter.com/VictorTaelin/status/1806690584670679387

Abstract Interpretation: From 0, 1, To ∞ https://cs.nyu.edu/~pcousot/publications.www/CSV-2023-cousot.pdf

Compiling to categories http://conal.net/papers/compiling-to-categories/

EGRAPHS Community E-graphs are data structures for working with large equivalence classes of programs; they have recently been employed to build new kinds of program optimizers and synthesizers. https://egraphs.org/

A modern supercompiler for call-by-value functional languages https://github.com/mazeppa-dev/mazeppa

Visualizing Rust codebases in a few seconds https://github.com/lava-xyz/rust-ontologist

A Brainfuck interpreter written in Agda https://github.com/wouter-swierstra/Brainfuck

An introduction to auto-vectorization with LLVM https://artagnon.com/computing/compilers/intro-vec

8cc.vim: Pure Vim script C Compiler https://github.com/rhysd/8cc.vim

GCC's new fortification level: The gains and costs https://developers.redhat.com/articles/2022/09/17/gccs-new-fortification-level