Category Archives: learning

Computing Eulerian paths is harder than you think

Posted on November 20, 2019 by Brent

Everyone who has studied any graph theory at all knows the celebrated story of the Seven Bridges of Königsberg, and how Euler gave birth to modern graph theory while solving the problem. Euler’s proof is clever, incisive, not hard to … Continue reading →

Posted in learning | Tagged , , , , | 5 Comments

Monads: Easy or Hard?

Posted on July 19, 2012 by Brent

Executive summary: they are actually both (or neither). It is easy to learn their definition but hard to grasp the consequences. Or we might say they are easy to know and hard to understand (grok). It is vitally important for … Continue reading →

Posted in haskell, learning, teaching | Tagged , , , | 4 Comments

Edinburgh

Posted on August 26, 2009 by Brent

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

2009 ICFP programming contest reflections

Posted on June 29, 2009 by Brent

This year, unlike last year, I had the good fortune to be physically located in the same place as several other people interested in competing in the 2009 ICFP Programming Contest. We only ended up with three people—we could have … Continue reading →

Posted in haskell, learning, puzzle | Tagged , , , , , | 2 Comments

First explorations in computer music

Posted on March 15, 2009 by Brent

This week, I have taken some first steps in exploring computer music and live coding. Seeing as I am a classical and jazz pianist, amateur composer, and programming nerd, it seems odd that it’s taken me so long to get … Continue reading →

Posted in haskell, learning, music | Tagged , , , , , , , , | 1 Comment

Abstraction, intuition, and the “monad tutorial fallacy”

Posted on January 12, 2009 by Brent

While working on an article for the Monad.Reader, I’ve had the opportunity to think about how people learn and gain intuition for abstraction, and the implications for pedagogy. The heart of the matter is that people begin with the concrete, … Continue reading →

Posted in haskell, learning, math, teaching | Tagged , , , , , | 131 Comments

The Poisson distribution and Stirling numbers

Posted on September 16, 2008 by Brent

While working on an assignment for my machine learning class, I rediscovered the fact that if X is a random variable from a Poisson distribution with parameter , then where denotes a Stirling number of the second kind. (I actually … Continue reading →

Posted in combinatorics, grad school, learning, math | Tagged , , , | 2 Comments

Patch theory, part II: some basics

Posted on February 13, 2008 by Brent

(Previous posts here, and here.) So, let’s talk about patch theory! I should start by saying that I have obviously drawn a lot of ideas and inspiration from darcs, and especially from the wikibook explanation of darcs patch theory, but … Continue reading →

Posted in haskell, learning, projects | Tagged , , , , | 6 Comments

Patch theory thoughts, part I

Posted on February 7, 2008 by Brent

So, I still don’t know whether I’ll actually end up writing a gobby clone in Haskell. But it’s already been a wild ride thinking about the theory behind it and some of the issues involved, and over the next few … Continue reading →

Posted in haskell, learning, projects | Tagged , , | 4 Comments

Type theory, here I come…

Posted on December 26, 2007 by Brent

For Christmas my parents got me a copy of Types and Programming Languages. w00t! I started reading it today on the subway coming home from work. Unfortunately I’m kind of anal about reading prefaces, introductions and so on, so I … Continue reading →

Posted in learning | Tagged , | 1 Comment