Profile

Cover photo
Mike Stay
Attends University of Auckland
Lives in Lindon, UT
1,494 followers|621,302 views
AboutPostsPhotosYouTube

Stream

Mike Stay

Shared publicly  - 
 
Lots of people saw this coming.  I think that there's a decent case to be made for calling a two-party marriage special.  Either way, it will be fun to see how this plays out.
2
1
Robert Smart's profile photoDolce Lattice's profile photoMark Lentczner's profile photoMike Stay's profile photo
11 comments
 
In practice I've seen this come up mostly as a slippery-slope argument against same-sex marriage, from people who assume I'm so horrified by legal polygamy that I will automatically recoil. Or who think of it as some sort of gateway to universal sharia law. 
Add a comment...

Mike Stay

Shared publicly  - 
 
We just started a crowdfunding campaing for our new distributed secure social network, splicious.  Here's +Vlad Patryshev's reaction to the web client.

http://www.rockethub.com/projects/42500-splicious
4
1
Dmitry Shintyakov's profile photo
Add a comment...

Mike Stay

Shared publicly  - 
 
 
I tried my hand at writing the beginning of an epic poem about Transformers yesterday. I only spent a few hours on it and then stopped, because I realized I didn't know whether changes I was making were improving it or making it worse. I didn't stick to a fixed meter or line length, though I did tried to pay some attention to the rhythm of the words. 
Primus No warm broth long-simmering for this world; No Edacarian soft-bodied sponges, Slow sea pigs living their countless generations In sun-pooled shallow seas. Lost makers forged this wanderer from adamant and oric...
1
Add a comment...

Mike Stay

Shared publicly  - 
 
This almost made the movie worth watching for me.
26
1
Allen Knutson's profile photoMike Stay's profile photoPrank Files's profile photo
3 comments
 
They're tensor products.
Add a comment...

Mike Stay

Shared publicly  - 
 
Hanging out with Vi at her new office. It's near a yummy Korean burrito place.
15
Jason Holt's profile photoFerron Fruean's profile photoMohammed Al Sahaf's profile photoMike Stay's profile photo
4 comments
 
+Jason Holt No, it's in SF near South Park.
Add a comment...
In his circles
109 people
Have him in circles
1,494 people
Mike Stay's profile photo
Valeria de Paiva's profile photo
Shriram Krishnamurthi's profile photo

Mike Stay

Shared publicly  - 
 
Jonathan Aaron Cain is a professional musician who plays piano, cello, bass (electric and stand-up), guitar, sitar, and guitarrón; he's also a programmer, physicist, and all-around great guy.  I had the privilege of spending several hours with him at the SkySong Connect conference.  Check out his work!

http://www.jonathanaaroncain.com/
1
Add a comment...

Mike Stay

Shared publicly  - 
 
The others on the team liked my off-the-cuff proposal for an "ask" video that they used the proposal itself.

http://www.rockethub.com/projects/42500-splicious
7
Bas Spitters's profile photoMike Stay's profile photo
2 comments
 
I'm most excited about the platform, so forgive me if I rave about it for a bit.

Like Diaspora, splicious is going to be secure, distributed, and open-source.  Unlike Diaspora, the back end is built on a distributed secure object platform called KVDB, so it's trivially extensible.  There's a simple, direct translation from a sequence diagram into code for the platform.  We also intend to use Caja in the UI to expose client-side presences of the server-side persistent objects; this means that people will be able to share stateful objects rather than just static data.

KVDB stands for "key/value database".  You can think of it as a map (in the computer science sense) on steroids.  Rather than merely supporting strings as keys, it uses prolog terms.  To query the database, you provide another prolog term; any term in the database that unifies with the query gets returned.  

Also, there's a guarantee that at a particular key you'll find either a) nothing, b) one piece of data, or c) a set of continuations.  If there is no data to return, the query can get stored as a continuation; the database can also forward the request to its peers.  If there is data, the query can consume it or leave it in place.  By varying these options, you get messaging, pub/sub, nosql, or distributed transactions all with the same programming model.

Data and continuations at a pattern correspond directly to sending and receiving on a channel in the pi calculus, which is an object-capability-secure language.  We've shown that we can write security policy---including deniability, which lies at the heart of the ocaps security model---using Caires' behavioral-spatial types for the pi calculus.  We intend to port the spatial logic model checker to Scala and integrate it into the compiler.  Given such a compiler plugin, we can write security policy as a type annotation and have the compiler verify the implementation.

The splicious app we've built on the platform so far has been built around maintaining your privacy; you can only be introduced to someone else through someone who knows you both, and only if you both agree.  We're looking now at how to allow people to share content with people they don't know in order to grow their audience; we want to be very careful with that.

Bitcoin integration, we hope, will allow people to support their favorite content creators directly; also, by giving a cut of revenues to people who reshare, we hope to encourage wide distribution of content that's meant to be public.

There's no way to prevent resharing of content that's meant to stay private; the best that can be done is to allow the creator to note their wish about the extent they want it distributed and then notify someone if an action they're about to take violates that policy.
Add a comment...

Mike Stay

Shared publicly  - 
 
I had a great time at SkySong Connect with Dan Mathews and many of the other speakers.  Thanks again for the invitation!  You can find slides and notes for my talk here:
    http://www.cs.auckland.ac.nz/~mike/paypal.pdf
    http://www.cs.auckland.ac.nz/~mike/paypal_notes.txt
I'll post a link to the video once it's up.
3
Douglas Summers-Stay's profile photoMike Stay's profile photo
2 comments
 
SkySong Connect was organized and sponsored by PayPal.
Add a comment...

Mike Stay

Shared publicly  - 
4
1
John Baez's profile photoAlex M's profile photo
 
Yes, it's good... but I have trouble finding the energy to read all the way through it for some reason.  :-(
Add a comment...

Mike Stay

Shared publicly  - 
 
8-bit greatness.  I also loved his track "Messeah".
1
Refurio Anachro's profile photo
 
nice one
Add a comment...
People
In his circles
109 people
Have him in circles
1,494 people
Mike Stay's profile photo
Valeria de Paiva's profile photo
Shriram Krishnamurthi'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
Lindon, UT
Previously
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 - Mountain View, CA
Links
YouTube
Other profiles
Story
Tagline
Category theorist
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