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