puzzle 11 foldr >>> foldl Sep 4, 2024 how not to solve a problem Jul 7, 2024 z3 can't do math Jun 3, 2024 i did sim May 5, 2024 i should probably refactor Apr 1, 2024 feeling a bit boxed in Mar 4, 2024 buffon's needle in a haystack Sep 6, 2023 have you ever played flow free Aug 4, 2023 no, i will not do it in ocaml Jul 6, 2023 just recurse on the reals Jun 8, 2023 the r in recursion stands for recursion Jun 4, 2023