Modern Industrial is a user on mastodon.club. 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 Awesome! Good luck!