Book of Proof
Richard Hammack
No bullshit guide to linear algebra
Ivan Savov
Your Money or Your Life
Vicki Robin
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Rework
Jason Fried & David Heinemeier Hansson