en-US Thu, 06 Mar 2025 09:20:26 -0800 60 144 41 /images/layout/goodreads_logo_144.jpg 25545484 248 Daniel P. Friedman 0262527952 Alex 3 programming 4.02 2015
author: Daniel P. Friedman
name: Alex
average rating: 4.02
book published: 2015
rating: 3
read at: 2025/03/06
date added: 2025/03/06
shelves: programming
review:

]]> 53001511 340 Sandy Maguire Alex 0 2024, programming, unfinished 4.30
author: Sandy Maguire
name: Alex
average rating: 4.30
book published:
rating: 0
read at:
date added: 2025/02/18
shelves: 2024, programming, unfinished
review:
I picked this book to learn more about denotational design. I found the second running example a bit laborious with so many equations and put the book down after the designing algebras part. However, the book is full of useful advice and, given the scarcity of books covering semi-rigorous programming methodology, I might come back and read it again soon.
]]> 6593810 Learn You a Haskell for Great Good! is a fun, illustrated guide to learning Haskell, a functional programming language that's growing in popularity. Learn You a Haskell for Great Good! introduces programmers familiar with imperative languages (such as C++, Java, or Python) to the unique aspects of functional programming. Packed with jokes, pop culture references, and the author's own hilarious artwork, Learn You a Haskell for Great Good! eases the learning curve of this complex language, and is a perfect starting point for any programmer looking to expand his or her horizons. The well-known web tutorial on which this book is based is widely regarded as the best way for beginners to learn Haskell, and receives over 30,000 unique visitors monthly.

]]> 176 Miran Lipovača Alex 4 programming 4.31 2011
author: Miran Lipovača
name: Alex
average rating: 4.31
book published: 2011
rating: 4
read at: 2016/12/01
date added: 2025/01/27
shelves: programming
review:

]]> 36371579
Logical Foundations serves as the entry-point to the series. It covers functional programming, basic concepts of logic, computer-assisted theorem proving, and Coq.]]> 325 Benjamin C. Pierce Alex 0 4.76
author: Benjamin C. Pierce
name: Alex
average rating: 4.76
book published:
rating: 0
read at:
date added: 2024/12/23
shelves: to-read, computer-science, logic, programming
review:

]]> 25550614 622 Jim Blandy 1491927283 Alex 0 to-read, programming 4.65 2015
author: Jim Blandy
name: Alex
average rating: 4.65
book published: 2015
rating: 0
read at:
date added: 2024/11/07
shelves: to-read, programming
review:

]]> 36881945
Topics and features: reviews the features of the C++ programming language, and describes how to create efficient algorithms that can quickly process large data sets; discusses sorting algorithms and binary search, and examines a selection of data structures of the C++ standard library; introduces the algorithm design technique of dynamic programming, and investigates elementary graph algorithms; covers such advanced algorithm design topics as bit-parallelism and amortized analysis, and presents a focus on efficiently processing array range queries; surveys specialized algorithms for trees, and discusses the mathematical topics that are relevant in competitive programming; examines advanced graph techniques, geometric algorithms, and string techniques; describes a selection of more advanced topics, including square root algorithms and dynamic programming optimization.

This easy-to-follow guide is an ideal reference for all students wishing to learn algorithms, and practice for programming contests. Knowledge of the basics of programming is assumed, but previous background in algorithm design or programming contests is not necessary. Due to the broad range of topics covered at various levels of difficulty, this book is suitable for both beginners and more experienced readers.]]> 279 Antti Laaksonen 3319725467 Alex 0 to-read, programming 4.27
author: Antti Laaksonen
name: Alex
average rating: 4.27
book published:
rating: 0
read at:
date added: 2024/10/24
shelves: to-read, programming
review:

]]> 40108965
While relational databases such as MySQL remain as relevant as ever, the alternative, NoSQL paradigm has opened up new horizons in performance and scalability and changed the way we approach data-centric problems. This book presents the essential concepts behind each database alongside hands-on examples that make each technology come alive.

With each database, tackle a real-world problem that highlights the concepts and features that make it shine. Along the way, explore five database models - relational, key/value, columnar, document, and graph - from the perspective of challenges faced by real applications. Learn how MongoDB and CouchDB are strikingly different, make your applications faster with Redis and more connected with Neo4J, build a cluster of HBase servers using cloud services such as Amazon's Elastic MapReduce, and more. This new edition brings a brand new chapter on DynamoDB, updated code samples and exercises, and a more up-to-date account of each database's feature set.

Whether you're a programmer building the next big thing, a data scientist seeking solutions to thorny problems, or a technology enthusiast venturing into new territory, you will find something to inspire you in this book.

What You

You'll need a *nix shell (Mac OS or Linux preferred, Windows users will need Cygwin), Java 6 (or greater), and Ruby 1.8.7 (or greater). Each chapter will list the downloads required for that database.]]> 475 Luc Perkins 1680505955 Alex 0 3.55 2012
author: Luc Perkins
name: Alex
average rating: 3.55
book published: 2012
rating: 0
read at:
date added: 2024/10/24
shelves: to-read, programming, computer-science
review:

]]>