A checklist for designing and developing internet scale services, inspired by James Hamilton's 2007 paper "On Desgining and Deploying Internet-Scale Services."
| Comp Sci (Leslie Lamport) | |
| http://research.microsoft.com/en-us/um/people/lamport/pubs/state-machine.pdf | |
| Comp Sci (Stats & ML) | |
| http://jmlr.org/papers/volume9/vandermaaten08a/vandermaaten08a.pdf | |
| http://martin.zinkevich.org/rules_of_ml/rules_of_ml.pdf | |
| https://arxiv.org/pdf/1611.07004.pdf | |
| https://arxiv.org/pdf/1703.01619.pdf | |
| https://cdn1.sph.harvard.edu/wp-content/uploads/sites/1268/2017/03/hernanrobins_v1.10.32.pdf | |
| https://cdn1.sph.harvard.edu/wp-content/uploads/sites/1268/2017/03/hernanrobins_v2.17.17.pdf |
| Classic | |
| https://www.youtube.com/watch?v=xtLoaMfinbU Tchaikovsky, The Nutcracker | |
| https://www.youtube.com/watch?v=7w7vIQe4HU0 Ravel, Piano Concerto for the Left Hand | |
| https://www.youtube.com/watch?v=T5oVgqIbOqw Ravel, Ma mère l'oye | |
| https://www.youtube.com/watch?v=ydKwY0tqAXQ Beethoven, Sonata Claro de Luna | |
| https://www.youtube.com/watch?v=t3217H8JppI Beethoven, Symphony No. 9 | |
| https://www.youtube.com/watch?v=arMu4f8rnBk Beethoven, Moonlight Sonata | |
| https://www.youtube.com/watch?v=CMc00D8J7i4 Beethoven, Para Elisa | |
| https://www.youtube.com/watch?v=eqksy-991sI Georg Friedrich Handel, Concerti Grossi Op 6 | |
| https://www.youtube.com/watch?v=DxtAHpYIXdU Dvořák, String Quartet No. 12 in F major, Op. 96 American |
| INIT | |
| Init | |
| NEXT | |
| Next | |
| INVARIANT | |
| TypeOK | |
| CONSTANTS |
| INIT | |
| Init | |
| NEXT | |
| Next | |
| INVARIANT | |
| TypeOK |
| ---- MODULE GCD ---- | |
| EXTENDS Integers, TLC | |
| Divides(p, n) == \E q \in -1000..1000 : n = q * p | |
| DivisorsOf(n) == {p \in -1000..1000 : Divides(p, n)} | |
| SetMax(S) == CHOOSE i \in S : \A j \in S : i >= j |
| INIT | |
| Init | |
| NEXT | |
| Next |
| INIT | |
| Init | |
| NEXT | |
| Next | |
| INVARIANT | |
| TypeOK |
| TLA+ Discussion | |
| https://groups.google.com/forum/#!topic/tlaplus/n00Uf-3dkxY, What does it mean for a behavior to end? | |
| Cross Validated | |
| http://stats.stackexchange.com/questions/251496/why-sum-of-squared-errors-for-logistic-regression-not-used-and-instead-maximum-l | |
| http://stats.stackexchange.com/questions/66199/maximum-likelihood-curve-model-fitting-in-python | |
| http://stats.stackexchange.com/questions/16921/how-to-understand-degrees-of-freedom | |
| http://stats.stackexchange.com/questions/254282/completing-a-3x3-correlation-matrix | |
| http://stats.stackexchange.com/questions/5747/if-a-and-b-are-correlated-with-c-why-are-a-and-b-not-necessarily-correlated |
| gcloud compute copy-files --zone <zone> <host>:<path>/<binary> /tmp/<binary>.sym | |
| gcloud compute ssh --zone <zone> <host> --ssh-flag="-L <port>:localhost:<port>" --ssh-flag="-N" --ssh-flag="-n" | |
| go tool pprof -lines /tmp/<binary>.sym http://localhost:<port>/debug/pprof/heap |