Posts

All posts in reverse order, paginated

• Back to Haskell

  Published: May 1, 2026 |  at  06:00 PM

  Quick table on common combinators in λ-calculus

• Parsing, Part 1

  Published: Mar 25, 2026 |  at  02:46 PM

  Intro to context-free grammar and parsing

• Algebra 1—Closure to Commutativity

  Published: Mar 10, 2026 |  at  09:00 PM

  Conceptual ladder from magma (closure) to abelian groups (commutativity)

• Finite Automata, Part 4

  Published: Mar 1, 2026 |  at  08:41 PM

  NFA to DFA conversion uses 3 functions during subset construction

• Finite Automata, Part 3

  Published: Feb 22, 2026 |  at  09:19 PM

  Epsilon-closures and E() function

• Productions of Hamlet, Revision 3

  Published: Feb 19, 2026 |  at  09:43 PM

  Hamletfest, February 2026

• Finite Automata, Part 2

  Published: Feb 13, 2026 |  at  12:32 AM

  5-tuple formalism in describing FAs

• Finite Automata, Part 1

  Published: Feb 7, 2026 |  at  02:13 AM

  Regex to Automata—From Description to Recognition

• Regular Expressions, Part 2

  Published: Feb 2, 2026 |  at  03:07 PM

  More on RegEx

• Regular Expressions, Part 1

  Published: Jan 8, 2026 |  at  07:00 PM

  Why Regular Expressions were created

• WWDC

  Published: Jun 12, 2025 |  at  09:00 PM

  Links to Liquid Glass predictions prior to WWDC 2025

• Productions of Hamlet, Revision 2

  Published: May 4, 2025 |  at  07:38 PM

  More thoughts on Hamlet productions.

• tw08

  Published: May 1, 2025 |  at  01:27 PM

  More on taiwan trip

• tw01

  Published: Apr 27, 2025 |  at  04:47 AM

  trip to taipei

• Productions of Hamlet, Revision 1

  Published: Apr 7, 2025 |  at  09:21 PM

  Updated thoughts on Hamlet productions.