http://www.cc.utah.edu/~nahaj/logic/structures/index.html
I am awfully fond of these big taxonomic hypertext blobs, also e.g. https://complexityzoo.uwaterloo.ca/Complexity_Zoo
Guy from Seattle team we've been working with showed up today at work; no matter how much I'm generally comfortable working with remote teams (and I…
Sean's back in town --- good fun working with nonremote teammates.
Sean's in town at work, good times.