Nov 13, 2025
The Schrödinger equation is an ODE, so we can approach its solution through Picard iteration. This approach leads to a sum over walks on the graph formed by an orthonormal basis as vertices and the Hamiltonian matrix elements as edge weights. This sum is exactly the Feynman path integral if we choose the position basis and take the continuum limit.
Nov 6, 2025
Nix is a functional programming language primarily used for package management and system configuration. However, it may be interesting to emulate imperative programming constructs within Nix. This post explores how to achieve imperative-style programming in Nix.