+ Single Letter Surnames
http://digitalcommons.butler.edu/cgi/viewcontent.cgi?article=2660&context=wordways
http://digitalcommons.butler.edu/cgi/viewcontent.cgi?article=2660&context=wordways
Bayesian filtering: From Kalman filters to particle filters, and beyond
www.dsi.unifi.it/users/chisci/idfric/Nonlinear_filtering_Chen.pdf
www.dsi.unifi.it/users/chisci/idfric/Nonlinear_filtering_Chen.pdf
A founder's perspective on 4 years with Haskell
http://baatz.io/posts/haskell-in-a-startup/
http://baatz.io/posts/haskell-in-a-startup/
DDC is a research compiler used to investigate program transformation in the presence of computational effects.
http://trac.ouroborus.net/ddc/
http://trac.ouroborus.net/ddc/
Tardis: Time Traveling Coherence Algorithm for Distributed Shared Memory
http://people.csail.mit.edu/devadas/pubs/tardis.pdf
http://people.csail.mit.edu/devadas/pubs/tardis.pdf
TicToc: Time Traveling Optimistic Concurrency Control
http://people.csail.mit.edu/yxy/pubs/tictoc.pdf
http://people.csail.mit.edu/yxy/pubs/tictoc.pdf
The Totem Single-Ring Ordering and Membership Protocol (1995)
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.37.767&rep=rep1&type=pdf
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.37.767&rep=rep1&type=pdf
Joe Armstrong - UBF / VM opcode design
"With this choice of encoding programs become human readable strings which require zero parsing - you just execute the byte codes."
http://armstrongonsoftware.blogspot.com/2008/07/ubf-and-vm-opcocde-design.html
"With this choice of encoding programs become human readable strings which require zero parsing - you just execute the byte codes."
http://armstrongonsoftware.blogspot.com/2008/07/ubf-and-vm-opcocde-design.html
practical minimalistic lisp. wiki navigation is totally broken
http://picolisp.com/
http://picolisp.com/
Lasp: Distributed Eventually-Consistent Epidemic Computations
http://lasp-lang.org/
http://lasp-lang.org/