Profile

Cover photo
Mike Stay
Attended University of Auckland
Lives in Mountain View, CA
2,142 followers|1,098,460 views
AboutPostsPhotosYouTube

Stream

Mike Stay

Shared publicly  - 
 
Was walking down the street and found a check stuffed into the hole in the center of a patio table in front of a restaurant.  I looked at it and saw that it was for $13,000 and that the company that issued it was on the way to where I was headed.  The guy at the company was very grateful.
19
Allen Knutson's profile photoMatthew Locaciato's profile photoRebecca Stay's profile photo
3 comments
 
I'd be interested in the story of how the check got there.  There are NO checks left in Europe: everyone does bank transfers.  Rnady does them for any senior missionaries without a bank account
Add a comment...

Mike Stay

Shared publicly  - 
 
Mad Max-ify your Matchbox cars!
Zen Cart! 20mm Car Conversion Set - Resin conversion kit intended for use with 20mm toy cars, such as Matchbox or Hotwheels. Models supplied unpainted and unassembled. May vary slightly from images shown.PLEASE NOTESome conversion will be needed to get drivers or guns to fit on some cars. I tried to make the parts as universal as
4
Add a comment...

Mike Stay

Shared publicly  - 
 
Our wildflower garden
13
John Baez's profile photoDan Piponi's profile photoRebecca Stay's profile photo
3 comments
 
beautiful.
Add a comment...

Mike Stay

Shared publicly  - 
 
What is being shown when I type
   git checkout <TAB>
?
1
David “goo.gl/LuFkzX” Tweed's profile photoKevin Reid's profile photoBorislav Iordanov's profile photoMike Stay's profile photo
7 comments
 
+Borislav Iordanov You're right; I was confused between bash's path completion and git's use of bash-completion.
Add a comment...

Mike Stay

Shared publicly  - 
 
I uploaded half a terabyte of photos to my Google drive.  I'd like to share them with my family so they can comment on them.  I can share the folder link from drive, but that doesn't allow commenting on the photos.  I can see the photos from within photos.google.com, but I don't see any way to select the folder and make a shared album.  Help?
1
Steven Stay's profile photoMike Stay's profile photo
8 comments
 
Something like https://annotary.com/ that adds shareable comments to any webpage would work, but I agree that it's terribly annoying.  Sorry I suggested Google instead of something friendlier.
Add a comment...

Mike Stay

Shared publicly  - 
 
Can every adjoint functor pair be interpreted as a free and a forgetful functor?
1
1
Allen Knutson's profile photoJohn Baez's profile photoMike Stay's profile photo
8 comments
 
+John Baez Thanks!
Add a comment...

Mike Stay

Shared publicly  - 
 
A woman and her boyfriend were walking along a pier when her prosthetic leg came loose and tumbled into the sea. She asked her boyfriend to go get it. He replied, "Frankly, darling, I don't dive for gams."
2
Edward Morbius's profile photo
 
Break a le... Wait a minute.
Add a comment...
Have him in circles
2,142 people
lisa joshua's profile photo
Film Minden's profile photo
Briana Squirrel's profile photo
chinweume simonpeters's profile photo
MY NEW LEAF's profile photo
Carl Wright's profile photo
Sang-Gene kim's profile photo
Jeremy Taylor's profile photo
Moshe Kamensky's profile photo

Mike Stay

Shared publicly  - 
 
Found a dead crow, so we brought the head home, boiled it for a few hours, cleaned it, then soaked it in bleach for a few hours. This may become part of a pinewood derby car.
10
1
Jason Holt's profile photoJoe Gibbs Politz's profile photoMike Stay's profile photo
3 comments
 
+Joe Gibbs Politz Exactly!
+Jason Holt I doubt this one would be of much use to them in the way of testing: the bird has been dead for at least a month; insects had cleaned the entire carcass except for feathers and some cartilage.
Add a comment...

Mike Stay

Shared publicly  - 
 
 
Kenneth Snelson was a student of R. Buckminster Fuller and is the father of Tensegrity, the art of discontinuous compression structures (Fuller famously generalized the principles and created a mathematical language around them. Geodesic Domes are related in many ways to Tensegrities conceptually and mathematically.) Metal poles appear to float in the air, connected to  tension-compression network of cabling and other similarly floating poles... So, the site is worthy enough, but to make it even better, Herr Snelson is offering a free, beatiful ebook! Get it here:
http://kennethsnelson.net/KennethSnelson_Art_And_Ideas.pdf
1 comment on original post
1
Add a comment...

Mike Stay

Shared publicly  - 
41
3
Ryan Bissell (Ryan V. Bissell)'s profile photoSteve Caunce's profile photoCliff Bramlett's profile photo
3 comments
 
Yep, absolutely dishonest tactic.
Add a comment...

Mike Stay

Shared publicly  - 
 
Lots of fun!
The very best series of action-adventure comics about sword-based conflict resolution and instigation in the early 1800s. Read chapter one of DELILAH DIRK AND THE KING'S SHILLING online right now!
2
Mike Stay's profile photoJason Holt's profile photo
3 comments
 
Cute French movie based on a comic book, but looks like they took it off netflix or prime.  Lame!
Add a comment...

Mike Stay

Shared publicly  - 
 
Dear lazy plus,
What is the relation between weak head normal form and lazy evaluation? Javascript evaluates its arguments before invoking the function, but does not evaluate the body of a thunk until it's invoked.
2
Chris Monson's profile photoMike Stay's profile photoGershom B's profile photoDavid “goo.gl/LuFkzX” Tweed's profile photo
7 comments
 
I'm not sure if this is at all helpful for understanding the relationship, but one trick for getting lazy evaluation of argument expressions in an eager language like ML (where otherwise they'd be reduced to NF upon binding) is to make them into nullary lambda functions, eg, http://mlton.org/Lazy . This example is a bit complicated because it also wants to mimic that evaluation, when it does occur, occurs only once even though where you use it you need to actually "invoke" the nullary function each time.
Add a comment...
People
Have him in circles
2,142 people
lisa joshua's profile photo
Film Minden's profile photo
Briana Squirrel's profile photo
chinweume simonpeters's profile photo
MY NEW LEAF's profile photo
Carl Wright's profile photo
Sang-Gene kim's profile photo
Jeremy Taylor's profile photo
Moshe Kamensky's profile photo
Collections Mike is following
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
Story
Introduction
Whenever I'm asked to describe myself, I immediately think of Gödel numbering and quines.
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