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

vzn
vzn
16:20
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
16:46
I'm trying to read the paper "Live Functional Programming with Typed Holes" and I'm super confused by the syntax of Figure 4.
user image
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) »