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).
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).