Digi-John writes: Employees at Sandia National Labs have put the Inferno OS on Android-based phones, replacing the default Java UI. Applications are written in Limbo rather than Java. The full announcement is at the bitbucket repository, and a short video demonstrates some of its capabilities.
It seems that more and more mathematicians are using a new, high level
language named "research student".