Documents I need to read through.
-
Agent Based Modelling - 17 pgs agent based modelling.pdf
-
Dynamo: Amazon's Highly Available Key-value Store - 17 pgs amazon-dynamo-sosp2007.pdf
-
Category Theory and Functional Programming - 99 pgs category theory and functional programming.pdf
-
Mesa: Geo-Replicated, Near Real-Time, Scalable Data Warehousing - 12 pgs [google-mesa-paper.pdf]((https://github.com/lossyrob/toread/raw/master/google-mesa-paper.pdf)
-
Spark: Cluster Computing with Working Sets - 7 pgs hotcloud_spark.pdf
-
Interpollating Raster Surfaces (slides) - 41 pgs InterpolMethods.pdf
-
Quality and Efficiency in Kernel Density Estimates for Large Data - 12 pgs kernel density paralell.pdf
-
Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing - 14 pgs nsdi_spark.pdf
-
Scalable Component Abstractions (by Martin Odersky) - 18 pgs ScalableComponent.pdf
-
Compiling Generics Through User-Directed Type Specialization - 6 pgs scala-spec.pdf
-
Introduction to Category Theory for Functional Programming (slides) - 43 pgs slides about category theory.pdf
-
Proof of Godel's incompleteness theorem - 10 pgs GodelIncompletenessTheoremProof.pdf