posco

8 ms·

1.
Calculate the difference and intersection of any two regexes(phylactery.org)
353 points by posco 3y ago|117 comments
2.
by posco 3y ago
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 highly non-trivial operations on regular expressions.
3.
by posco 3y ago
Great implementation is genius.
4.
by posco 4y ago
But they are paying $2/kwhr aren’t they? They are socializing those costs. Am I misunderstanding something?
5.
by posco 4y ago
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 ethical problems profiting off that.
6.
by posco 5y ago
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 the time. And we can quantify in various ways how much better
7.
by posco 5y ago
Somewhat related: this scala library I coauthored is named after the Paige compositor: https://github.com/typelevel/paiges
8.
by posco 6y ago
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 take complex IO operations and use composition tools exactly
9.
by posco 7y ago
Having this with rust could be a very powerful combo.
10.
by posco 7y ago
“ 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 carbon’s effect on the climate need to consider all kinds of othe
11.
by posco 7y ago
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. Leveraging this rules out bugs.
12.
by posco 13y ago
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, especially given we have mapValues and filter on Grouped,
13.
by posco 13y ago
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 it clear to people when they do trigger a shuffle. If you do
14.
by posco 14y ago
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...