panashe

Panashe Fundira

256 ReadsLibrarian
Thinking with Types. Type-Level Programming in Haskell
Type Theory and Formal Proof: An Introduction
Type Theory and Functional Programming
Practical Foundations for Programming Languages
Sacred Games
Inside the Machine: An Illustrated Introduction to Microprocessors and Computer Architecture
In Order to Live: A North Korean Girl's Journey to Freedom
The Shadow King
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
Class
Stubborn Attachments
A Death in the Rainforest
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
Radical Markets: Uprooting Capitalism and Democracy for a Just Society
DNA: The Secret of Life
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
Big Friendship
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
Cynical Theories
A Guide to the Good Life
Cover 3

How to Judge People by What They Look Like

A Long Way Gone: Memoirs of a Boy Soldier
Perfectly Confident
Dirt
The Cultural Revolution: A People's History, 1962-1976
Bonds That Make Us Free
Ordinary Men: Reserve Police Battalion 101 and the Final Solution in Poland
PreviousNext