Machine-verified formal mathematical proofs
A departure from my usual topics, in remembrance of my college math classes (and with a nod to Mozilla folks working on related areas like automated testing ...
Recent Posts
Amazon discounted albums, surprisingly uninteresting
On the eMusic message boards I just saw a post from rednano74 about Amazon offering 50 albums for $5. Silly me, I thought this meant for $5 I could buy 50 al...
17dots comes to Twitter
(In the spirit of Twitter, I’ll keep this post brief.)
Income inequality in Howard County, part 2
(This is part 2 of a two-part post; for background on the Gini coefficient see part 1.)
Income inequality in Howard County, part 1
(This is part 1 of a two-part post; for the conclusion see part 2.)