Profile

Cover photo
Greg Hale
Works at Massachusetts Institute of Technology
Lived in Flemington, NJ
139 followers|30,407 views
AboutPostsPhotosYouTube

Stream

Greg Hale

Shared publicly  - 
1
Joseph Ching's profile photo
 
Don't think Comonad instance for Pair would satisfy the laws... but comonads are pretty co-ol.
Add a comment...

Greg Hale

Shared publicly  - 
1
Add a comment...

Greg Hale

Shared publicly  - 
 
Greg Hale originally shared:
 
Great post.  Hits on some of my frustrations with science, and probably some of yours, too.  Lee Smolin (author of The Trouble with Physics) chimes in in the comments section with the nice point - if all the idealists quit, how can they fix academia?
1
Add a comment...

Greg Hale changed his profile photo.

Shared publicly  - 
 
Greg Hale changed his profile photo.
1
Add a comment...
Have him in circles
139 people
Phillip Isola's profile photo
Shawn Maloney's profile photo
Peter Rood's profile photo
Marc-Emile Plourde's profile photo
Rodrigo Garcia's profile photo
All about Home Decor's profile photo
James Strauss's profile photo
Elise Kuo's profile photo
Christine Tempesta's profile photo

Greg Hale

Shared publicly  - 
 
Open source academia.  It's happening!!
The HoTT book is finished! Since spring, and even before that, I have participated in a great collaborative effort on writing a book on Homotopy Type Theory. It is finally finished and ready for public consumption. You can get the book freely at http://homotopytypetheory.org/book/.
1
Add a comment...
People
Have him in circles
139 people
Phillip Isola's profile photo
Shawn Maloney's profile photo
Peter Rood's profile photo
Marc-Emile Plourde's profile photo
Rodrigo Garcia's profile photo
All about Home Decor's profile photo
James Strauss's profile photo
Elise Kuo's profile photo
Christine Tempesta's profile photo
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Previously
Flemington, NJ - Cambridge, MA
Links
YouTube
Contributor to
Work
Occupation
Rat sciences
Employment
  • Massachusetts Institute of Technology
    Grad student, 2006 - present
Basic Information
Gender
Male