corpus.blog
41554 blogs · [ { "id": "01a08785-0854-7112-9fd5-876003a1d97e", "title": "The Quantum Mechanics of Discrete Optimization I", "url": "https://iagoleal.com/posts/quantum-optimization/", "published_at": "2026-08-09T00:00:00+00:00" }, { "id": "01a08785-0854-7112-9fd5-876003dcd6a0", "title": "Encrypted Void Linux Installation Booting From EFI\nStub", "url": "https://iagoleal.com/posts/void-install/", "published_at": "2026-04-30T00:00:00+00:00" }, { "id": "01a08785-0854-7112-9fd5-876004015a04", "title": "Encrypting an external device with LUKS", "url": "https://iagoleal.com/posts/usb-crypt/", "published_at": "2026-04-13T00:00:00+00:00" }, { "id": "01a08785-0854-7112-9fd5-876004f101f9", "title": "Your Favorite Problem as an Ising Model", "url": "https://iagoleal.com/posts/ising-qubo-milp/", "published_at": "2026-01-29T00:00:00+00:00" }, { "id": "01a08785-0854-7112-9fd5-87600582bcbc", "title": "Monoids Let You Run Automata in Parallel", "url": "https://iagoleal.com/posts/automata-monoids/", "published_at": "2025-09-24T00:00:00+00:00" }, { "id": "01a08785-0854-7112-9fd5-876005c49755", "title": "Arithmancia Automatorum", "url": "https://iagoleal.com/posts/automata-divisibility/", "published_at": "2025-05-23T00:00:00+00:00" }, { "id": "01a08785-0854-7112-9fd5-876006766b6c", "title": "Finite Automata as Quantum Tensor Networks", "url": "https://iagoleal.com/posts/automata-tensor-networks/", "published_at": "2025-05-14T00:00:00+00:00" }, { "id": "01a08785-0854-7112-9fd5-87600760491b", "title": "Running Jupyter Notebooks from a Supercomputer", "url": "https://iagoleal.com/posts/jupyter-hpc/", "published_at": "2025-04-06T00:00:00+00:00" }, { "id": "01a08785-0854-7112-9fd5-8760082ac67f", "title": "A Uniform Probability over Probabilities", "url": "https://iagoleal.com/posts/sampling-probabilities/", "published_at": "2024-05-21T00:00:00+00:00" }, { "id": "01a08785-0854-7112-9fd5-8760086939c8", "title": "Cuts for Stochastic Programming", "url": "https://iagoleal.com/posts/cuts-stochastic/", "published_at": "2024-04-25T00:00:00+00:00" }, { "id": "01a08785-0854-7112-9fd5-876008bcc80c", "title": "Playing with Value Iteration in Haskell", "url": "https://iagoleal.com/posts/value-iteration-haskell/", "published_at": "2024-02-29T00:00:00+00:00" }, { "id": "01a08785-0854-7112-9fd5-8760092cecd5", "title": "Cuts for Mixed Integer Programs", "url": "https://iagoleal.com/posts/cuts-mip/", "published_at": "2023-12-15T00:00:00+00:00" }, { "id": "01a08785-0854-7112-9fd5-876009a59c35", "title": "A Fistful of Automata", "url": "https://iagoleal.com/posts/automata-monads/", "published_at": "2023-10-20T00:00:00+00:00" }, { "id": "01a08785-0854-7112-9fd5-876009f7c51f", "title": "Approximation by a Thousand Cuts", "url": "https://iagoleal.com/posts/cuts/", "published_at": "2023-09-22T00:00:00+00:00" }, { "id": "01a08785-0854-7112-9fd5-87600a26bed0", "title": "Picturing Finite Relations as Graphs", "url": "https://iagoleal.com/posts/finite-relations-graph/", "published_at": "2023-08-24T00:00:00+00:00" }, { "id": "01a08785-0854-7112-9fd5-87600b20a8e5", "title": "Algebraic Path Finding", "url": "https://iagoleal.com/posts/algebraic-path/", "published_at": "2023-03-21T00:00:00+00:00" }, { "id": "01a08785-0854-7112-9fd5-87600b43c3bb", "title": "Memoization via Representables", "url": "https://iagoleal.com/posts/representable-memoize/", "published_at": "2022-09-18T00:00:00+00:00" }, { "id": "01a08785-0854-7112-9fd5-87600ba0bfbd", "title": "The Lazy Way to Solve Differential Equations", "url": "https://iagoleal.com/posts/calculus-symbolic-ode/", "published_at": "2022-07-17T00:00:00+00:00" }, { "id": "01a08785-0854-7112-9fd5-87600c8092b6", "title": "A Tale of Dynamic Programming", "url": "https://iagoleal.com/posts/dynamic-programming/", "published_at": "2022-06-25T00:00:00+00:00" }, { "id": "01a08785-0854-7112-9fd5-87600ca7e8f5", "title": "Let’s Program a Calculus Student II", "url": "https://iagoleal.com/posts/calculus-symbolic-ad/", "published_at": "2022-04-25T00:00:00+00:00" }, { "id": "01a08785-0854-7112-9fd5-87600cfcf79a", "title": "Let’s Program a Calculus Student", "url": "https://iagoleal.com/posts/calculus-symbolic/", "published_at": "2022-04-05T00:00:00+00:00" }, { "id": "01a08785-0854-7112-9fd5-87600df0ba31", "title": "Shower Thoughts about Averages", "url": "https://iagoleal.com/posts/shower-thoughts-averages/", "published_at": "2021-12-29T00:00:00+00:00" }, { "id": "01a08785-0854-7112-9fd5-87600ec81241", "title": "Pair Programming in the Pandemic", "url": "https://iagoleal.com/posts/tmux-pair-programming/", "published_at": "2021-08-03T00:00:00+00:00" }, { "id": "01a08785-0854-7112-9fd5-87600f546dc9", "title": "FFT as a Hylomorphism", "url": "https://iagoleal.com/posts/fft-hylo/", "published_at": "2020-09-20T00:00:00+00:00" }, { "id": "01a08785-0854-7112-9fd5-87600ff69dea", "title": "Recursion Schemes for Mathematicians", "url": "https://iagoleal.com/posts/recursion-schemes/", "published_at": "2020-09-10T00:00:00+00:00" } ] posts Claim your blog
Back to iagoleal.com
Blog · corpus.blog/blogs/iagoleal.com/posts

iagoleal.com

iagoleal.com

2026

The Quantum Mechanics of Discrete Optimization Ioriginal ↗
9 Aug 2026
Encrypted Void Linux Installation Booting From EFI Stuboriginal ↗
30 Apr 2026
Encrypting an external device with LUKSoriginal ↗
13 Apr 2026
Your Favorite Problem as an Ising Modeloriginal ↗
29 Jan 2026

2025

Monoids Let You Run Automata in Paralleloriginal ↗
24 Sept 2025
Arithmancia Automatorumoriginal ↗
23 May 2025
Finite Automata as Quantum Tensor Networksoriginal ↗
14 May 2025
Running Jupyter Notebooks from a Supercomputeroriginal ↗
6 Apr 2025

2024

A Uniform Probability over Probabilitiesoriginal ↗
21 May 2024
Cuts for Stochastic Programmingoriginal ↗
25 Apr 2024
Playing with Value Iteration in Haskelloriginal ↗
29 Feb 2024

2023

Cuts for Mixed Integer Programsoriginal ↗
15 Dec 2023
A Fistful of Automataoriginal ↗
20 Oct 2023
Approximation by a Thousand Cutsoriginal ↗
22 Sept 2023
Picturing Finite Relations as Graphsoriginal ↗
24 Aug 2023
Algebraic Path Findingoriginal ↗
21 Mar 2023

2022

Memoization via Representablesoriginal ↗
18 Sept 2022
The Lazy Way to Solve Differential Equationsoriginal ↗
17 Jul 2022
A Tale of Dynamic Programmingoriginal ↗
25 Jun 2022
Let’s Program a Calculus Student IIoriginal ↗
25 Apr 2022
Let’s Program a Calculus Studentoriginal ↗
5 Apr 2022

2021

Shower Thoughts about Averagesoriginal ↗
29 Dec 2021
Pair Programming in the Pandemicoriginal ↗
3 Aug 2021

2020

FFT as a Hylomorphismoriginal ↗
20 Sept 2020
Recursion Schemes for Mathematiciansoriginal ↗
10 Sept 2020