ychen306

10 ms·

91.
by ychen306 9y ago
Go ahead, smash your computer, wait a few months, and buy a new one.
92.
by ychen306 9y ago
It's hard to just apply this to an arbitrary project, which may use nontrivial linker features or native code.
93.
by ychen306 9y ago
Because it's not true :-) Writing mathematical proofs is as fault-proof as writing pseudo-code. Writing machine-check proofs is as fault-proof as writing code.
94.
by ychen306 9y ago
Seems odd that the compiler can't inline this pattern.
95.
by ychen306 9y ago
Agree with other answers here. But it's useful for just some of the "easier" use-cases. Just throw an example here. Sometimes when proving the upper-bound of a value (runtime, probability of error, expected runtime, etc) it&#
96.
by ychen306 9y ago
This claim is preposterous.
97.
by ychen306 9y ago
Schools usually have two or three abstract algebra classes just to cover materials in Chapter 1 and a couple later chapters (polynomials, modules, etc).
98.
by ychen306 9y ago
Don't know what to make of these notes. A bit of a kitchen sink. And too brief for learning the materials.
99.
by ychen306 9y ago
On average 70% of China's power comes from coal. I can't find data with regard to Shenzhen or Guangdong (the province it's in) though.
100.
Java generics are turing complete(arxiv.org)
3 points by ychen306 9y ago|0 comments
101.
by ychen306 9y ago
printf is not built into the language so the compiler doesn't know about its semantics...
102.
by ychen306 9y ago
They are relevant. These are orthogonal issues. Typically there are more than one compiler courses in university, and you can go into more details if need to.
103.
CRA Statement on US News and World Report(cra.org)
18 points by ychen306 9y ago|1 comments