thrmsforbfast

16 ms·

1. 121.▲
   by thrmsforbfast 8y ago

   > But suffice it to say not all had CS degrees, nor even a degree of any kind. You will notice that I very carefully worded that post. The word degree wasn't used. Among all the coding quiz questions that get asked in interviews,
2. 122.▲
   by thrmsforbfast 8y ago

   Regexes get a bad rap mostly for two reasons: 1) they are abused by people who have never written a parser but need to write a parser, often to parse languages that are highly nonregular, and 2) they get thrown at problems where the underly
3. 123.▲
   by thrmsforbfast 8y ago

   > I'm not talking about decidability. If you are talking about theorem proving then you are most definitely talking about decidability! And especially if you are talking about wide-spread use of theorem proving (or lack thereof)
4. 124.▲
   by thrmsforbfast 8y ago

   > That doesn't mean most proofs are wrong, but it does mean that most mathematicians are informal; to the extent they write down proofs of their theorems, they've only ever needed to do so enough to get other mathematicians to