1. Program = Proof by Samuel Mimram Math foundation of programming. Church–Rosser theorem, Curry–Howard correspondence, intuitionistic logic, theorem proving

1. Program = Proof by Samuel Mimram Math foundation of programming. Church–Rosser theorem, Curry–Howard correspondence, intuitionistic logic, theorem proving with dependent types, etc. 2. Rust Atomics and Locks: Low-Level Concurrency in Practice by Mara Bos Great introduction even for non-Rust programmers. 3. Statistical Consequences of Fat Tails by N. Taleb et al. I've just started to read it, but looks promising (lot of mathematical statistics).