Neat, and it looks like it's under a 3-clause BSD license, too: <a href="https://github.com/isovector/reasonablypolymorphic.com/blob/master/LICENSE" rel="nofollow">https://github.com/isovector/reasonablypolymorphic.com/blob/...</a><p>And it's tackling pretty advanced material — a bunch of category-theory stuff that I have no idea about. This is exciting!<p>It looks like maybe it's unfinished: <a href="https://reasonablypolymorphic.com/book/tying-it-all-together.html" rel="nofollow">https://reasonablypolymorphic.com/book/tying-it-all-together...</a> ends, "Really, we’re just getting started," and then (the current version of) the book ends. What a cliffhanger ending!<p>It doesn't seem to yet cover circuitry; the hardware it discusses seems to be a two-tape Turing machine, much like BF. The author seems to have been simulating the machine by hand to generate the included execution traces.<p>I had a hard time finding the source at first: <a href="https://github.com/isovector/reasonablypolymorphic.com/blob/master/site/static/book/machine-diagrams.html" rel="nofollow">https://github.com/isovector/reasonablypolymorphic.com/blob/...</a> has a bunch of attribute-embedded &-escaped SVG (including XMLPIs!) that he almost certainly didn't type like that. That file is duplicated at <a href="https://github.com/isovector/reasonablypolymorphic.com/blob/master/docs/book/machine-diagrams.html" rel="nofollow">https://github.com/isovector/reasonablypolymorphic.com/blob/...</a> in the same format.<p>As it turns out, the source for that post is in <a href="https://github.com/isovector/reasonablypolymorphic.com/blob/master/site/httw/2016-11-01-machine-diagrams.markdown" rel="nofollow">https://github.com/isovector/reasonablypolymorphic.com/blob/...</a>, with embedded Haskell to produce the SVGs. The build scripts looks like they might be in <a href="https://github.com/isovector/reasonablypolymorphic.com/tree/master/src" rel="nofollow">https://github.com/isovector/reasonablypolymorphic.com/tree/...</a> and <a href="https://github.com/isovector/reasonablypolymorphic.com/tree/master/scripts" rel="nofollow">https://github.com/isovector/reasonablypolymorphic.com/tree/...</a> but I can't tell where the code for generating SVG comes from. ("stack install" maybe? But then is it datetime, sitepipe, or strptime?) So I can't figure out how to fix the text in the SVGs to not crash into the diagram lines.<p>Careful about cloning the repo. It's a quarter gig!