"Homotopical Patch Theory" -> great! I was expecting HoTT to be more useful to mathematicians than to programmers
-
-
Replying to @etorreborre
@etorreborre programmers are just mathematicians who haven't realized it yet ;-)5 replies 29 retweets 17 likes -
Replying to @milessabin
@milessabin@dibblego@etorreborre Well, I guess at least some of us have ;)1 reply 0 retweets 0 likes -
Replying to @raichoo
@raichoo@milessabin@dibblego@etorreborre Implying mathematics isn't a special-case of computer science. ;P2 replies 0 retweets 0 likes -
Replying to @tailcalled
@tailcalled@milessabin@dibblego@etorreborre Are you trying to pull a Bob Harper here? :D1 reply 0 retweets 0 likes -
Replying to @raichoo
@raichoo@milessabin@dibblego@etorreborre Just kidding around a bit while having nothing productive to do. ;)1 reply 0 retweets 0 likes
@tailcalled @raichoo @milessabin @etorreborre Some people confuse "programming isn't maths" with "I've no fucking clue what I am doing here"
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.