Compilers Understanding and Arithmetizing Hylomorphism Traces This short post is intended to summarize some work on a simple exercise that may be useful to keep in mind when arithmetizing purely functional programs.
Compilers Logic Programming with Differential Equations We delve into differential equations as a surprisingly flexible form of computation. We explore ODEs capable of encoding and solving complex logic problems, unlocking potentially efficient ways to approach tasks like graph coloring and prime factorization.