Programming Deadlock

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

Reflection for C++26 https://isocpp.org/files/papers/P2996R4.html

Using SIMD for Parallel Processing in Rust https://nrempel.com/using-simd-for-parallel-processing-in-rust/

CRCs and Reed-Solomon coding: better together https://mazzo.li/posts/rs-crc.html

Ergonomic Self-referential Types for Rust https://blog.yoshuawuyts.com/self-referential-types/

On The Decidability Of Disassembling Binaries https://www.ssrg.ece.vt.edu/papers/tase24.pdf