I want to buy endofunctor.net should I buy it

(when I write something to put on it, that is)

If not, someone suggest something better. Bonus points if it's one of those tacky mon.ad-type ones because I've wanted one of those since forever.

(also the reason for no posts is because I've had nothing of worth to say. Exams went ok I suppose. That hasn't stopped me posting on twitter a couple of times, because it doesn't seem like it stops most other people either)

I got a better category theory book from the library today, since the one I had before (Categories by Horst Schubert) was a little bit, um, dense. I think it was meant to be a companion to several courses' worth of lectures or something.

So instead, I have Abstract and Concrete Categories by Adámek, Herrlich, and Strecker, which despite the inviting cover is actually pretty accessible (well the first fifteen pages are at least?). And the authors have, I just found out, put it online as a PDF, minus the cat illustrations. So, um, yes, that.

And this book uses the category of automata as an example now and then so I can pretend it's relevant to my degree.

also: what is it about category theory and people called horst

adventures in software engineering:

management science is apparently a thing.

guh

omg guys, this!

it actually makes monadic associativity look like associativity. (also, a parse tree)

God I hate debugging this

(In other news, I can't program the simplest thing. Surprise?)

eh

does anyone have a handy-dandy proof that there's no linear subsequence of the square numbers because that'd be pretty useful right now

i need to show this language can't be pumped if you know what i mean

(this is what i mean, btw)