The Little Prover

The Little Prover
ByDaniel P. Friedman,Carl Eastlund
@jnv
Added on

2015 • 2 Readers • 248 pages

The Little Typer

The Little Typer
ByDaniel P. Friedman,David Thrane Christiansen
@jnv
Added on

2018 • 7 Readers • 424 pages 4

The Origin of Consciousness in the Breakdown of the Bicameral Mind

@jnv
Added on

1976 • 89 Readers • 472 pages 4.9

The Internet of Garbage

@jnv
Added on

2015 • 22 Readers • 91 pages 4

Stand Firm: Resisting the Self-Improvement Craze

@jnv
Added on

2014 • 3 Readers • 152 pages

Calm Technology

Calm Technology
ByAmber Case
@jnv
Added on

2016 • 6 Readers • 150 pages 3.5

Present Shock: When Everything Happens Now

@jnv
Added on

2013 • 35 Readers • 296 pages 4.3

Haskell Programming From First Principles

Haskell Programming From First Principles
ByChristopher Allen,Julie Moronuki
@jnv
Added on

2015 • 15 Readers • 1,189 pages 4.2

Badass

Badass
ByKathy Sierra
@jnv
Added on

2015 • 43 Readers • 294 pages 4.3

Don't Unplug: How Technology Saved My Life and Can Save Yours Too

@jnv
Added on

2 Readers • 288 pages

The Annotated Turing

The Annotated Turing
ByCharles Petzold
@jnv
Added on

2008 • 46 Readers • 372 pages 4.3

Throwing Rocks at the Google Bus

@jnv
Added on

2016 • 28 Readers • 288 pages 3.4

An Outsider’s Guide to Statically Typed Functional Programming

@jnv
Added on

2017 • 1 Reader • 509 pages

Synners

Synners
ByPat Cadigan
@jnv
Added on

1991 • 48 Readers • 435 pages 3

Working Effectively with Legacy Code

22 Robert C. Martin Series

@jnv
Added on

2004 • 84 Readers • 457 pages 4.3

Why We Fail

Why We Fail
ByVictor Lombardi
@jnv
Added on

2013 • 2 Readers • 248 pages

Thinking in systems : a primer

Thinking in systems : a primer
ByDonella H. Meadows
@jnv
Added on

2008 • 340 Readers • 218 pages 4.1

Vehicles

Vehicles
ByValentino Braitenberg
@jnv
Added on

1984 • 5 Readers • 168 pages 4

@jnv
Added on

2018 • 1 Reader • 168 pages

Tools for Thought: The History and Future of Mind-Expanding Technology

@jnv
Added on

1985 • 8 Readers • 360 pages

The Mythical Man-Month: Essays on Software Engineering

@jnv
Added on

1975 • 267 Readers • 322 pages 4

Computer Lib/Dream Machines

@jnv
Added on

1974 • 14 Readers • 132 pages 4.5

Extreme Programming Explained: Embrace Change

@jnv
Added on

1999 • 45 Readers • 224 pages 4.3

Exercises in Programming Style

Exercises in Programming Style
ByCristina Videira Lopes
@jnv
Added on

2014 • 3 Readers • 304 pages

The Dream Machine

The Dream Machine
ByM. Mitchell Waldrop
@jnv
Added on

2018 • 82 Readers • 527 pages 4.2

Clean Architecture: A Craftsman's Guide to Software Structure and Design

22 Robert C. Martin Series

@jnv
Added on

2017 • 112 Readers • 439 pages 4.1

Shady characters

Shady Characters
ByKeith Houston
@jnv
Added on

2013 • 36 Readers • 352 pages 4

Designing Interactions

Designing Interactions
ByBill Moggridge
@jnv
Added on

2006 • 25 Readers 3.4

The Idea Factory: Bell Labs and the Great Age of American Innovation

@jnv
Added on

2012 • 113 Readers • 422 pages 4.2

Endless Frontier

Endless Frontier
ByG. Pascal Zachary
@jnv
Added on

1997 • 1 Reader • 528 pages

A Mind at Play

A Mind at Play
ByJimmy Soni,Rob Goodman
@jnv
Added on

2017 • 60 Readers • 384 pages 3.8

Irresistible: The Rise of Addictive Technology and the Business of Keeping Us Hooked

@jnv
Added on

2017 • 119 Readers • 354 pages 3.8

Broad Band

Broad Band
ByClaire L. Evans
@jnv
Added on

2018 • 89 Readers • 288 pages 3.9

From Counterculture to Cyberculture

@jnv
Added on

2006 • 22 Readers • 354 pages 4.3

The Friendly Orange Glow: The Untold Story of the PLATO System and the Dawn of Cyberculture

@jnv
Added on

2017 • 21 Readers • 640 pages 4.3

On the Way to the Web: The Secret History of the Internet and Its Founders

@jnv
Added on

2008 • 3 Readers • 215 pages 2

Cataloging the World

@jnv
Added on

2014 • 3 Readers • 360 pages 4

How the Internet Happened: From Netscape to the iPhone

@jnv
Added on

2018 • 48 Readers • 384 pages 4.1

Life in Code

Life in Code
ByEllen Ullman
@jnv
Added on

2017 • 59 Readers • 320 pages 4.1