theobold

6 ms·

1. 1.▲
   Yet another example that TLA+ is math, not programming(old.reddit.com)

   18 points by theobold 6y ago|0 comments
2. 2.▲
   by theobold 10y ago

   I volunteer at an animal shelter and sometimes see cats that have neurological problems or have lost a limb or an eye. I always admire how little this seems to matter to them. They don't get depressed or sad, they just carry on playing
3. 3.▲
   by theobold 10y ago

   What a shitty system
4. 4.▲
   Ask HN: I don't think I can finish college

   3 points by theobold 10y ago|5 comments
5. 5.▲
   by theobold 10y ago

   What qualifies as "excessive", though? Excessive anything is harmful almost by definition.
6. 6.▲
   by theobold 10y ago

   And yet, Turing was.
7. 7.▲
   by theobold 10y ago

   Maybe the CS people don't know set notation for the same reason that Lamport dismisses Homotopy Type Theory and Galois Connections at the 2:00 minute mark.
8. 8.▲
   by theobold 10y ago

   Why do people think that because someone is a shareholder/CEO in a company, all their deeds from that point on are purely self-interest? Depends on the CEO and company. The behavior of a company reflects the behavior of its CEO. Micr
9. 9.▲
   by theobold 10y ago

   Looking at the website in his profile, I'm fairly sure this guy is having a laugh.