i will have to dress up to speak at a (programming) conference soon. am i doing this right?
@Modern_Industrial going to be talking about programs as proofs and writing documentation at this one.
@SmittenKitten Awesome! Good luck!
@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 yes yes yes
@SmittenKitten sadly no :(
You're never really dressed up without a pair of heels 🤣
Good luck with the talk.
@SmittenKitten Yes. I would say yes.
What are you speaking about?