| 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 |
(This is a translation of the original article in Japanese by moratorium08.)
(UPDATE (22/3/2019): Added some corrections provided by the original author.)
Writing your own OS to run on a handmade CPU is a pretty ambitious project, but I've managed to get it working pretty well so I'm going to write some notes about how I did it.
| {-# LANGUAGE OverloadedStrings #-} | |
| -- | Wai+Warp file server. Used GHC 7.4, Wai 1.1, Warp 1.1 versions. | |
| module Main where | |
| import Network.Wai.Handler.Warp (run) | |
| import Network.Wai.Application.Static | |
| ( StaticSettings(..) | |
| , staticApp | |
| , fileSystemLookup |
| 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 |
| 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 |
| There Will Be Blood | |
| Spirited Away | |
| Million Dollar Baby | |
| A Touch of Sin | |
| The Death of Mr. Lazarescu | |
| Yi Yi | |
| Inside Out | |
| Boyhood | |
| Summer Hours | |
| The Hurt Locker |
| --- Paxos Proposer --- | |
| 1 proposer(v): | |
| 2 while not decided: | |
| 2 choose n, unique and higher than any n seen so far | |
| 3 send prepare(n) to all servers including self | |
| 4 if prepare_ok(n, na, va) from majority: | |
| 5 v' = va with highest na; choose own v otherwise | |
| 6 send accept(n, v') to all |
| 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 |
| INIT | |
| Init | |
| NEXT | |
| Next | |
| INVARIANT | |
| TypeOK |
| INIT | |
| Init | |
| NEXT | |
| Next |