Bookshelf

罪与罚

Fyodor Dostoevsky

the book of why

Judea Pearl, Dana Mackenzie

发布!设计与部署稳定的分布式系统

Michael T. Nygard

9%

硅谷之火

Paul Freiberger, Michael Swaine

12%

Algorithm Design with Haskell

Richard Bird, Jeremy Gibbons

Applications of Blockchain Technology in Business: Challenges and Opportunities

Mohsen Attaran, Angappa Gunasekaran

Architecture for Blockchain Applications

Xiwei Xu, Ingo Weber, Mark Staples

Automated Design of Machine Learning and Search Algorithms

Nelishia Pillay, Rong Qu

Bayesian Analysis with Python - Second Edition

Osvaldo Martin

Bayesian artificial intelligence

Kevin B. Korb, Ann E. Nicholson

Bayesian Reasoning and Machine Learning

David Barber

Beginning Blockchain

Bikramaditya Singhal, Gautam Dhameja, Priyansu Sekhar Panda

Beginning Spring 5: From Novice to Professional

Joseph B. Ottinger, Andrew Lombardi

Blockchain Economics and Financial Market Innovation: Financial Innovations in the Digital Age

Umit Hacioglu

Blockchain Technology in Internet of Things

Liehuang Zhu, Keke Gai, Meng Li

Cartesian Genetic Programming

Julian F. Miller

Concrete abstractions: an introduction to computer science using Scheme

Max Hailperin, Barbara Kaiser, Karl Knight

Doing math with Python: use programming to explore algebra, statistics, calculus, and more!

Amit Saha

Exploiting Linked Data and Knowledge Graphs in Large Organisations

Jeff Z. Pan, Guido Vetere, Jose Manuel Gomez-Perez, Honghan Wu

Fault-Tolerant Message-Passing Distributed Systems: An Algorithmic Approach

Michel Raynal

FFmpeg basics: multimedia handling with a fast audio and video encoder

Frantisek Korbel

Graph-based Knowledge Representation

Handbook of Metaheuristics

Michel Gendreau, Jean-Yves Potvin

Happier: learn the secrets to daily joy and lasting fulfillment

Tal Ben-Shahar

Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language

Boro Sitnikovski

Learning to Rank for Information Retrieval and Natural Language Processing

Hang Li

Making learning whole: how seven principles of teaching can transform education

David N. Perkins

Mathematics for 3D game programming and computer graphics

Eric Lengyel

Multidimensional Signal, Image, and Video Processing and Coding

Multiplayer game programming: architecting networked games

Joshua L. Glazer, Sanjay Madhav

Multivariate data analysis

Joseph F. Hair

Neo4j in action

Aleksa Vukotic

PostgreSQL 10 high performance expert techniques for query optimization, high availability, and efficient database maintenance

Ibrar Ahmed, Gregory Smith, Enrico Pirozzi

Probabilistic graphical models: principles and techniques

Daphne Koller, Nir Friedman

Programming Algorithms in Lisp: Writing Efficient Programs with Examples in ANSI Common Lisp

Vsevolod Domkin

Programming language pragmatics

Michael Lee Scott

Programming Windows: writing Windows 8 apps with C# and XAML

Charles Petzold

Propose, prepare, present

Alistair Croll

Purely functional data structures

Chris Okasaki

Regulation of Cryptocurrencies and Blockchain Technologies

Rosario Girasa

Self-insight: roadblocks and detours on the path to knowing thyself

David Dunning

Social psychology

David G. Myers, Jean M. Twenge

Software abstractions: logic, language, and analysis

Daniel Jackson

Software design for flexibility: how to avoid programming yourself into a corner

Chris Hanson, Gerald Jay Sussman

Specifying systems: the TLA+ language and tools for hardware and software engineers

Leslie Lamport

Supply Chain Finance and Blockchain Technology

Erik Hofmann, Urs Magnus Strewe, Nicola Bosia

The art of doing science and engineering: learning to learn

R. W Hamming

The art of invisibility: the world's most famous hacker teaches you how to be safe in the age of Big Brother and big data

Kevin D. Mitnick, Robert Vamosi

The book of why: the new science of cause and effect

Judea Pearl, Dana Mackenzie

The crowd: a study of the popular mind

Gustave Le Bon

The grammar of graphics

Leland Wilkinson, Graham Wills

The Haskell School of Music: From Signals to Symphonies

Paul Hudak, Donya Quick

The Nature of expertise

Michelene T. H. Chi, Robert Glaser, Marshall J. Farr

Web security for developers

Malcolm McDonald

Zertifikat Deutsch Übungssatz 0.5. Prüferbl. Übungssatz 0.5. Prüferbl.

Functional programming with bananas, lenses, envelopes and barbed wire

John Hughes, Erik Meijer, Maarten Fokkinga, Ross Paterson

Lightweight Higher-Kinded Polymorphism

Michael Codish, Eijiro Sumii, Jeremy Yallop, Leo White

Proof-Number Search and Its Variants

Hamid R. Tizhoosh, Mario Ventresca, H. Jaap van den Herik, Mark H. M. Winands

The computer science of concurrency: the early years

VMware Research and Calibra, Dahlia Malkhi, Microsoft Research, Leslie Lamport

Finger trees explained anew, and slightly simplified (functional pearl)

Koen Claessen

HoTTSQL: proving query rewrites with univalent SQL semantics

Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu

Inter-Server Game State Synchronization using Named Data Networking

Philipp Moll, Sebastian Theuermann, Natascha Rauscher, Hermann Hellwagner, Jeff Burke

Naiad: a timely dataflow system

Derek G. Murray, Frank McSherry, Rebecca Isaacs, Michael Isard, Paul Barham, Martín Abadi

No compromises: distributed transactions with consistency, availability, and performance

Aleksandar Dragojević, Dushyanth Narayanan, Edmund B. Nightingale, Matthew Renzelmann, Alex Shamis, Anirudh Badam, Miguel Castro

QAGen: generating query-aware test databases

Carsten Binnig, Donald Kossmann, Eric Lo, M. Tamer Özsu

Scaling Distributed Machine Learning with the Parameter Server

Mu Li

Unifying structured recursion schemes

Ralf Hinze, Nicolas Wu, Jeremy Gibbons

A survey on interactive games over mobile networks: Interactive games over mobile networks

M. Gerla, D. Maggiorini, C.E. Palazzi, A. Bujari

Abstracting Abstract Machines

David Van Horn, Matthew Might

Advanced Analytics with Spark

Sandy Ryza

Asynchronous Real-time Multiplayer Game With Distributed State

Glen Berseth, Ravjot Singh

Barbarians at the gateways

Jacob Loveless

Bayes’ Bluff: Opponent Modelling in Poker

Finnegan Southey, Michael Bowling, Bryce Larson, Carmelo Piccione, Neil Burch, Darse Billings, Chris Rayner

Bitcoin: A Peer-to-Peer Electronic Cash System

Satoshi Nakamoto

Challenges and Options for Validation and Debugging

Ivan Beschastnikh, Patty Wang, Yuriy Brun, Michael D Ernst

Clowns to the Left of me, Jokers to the Right

Conor McBride

Competing against Luck: The Story of Innovation and Customer Choice

Debarati Bhattacharya

Composable and Compilable Macros

Matthew Flatt

Conflict-free Replicated Data Types

Marc Shapiro, Nuno Preguiça, Carlos Baquero, Marek Zawirski

CSS: The Definitive Guide

Eric A Meyer, Estelle Weyl

Distributed Systems

Sukumar Ghosh

Domains and Lambda-Calculi

Roberto M Amadio, Pierre-Louis Curien

DRAPE: DRessing Any PErson

Peng Guan, Loretta Reiss, David A. Hirshberg, Alexander Weiss, Michael J. Black

Dynamo: Amazon’s Highly Available Key-value Store

Giuseppe DeCandia, Deniz Hastorun, Madan Jampani, Gunavardhan Kakulapati, Avinash Lakshman, Alex Pilchin, Swaminathan Sivasubramanian, Peter Vosshall, Werner Vogels

Elements of Programming Interviews

Adnan Aziz, Amit Prakash, Tsung-Hsien Lee

Experiences with a Distributed, Scalable, Methodological File System: AnalogicFS

Leopold Katabi, Rudy Rhea, Callib Nagaos

Finding Race Conditions in Erlang with QuickCheck and PULSE

Koen Claessen, Michał Pałka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf Wiger

Frangipani: A Scalable Distributed File System

Chandramohan A Thekkath, Timothy Mann, Edward K Lee

Go-Moku and Threat-Space Search

L V Allis, M P H Huntjens

How to design co-programs

Jeremy Gibbons

Introduction to Cosmetic Formulation and Technology

Gabriella Baki

Linearizability: a correctness condition for concurrent objects

Maurice P. Herlihy, Jeannette M. Wing

Macros that Work Together: Compile-time bindings, partial expansion, and definition contexts

Matthew Flatt, Ryan Culpepper, David Darais, Robert Bruce Findler

Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System

Douglas B Terry, Marvin M Theimer, Karin Petersen, Alan J Demers, Mike J Spreitzer, Carl H Hauser

Mastering Bitcoin

Andreas M Antonopoulos

Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm

David Silver, Thomas Hubert, Julian Schrittwieser, Ioannis Antonoglou, Matthew Lai, Arthur Guez, Marc Lanctot, Laurent Sifre, Dharshan Kumaran, Thore Graepel, Timothy Lillicrap, Karen Simonyan, Demis Hassabis

New heuristic algorithm to improve the Minimax for Gomoku artificial intelligence

Han Liao

OK, BUT WHY? TRACING AND DEBUGGING DISTRIBUTED SYSTEMS

Peter Alvaro

On the Criteria To Be Used in Decomposing Systems into Modules

D L Parnas

on the impact of delay on real-time multiplayer games

Lothar Pantel, Lars C Wolf

Peer-to-peer architectures for massively multiplayer online games: A Survey

Amir Yahyavi, Bettina Kemme

PostgreSQL 10 High Performance

Enrico Pirozzi

Programming with Higher-Order Logic

Dale Miller, Gopalan Nadathur

Proof-number search

L.Victor Allis, Maarten van der Meulen, H.Jaap van den Herik

Scaling Memcache at Facebook

Rajesh Nishtala, Hans Fugal, Steven Grimm, Marc Kwiatkowski, Herman Lee, Harry C Li, Ryan McElroy, Mike Paleczny, Daniel Peek, Paul Saab, David Stafford, Tony Tung, Venkateshwaran Venkataramani

Scheduling Multithreaded Computations by Work Stealing

Robert D Blumofe

Self-teaching adaptive dynamic programming for Gomoku

Dongbin Zhao, Zhen Zhang, Yujie Dai

Statistically Rigorous Java Performance Evaluation

Andy Georges, Dries Buytaert, Lieven Eeckhout

Streaming Systems

Tyler Akidau

The Cascades Framework for Query Optimization

Goetz Graefe

The Curse of the Excluded Middle

Erik Meijer

The Intelligent Investor.

Kenneth D. Roose, Benjamin Graham

The Principles of Psychology

William James

There is No Now: Problems with simultaneity in distributed systems

Justin Sheehy

Trade-offs in System of Systems Acquisition

Frank Royston Burton

Transactional information systems: theory, algorithms, and the practice of concurrency control and recovery

UCT-ADP Progressive Bias Algorithm for Solving Gomoku

Xu Cao, Yanghao Lin

Viewstamped Replication Revisited

Barbara Liskov, James Cowling

Visualizing Distributed System Executions

Ivan Beschastnikh, Perry Liu, Albert Xing, Patty Wang, Yuriy Brun, Michael D. Ernst

What Every Programmer Should Know About Memory

Ulrich Drepper Red Hat

What Goes Around Comes Around

Michael Stonebraker, Joseph M Hellerstein

Learning Transferable Visual Models From Natural Language Supervision

Alec Radford, Jong Wook Kim, Chris Hallacy, Aditya Ramesh, Gabriel Goh, Sandhini Agarwal, Girish Sastry, Amanda Askell, Pamela Mishkin, Jack Clark, Gretchen Krueger, Ilya Sutskever

amp it up

Frank Slootman

principle

Ray Dalio

the great CEO within

Matt Mochary, Alex Maccaw, Misha Talavera

There is no fork: an abstraction for efficient, concurrent, and concise data access

[[Simon Marlow]], [[Louis Brandy]], [[Jonathan Coens]], [[Jon Purdy]]

Apache Maven dependency management: manage your Java and JEE project dependencies with ease with this hands-on guide to Maven

Jonathan Lalou

Architecture of a database system

Joseph M. Hellerstein, Michael Stonebraker, James Hamilton

Atomic Habits: Tiny Changes, Remarkable Results

James Clear, Inc OverDrive

Clean code: a handbook of agile software craftsmanship

Robert C. Martin

CLOJURE POLYMORPHISM.

PAUL STADIG

Database system concepts

Abraham Silberschatz, Henry F. Korth, S. Sudarshan

Designing Elixir systems with OTP: write highly scalable, self-healing software with layers

James Edward Gray, Bruce Tate

Domain-driven design: tackling complexity in the heart of software

Eric Evans

Functional programming in Scala

Paul Chiusano, Rúnar Bjarnason

Hands-on data structures and algorithms with Rust learn programming techniques to build effective, maintainable, and readable code in Rust 2018

Claus Matzinger

Haskell in depth

Vitaly Bragilevsky, Simon Peyton Jones

Information theory: a tutorial introduction

James V. Stone

Introduction to algorithms

Thomas H. Cormen

Introduction to Applied Linear Algebra: Vectors, Matrices, and Least Squares

Stephen Boyd, Lieven Vandenberghe

JULIA FOR DATA SCIENCE.

ANSHUL JOSHI

Kubernetes in Action: Anwendungen in Kubernetes-Clustern bereitstellen und verwalten

Marko Lukša

Linear algebra and its applications

Gilbert Strang

Mastering Clojure macros: write cleaner, faster, smarter code

Colin Jones, Fahmida Y. Rashid

Netty in action

Norman Maurer, Marvin Wolfthal

Parallel and concurrent programming in Haskell

Simon Marlow

Pro React 16

Adam Freeman

Pro Spring Boot 2: An Authoritative Guide to Building Microservices, Web and Enterprise Applications, and Best Practices

Felipe Gutierrez

Programming Elixir 1.3

David Thomas

PROGRAMMING PHOENIX LIVEVIEW: interactive elixir web programming without writing any javascript.

BRUCE A TATE

Reactive design patterns

Roland Kuhn, Brian Hanafee, Jamie Allen

Real world OCaml

Yaron Minsky, Anil Madhavapeddy, Jason Hickey

Real-Time Phoenix: Build Highly Scalable Systems with Channels.

Stephen Bussey

Reinforcement learning: an introduction

Richard S. Sutton, Andrew G. Barto

Sbt in action: the simple Scala build tool

Joshua D. Suereth, Matthew Farwell

Spring Boot in action

Craig Walls

Spring in action

Craig Walls

Testing Elixir: effective and robust testing for Elixir and its ecosystem

Andrea Leopardi, Jeffrey Matthias

The Clojure Workshop

Joseph Fahey, Thomas Haratyk, Scott McCaughie, Yehonathan Sharvit, Konrad Szydlo, an O'Reilly Media Company Safari

The Clojure workshop: a new, interactive approach to learning Clojure

Joseph Fahey

The infinite game

Simon Sinek

The little typer

Daniel P. Friedman, David Thrane Christiansen

The Reasoned Schemer

Daniel P. Friedman, William E. Byrd, Oleg Kiselyov

Web development with Clojure: build large, maintainable web applications interactively

Dmitri Sotnikov, Scot Brown

Word Power Made Easy: the Complete Handbook for Building a Superior Vocabulary.

Norman Lewis

A comprehensive study of Convergent and Commutative Replicated Data Types

Marc Shapiro, Nuno Preguiça, Carlos Baquero, Marek Zawirski

A Java Fork/Join Framework

Doug Lea

A learned query rewrite system using Monte Carlo tree search

Xuanhe Zhou, Guoliang Li, Chengliang Chai, Jianhua Feng

A Log-Structured Hash Table for Fast Key/Value Data

Justin Sheehy, David Smith

Algorithms for Decision Making

Wheeler Kochenderfer, Wray

Bitboard Methods for Games

Cameron Browne

C++ Crash Course: A Fast-Paced Introduction

Josh Lospinoso

Category Theory for Programmers

Bartosz Milewski

Clojure Reactive Programming

Leonardo Borges

Consensus: Bridging Theory and Practice

Diego Ongaro

Database Systems: The Complete Book

Hector Garcia-Molina, Jeffrey D Ullman, Jennifer Widom

Designing Data-Intensive Applications

Martin Kleppmann

Designing for Scalability with Erlang/OTP

Francesco Cesarini, Steve Vinoski

Domain Modeling Made Functional

Scott Wlaschin

Gitlab CI Course Notes

In Search of an Understandable Consensus Algorithm

Diego Ongaro, John Ousterhout

Introduction to Linear Algebra, 4th Edition

Gilbert Strang

JavaParser: Visited

Nicholas Smith

Jenkins 2: Up and Running: Evolve Your Deployment Pipeline for Next Generation Automation

Brent Laster

Kubernetes: Up and Running

Brendan Burns, Joe Beda, Kelsey Hightower

Leases: An Efficient Fault-Tolerant Mechanism for Distributed File Cache Consistency

Cary G Gray, David R Cheriton

MapReduce: simplified data processing on large clusters

Jeffrey Dean, Sanjay Ghemawat

Optics By Example

Chris Penner

Property-Based Testing with PropEr, Erlang, and Elixir

Fred Hebert

Reactive Programming with RxJava

Erik Meijer, Jake Wharton, Szymon Homa

The Compound Effect

Darren Hardy

The Definitive ANTLR 4 Reference

Terence Parr

The Design and Implementation of a Log-Structured File System

Mendel Rosenblum, John K Ousterhout

The Little Book of Common Sense Investing

John C Bogle

The little prince

The Road Less Traveled

Ralph Waldo Emerson

Why Functional Programming Matters

J. Hughes

Why logical clocks are easy

Carlos Baquero, Nuno Preguiça

稀缺：我们是如何陷入贫穷与忙碌的

ReAct: Synergizing Reasoning and Acting in Language Models

Shunyu Yao, Jeffrey Zhao, Dian Yu, Nan Du, Izhak Shafran, Karthik Narasimhan, Yuan Cao

building a second brain

Tiago Forte

被讨厌的勇气

Ichiro Kishimi, Fumitake Koga