IO Monad: The Continuation Presentation

I’ve been programming Haskell for several years now, and I have not yet partaken in the rite of passage: writing a monad tutorial. Well, finally I can come of age, for I am giving a monads tutorial talk to the CU ACM group next Thursday.
I’m thinking of starting with the IO monad, since that [...]

Another Session with Bob

Here’s the session from March 5th, with Bob Mulligan on drums. This was the first session I recorded with three tracks; the sound is much, must cleaner than last time.

01 – light and fluffy
02 – gets good and funky by the end
03 – a fantastic space out jam, very subtle with lots of interesting [...]

SVK, you’re not wanted here, git it?

After trying and failing to restore the soylent repository from my svk mirror, svk broke. It wouldn’t let me push or pull from any of my mirrors, for no discernable reason. Instead of hacking it out, I decided to get my hands dirty with git, which I have heard good things about. [...]

Gui Half-Epigram

Here’s just a quick jot of an idea before I give my bed a much-needed visit.
Recently I’ve become interested in dependent types, a la Epigram and Agda. I like Agda’s concise style more, but Epigram definitely has an appeal from a user interface perspective. Let’s not be fooled, Epigram’s user interface is terrible, [...]

The Return of Strange New Worlds

By now, Eric is fleeing to Venezuela to go make some latin band down there awesome, and do God-knows-what else. Meanwhile, Evan and I have been playing with a drummer named Bob Mulligan, who is too good for us. Still, it’s a great opportunity to play with him, and I think given a [...]