Category Archives: meta

Workshop on Functional Art, Music, Modeling and Design

Posted on May 13, 2013 by

I’m helping organize a new workshop, FARM, to be held in Boston this September (right after ICFP). Many readers of this blog may have already seen the announcement, but I thought it worth saying a bit more about it here, … Continue reading →

Posted in meta | Tagged , , , , , , , , | 2 Comments

Beeminding for fun and profit

Posted on April 16, 2013 by

I’ve been using Beeminder (which I’ve mentioned once before) for a little over six months now. The verdict? Beeminder has changed my life. That sounds dramatic, but I’m not kidding. I am far more productive than I’ve ever been. I’m … Continue reading →

Posted in grad school, meta | Tagged , , , | 14 Comments

FogBugz, Beeminder, and… pure functions in the cloud?

Posted on October 13, 2012 by

For a number of years now, I’ve used a free personal instance of FogBugz to track everything I have to do. At any given time I have somewhere between 50-150 open tickets representing things on my to-do list, and over … Continue reading →

Posted in meta | Tagged , , , , , , , | 16 Comments

Minimal test case generator tool?

Posted on November 18, 2010 by

An interesting idea that Daniel Wagner, Vilhelm Sjöberg and I just came up with: a minimal test case generator. Here’s the idea: you have a program which exhibits error X, which you want to understand better; or perhaps you suspect … Continue reading →

Posted in meta | Tagged , , , , , , | 9 Comments

Edinburgh

Posted on August 26, 2009 by

I’m having a great time in Edinburgh so far! I’m currently at Heriot-Watt University for the International Summer School on Advances in Programming Languages, learning some interesting things but more importantly meeting interesting people. I’m also looking forward to meeting … Continue reading →

Posted in learning, meta | Tagged , , | Leave a comment

Going on vacation

Posted on August 9, 2009 by

Later today I’m leaving for a two-week vacation, and I will probably have only very occasional Internet access. If at any point over the next two weeks you wonder why I {didn’t moderate your comment, didn’t put out the Haskell … Continue reading →

Posted in meta | Tagged , | Leave a comment

Hac φ roundup

Posted on July 29, 2009 by

By all accounts, Hac φ was a great success! 25 people attended (from as far away as Chicago, Toronto, and Utrecht) and we had a great time hanging out, eating good food, listening to some interesting talks, and, oh yes, … Continue reading →

Posted in haskell, meta | Tagged , , , | 2 Comments

More from Hac φ

Posted on July 25, 2009 by

Yet more pictures from Hac φ! This afternoon we were treated to talks by Dimitry Golubovsky (typed JavaScript generation), Edward Kmett (monoids library and monoidal parsing), Gershom Bazerman (DSL and quasiquoting for JavaScript generation), and Anton van Straaten (Gitit as … Continue reading →

Posted in haskell, meta | Tagged , , , , , , | 1 Comment

Hac φ day 2

Posted on July 25, 2009 by

A few pictures from Day 2 of Hac φ:

Posted in haskell, meta | Tagged , , | Leave a comment

Hac φ is underway!

Posted on July 24, 2009 by

Hac φ is now in full swing, with almost 20 people hacking away and more coming tomorrow. More news and pictures to come!

Posted in haskell, meta | Tagged , , | Leave a comment