Computer Scientists might not know what a kill file is...
Posted Jun 26, 2005 0:47 UTC (Sun) by
dps (subscriber, #5725)
Parent article:
The next chapter in the Merkey saga
Jeff Merkey's computer sceince credentials, even if they are genuine, might not mean much. My credentials are 3 (acreditted) degrees in the CS.
It would be plausable to be an expert in computer science and not know the meaning of "kill file". Some computer scientists use formal methods which are a specialised area of mathematics. There is formal methods jargon including dag, process calculus, variant, abstraction invariant and "the mean calculator".
You do not use computer programs to prove results about a parallel system composed of abny number of the stated components (defined in CSP) connected in any way whatsoever---that the overall system is acyclic is *not* one of the conditions. This, and the performance of an implementation on real parallel hardware, is what got me a PhD in computer science.
All of this is a long way from understanding the meaning of "kill file".
(
Log in to post comments)