I feel like the thing that's missing from my research narrative is any semblance of a heist subplot
@secretasianman Nicolas Cage stealing the monad
@ricci check out my distributed model checker, ConErr
@secretasianman Sorry I don't get it, as you may have noticed my sense of humor WRT programming languages is limited to "monads funny teehee"
@ricci @secretasianman I've learned that "homotopy type theory" is also inherently funny although I haven't figured out what it actually is yet
Follow
@dan @ricci @secretasianman the fact that the tile of https://arxiv.org/abs/2212.11082 isn't "It's about to get real HoTT in here" is an enormous missed opportunity
