Clik 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 ArticleClik here to view.
What do we mean when we say "the Haskell community"?
One of the folks I've chatted with a bunch online and finally got to meet in-person this year was Gershom. Towards the end of the symposium, he mentioned the post I linked to last time about my pulling...
View ArticleClik here to view.
Abstract Binding Trees in Hakaru
Edit 2015.10.29: Be sure to also read the followup post on the benefits and limitations of this approach compared to the usual untyped ABTs.Earlier this year Neel Krishnaswami talked about abstract...
View ArticleClik here to view.
Limitations of strongly-typed ABTs
Last time I talked a bit about ABTs; in particular, I introduced the notion of strongly-typed ABTs (or "GABTs" if you prefer) and showed how we can extend the basic idea of ABTs to guarantee...
View ArticleClik here to view.
A week of "P"s
The next week+ I'll be in St. Petersburg Florida for PEPM, PADL, POPL, PPS, and PPAML PI (also CPP and OBT). Would've mentioned it sooner, but it's a bit of a last minute thing. I love reconnecting...
View ArticleClik here to view.
Finding hope
Many of us with disabilities have more than one. This multiplicity is invisiblized by the abled community. When our lives are already assumed to be defined by disability, admitting multiplicity risks...
View ArticleClik here to view.
It's official, I'm off to Google
It's official, I'm heading to Google at the end of July to work with Mark Larson on the Chrome OS security team (of all things!). Seems an unlikely match, but Mark was pretty keen on my background...
View ArticleClik here to view.
Dissertating, ahoy!
Usually whenever we think about gradschool we think about the switch from "doing classwork, quals, etc" to "dissertating" is a single-step process, which we call "becoming a PhD candidate" (as opposed...
View ArticleClik here to view.
Quantifiers in type theory
All this stuff is "well known", but I want to put it out there for folks who may not have encountered it, or not encountered it all together in one picture.The Damas–Hindley–Milner type system (i.e.,...
View ArticleClik here to view.
Hacking projects over the next few months
Life’s been really hectic lately, but I’ve been getting (slowly) back into working on my Haskell packages. In particular, since the switch from darcs to github I’ve started getting more comments and...
View ArticleClik here to view.
Off to NYC for July 4th and LICS
Over the last few weeks I was interviewed for the Identity Function. The process was quite nice and got me thinking on a number of things. Some of them I may well flesh out into blog posts once I get...
View ArticleClik here to view.
Self-improvement goals, overcoming perfectionism, and dissertating
This year's self-improvement goal was to get back into blogging regularly. Part of that goal was just to get back into writing regularly; the other part was specifically to publish more regularly.I've...
View ArticleClik here to view.
Visiting Nara over the next week
I announced this on twitter a while back, but tomorrow I'm flying out to Nara Japan. I'll be out there all week for ICFP and all that jazz. It's been about a decade since last time I was in the Kansai...
View ArticleClik here to view.
Three ineffectual strategies for dealing with trauma and pain
The last week has been challenging for all of us. In the depths of my own fear and uncertainty, I reached for one of my favorite books —Pema Chödrön’s Comfortable with Uncertainty— and opened to a...
View ArticleClik here to view.
ANN: containers 0.5.9.1
containers 0.5.9.1The containers package contains efficient general-purpose implementations of various basic immutable container types. The declared cost of each operation is either worst-case or...
View ArticleClik here to view.
LJ is no more
LiveJournal changed their TOS recently and, well, I didn't really feel like reading it to see what changed so instead I've deleted my old LJ account. All the folks I used to follow on LJ have since...
View Article