Iago's blog

Arithmancia Automatorum

Finite Automata as Quantum Tensor Networks

Running Jupyter Notebooks from a Supercomputer

A Uniform Probability over Probabilities

Cuts for Stochastic Programming

Playing with Value Iteration in Haskell

Cuts for Mixed Integer Programs

A Fistful of Automata

Approximation by a thousand cuts

Picturing Finite Relations as Graphs

Algebraic Path Finding

Memoization via Representables

The Lazy Way to Solve Differential Equations

A Tale of Dynamic Programming

Let’s Program a Calculus Student II

Let’s Program a Calculus Student

Shower Thoughts about Averages

Pair Programming in the Pandemic

FFT as a Hylomorphism

Recursion Schemes