World-Building in Haskell with Tom Harding

world-building-with-tom-harding.md

Here's the unusually long linkography from the Zoom chat during World Building in Haskell with Tom Harding:

Perlin noise youtube playlist: https://www.youtube.com/playlist?list=PLRqwX-V7Uu6bgPNQAdxQZpJuJCjeOr7VD

Tom's repo: https://github.com/i-am-tom/world-building-in-haskell/blob/7c75b3711c021bf32f2c4c521accf03a32c7597d/src/Data/Vect.hs

The inventor of Liquid Haskell Ranjit Jhala is funny: https://www.youtube.com/watch?v=Ci48kqp11F8

Fun Prolog stuff, totally off-topic: https://arxiv.org/abs/1809.02840

Funnily enough... I just today watched a human do constraint solving in their head and enjoyed it :) https://www.youtube.com/watch?v=Zk4qNEDXFSw

Another talk about propagators: https://www.youtube.com/watch?v=nY1BCv3xn24

Also propagators by Ed Kmett: https://www.youtube.com/watch?v=D7rlJWc3474

Funny enough, the speaker has also done work with propagators: github.com/i-am-tom/holmes

Haskeller doing generative art: https://twitter.com/bendotk

Generative art framework in Haskell by Ben Kovach: https://github.com/5outh/chaosbox

Research on making this proper fast: https://hackage.haskell.org/package/lvish

Kmett is working on making this constraint solution stuff much faster in guanxi, but it’s slow going: https://www.youtube.com/watch?v=9Fg54XAr044

Donya Quick spoke about this somewhat at Compose Conference 2018: https://www.cs.hmc.edu/~keller/jazz/improvisor/

Checking Musical Correctness: https://bobkonf.de/2019/ford.html

Miegakure: https://miegakure.com/