CompilersLogic Programming with Differential EquationsWe 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.
CompilersUnderstanding and Arithmetizing Hylomorphism TracesThis 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.