If they rename to Coquand I'm definitely going top create a topology package named "Balls".
Posts by Jeff Younker
2 publicly visible posts • joined 3 Dec 2007
Realizing this is getting out of hand, Coq mulls new name for programming language
New Ebola strain kills 16 Ugandans
Re: pctechxp
Directing scientific funding fundamentally doesn't work.
Scientific research is incredibly unpredictable. You never know *where* the really interesting results are going to come from. What if it turns out that homosexual sheep don't get scrapie? It could yield a treatment for spongiform encephalopothies, and that has a far bigger medical payoff than a cure for ebola.
And it's good to keep risk levels in mind too. Eboal deaths are graphic, but the total number of recorded deaths from ebola is less than the number of people killed *every year* by acetaminophen (Tylenol) poisoning.
As for the perfect bacon sandwich, I'm willing to fund any research into improving the bacon. That's better than research into improving orgasms.