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 users who like the study of programming languages, formal semantics, types, or linguistics.