my LaTeX \todo macro prints "Exercise to the reader" in a box
@hazel ooh vector calculusLooks like curvature things
@ionchy I want you to stab a screwdriver through my teeth
@hazelAh 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.