Saturday, May 26, 2007
Finding yourself on the number line
Wednesday, May 23, 2007
Three thoughts about programming languages
The ability to annotate a program openly and arbitrarily is very key -- more so than any language has been designed for. It can be done at the token level, as C pragmas. At the parse tree. And as a type annotation, limited only to points in the parse tree that are typeable. The lowest level (tokens) is extremely ugly, but with open and close tags, any arbitrary span can be annotated.
To limit expansions of a Data alternatives, one can annotate as a type annotation, putting the limitations (or permitted expansions) on a node anywhere a type can be specified.
Thursday, May 17, 2007
Tuesday, May 15, 2007
"Friends Only Posts" via AACS revocation
Wednesday, May 09, 2007
Tuesday, May 08, 2007
National sales tax
Instead of trying to collect the sales tax or VAT tax at the point of sale, we can use the same infrastructure as the current income tax. Spending is income minus savings. Employers and W-2s track income, financial institutions track savings, i.e., investment. 1099 etc. On April 15, subtract the two, multiply it by a rate probably graduated according to income, subtract income withholding, and pay the remainder as tax or refund.
The devil still remains in the details.
Monday, May 07, 2007
AIME steganography
Saturday, May 05, 2007
Blindfold chess variants
Yoko Ono chess is played with two sets of white pieces. The players need to remember which pieces were theirs.
Rank swap chess uses the normally back-rank pieces to represent the pawns, and the pawns to represent the back rank pieces. The players need to remember what each pawn stands for.
Checkers chess is a more extreme variation, each player starts with 16 identical counters to represent his or her pieces.
Each of these variations requires an adjudicator to prevent illegal moves, and close oversight to prevent cheating. A player might try to minutely adjust the position or orientation of a piece within a square to remember what the piece is.