Sunday, May 24, 2015
A few years ago, I posted a set of hexadecimal digits that I invented that could serve as an alternative to the customary 0-9 and A-F. My idea was to make a set of digits that could be represented in the standard numeric LCD display where the digit somehow represented a binary version of the number it represents. See here. Now someone has done one better. In the blog post "We think about yotabytes, but can't handle just one byte",
Sunday, May 03, 2015
The "Counterexample" button now works for modal statements as well as non-modal statements in somerby.net/mack/logic.