𝘛𝘪𝘮 𝘛𝘦𝘢𝘵𝘳o
@timtro.bsky.social
PhD candidate, Applied systems and Category theory, Computational physicist, Functional programmer, Main langs: C++, Python, Haskell. Family man by night.
“Equivalences lie at the heart of any practical calculus.” — Dijkstra et al [1]
[1] E. W. Dijkstra et al., “Invariance and non-determinacy,” Philosophical Transactions of the Royal Society of London, 1984, doi: 10.1098/rsta.1984.0072.
[1] E. W. Dijkstra et al., “Invariance and non-determinacy,” Philosophical Transactions of the Royal Society of London, 1984, doi: 10.1098/rsta.1984.0072.
August 31, 2023 at 2:23 PM
“Equivalences lie at the heart of any practical calculus.” — Dijkstra et al [1]
[1] E. W. Dijkstra et al., “Invariance and non-determinacy,” Philosophical Transactions of the Royal Society of London, 1984, doi: 10.1098/rsta.1984.0072.
[1] E. W. Dijkstra et al., “Invariance and non-determinacy,” Philosophical Transactions of the Royal Society of London, 1984, doi: 10.1098/rsta.1984.0072.