SmittenKitten is a user on octodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
i will have to dress up to speak at a (programming) conference soon. am i doing this right?
@SmittenKitten Yes. I would say yes.
What are you speaking about?
@Modern_Industrial going to be talking about programs as proofs and writing documentation at this one.
@SmittenKitten @Modern_Industrial Was this about... type theory, by any chance?
@grainloom not directly, but i might be a secret midnight Twelfer @Modern_Industrial
@SmittenKitten Awesome! Good luck!