Rain 🚱 is a user on cybre.space. You can follow them or interact with them if you have an account anywhere in the fediverse.
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