Hardcover
Year in Books
FeedRecent activity by friends
Trending booksMost popular right now
RecommendationsJust for you
AskJulesTalk to our AI Librarian
5 Lab Experiments
Bookle Guess the bookSeries Tracker Save your place2023 Year in Books The hitsReader Similarity & DifferencesNew Releases What's hot
PromptsVote for your favorites
ListsCurated by our readers
GenresBrowse by Genre
MoodsBrowse by Mood
All BooksBrowse all books
Year in Books

Footer links

Community

Readers & Supporters
Join Our Discord

Follow Along

BlogHardcover LiveAbout HardcoverRequest a feature

We're an Open Book

Frequently Asked QuestionsContact SupportRoadmapOur Policies
iOSAndroidDiscordTikTokMastodonInstagram

Home

Library

Explore

Trending

@panashe
@panasheBooksStatsReviewsListsPromptsGoalsNetworkActivity
AllWant to ReadCurrently ReadingReadDid Not Finish
Shelf
PreviousNext
The Art of UNIX Programming
Transcend
Cover 2

Crystal Eternity

Notes on the Synthesis of Form
Architecture Patterns with Python
Thinking in Promises: Designing Systems for Cooperation
Software Design X-Rays
Do Not Disturb: The Story of a Political Murder and an African Regime Gone Bad
Impro
Cover 1

Algebraic Semantics of Imperative Programs

Cover 2

Reasoning About Program Transformations

Cover 8

Model Checking

The Science of Programming
Cover 2

Why Greatness Cannot Be Planned

Cover 4

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
Cover 6

Ockham's Razors

Just Enough Software Architecture
Category Theory for Programmers
Harrison Bergeron
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
Cover 8

Crystal Mentality

Lifespan: Why We Age—and Why We Don't Have To
Ending Aging: The Rejuvenation Breakthroughs That Could Reverse Human Aging in Our Lifetime
Class
A Death in the Rainforest
Stubborn Attachments
Doing Good Better
Thinking physics
The Russian Revolution
A History of Modern Russia from Nicholas II to Vladimir Putin
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
Big Friendship
The World According to Physics
The Road to Reality
Who Gets Promoted, Who Doesn't, and Why: 10 Things You'd Better Do If You Want to Get Ahead
DNA: The Secret of Life
Radical Markets: Uprooting Capitalism and Democracy for a Just Society
Rethinking Positive Thinking: Inside the New Science of Motivation
Free Will: The Basics
You Are The One You've Been Waiting For: Bringing Courageous Love To Intimate Relationships
Free to Focus
Cynical Theories
Cover 3

How to Judge People by What They Look Like

A Guide to the Good Life
A Long Way Gone: Memoirs of a Boy Soldier
Perfectly Confident
Dirt
Think Like a Rocket Scientist
The Cultural Revolution: A People's History, 1962-1976
Bonds That Make Us Free
Consolations
Flash Boys
Ordinary Men: Reserve Police Battalion 101 and the Final Solution in Poland
The Gulag Archipelago, 1918-1956: An Experiment in Literary Investigation, books I-II
Blood Meridian
Exhalation
Science Fictions
The Replacing Guilt Series
A Conflict of Visions
Almost Black: The True Story of How I Got Into Medical School By Pretending to Be Black
The Hedonistic Imperative
The Elephant in the Brain: Hidden Motives in Everyday Life
Good Intentions
Suffering-Focused Ethics: Defense and Implications
How Emotions Are Made: The Secret Life of the Brain
Against Method
The Gardener and the Carpenter
Concurrency in Go: Tools and Techniques for Developers
The Go Programming Language
An Introduction to Decision Theory
Crystal Society
The Einstein Factor: A Proven New Method for Increasing Your Intelligence
IQ and human intelligence
What is Intelligence?
How Intelligence Happens
Cover 5

Looking Down on Human Intelligence

Power
The Biggest Bluff: How I Learned to Pay Attention, Master Myself, and Win
Intelligence: All That Matters
This Will Make You Smarter
The Adapted Mind