Posts

• math
• workflow
• literate
  haskell
• interactive

1. Encrypted Void Linux Installation Booting From EFI Stub 2026.04.30
2. Encrypting an external device with LUKS 2026.04.13
3. Your Favorite Problem as an Ising Model 2026.01.29
4. Monoids Let You Run Automata in Parallel 2025.09.24
5. Arithmancia Automatorum 2025.05.23
6. Finite Automata as Quantum Tensor Networks 2025.05.14
7. Running Jupyter Notebooks from a Supercomputer 2025.04.06
8. A Uniform Probability over Probabilities 2024.05.21
9. Cuts for Stochastic Programming 2024.04.25
10. Playing with Value Iteration in Haskell 2024.02.29
11. Cuts for Mixed Integer Programs 2023.12.15
12. A Fistful of Automata 2023.10.20
13. Approximation by a Thousand Cuts 2023.09.22
14. Picturing Finite Relations as Graphs 2023.08.24
15. Algebraic Path Finding 2023.03.21
16. Memoization via Representables 2022.09.18
17. The Lazy Way to Solve Differential Equations 2022.07.17
18. A Tale of Dynamic Programming 2022.06.25
19. Let’s Program a Calculus Student II 2022.04.25
20. Let’s Program a Calculus Student 2022.04.05
21. Shower Thoughts about Averages 2021.12.29
22. Pair Programming in the Pandemic 2021.08.03
23. FFT as a Hylomorphism 2020.09.20
24. Recursion Schemes for Mathematicians 2020.09.10