The Curious Engineer

All blogs / Math

Iago's Blog

iagoleal.com

Iago Leal's blog about math, programming and everything more.

MathHaskellAlgorithms / data structures

’20’21’22’23’24’25’26
Posts
25 from 10 Sep 2020 to 9 Aug 2026
Posting
now and then (4 in the last year)
Kind
personal blog
Feed
https://iagoleal.com/rss.xml

2026 4

  1. The Quantum Mechanics of Discrete Optimization I
  2. Encrypted Void Linux Installation Booting From EFI Stub
  3. Encrypting an external device with LUKS
  4. Your Favorite Problem as an Ising Model

2025 4

  1. Monoids Let You Run Automata in Parallel
  2. Arithmancia Automatorum
  3. Finite Automata as Quantum Tensor Networks
  4. Running Jupyter Notebooks from a Supercomputer

2024 3

  1. A Uniform Probability over Probabilities
  2. Cuts for Stochastic Programming
  3. Playing with Value Iteration in Haskell

2023 5

  1. Cuts for Mixed Integer Programs
  2. A Fistful of Automata
  3. Approximation by a Thousand Cuts
  4. Picturing Finite Relations as Graphs
  5. Algebraic Path Finding

2022 5

  1. Memoization via Representables
  2. The Lazy Way to Solve Differential Equations
  3. A Tale of Dynamic Programming
  4. Let’s Program a Calculus Student II
  5. Let’s Program a Calculus Student

2021 2

  1. Shower Thoughts about Averages
  2. Pair Programming in the Pandemic

2020 2

  1. FFT as a Hylomorphism
  2. Recursion Schemes for Mathematicians