Hardcover
Year in Books
FeedRecent activity by friends
Trending booksMost popular right now
New ReleasesMost anticipated
RecommendationsJust for you
Archive & Labs
2023 Year in Books The hits
PromptsVote for your favorites
ListsCurated by our readers
GenresBrowse by Genre
MoodsBrowse by Mood
2024 Year in BooksHIghlights from the Year
Year in Books
panashe

Panashe Fundira

256 ReadsLibrarian
@panasheBooksStatsReviewsListsPromptsGoalsNetworkActivity
AllWant to ReadCurrently ReadingReadDid Not Finish
Shelf
The Software Architect Elevator: Redefining the Architect's Role in the Digital Enterprise
Software Architecture for Developers: Volume 2 - Visualise, document and explore your software architecture
The Revolt of The Public and the Crisis of Authority in the New Millennium
Cover 0

Free at Last

Racecraft: The Soul of Inequality in American Life
Systems Performance: Enterprise and the Cloud
Intellectuals and Race
The Federalist Papers
Discrimination and Disparities
1491: New Revelations of the Americas Before Columbus
Cover 1

Data and Reality

Hillbilly Elegy: A Memoir of a Family and Culture in Crisis
A Fire Upon the Deep
The Martian
Cover 2

Mechanizing Proof

Tragedy and Hope
Cover 5

Japan's Financial Crisis

The Bubble Economy: Japan's Extraordinary Speculative Boom of the '80s And the Dramatic Bust of the '90s
Cover 3

Building a Career in Software

How to Be Great at Your Job: Get things done. Get the credit. Get ahead.
The Censor's Hand: The Misregulation of Human-Subject Research
The Art of UNIX Programming
Transcend
Notes on the Synthesis of Form
Cover 2

Crystal Eternity

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

Reasoning About Program Transformations

Cover 1

Algebraic Semantics of Imperative Programs

The Science of Programming
Cover 8

Model Checking

Why Greatness Cannot Be Planned: The Myth of the Objective
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
PreviousNext

Footer links

Community

Readers & Supporters
Join Our DiscordHow to link roles on Discord

Follow Along

BlogHardcover LiveAbout HardcoverRequest a feature

We're an Open Book

Frequently Asked QuestionsContact SupportRoadmapOur Policies
iOSAndroidDiscordTikTokMastodonInstagram

Home

Library

Explore

Trending