Thread
Stories related to "The Laws of Computing - A look from the Forth side" across the full archive.
GODISNOWHERE: A look at a famous question using Python, Google and natural language processing
(ileriseviye.wordpress.com)
We recently added [approximate percentiles to Elasticsearch](http://www.elasticsearch.org/blog/averages-can-dangerous-use-percentile/) using T-Digest, but I thought the original paper would be more interesting to the Lobsters crowd than the implementation in ES.
It's a very cool algorithm, and we...
Relational parametricity is an important property of type theories. It implies both the heavily lauded "type safety" property and the slightly quieter but perhaps more interesting "abstraction safety" property. It's also violated in many, many languages (notably, not Haskell).
This paper notes th...