 Impro
| - |
 Model Checking Model Checking
| - |
 The Science of Programming
| - |
 Algebraic Semantics of Imperative Programs Algebraic Semantics of Imperative Programs
| - |
 Reasoning About Program Transformations Reasoning About Program Transformations: Imperative Programming and Flow of Data
| - |
Why Greatness Cannot Be Planned Why Greatness Cannot Be Planned: The Myth of the Objective
| - |
 The Joy of Debugging The Joy of Debugging
| - |
 Lucifer Curves: The Legacy of Lead Poisoning
| - |
 Software Abstractions: Logic, Language, And Analysis
| - |
 Practical TLA+: Planning Driven Development
| - |
 Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
| - |
 Destined for War: Can America and China Escape Thucydides’s Trap?
| - |
 Against the Grain
| - |
 Software Design for Flexibility
| - |
 Ockham's Razors Ockham's Razors: A User's Manual
| - |
 Just Enough Software Architecture
| - |
 Category Theory for Programmers
| - |
 Harrison Bergeron
| 3 |
 Type Theory and Functional Programming
| - |
 Thinking with Types. Type-Level Programming in Haskell
| - |
 Type Theory and Formal Proof: An Introduction
| - |
 Practical Foundations for Programming Languages
| - |
 The Little Typer
| - |
 Sacred Games
| - |
 Inside the Machine: An Illustrated Introduction to Microprocessors and Computer Architecture
| - |
 The Shadow King
| - |
 In Order to Live
| - |
 A Culture of Growth
| - |
 Ending Aging: The Rejuvenation Breakthroughs That Could Reverse Human Aging in Our Lifetime
| - |
 Lifespan: Why We Age—and Why We Don't Have To
| - |
Crystal Mentality Crystal Mentality
| 5 |
 Class
| - |
 A Death in the Rainforest
| - |
 Stubborn Attachments
| - |
 Doing Good Better
| - |
 Thinking Physics
| - |
 A History of Modern Russia from Nicholas II to Vladimir Putin
| - |
 History of the Russian Revolution
| - |
 A Glorious Liberty: Frederick Douglass and the Fight for an Antislavery Constitution
| - |
 The Son Also Rises
| - |
 On the Run: Fugitive Life in an American City
| - |
 The Trouble with Twin Studies: A Reassessment of Twin Research in the Social and Behavioral Sciences
| - |
 Radical Markets: Uprooting Capitalism and Democracy for a Just Society
| - |
 Who Gets Promoted, Who Doesn't, and Why: 10 Things You'd Better Do If You Want to Get Ahead
| - |
 The Road to Reality
| - |
 The World According to Physics
| - |
 DNA: The Secret of Life
| - |
 Big Friendship: How We Keep Each Other Close
| - |
 Free Will: The Basics
| - |
 Rethinking Positive Thinking: Inside the New Science of Motivation
| - |
 Free to Focus
| 3 |
 You Are The One You've Been Waiting For: Bringing Courageous Love To Intimate Relationships
| - |
 Cynical Theories
| - |
 How to Judge People by What They Look Like How to Judge People by What They Look Like
| - |
 A Guide to the Good Life
| - |
 A Long Way Gone: Memoirs of a Boy Soldier
| - |
 Think Like a Rocket Scientist
| 2 |
 Perfectly Confident
| - |
 Dirt
| - |
 The Cultural Revolution: A People's History, 1962-1976
| - |
 Bonds That Make Us Free
| - |
 Consolations
| 5 |
 Flash Boys
| 3 |
 The Gulag Archipelago
| - |
 Ordinary Men: Reserve Police Battalion 101 and the Final Solution in Poland
| - |
 Blood Meridian
| - |
 Exhalation
| 5 |
 Science Fictions
| - |
 A Conflict of Visions
| 5 |
 The Hedonistic Imperative
| - |
 Almost Black: The True Story of How I Got Into Medical School By Pretending to Be Black
| - |
 The Replacing Guilt Series
| 4 |
 The Elephant in the Brain: Hidden Motives in Everyday Life
| 5 |
 Suffering-Focused Ethics: Defense and Implications
| 5 |
 Good Intentions
| - |
 How Emotions Are Made: The Secret Life of the Brain
| 3 |
 Against Method
| - |
 The Gardener and the Carpenter
| - |
 The Go Programming Language
| - |
 Concurrency in Go: Tools and Techniques for Developers
| - |
 Crystal Society
| 3 |
 An Introduction to Decision Theory
| - |
 The Einstein Factor: A Proven New Method for Increasing Your Intelligence
| 1 |
 IQ and human intelligence
| - |
 Looking Down on Human Intelligence Looking Down on Human Intelligence: From Psychometrics to the Brain
| - |
 What is Intelligence?
| - |
 How Intelligence Happens
| - |
 Power
| - |
 The Biggest Bluff: How I Learned to Pay Attention, Master Myself, and Win
| - |
 Intelligence: All That Matters
| 4 |
 The Adapted Mind
| - |
 Intuition Pumps And Other Tools for Thinking
| - |
 This Will Make You Smarter
| - |
 The Neuroscience of Intelligence
| - |
 Intelligence: A Very Short Introduction
| - |
 How to Think Like Shakespeare: Lessons from a Renaissance Education
| - |
 Mindware: Tools for Smart Thinking
| - |
 The Moral Animal: Why We Are the Way We Are - The New Science of Evolutionary Psychology
| - |
 Flatland
| - |
 Indiscrete thoughts
| - |
