Category Archives: meta

FARM 2013: call for demonstration proposals

Do you enjoy writing beautiful code to produce beautiful artifacts? Have something cool to show off at the intersection of functional programming and visual art, music, sound, modeling, visualization, or design? The deadline for submitting a paper has passed, but … Continue reading

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

Workshop on Functional Art, Music, Modeling and Design

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

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 , , , | 16 Comments

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

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?

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

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

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

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 φ

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

A few pictures from Day 2 of Hac φ:

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