HN user
I can think of at least two other apps that do this—which I won't name in case Google is watching. 'Not to mention Termux, which I can't live without. Why is Droidscript being singled out?
Off topic: I won't be buying a new phone for a looong time so I can keep Termux's functionality.
Here is a much simpler detector: A bottle of Corona (or any other beer in a long-necked, clear bottle) makes a workable cloud chamber. Chill well in the freezer, and watch the neck closely as you open it. You may see the streak of a cosmic ray passing through just as the cloud of condensation forms. Of course, as a bonus, it may take more than one try…. It's not an ideal project to do with your teen-aged child—a soda doesn't get cold enough, it has to be a beer. And yes, it really does work.
1e100=1, not googol (which is 10e100). They should fix the name.
The choice of 0 for true and 1 for false is _wrong:_ On the Curry-Howard correspondence (and above) a type corresponds to a false sentence when it is not inhabited, like 0, and to a true sentence when it is. The Curry-Howard correspondence is fundamental, and so that is the. correct way to go, absent evidence in the other direction. I don't know whether Nock is a better foundation for a programming language than the Lambda Calculus, but it is at least as elegant—I'm glad someone is seeing where it leads I'm a fan of internet freedom, which often requires anonymity, and so I have my doubts about an OS that preserves exerything as a feature of the design.