wrote a library for regular expressions that can do semantic equality, subset/superset tests, intersection, difference, and so on. seems like an improvement on state of the art i've seen (e.g. regexpr-symbolic). but... still exponential in the worst-case. worth releasing?
-
-
Tik Tok seems popular these days. If you can encourage the young'uns with this it's worth it.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.