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