Clik here to view.
Seminearrings
So there was a discussion recently on the libraries mailing list about how to deal with MonadPlus. In particular, the following purported law fails all over the place: x >> mzero = mzero. The...
View ArticleClik here to view.
What is the type of the derivative operator?
I've been mucking about with real analysis lately. One of the things I've always hated about real analysis (and complex analysis, and other calculus) is the unrepentant lack of types. It's easy to get...
View ArticleClik here to view.
A crash course in topos theory
I ended up spending this weekend learning a lot about topos theory. Why? I have no idea. But for whatever reason, this happened. Like many areas of category theory, the biggest hurdle is figuring out...
View ArticleClik here to view.
Women in FP
Katie Miller is giving a talk about FP outreach and diversity at next month's Erlang User Conference. She sent a questionnaire to the Lambda Ladies mailing list about our experiences, and I thought I'd...
View ArticleClik here to view.
Solving Chain Multiplication
This summer I've been working on optimizing compilation for a linear algebra DSL. This is an extension of Jeremy Siek's work on Built-to-Order BLAS functions. Often times it's more efficient to have a...
View ArticleClik here to view.
Haskell Planet
Hello all,This is just a short blurb to announce that I'm changing it so that Haskell Planet only picks up on posts tagged with haskell planet. For the next while here, I'll probably be writing about...
View ArticleClik here to view.
New skin
Hello all,I just changed the theme/skin for my blog and have been playing around with new fonts, css, handling of footnotes, etc. Let me know what you think and whether you run into any issues...
View ArticleClik here to view.
On my pulling away from Haskell communities
Gershom Bazerman gave some excellent advice for activism and teaching. His focus was on teaching Haskell and advocating for Haskell, but the advice is much more widely applicable and I recommend it to...
View ArticleClik here to view.
Imagine that this is not an academic debate
A followup to my previous[reddit version]:The examples are of limited utility. The problem is not a few bad apples or a few bad words; were that the case it would be easier to address. The problem is a...
View ArticleClik here to view.
On being the "same" or "different": Introduction to Apartness
Meanwhile, back in math land... A couple-few months ago I was doing some work on apartness relations. In particular, I was looking into foundational issues, and into what an apartness-based (rather...
View ArticleClik here to view.
Citation, Recitation, and Resuscitation
Citation is a necessary practice for any sort of intellectual engagement, whether formal or colloquial, and whether academic or activistic. It is crucial to give credit to the originators of ideas— for...
View ArticleClik here to view.
Upcoming talk
For all you local folks, I'll be giving a talk about my dissertation on November 5th at 4:00–5:00 in Ballantine Hall 011. For those who've heard me give talks about it before, not much has changed...
View ArticleClik here to view.
Unification-fd tutorial (part 1/n)
A while back I released the unification-fd library, which gives a generic implementation of first-order unification of non-cyclic terms. I've given a few talks on how the library is implemented and...
View ArticleClik here to view.
Back in action
I don't think I ever mentioned it here but, last semester I took a much-needed sabbatical. The main thing was to take a break from all the pressures of work and grad school and get back into a healthy...
View ArticleClik here to view.
An introduction to recursive types
The past couple weeks I've been teaching about recursive types and their encodings in B522. Here's a short annotated bibliography for followup reading:For a basic intro to recursive types, and for the...
View ArticleClik here to view.
New Website
I have a new academic/professional website: http://cl.indiana.edu/~wren/!There are still a few unfinished areas (e.g., my publications page), but hopefully I'll be finished with them shortly. The new...
View ArticleClik here to view.
Migrating emails etc
I've been working on culling a bunch of my old email addresses and unifying my username across the internet. I've mentioned a number of these changes before, but every few months I run into folks...
View ArticleClik here to view.
ANN: bytestring-lexing 0.5.0
bytestring-lexing 0.5.0The bytestring-lexing package offers extremely efficient bytestring parsers for some common lexemes: namely integral and fractional numbers. In addition, it provides efficient...
View ArticleClik here to view.
(Re)meeting folks at ICFP
In the spirit of Brent's post, I figure I'll make a public announcement that I'm in Vancouver all week attending HOPE, ICFP, and the Haskell Symposium. I love reconnecting with old friends, as well as...
View ArticleClik here to view.
Back home from ICFP
Got back from Vancouver a couple days ago. The return flight was hell, but other than that the trip was pretty good. Got to meet a whole bunch of folks who read my blog (hi!), which was super cool. It...
View Article