The crackpot Google manifesto


Scott Aaronson at UT has a take on the Google manifesto  that makes it clear he didn't read it: And therefore I say: if James Damore deserves to be fired from Google, for treating evolutionary psychology as potentially relevant to social issues, then Steven Pinker deserves to be fired from Harvard for the…

Current reading: July 8 2017


Principal type-schemes for functional programs∗ Luis Damas† and Robin Milner First published in POPL ’82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, ACM, pp. 207–212 THE PRINCIPAL TYPE-SCHEME OF AN OBJECT IN COMBINATORY LOGIC BY R. HINDLEY Quicksort.  Tiny C - sheer genius! Plan B …

The Auragen file system.


This article on the interesting Wave Transactional File System inspired me to look up an earlier file system that also used copy on write semantics. From: Anita Borg, Wolfgang Blau, Wolfgang Graetsch, Ferdinand Herrmann, and Wolfgang Oberle. 1989. Fault tolerance under UNIX. ACM Trans. Comput. Syst. 7, 1 (January 1989),…

MiFID II, GPS and UTC time


I have a post up on FSMLabs web site about the use of GPS and other satellite time for MiFID II timestamp compliance.  It's fascinating how much effort has recently gone into trying to convince people that MiFID II will require direct time from a national lab or certified via…

Annals of unintentional irony


Come back after a trip to see Marc Andreessen's team of twitter posters complaining wryly about how government is so gosh durn big and citing experts like Milton Friedman. A difficulty of modern economics: I have yet to talk to a non-Keynesian who believes Keynesians intend to cut fiscal spending…