Profile cover photo
Profile photo
Jason Gross
484 followers
484 followers
About
Posts

Post has attachment
Reshma Saujani: Teach girls bravery, not perfection #TED :https://go.ted.com/CyCR
Add a comment...

Post has attachment
+Joe C. I think this is what I wanted to build
Add a comment...

Post has attachment
Robots that can balance without feedback loops nor sensors!  (+Joe C., you might like this.)
Add a comment...

I've been thinking about units of measure in programming languages a bit recently, and I was wondering if they show up in any nice way in the HoTT/category-theoretic models of physics.  E.g., is there some way to connect Atkey's "From parametricity to conservation laws, via Noether's theorem" to HoTT?
+Urs Schreiber +Michael Shulman 
Add a comment...

Post has attachment
Video
PhotoVideo
United Kingdom, Summer 2014
3 Photos - View album
Add a comment...

Post has attachment
PhotoPhotoPhotoPhotoPhoto
United Kingdom, Summer 2014
29 Photos - View album
Add a comment...

Post has attachment
PhotoPhotoPhotoPhotoPhoto
United Kingdom, Summer 2014
15 Photos - View album
Add a comment...

Post has attachment
PhotoVideo
Video
Video
Photo
United Kingdom, Summer 2014
17 Photos - View album
Add a comment...

Post has attachment
PhotoPhotoPhotoPhotoPhoto
United Kingdom, Summer 2014
14 Photos - View album
Add a comment...

Post has attachment
PhotoPhotoAnimated Photo
Animated Photo
Photo
United Kingdom, Summer 2014
20 Photos - View album
Add a comment...
Wait while more posts are being loaded