
I liked this PDF so much I bought the book.
Had you have listened to him, you would have just been taken out back, shot, and put in one of wuhans finest crematoriums… better off reading "Statistical Consequences of Fat Tails"[0]
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).
