Andy Tai writes
this Wired story, InfiniteOS will be GPLed. After this story is leaked out at a site called slashdot.org ( :-) ), the owner of InfiniteOS quickly admitted mistakes and made the Right Choice. The GPL gains another convert.
It seems that more and more mathematicians are using a new, high level
language named "research student".