meridional

3 ms·

1. 1.▲
   by meridional 5y ago

   In the first paragraph: > Collisions have dropped by roughly 90 percent. No link to the source of this number though.
2. 2.▲
   by meridional 10y ago

   You merely defined halting problem. You did not argue the following: Turing machine X can produce programs that meets certain specifications => Turing machine X solves the halting problem.
3. 3.▲
   by meridional 11y ago

   In part, this is due to Haskell et al. are statically typed, which provides a higher safety guarantee than dynamically typed languages like erlang.
4. 4.▲
   by meridional 11y ago

   Not long ago, I found in my spam mailbox several emails sent by Google's recruiters (from @google.com domain). I was, at the time, going through their interview process.