pavelrub

34 ms·

1. 301.▲
   by pavelrub 13y ago

   I'm not sure what you are basing this on. How can you judge that if you do not understand the theory or the motivation behind it? Because chapter 2 seemed like gibberish to you? Read for example: http://homotopytypetheory.or
2. 302.▲
   by pavelrub 13y ago

   I do not understand your criticism. HoTT's value proposition is about a significant simplification of automated theorem proving in mathematics. As such, the value proposition itself has nothing to do with Homotopy Theory: if what HoT
3. 303.▲
   by pavelrub 13y ago

   Right. Because a single rover on the moon is more "active" than the 5 active space programs, including 2 active rovers, that NASA has on Mars.
4. 304.▲
   by pavelrub 13y ago

   And yet whether Derek is right or not is unrelated to whether people should have a right to keep things private - of course they should. This is why grellas is misinterpreting the post, and this is also why your last paragraph is also a mis
5. 305.▲
   by pavelrub 13y ago

   You are misinterpreting the post. Derek isn't claiming that your decisions about what to keep private shouldn't be respected, but rather that you - the person who wishes to keep things private - might benefit from thinking twice a
6. 306.▲
   by pavelrub 13y ago

   You have been watching too many movies.