Viewing profile — posco

The amazing page computes binary relations between pairs of regular expressions and shows a graphical representation of the DFA. It’s a really incredible demonstration of some high…

Great implementation is genius.

But they are paying $2/kwhr aren’t they? They are socializing those costs. Am I misunderstanding something?

Perhaps they would remove it if they are concerned their platform could be incentivizing wrong, dangerous or stupid behavior and they worry about the brand damage that does or have…

Predicting 50% can be validated: if I say a coin will be heads 50% of the time, I know more than nothing: I know more than someone who incorrectly claims it will be heads 75% of th…

Somewhat related: this scala library I coauthored is named after the Paige compositor: https://github.com/typelevel/paiges

A big reason to use IO as a value (which IMO is a better name than IO monad), is the same in all languages: reasoning about immutable values is easier than side effects. If we can …

Having this with rust could be a very powerful combo.

“ In any case, the model makes a testable prediction. If the sunspots are less frequent over the coming 20 years, she was right!” Interesting goal posts: scientist working on carbo…

No, but surprisingly frequently this property holds: if your function is generic enough, there is only one (or a small number) of possible implementations that type check. Leveragi…

The global Mode is gone in 0.9.0. And there is an implicit from Grouped to TypedPipe, so you don't need to call .toTypedPipe (that directly seems less likely to cause problems, esp…

Quick point: 1) Scalding has a DObject like type: ValuePipe[+T]. 2) The reason you must explicitly call .group to go to a keyed type is that is costly to do a shuffle, this makes i…

If you're interested in scalding, Edwin Chen's awesome recommendation post can't be beat: http://blog.echen.me/2012/02/09/movie-recommendations-and-mo...