Computer science

Foundations

Memory

What Every Programmer Should Know About Memory - cpumemory.pdf - Drepper 2007

Compilers

Advanced compilers: CS 6120 (Cornell)

Async

Async hazard: mmap is secretly blocking IO | Huon on the internet

Formal methods

SAT/SMT

• SAT: Boolean satisfiability problem
• SMT: Satisfiability modulo theories

SAT/SMT by Example - SAT_SMT_by_example.pdf

Z3Prover/z3 Wiki

• Z3Prover/z3: The Z3 Theorem Prover

Machine learning

Techniques

Denoising: A Powerful Building-Block for Imaging, Inverse Problems, and Machine Learning. Peyman Milanfar, Mauricio Delbracio. alphaXiv

Statistics

On the Theory of Stochastic Processes, with Particular Reference to Applications