PinnedWalter SchulzeinBetter ProgrammingRecursion Schemes Explained Using Regular ExpressionsA tutorial for Catamorphism and ParamorphismNov 21, 20222Nov 21, 20222

PinnedWalter SchulzeinBetter ProgrammingA Programmer’s Regret: Neglecting Math at UniversityDoes Math Matter? Math matters both more and less than you think…Aug 25, 202239Aug 25, 202239

Walter SchulzeinBetter ProgrammingA Taste of Coq and Correct Code by ConstructionHow to write correct code by construction using the Coq Proof AssistantAug 28, 20231Aug 28, 20231

Walter SchulzeinBetter Programminggoderive — code generation with gonadsIn 2017, I built goderive to demo what Go would look like with generics. Usually, people post about a new tool they’ve developed, but…Apr 11, 2023Apr 11, 2023

Walter SchulzeinBetter ProgrammingDerivatives of Symbolic Automata ExplainedA tutorial on taking the symbolic derivative of a regular expression and an introduction to some Haskell syntaxMar 2, 2023Mar 2, 2023

Walter SchulzeDerivatives of Context-Free Grammars explainedA tutorial on adding Memoization, Smart Constructors, Simplification Rules and Extra Operators to the Derivatives for Regular Expression…Oct 5, 2022Oct 5, 2022

Walter SchulzeinBetter ProgrammingDerivatives of Regular Expressions Explained Using Pac-ManA tutorial explaining the functional regular expression matching algorithmNov 25, 2022Nov 25, 2022

Walter SchulzeGolang’s panic unreachable is unnecessaryI remember when I was learning Go and typing panic("unreachable") for the first time and not understanding why the type system didn’t know…Aug 23, 20221Aug 23, 20221