Post AX2kJQQfWgqpU7F3b6 by Vierkantor@mastodon.vierkantor.com
(DIR) More posts by Vierkantor@mastodon.vierkantor.com
(DIR) Post #AX2kJQQfWgqpU7F3b6 by Vierkantor@mastodon.vierkantor.com
2022-11-01T09:22:44Z
0 likes, 0 repeats
Welcome to my social medium!By day, I do computer verification (you might even say aggressive mechanization) of #math in the Lean prover with the hope of getting a gender-neutral title out of it. (I don't post too much about it on here, scientific papers tend to take all my writing energy.) By night I do #osdev. I like #cycling in nature and befriending #crows. I also know a bit of #linguistics.I really like explaining concepts — feel free to ask any question (esp. mathematics / theoretical comp sci). Replies to toots are always welcome. You can steal anything I post if it's not overtly personal.Everything I post is a lie. Do You Believe That?
(DIR) Post #AX2kJTjvDZ2BkhGyWW by Vierkantor@mastodon.vierkantor.com
2022-12-24T13:33:05Z
0 likes, 0 repeats
Replies: okay.Faves: okay.Answering my polls: okay.Boosts: okay.Quote posts: not okay.Hugs: okay.Suggesting I should become your romantic, sexual or otherwise intimate partner: not okay.Unprompted descriptions of intimate acts: very not okay.Compliments: okay.Scraping: not okay.Unsupervised automated interactions: opt-in only.Meows, beeps and other *mu*s: okay.Asking for help: okay.Telling me if I've messed up and how to make it better: extremely good.
(DIR) Post #AX2kJXJTvoGGpqvuro by Vierkantor@mastodon.vierkantor.com
2023-03-04T18:37:00Z
0 likes, 0 repeats
Please send me a DM mentioning the magic phrase: "squeamish ossifrage". You can now follow request without annoying me.