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…
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…
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…
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…
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…
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…