« first day (1800 days earlier)      last day (1829 days later) » 

vzn
vzn
4:20 PM
in The h Bar, 16 hours ago, by bolbteppa
@BalarkaSen give up this crazy math thing and go make friends with https://en.wikipedia.org/wiki/Shiraz_Minwalla and help the world :p
in The h Bar, 8 mins ago, by vzn
> He was awarded the 2014 New Horizons in Physics Prize by the Fundamental Physics Prize for "his pioneering contributions to the study of string theory and quantum field theory; and in particular his work on the connection between the equations of fluid dynamics and Albert Einstein's equations of general relativity."[8][9][10]
in The h Bar, 11 mins ago, by vzn
> ...Connections between hydrodynamics and AdS/CFT...
 
Seanny123
Seanny123
4:46 PM
I'm trying to read the paper "Live Functional Programming with Typed Holes" and I'm super confused by the syntax of Figure 4.
Is this type calculus notation? What book am I supposed to read to understand this?
Wikipedia isn't helping much here.
 

« first day (1800 days earlier)      last day (1829 days later) »