Profile

Cover photo
Mike Stay
Attended University of Auckland
Lives in Mountain View, CA
2,139 followers|1,122,032 views
AboutPostsPhotosYouTube

Stream

Mike Stay

Shared publicly  - 
 
My niece left her Rubik's cube at my house, so I decided it was finally time to learn how to solve it. The cube has changed from being a fun puzzle to being a meditative exercise.
5
Scott Carter's profile photoMagnus Lewan's profile photo
2 comments
 
There should be a club for people who solved it themselves, without checking the widely published solutions. It may be a very small club.
Add a comment...

Mike Stay

Shared publicly  - 
 
"Pentagon equation" for the SKI calculus?

The pentagon equation in a monoidal category asserts that when you have four items tensored together with all the parentheses gathered at the left, it doesn't matter in what order you shift the parentheses to the right.

Is there a similar set of equations between the rewrites of the SKI combinator calculus that enforce coherence? For example, given the term
 (I ((K S) I)
we can either
1. reduce the first I
 ((K S) I)
and then the K
 S
or
2. reduce the K
 (I S)
and then the I
 S.

Both ways of reaching S should be considered equal.
2
Scott Carter's profile photoMike Stay's profile photo
2 comments
 
I guess "enforce confluence" is wrong; that's the Church-Rosser theorem. In this context, the Church-Rosser theorem says that any two terminating rewrites out of a term have the same codomain.

What I'm looking for is coherence, not confluence, so I've changed the text of the post.
Add a comment...

Mike Stay

Shared publicly  - 
 

Four-legged snake

Tetrapodophis, a snake from the Brazilian Crato Formation in the early Cretaceous. At the upper left, you can see the imprint of the skull; just below that is a forelimb pointing upward. At the lower right, two small hindlimbs and a degenerate pelvis are visible where the long trunk ends and the tail begins. In its belly are the remains of some vertebrate it had for lunch.

http://phenomena.nationalgeographic.com/2015/07/23/a-fossil-snake-with-four-legs/
https://en.wikipedia.org/wiki/Tetrapodophis
7
2
Panu Viljamaa's profile photoDavid Stay's profile photoMike Stay's profile photo
4 comments
 
+David Stay That's cool! Here's the original paper, with clearer pictures of the lizard:
http://link.springer.com/article/10.1007%2Fs12549-016-0244-1
Add a comment...

Mike Stay

Shared publicly  - 
 
Drilling straight down from Kent, UK, and continuing through to the other side.
1
Add a comment...

Mike Stay

Shared publicly  - 
 
Amazing new opioid drug is non-addicting and doesn't affect heart or breathing function even in high doses!
In monkeys, the drug is a highly effective pain reliever without downsides.
4
1
Garry Boyer's profile photoRobert Smart's profile photoPaul Crowley's profile photoMike Stay's profile photo
9 comments
 
Yes; from Wikipedia: 'Further studies failed to reproduce the original experiment's results.[5][6] One of those studies[5] found that both caged and "park" rats showed a decreased preference for morphine, suggesting a genetic difference.'
Add a comment...

Mike Stay

Shared publicly  - 
 
It's like landing a skyscraper.
 
holy crap
I knew the Falcon 9 was 70 meters tall, but this photo really shows the scale
I like this pic of a SpaceX rocket with people next to it because it's hard to get a sense of scale in landing vids. Embedded image. 2:37 PM - 19 Aug 2016. 54 Retweets67 Likes. Reply to @hypercubexl. Replies. Marcus Conge. 3h3 hours ago. Marcus Conge @RockingThePixel. @hypercubexl Yeah it is!
17 comments on original post
7
Paul Brauner's profile photo
 
And yet "it’s like firing a pencil over the top of a skyscraper and trying to land it on a shoe box on the ground" :)
Add a comment...

Mike Stay

Shared publicly  - 
 
The first article I've read that gives a reasonable explanation for Trump's appeal.
Hillbilly Elegy author J.D. Vance explains what America doesn't understand about the outsiders elites despise
9
2
Damien Miller's profile photoDee Roytenberg's profile photoJohn Baez's profile photoDavid “goo.gl/LuFkzX” Tweed's profile photo
13 comments
 
+Dee Roytenberg
 As the person who made the comment, I'll slightly expand: the article gives a logical explanation in terms of feelings but with the evidence coming from how Vance has felt about various things in his life. There's a very real possibility that projecting the way he feels about things may possibly not be accurate. And if you're going to look at addressing the reasons that people do something, it's important not to have your ideas what those reasons are be incorrect. It may be the fault of the article for phrasing things in a way that makes is appear all  the analysis stems from Vance's introsepction; maybe it's more evidence based than it appears.
Add a comment...

Mike Stay

Shared publicly  - 
 
Come on, G+! The only reason I'm still here is because of content creators like Koberlein.
 
Google+ Comments Are Dead: Discuss

One of the big plusses of G+ has been the comments. Unlike other social networks, G+ has had seriously good conversations. I can't speak for others, but I remember when comments on my posts not only added to my posts, they drove new conversations. People would discuss the implications of new research, argue over the validity of dark matter and dark energy, discuss how best to credit and use the work of others, and held me to task when I made mistakes. There were always times when some drive-by troll would start a flame war, or someone would attack people in such a way that they were eventually banned, but these were limited. Which was good, because on personal posts only the author can moderate comments. I tried to limit moderation to a few simple rules: no spam, be civil, and try to stay on the topic at hand. All moderation has some manner of bias, but I tried to keep it limited and fair.

When G+ changed its format, the floodgate of comments opened, and spam became a much, much bigger issue. Almost overnight comments were flooded with spam, drive-bys, and trolls. As my posts became popular it's gotten worse and worse. Moderating comments soon became a full time job, and with no one to hand it off to I simply couldn't keep up.

The folks at Google have actually asked for feedback from many popular folks, including myself. How could they make G+ better?

I asked for basic moderation tools, specifically:

1. First time comments don't appear until they pass moderation. This ensures that all spam, hateful comments, etc. don't even get past the post. Since they never appear there is no reward for posting them, and they don't have a chance to feed retaliatory comments.

2. Commenters that have had a few comments approved on your posts get theirs to appear automatically, i.e. if you can play nicely you can play without supervision.

Those two conditions alone would, in my opinion, basically kill spam and trolling. Since comments don't automatically appear, the game of spam/troll and run becomes pointless.

What Google gave us instead was the ability to add images to comments, bringing with it another layer of spam.

For the past two days I've had to delete dozens of spam images, including some of a pornographic nature. Links to "make easy money" and "find russian brides." Then there has been the four pseudoscience flame wars and three religious flame wars, all on different posts. Despite deleting comments and banning the instigators they keep raging. In part, as I realized today, that my blocking of people hides their comments from me, but not from others, so I have to activate viewing them again in order to delete them.

Then there's been a flood of self promoters who go through dozens (in one case nearly a hundred) of my posts giving them +1s and linking to their own pages in the comments.

All this in only TWO DAYS. And it keeps happening day after day after day. The notification box that awaited me this morning was so dismal I forced myself to try turning off comments before leaving G+ entirely. I simply cannot keep up with all the moderation. I've tried just leaving them unless they are too egregious, but those comments simply feed bad behavior. I have come to dread opening G+ anymore.

I'm done. I have to be done. It's too much work to do Google's job. This is the last post where comments will be open, and I won't be moderating them. I don't know if I'll open comments again, but they are going to be closed for a while.

If y'all want a discussion, you can have it on my blog. I'll even start a forum if that's what you want. I know it's not G+, but it will at least be free of spam and trolls.

For now, y'all get the last word. Make it count.
147 comments on original post
6
Add a comment...

Mike Stay

Shared publicly  - 
 
This year's Medicine IgNobel Prize went to Christoph Helmchen and colleagues for discovering that if you have an itch on the left side of your body, you can relieve it by looking into a mirror and scratching the right side of your body (and vice versa).

I wonder if this would be helpful at all to amputees feeling phantom pains and itches?

http://journals.plos.org/plosone/article?id=10.1371%2Fjournal.pone.0082756
6
Susanne Vanderhoef's profile photoMike Stay's profile photo
2 comments
 
+Susanne Vanderhoef Cool, thanks!
Add a comment...

Mike Stay

Shared publicly  - 
 
The famous "Powers of Ten" movie by Charles and Ray Eames, where we took one off-center line from each frame. The various swooping lines after leaving earth are lunar and planetary orbits. Compare https://xkcd.com/482/
6
Damien Miller's profile photoMarius Schilder's profile photoPaul Crowley's profile photo
3 comments
 
I spent hours recording the exact position of the squares in each frame cos when I tried to create this I found they were very wobbly! youtu.be
Add a comment...

Mike Stay

Shared publicly  - 
 
I'd like to make a prop that duplicates, to the extent possible for under $25, the effect of the wormhole at 2:06. An infinity mirror consists of a semi-silvered mirror in front of a fully-silvered mirror with some kind of lighting inside. Since half the light is lost after every two bounces, the lights tend to fade away rather like the glowy mist does, so that's good. I think by using a strip of LEDs with a diffuser and driving each one with a random period and phase, I can get something pretty close.

Does anyone have recommendations for the particular LED strip? I've already got a teensyduino; would one of those suffice to drive it?

Any better suggestions?

I guess for a few hundred dollars I could make one that used a smoke machine, a design like Dyson bladeless fan, some Rosco Supersaturated Velour Black, and light strips hidden under the edge.
1
Robert Powers's profile photoMike Stay's profile photo
2 comments
 
Great, thanks!
Add a comment...

Mike Stay

Shared publicly  - 
 
The final part of my thesis has just been published in TAC. It's a great journal, so I'm very happy.
Compact closed bicategories. Michael Stay. A compact closed bicategory is a symmetric monoidal bicategory where every object is equipped with a weak dual. The unit and counit satisfy the usual ``zig-zag'' identities of a compact closed category only up to natural isomorphism, and the isomorphism ...
24
David “goo.gl/LuFkzX” Tweed's profile photoValeria de Paiva's profile photo
2 comments
 
it's a nice paper!
Add a comment...
Collections Mike is following
Work
Occupation
Co-founder, Pyrofex
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 - 2015
    PhD
  • University of Auckland
    Computer Science, 2004 - 2005
    MSc
  • Brigham Young University
    Physics, 1992 - 1997
    BSc
Basic Information
Gender
Male
Other names
Michael Stay