🗺🐘 1000+ PostgreSQL EXTENSIONs This is a list of URLs to PostgreSQL EXTENSION repos, listed in alphabetical order of parent repo, with active forks listed under each parent. ⭐️ >= 10 stars ⭐️⭐️ >= 100 stars ⭐️⭐️⭐️ >= 1000 stars Numbers of stars might not be up-to-date.
http://the-paper-trail.org/blog/distributed-systems-theory-for-the-distributed-systems-engineer/ https://github.com/palvaro/CMPS290S-Winter16/blob/master/readings.md http://muratbuffalo.blogspot.com/2015/12/my-distributed-systems-seminars-reading.html http://christophermeiklejohn.com/distributed/systems/2013/07/12/readings-in-distributed-systems.html http://michaelrbernste.in/2013/11/06/distributed-systems-archaeology-works-cited.html http://rxin.github.io/db-readings/ http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html http://pdos.csail.mit.edu/dsrg/papers/ http://scalingsystems.com/2011/09/07/reading-list-for-distributed-systems/ http://courses.engr.illinois.edu/cs525/sp2011/sched.htm
Papers Time clock and the ordering of events in a distributed system Consensus on Transaction Commit An empirical study on the correctness of formally verified distributed systems Byzantizing Paxos by Refinement
Conferences Hydraconf Summer School Summer school on practice and theory of Distributed Computing Books Distributed Systems 3rd Edition by Maarten van Steen and Andrew S. Tanenbaum Data Intensive Applications by Martin Kleppmann