my LaTeX \todo macro prints "Exercise to the reader" in a box

@hazel smart

@hazel ooh vector calculus
Looks like curvature things

@ionchy I want you to stab a screwdriver through my teeth

@hazel
Ah yes. I know it. They should be shamed.

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.