Regular-expression derivatives reexamined | Hacker News Reader