Computer science

Foundations

Math

Mathematics for Computer Science

Memory

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

Compilers

Advanced compilers: CS 6120 (Cornell)

compilers - If Interpreters are used to run code and are written in another language, won't interpreters need interpreters? - Computer Science Stack Exchange

Async

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

Intuition

Admiral Grace Hopper Explains the Nanosecond - YouTube

Practical knowledge

The tail at scale - 2408776.2408794.pdf

OpenBenchmarking.org - Cross-Platform, Open-Source Automated Benchmarking Platform

Latency numbers every programmer should know (timeline viz)

• Numbers everyone (programmer) should know (2023)
• Latency Numbers Every Programmer Should Know

Teach Yourself Programming in Ten Years

The Infinite Space Between Words

Google Pro Tip: Use Back-of-the-envelope-calculations to Choose the Best Design - High Scalability -

Infographics: Operation Costs in CPU Clock Cycles - IT Hare on Soft.ware

Complexity

Complexity Models - Algorithmica

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

Merge sort - formal proof

cs5002_lect11_fall18_notes.pdf

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