-
2024-01-13
Public speaking with my closest friend, anxietyReframing anxiety as a strength for conference talks and stand-up comedy -
2023-08-28
A Taste of Coq and Correct Code by ConstructionHow to write correct code by construction using the Coq Proof Assistant -
-
2022-11-21
Recursion Schemes Explained Using Regular ExpressionsA tutorial for Catamorphism and Paramorphism -
2022-10-11
Derivatives of Symbolic Automata ExplainedA tutorial on taking the symbolic derivative of a regular expression and an introduction to some Haskell syntax -
2022-10-05
Derivatives of Context-Free Grammars explainedA tutorial on adding Memoization, Smart Constructors, Simplification Rules and Extra Operators to the Derivatives for Regular Expression algorithm -
2022-09-19
Derivatives of Regular Expressions Explained Using Pac-ManA tutorial explaining the functional regular expression matching algorithm -
2019-07-07
A Programmer’s Regret: Neglecting Math at UniversityDoes Math matter? Math matters both more and less than you think -
2017-09-25
Golang’s panic unreachable is unnecessaryThe only reason for multiple return parameters is error handling -
