Ezyang - blog.ezyang.com - Inside 736-131
General Information:
Latest News:
Blame Trees 12 Aug 2013 | 11:55 pm
I just presented Blame Trees at the 13th Algorithms and Data Structures Symposium. Blame trees are a functional data structure which support an efficient merge operation by incorporating information a...
OPLSS lecture notes 29 Jul 2013 | 09:02 am
I write in from sunny Oregon, where the sun floods into your room at seven in the morning and the Oregon Programming Languages Summer School is in session. So far, it’s been a blast—with lectures cove...
No grammar? No problem! 3 Jul 2013 | 07:17 am
One day, you’re strolling along fields of code, when suddenly you spot a syntax construct that you don’t understand. Perhaps you’d ask your desk-mate, who’d tell you in an instant what it was. Perha...
HoTT exercises in Coq (in progress) 2 Jul 2013 | 01:21 am
I spent some of my plane ride yesterday working on Coq versions of the exercises in The HoTT book. I got as far as 1.6 (yeah, not very far, perhaps I should make a GitHub repo if other folks are inter...
(Homotopy) Type Theory: Chapter One 25 Jun 2013 | 03:56 am
In what is old news by now, the folks at the Institute for Advanced Study have released Homotopy Type Theory: Univalent Foundations of Mathematics. There has been some (meta)commentary (Dan Piponi, Bo...
The AST Typing Problem 28 May 2013 | 04:25 pm
This Lambda the Ultimate post (dated 2010) describes a rather universal problem faced by compiler writers: how does one go about adding “extra information” (e.g. types) to an AST? (The post itself div...
The AST Typing Problem 28 May 2013 | 04:25 pm
This Lambda the Ultimate post (dated 2010) describes a rather universal problem faced by compiler writers: how does one go about adding “extra information” (e.g. types) to an AST? (The post itself div...
Anatomy of an MVar operation 20 May 2013 | 05:00 am
Adam Belay (of Dune fame) was recently wondering why Haskell’s MVars are so slow. “Slow?” I thought, “aren’t Haskell’s MVars supposed to be really fast?” So I did some digging around how MVars worked,...
Anatomy of an MVar operation 20 May 2013 | 05:00 am
Adam Belay (of Dune fame) was recently wondering why Haskell’s MVars are so slow. “Slow?” I thought, “aren’t Haskell’s MVars supposed to be really fast?” So I did some digging around how MVars worked,...
HotOS “Unconference” report:Verifying Systems 14 May 2013 | 09:58 am
Ariel Rabkin has some code he'd like to verify, and at this year’s HotOS he appealed to participants of one “unconference” (informal breakout sessions to discuss various topics) to help him figure out...
