Programming Deadlock

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

Deforestation: transforming programs to eliminate trees Philip Wadler https://link.springer.com/content/pdf/10.1007/3-540-19027-9_23.pdf

The ZINC experiment: an economical implementation of the ML language https://inria.hal.science/inria-00070049/document

The ZINC experiment : an economical implementation of the ML language https://inria.hal.science/inria-00070049/document

Your Own Constant Folder in C/C++ https://www.neilhenning.dev/posts/yourownconstantfolder/

Serious Engine Networking Analysis https://staniks.github.io/articles/serious-engine-networking-analysis

Make Your Program Slower With Threads https://brooker.co.za/blog/2014/12/06/random.html