Category Archives: projects

Bit-rotted text adventure EDSL free to a good home

In early 2008 I started working on a Haskell embedded domain-specific language for authoring text adventure games. It didn’t get all that far since I didn’t know a whole lot about either text adventure games or Haskell. But I think … Continue reading

Posted in haskell, projects | Tagged , , , | 5 Comments

Tic-tac-toe maps with diagrams

Inspired by Randall Munroe, here are some handy guides to optimal tic-tac-toe play, created with the diagrams EDSL. Click the images to open (zoomable) PDF versions. I hacked this up in just a few hours. How did I do it? … Continue reading

Posted in haskell, projects | Tagged , , , , | 12 Comments

Announcing diagrams preview release

I am extremely pleased to announce a "developer preview" release of the diagrams framework for declarative drawing. This is a well-thought-out, well-documented, working release with all core functionality in place, but with many planned features still missing (for example, support … Continue reading

Posted in haskell, projects | Tagged , , , , , | 7 Comments

Binders Unbound

Stephanie Weirich, Tim Sheard and I recently submitted a paper to ICFP entitled Binders Unbound. (You can read a draft here.) It’s about our kick-ass, I mean, expressive and flexible library, unbound (note: GHC 7 required), for generically dealing with … Continue reading

Posted in grad school, haskell, projects, writing | Tagged , , , , , | 7 Comments

Math.OEIS needs a new maintainer

Summary: the OEIS has switched servers and the oeis package needs updating to match, so I’m looking for someone to take over development. All the rest is padding in the form of entertaining stories. Recently, Michael Snoyman’s wonderful packdeps tool … Continue reading

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

Typed type-level programming: status report

A few people have been bugging me (you know who you are ;-) about the current status of the project to allow automatic “lifting” of Haskell data constructors to the type level, to allow for typed type-level programming. I’ve written … Continue reading

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

Things I have learned about vector spaces

Work on the diagrams library is coming along rather nicely. I’ll have more to say about it soon, but for now here are two things I have learned recently: Normals transform as the inverse transpose (see Subject 5.27). Be very … Continue reading

Posted in math, projects | Tagged , , , , , , , | 4 Comments