Posts for year 2024 2024-10-30 16:10Porting the "Worst Datalog" to Python 2024-07-24 20:41DFA Minimization using Rational Trees in Prolog 2024-06-23 16:26Optimizing Collatz in PyPy