Profile

Cover photo
Mike Stay
Attends University of Auckland
Lives in Mountain View, CA
1,985 followers|902,335 views
AboutPostsPhotosYouTube

Stream

Mike Stay

Shared publicly  - 
 
I would nominate this author for an award for clarity in popularizing mathematical content.  All the articles I checked are free to read, too.
18
3
Joel David Hamkins's profile photoDavid Roberts's profile photoWilliam Rutiser's profile photoHugo Vieilledent's profile photo
5 comments
 
I interviewed with her a few times in connections with various stories, and was impressed with her articles.  She did a good job explaining some difficult ideas in set theory http://www.phschool.com/science/science_news/articles/infinite_wisdom.html, and she wrote an interesting article on MathOverflow in the earlier days of MO https://www.simonsfoundation.org/mathematics-and-physical-science/the-global-math-commons/. 
Add a comment...

Mike Stay

Shared publicly  - 
 
Clocks deeper in a gravitational field run more slowly.  An observer outside a black hole would see light emitted from an infalling clock become redshifted; the clock itself would appear to run more and more slowly, asymptotically grinding to a halt at the horizon.  The view from the infalling clock is reversed: the light from the universe outside becomes more and more blue-shifted, turning to ultraviolet and then x-rays and gamma rays, culminating in a fantastic burst of hard radiation from the entire future of all the stars in the universe as the clock falls through the horizon.

This scenario is certainly far from everyday experience, but physicists are now able to verify even the subtle deviations from Newtonian physics due to Earth's feeble gravity over the size of a human and due to time dilation at the speed of residential traffic.  In this paper from 2010, Chou, Hume, Rosenband, and Wineland report,

"We observed time dilation from relative speeds of less than 10 meters per second by comparing two optical atomic clocks connected by a 75-meter length of optical fiber. We can now also detect time dilation due to a change in height near Earth’s surface of less than 1 meter."

http://www.sciencemag.org/content/329/5999/1630.full
5
Matt McIrvin's profile photoDan Piponi's profile photoPanu Viljamaa's profile photoJohn Baez's profile photo
21 comments
 
+Panu Viljamaa - I suspect that the true theory of quantum gravity will combine the strangeness of general relativity and quantum theory in a very nice way, which will make quantum theory make more sense.  I have fairly detailed speculations on how:

http://math.ucr.edu/home/baez/planck/
Add a comment...

Mike Stay

Shared publicly  - 
 
A glimmer of hope.
 
The link below is to a paper put out by the IMF that attempts to estimate the amount by which fossil fuels are subsidized. The answers are staggeringly large. The good news is that although quite a large fraction of the subsidy is as a result of not making them pay for the adverse effects of climate change, this is outweighed by the subsidy as a result of not making them pay for local damage, such as the costs associated with the effect of pollution on people's health.

This is in principle very good news indeed, because it means that it is in the interests of countries like China to cut down on fossil fuel subsidy even if they act unilaterally. So the seemingly intractable prisoner's-dilemma aspect of the problem may not be so bad after all. In the words of the report itself:


Most energy subsidies arise from the failure to adequately charge for the cost of domestic environmental damage—only about one-quarter of the total is from climate change—so unilateral reform of energy subsidies is mostly in countries’ own interests, although global coordination could strengthen such efforts.

The fiscal, environmental, and welfare impacts of energy subsidy reform are potentially enormous. Eliminating post-tax subsidies in 2015 could raise government revenue by $2.9 trillion (3.6 percent of global GDP), cut global CO2 emissions by more than 20 percent, and cut premature air pollution deaths by more than half. After allowing for the higher energy costs faced by consumers, this action would raise global economic welfare by $1.8 trillion (2.2 percent of global GDP).

It is sometimes said that to persuade climate-change deniers of the need to cut down on fossil fuels, one needs to present them with a positive vision of what the future would be like if we did so, rather than an avoiding-doom picture. Now, amazingly, it looks as though we have the means to do that. Maybe you don't believe in AGW, or believe that money spent combating it would be better spent directly combating poverty. But if the IMF is correct, then ending subsidies on fossil fuels will make us better off, so it will help us to alleviate poverty, whether or not you believe in the other benefits of reducing emissions.
6 comments on original post
2
1
Mike Stay's profile photoJason Holt's profile photoShishir Pandey's profile photo
6 comments
 
In an abstract economic sense it might not matter, but in practice it does, because we have to really want something badly if we're willing to pay for it, and really feel like something is bad if we're willing to tax it.  In the middle is this "freedom" thing where we leave people alone because we don't want the government's fingers in everything and because we acknowledge that we don't have perfect control of the unintended consequences of laws.
Add a comment...

Mike Stay

Shared publicly  - 
 
While my favorite etymology site is still http://www.etymonline.com/, I'm chuffed to find that Google is now providing etymologies if you ask for them.  The picture below is the result of searching for etymology:bless.
9
2
Jason Holt's profile photoBoris Borcic's profile photoHugo Vieilledent's profile photoAaron Holt's profile photo
8 comments
 
In French, étymologique (etymological) has an interesting wild etymology, est-y mots logiques?  "logical words in there?". Wild etymology is the philological equivalent of presentist interpretations of Revelations, to stay with eschatology.

Speaking of which, the most entomologically intriguing passage of John's Revelations is that of the surreal locusts of Rev 9:3-10, and a striking early 21st century presentist interpretation of the command given them in Rev 9:4 -- to not harm anything green, any tree or any blade of grass -- comes from the observation that the "mass destruction" in "weapons of mass destruction" involved no menace to the prototypical victim of "mass destruction" that is the environment. Neither were WMD wagged to mean a menace to the religion of the holy color green, despite its involvement.

Think of it as the bright reflecting spot(s) on the obscure face of Ceres?
Add a comment...

Mike Stay

Shared publicly  - 
6
1
Hilmar Hoffmann's profile photo
Add a comment...

Mike Stay

Shared publicly  - 
 
A process for converting meth back into pseudoephedrine so you can treat your cold. :D
3
Add a comment...
Have him in circles
1,985 people
Nguyen Thuy's profile photo
Doug Mcculloch's profile photo
abrhim ysin's profile photo
Fariz Hakimie's profile photo
Miguel Carrion Alvarez's profile photo
Vamshidhar Reddy's profile photo
bondan suryo's profile photo
Mike Stay's profile photo
Matt Griffith's profile photo

Mike Stay

Shared publicly  - 
 
There's been a lot of buzz about the "bad science" chocolate study recently.  Here's an excellent response article about other studies of dark chocolate, their p-values, nutrition, statistics, and how we do science.
7
1
David Roberts's profile photoCharles Stewart's profile photo
 
I read somewhere that the magnitude of the foolery was also exaggerated by the grandiose title on io9. Less than twenty outlets picked up the story, out of thousands that were offered it by wire. It's possible hundreds of journalists read this and went 'meh', or were otherwise unimpressed, or even had a look at the so-called study and a good laugh.
Add a comment...

Mike Stay

Shared publicly  - 
 
 
Linear Types Can Change the Blockchain! This week i spent a great deal of time babysitting machines that were sync'ing the blockchain. It made me think a lot about finding a scalable blockchain architecture. This made me realize that there's a pretty clear interpretation of full classical linear logic in terms of operations on the blockchain. Here are some notes i wrote up about it.
Drive
Linear Types Can Change the Blockchain!Linear Types Can Change the Blockchain! Lucius Gregory Meredith, CSO, Synereo Background and Motivation i've had a lot of time to think this week because i’ve been waiting on machines to synchronize with the blockchain. As a result, i’ve been more motivated than ever to find a scalable and reliabl
1 comment on original post
3
2
Adam Bliss's profile photoBas Spitters's profile photoDavid Roberts's profile photoHarley D. Eades III's profile photo
3 comments
 
+Lucius Meredith Interesting! The text does not seem to contain much examples scripts yet. Would the comparison be easier with ethereum, which is supposed to provide Turing complete computation?
Add a comment...

Mike Stay

Shared publicly  - 
 
I loved the book, but a lot of the fun of it was the endless footnotes.  I hope they have something like asides in the show where they recount, for instance, the story of the Master's Daughter.
ANNOUNCING: Jonathan Strange & Mr Norrell premieres on BBC AMERICA Saturday, June 13 at 10pm ET “BBC AMERICA’s new original mini-series, Jonathan Strange & Mr Norrell, is set during the Napoleonic...
5
William Stay's profile photo
 
cool
Add a comment...

Mike Stay

Shared publicly  - 
 
In other languages: Swedish, German, Norwegian Having heard so much good about petrol cars, we decided to test drive one. They are said to combine cheap price with long range and fast charging. A
6
2
Darren Wilkinson's profile photoDavid Stay's profile photo
Add a comment...

Mike Stay

Shared publicly  - 
 
This extension is required at work and has saved me a few times.
 
I'm happy that one of my projects, Password Alert, has just launched! It's a Chrome Extension that detects phishing based on where you type your password. Please try it and let me know what you think: g.co/passwordalert

The source code is here: https://github.com/google/password-alert
The blog post about it is here: http://googleonlinesecurity.blogspot.com/2015/04/protect-your-google-account-with.html
12 comments on original post
5
1
Chris Monson's profile photo
Add a comment...
People
Have him in circles
1,985 people
Nguyen Thuy's profile photo
Doug Mcculloch's profile photo
abrhim ysin's profile photo
Fariz Hakimie's profile photo
Miguel Carrion Alvarez's profile photo
Vamshidhar Reddy's profile photo
bondan suryo's profile photo
Mike Stay's profile photo
Matt Griffith's profile photo
Work
Occupation
Partner, Biosimilarity, LLC
Skills
Category theory, computer programming, theoretical physics
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Currently
Mountain View, CA
Previously
Lindon, UT - Redford, MI - Amherst, OH - Provo, UT - Puerto San Jose, Guatemala - Jocotenango, Guatemala - Villa Nueva, Guatemala - Villa Hermosa, Guatemala - Colorado Springs, CO - Epsom, New Zealand - Riverside, CA
Links
YouTube
Other profiles
Story
Introduction
Whenever I'm asked to describe myself, I immediately think of Gödel numbering and quines.
Education
  • University of Auckland
    Computer Science, 2007 - present
    PhD
  • University of Auckland
    Computer Science, 2004 - 2005
    MSc
  • Brigham Young University
    Physics, 1992 - 1997
    BSc
Basic Information
Gender
Male
Other names
Michael Stay