REPERIENDI (my blog)
Google (my employer)
|ALL||John Baez and Michael Stay, "Physics, Topology, Logic, and Computation: A Rosetta Stone." New Structures for Physics, ed. Bob Coecke, Lecture Notes in Physics 813, Springer, Berlin, 2011, pp. 95--174.|
|ALL||Cristian S. Calude and Michael A. Stay, "Most Programs Stop Quickly or Never Halt." Advances in Applied Mathematics, 40 (3). 295--308.|
|ALL||Cristian S. Calude and Michael A. Stay, "Natural Halting Probabilities, Partial Randomness, and Zeta Functions." Information and Computing, 204 (11). 1718--1739.|
|ALL||M. Stay, "Very Simple Chaitin Machines for Concrete AIT." Fundamenta Informaticae 68 (3). 231--247.|
|ALL||M. Stay, "Generalized Number Derivatives." Journal of Integer Sequences, Vol. 8 (2005), Article 05.1.4|
|M. Stay, "Inexpensive Linear-Optical Implementation of Deutsch's Algorithm." Bulletin of the European Association of Theoretical Computer Science 84 (2004) pp. 195-202.|
|ALL||C.S. Calude, M.A. Stay, "From Heisenberg to Gödel via Chaitin." International Journal of Theoretical Physics, 44 (7). 1053--1065.
|Michael Stay, "ZIP Attacks with Reduced Known Plaintext." Fast Software Encryption, LNCS 2355, 125--134. Springer-Verlag, 2002.|
|PS.ZIP||N. Ferguson, J. Kelsey, S. Lucks, B. Schneier, M. Stay, D. Wagner, and D. Whiting, "Improved Cryptanalysis of Rijndael." Fast Software Encryption, 213--230. Springer-Verlag, 2001.|
|PS, PDF||M. Stay, "Truth and Light: Physical Algorithmic Randomness." Master's thesis. Department of Computer Science, University of Auckland. 2005
(While a master's thesis at the University of Auckland is not required to have new results, this thesis consists entirely of original work; two of the chapters were published as they stand, and the results of the third are in the I&C paper.)
|HTML||M. Stay, "Bit Commitment Blues." Journal of Craptology Vol. 2. (2006)|
|HTML||Cryptanalysis of Encrypted Magic Folders. 2001.|
Notes and Miscellany
|PS||A walk thorugh Agrawal et. al's paper "PRIMES is in P". One or two formulas differ slightly from the linked paper, since I started writing this when they were at version 3 of the paper, and now it's at version 6. All differences are slight optimizations, and don't affect the proof in any way. I presented this in Algebra class, winter '06.|
|HTML||A presentation on my work with the algorithmic uncertainty principle.|
|Notes I took during John Baez's class on algebraic topology.|
|Slides about the Rosetta Stone paper above; there are notes.|
|HTML||Stuff I've put online that I later realized was wrong.|
|Art||Songs, drawings, illumination, essays, and puns.|
|Miriam's music||My wife Miriam's albums. I particularly like Summertime and Sing, Sing.|
|Family||A few nice pictures of us.|
|Cristian Calude||A picture of my master's thesis advisor and me.|
|Science toys||Cut it out, put it together, and wonder at the universe.|
|www.mormon.org||The Church of Jesus Christ of Latter-Day Saints' answers to the questions "Who am I? Why am I here? Where am I going?"|
|Schlock Mercenary||"What makes you think they're not just coming to destroy your fleet of unfettered AI warships?"
"I'd be disappointed if they weren't."
"Well, that's OK, then... Hey, do you have any sandwiches? The terror I'm bottling up inside me would like something to eat."
|Photos, applets, graphics||My brother Doug Summers-Stay's websites.|
|Unitus||Global Microfinance Acceleration. Microfinance institutions make small loans to the very poor to enable them to start their own businesses. Unitus helps these institutions grow, enabling them to help many more people.|