Skip to content

Instantly share code, notes, and snippets.

@skeptomai
Created September 5, 2012 01:06
Show Gist options
  • Select an option

  • Save skeptomai/3628738 to your computer and use it in GitHub Desktop.

Select an option

Save skeptomai/3628738 to your computer and use it in GitHub Desktop.
Goodreader sync files
196200_A Programming Language.pdf
1996-The Log-Structured Merge-Tree (LSM-Tree).pdf
6.05.HowToBeCreative.pdf
A tour of Scheme in Gambit.pdf
ABCDs of Paxos.pdf
AMQP Spec 0.8.pdf
Abstract Computing Machines.pdf
Adam's Advice and Reading List for High Tech Startup Entrepeneurs.pdf
Advanced Programming in the Unix Environment.pdf
Advanced encryption standard.PDF
Algorithms in C - R.Sedgewick.pdf
Amazon Dynamo.pdf
An Interview with A. Stepanov for Edizioni Infomedia srl.pdf
Another Category Theory Lecture Notes.pdf
Art_of_Debugging_with_GDB_and_DDD.pdf
Astrolabe.pdf
Basic Category Theory.pdf
Bimodal Multicast.pdf
Bitcask Intro.PDF
Bloom CALM.PDF
Building_Embedded_Linux_Systems_Second_Edition.pdf
C programming K&R.pdf
CACM-95.pdf
CEO and COO roles.pdf
Calculating day of week.pdf
Category Theory Lecture Notes.pdf
Cheney on the M.T.A..pdf
Classic_Shell_Scripting.pdf
Cloud-electricity-p32-brynjolfsson.pdf
Common Lisp the Language.pdf
Compiling With Continuations Continued.pdf
Compiling With Continuations.pdf
Concepts, Techniques, and Models of Computer Programming.pdf
Consistent Hashing.pdf
Continuation passing in C.pdf
DSLsinAction.pdf
Data Stream Algorithms.pdf
Decision Procedures for BitVectors Arrays and Integers - vg2007-PhD-STANFORD.pdf
Deconstructing Paxos.pdf
Deletable bloom filter.pdf
Designing_Embedded_Hardware_Second_Edition.pdf
Dhammapada.pdf
Directly reflective metaprogramming.pdf
Disk Paxos.PDF
Distributed Firewall Policy Validation.pdf
Distributed Firewalls.pdf
Doc.html
EUnit in Practice.pdf
Elisp.pdf
Emacs.pdf
Erlang Getting Started-5.4.pdf
Erlang Programming.pdf
Erlang and OTP in Action.pdf
Erlang param modules.pdf
Evolution of Lisp.pdf
Experience Report - Haskell as a Reagent -icfp10-haskell-reagent.pdf
Extended process registry.pdf
FocusFree.pdf
For the Win.pdf
Fortifying Macros - icfp10-cf.pdf
Gaming is Hard Work.pdf
Generic Routing Encapsulation.pdf
Generics in Java tutorial.pdf
Gentle Introduction to Category Theory.pdf
Git From the Bottom Up.pdf
Git Internals (Peepcode).pdf
Gnu Make.PDF
Good Lisp Programming Style.pdf
Group Communication Specification.pdf
Group Membership and View Synchrony.pdf
HBR-Overloaded Circuits.pdf
HD-HERO-UM-ENG-110110.pdf
Haskell 2009 In Review.pdf
Horus Group Communication.pdf
How I use Emacs and Org-mode to implement GTD.pdf
How to make Lisp go faster than C.pdf
Hygenic Macros with Syntax Case.pdf
Idiot's guide to special variables.pdf
Implementing a Distributed Firewall.pdf
Impossibility of Consensus FLP.pdf
Incremental approach to compiler construction.PDF
Indexing hierarchical data.pdf
Intel_Threading_Building_Blocks.pdf
Intro to Information Retrieval.pdf
Intro to prob and stats using R.pdf
Introduction to C.pdf
Java langspec-3.0.pdf
LISP 1.5 Programmers Manual.pdf
LaTeX.pdf
Lambda Calculus-An Introduction.pdf
LambdaCalculus.pdf
Leader Election Protocol for Fault Recovery.pdf
Learn You as Haskell.pdf
Let Over Lambda.pdf
Lexical Analysis - Finite Automata- cs471-03-lex.pdf
LibPaxos performance Analysis - Primim-SPLab08.pdf
Linux_Device_Drivers_Third_Edition.pdf
Linux_Kernel_in_a_Nutshell.pdf
Linux_Networking_Cookbook.pdf
Linux_System_Programming.pdf
Lisp Statistical (Slides).pdf
Lisp Statistical Computing.pdf
Lisp in Small Pieces.pdf
Logic and Theory.pdf
Lucene in Action.pdf
MIT-LCS-TR-717.pdf
Markov Processes.pdf
Matters Computational.pdf
McCarthy - Recursive Functions of Symbolic Expressions.pdf
Metta Sutra.pdf
Micro Manual LISP.pdf
Monadic I:O, concurrency in Haskell.pdf
NDbeta_EvaluatorGuide1.0-v2.pdf
Navigating in the Storm.pdf
Nginx-1-Web-Server-Implementation-Cookbook-eBook29062011_1037662.pdf
Nginx-HTTP-Server-eBook29062011_1037662.pdf
OCaml Tutorial.pdf
OSPF RFC-2328.pdf
OTP system doc.pdf
ObjC Tutorial.pdf
ObjC.pdf
Omega Meets Paxos.pdf
On Lisp.pdf
Open GL ES on iPhone.pdf
Org Mode Reference Card.pdf
Org Mode.pdf
Overview of Pricing Models.PDF
P-not-NP.PDF
PLAI-Krishnamurthi.pdf
Paxos Made Live.pdf
Paxos Made Moderately Complex.pdf
Paxos Made Practical.pdf
Paxos Made Simple.pdf
Paxos for System Builders.pdf
Paxos for Systems Builders.pdf
Paxos made code.pdf
PragProg Git Book.pdf
Preparing for Death.pdf
Probabilistically Correct Leader Election.pdf
Programming Clojure.pdf
Purely functional data structures.PDF
R_Cookbook.pdf
R_CurveFit.pdf
Rabbit - A Compiler for Scheme -AITR-474.pdf
Reaching Agreement on Processor Group Membership.pdf
RealWorldHaskell.pdf
Reconstructing Paxos.pdf
Reliable Distributed Systems.pdf
Role of the CTO.PDF
Ruby Pickaxe 2.pdf
S3 API.pdf
S3 Dev guide.pdf
STP-ganesh-07.pdf
Scalable Distributed Data Structures.pdf
Scalable, Self-Organizing Sensor Networks.pdf
Scheme Intro.pdf
Shark Attacks and Poisson approximation.pdf
Simple RBAC.pdf
Solr-14-Enterprise-Search-Server-ebook14092010_1037662.pdf
Stable Leader Election.pdf
Static Single Assignment.pdf
Sun N1 - 819-4444.pdf
Sun N1 - 819-4446.pdf
Sun N1 - 819-4447.pdf
Sun N1 - 819-4450.pdf
Sun N1 - 819-4451.pdf
The Art of the Interpreter -AIM-453.pdf
The Comonad.Reader » Linear Bloom Filters.pdf
The Essence of Compiling with Continuations.pdf
The Foundation Trilogy.pdf
TheJoyofClojure.pdf
The_C_Programming_Language.pdf
Theory of the Leisure Class.pdf
Tibetan Buddhism and the resolution of grief_ The Bardo-Thodol for the dying and the grieving.pdf
Time Clocks.pdf
Transaction.pdf
Transactional Programming Easier?.pdf
Trust Management and Network Layer Security.pdf
Understanding_Linux_Network_Internals.pdf
Understanding_the_Linux_Kernel_Third_Edition.pdf
Unix Network Programming.pdf
Unix system programming with SML.pdf
Verification of a Leader Election Protocol.pdf
Virtually Synchronous Group Multicast.pdf
WSREST2010paper.pdf
Why Calculating is Better than Scheming - wadler87.pdf
Why Cloud Computing Will Never Be Free.pdf
Why Functional Programming.pdf
Zsh guide.pdf
agile-web-development-with-rails_b13_0.pdf
bash_Cookbook.pdf
comonads.pdf
compiler-eval-e.pdf
continuations and monads.pdf
erlang-client-user-guide.html
eunit.pdf
gambit-c.pdf
gunjo-SplitOrderedLists.pdf
hotels | Bruges | hotels | Secure Reservations | Book directly at the hotel.pdf
interpreter_to_compiler_and_vm.pdf
intro to buddhism.pdf
ios_developer_program_user_guide__standard_program_v2.7__final_9110.pdf
ipad-usability.pdf
iso8601v2000.pdf
lambda.pdf
lispbook.pdf
ml2010-show.pdf
nano-jfp.pdf
nano.pdf
ocaml-3.11-refman.pdf
ocamlunix.pdf
ooc.pdf
otp_server_farms.pdf
p68-v39n1o-greenberg.pdf
packrat-icfp02.pdf
pcasm-book.pdf
peg-popl04.pdf
pldi-fsdf.pdf
programming-erlang_p5_0.pdf
programming-in-lua-2ed.pdf
programming-ruby-1-9_p3_0.pdf
queue200901-dl.pdf
r5rs.pdf
ragel-guide-6.7.pdf
reasonable-lisp.pdf
rfc5735.txt
scaling-apache-presentation.pdf
scheme-9-from-empty-space.pdf
scrypt.pdf
sicp-better.pdf
sicp.pdf
sigcse05 - Alternatives to Two Classic Data Structures.pdf
structured_programming_processes.pdf
the-rspec-book_b16_0.pdf
the-rspec-book_p1_0.pdf
using-jruby_b7_0.pdf
using-jruby_p1_0.pdf
www-continuations-lisp.pdf
xml-essence.pdf
ØMQ - The Guide - ØMQ - The Guide.pdf
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment