Thinking with Types. Type-Level Programming in Haskell

@panashe
Added on

5 Readers • 247 pages 4.8

Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction
ByRob Nederpelt,Herman Geuvers
@panashe
Added on

2014 • 4 Readers 3.5

Type Theory and Functional Programming

@panashe
Added on

1991 • 1 Reader

Practical Foundations for Programming Languages

@panashe
Added on

2012 • 5 Readers • 582 pages

Sacred Games

2 Sacred Games

Sacred Games
ByVikram A. Chandra
@panashe
Added on

2006 • 59 Readers 3.8

In Order to Live: A North Korean Girl's Journey to Freedom

@panashe
Added on

2015 • 224 Readers • 290 pages 4.5

The Shadow King

The Shadow King
ByMaaza Mengiste
@panashe
Added on

2019 • 76 Readers • 448 pages 3.7

A Culture of Growth

@panashe
Added on

2016 • 15 Readers • 403 pages 4

Ending Aging: The Rejuvenation Breakthroughs That Could Reverse Human Aging in Our Lifetime

@panashe
Added on

2007 • 15 Readers 5

Lifespan: Why We Age—and Why We Don't Have To

@panashe
Added on

2019 • 182 Readers • 432 pages 4.4

Class

Class
ByPaul Fussell
@panashe
Added on

1983 • 26 Readers • 202 pages 4.2

Stubborn Attachments

@panashe
Added on

2018 • 32 Readers • 158 pages 3.8

A Death in the Rainforest

@panashe
Added on

11 Readers 4.5

Doing Good Better

Doing Good Better
ByWilliam MacAskill
@panashe
Added on

2015 • 81 Readers • 272 pages 4.1

Thinking physics

Thinking Physics
ByLewis Carroll Epstein
@panashe
Added on

1981 • 21 Readers • 561 pages 4.5

The Russian Revolution

#1-3 of 2 in History of the Russian Revolution

@panashe
Added on

1931 • 24 Readers • 524 pages 5

A History of Modern Russia from Nicholas II to Vladimir Putin

@panashe
Added on

2003 • 2 Readers • 658 pages

The Son Also Rises

The Son Also Rises
ByGregory Clark
@panashe
Added on

13 Readers 3

On the Run: Fugitive Life in an American City

@panashe
Added on

2014 • 18 Readers • 299 pages 3.8

Radical Markets: Uprooting Capitalism and Democracy for a Just Society

@panashe
Added on

2018 • 29 Readers • 368 pages 2.9

DNA: The Secret of Life

DNA: The Secret of Life
ByJames D. Watson,Andrew Berry
@panashe
Added on

2002 • 11 Readers • 464 pages 3.7

The World According to Physics

@panashe
Added on

2020 • 31 Readers • 336 pages 3.2

The Road to Reality

The Road to Reality
ByRoger Penrose
@panashe
Added on

2004 • 66 Readers • 1,099 pages 3

Who Gets Promoted, Who Doesn't, and Why: 10 Things You'd Better Do If You Want to Get Ahead

@panashe
Added on

2007 • 2 Readers • 176 pages

Big Friendship

@panashe
Added on

2020 • 22 Readers • 251 pages 4.5

Rethinking Positive Thinking: Inside the New Science of Motivation

@panashe
Added on

2014 • 10 Readers • 201 pages 4

Free Will: The Basics

34 The Basics

Free Will: The Basics
ByMeghan Griffith
@panashe
Added on

2012 • 1 Reader • 161 pages

You Are The One You've Been Waiting For: Bringing Courageous Love To Intimate Relationships

@panashe
Added on

2008 • 12 Readers 4.3

Cynical Theories

Cynical Theories
ByHelen Pluckrose,James Lindsay
@panashe
Added on

2020 • 59 Readers • 399 pages 4.3

A Guide to the Good Life

A Guide to the Good Life
ByWilliam B. Irvine
@panashe
Added on

2008 • 232 Readers • 328 pages 4.2

A Long Way Gone: Memoirs of a Boy Soldier

@panashe
Added on

2007 • 166 Readers • 238 pages 4

Perfectly Confident

Perfectly Confident
ByDon A. Moore
@panashe
Added on

2020 • 4 Readers • 272 pages 4

Dirt

Dirt
ByDavid R. Montgomery
@panashe
Added on

2007 • 10 Readers • 295 pages 3.5

The Cultural Revolution: A People's History, 1962-1976

#3 of 3 in People's Trilogy

@panashe
Added on

2016 • 19 Readers • 396 pages 3.8

Bonds That Make Us Free

Bonds That Make Us Free
ByC. Terry Warner
@panashe
Added on

2001 • 9 Readers • 368 pages 3

Ordinary Men: Reserve Police Battalion 101 and the Final Solution in Poland

@panashe
Added on

1992 • 124 Readers • 271 pages 4