Public Notes
on
histre
CiteSeerX — A Note on Distributed Computing
citeseerx.ist.psu.edu
Logic and Lattices for Distributed Programming
db.cs.berkeley.edu
by Neil C. and the Bloom team. This extends the original Bloom design with lattices, enabling more finer-grained construction. This design(BloomL) is already present in the 'bud' 0.9.7 gem.
#paper #bloom #calm #crdt #distributed-systems #via:mechazoidal #toread #pub
Show More
Self-Adjusting Computation - Umut Acar - Carnegie Mellon University
www.umut-acar.org
drevil.pdf
www.princeton.edu
proof.pdf
research.microsoft.com
Learn Physics by Programming in Haskell [pdf]
news.ycombinator.com
Joe Armstrong Thesis 2003
www.erlang.org
Conflict-free Replicated Data Types
hal.inria.fr
CRDTs: Consistency without concurrency control
pagesperso-systeme.lip6.fr
imperative-functional.pdf
www.cs.bham.ac.uk
Concurrency Control and Recovery in Database Systems - Microsoft Research
research.microsoft.com
Type Class Morphisms
conal.net
Why Rust? [pdf] | Hacker News
news.ycombinator.com
Why Rust? - why-rust.pdf
www.oreilly.com
arxiv.org/pdf/quant-ph/0101012v4.pdf
arxiv.org
Optimal Hashing Schemes for Entity Matching
research.google.com
memorize-random-60.pdf
www.isi.edu
How to Memorize a Random 60-Bit String [pdf] | Hacker News
news.ycombinator.com
The Log-Structured Merge-Tree (LSM-Tree) (1996) [pdf]
citeseerx.ist.psu.edu
www.cs.cmu.edu/~edmo/silliness/burrito_monads.pdf
www.cs.cmu.edu
Parody of "Monads are Burritos" introductions.
#category-theory #functional-programming #haskell #monads #paper #pub
Show More
http://fermatslibrary.com/s/feynmans-derivation-of-the-schrodinger-equation
fermatslibrary.com
Collect and share the web
Get started for free