Life

Attending Recurse Center

2017-08-29 New York City Recurse Center

I have been accepted to the Recurse Center to spend three months on collaborative, self-directed study of programming. I’m planning to continue studying Haskell and dependent types, proof assistants, and category theory. Maybe Coq, Idris, or TLA+ if I can find someone else interested.

Peter Bhat Harkins

2015-11-30 names

On the happy occasion of our marriage, my spouse and I have adopted the shared last name Bhat Harkins. (I’m also dropping my little-used middle name.) Please do us the favor of updating your contact lists and email clients, and we’ll get started on the exciting task of updating all the state agencies, businesses, and sites over the next few weeks. Thanks!

Long-Term Travel Gear List2

2014-06-10 gear

Recently I was pontificating at Kori Roys, a coworker who's recently departed for some long-term travel, about what to bring and how to pack it. I gave him the highlights and promised to publish the full list. Well, that took enough time that he got under way --- because it's over 3,000 words. I had to put a fair amount of thought into traveling with just a small backpack, and I'm happy to share it now. Here’s my Long-term Travel Gear List. I'll be keeping it updated as I continue to tweak it, and I'll publish a new blog post if and when I feel significant changes warrant it.

Personal Workflow

2013-06-18 Trello procrastination productivity to-do yak shave

For about a year I’ve been using Trello, a free web app for organizing notes, to track my personal to-do lists across various projects. I’ve used it to create the Well-Sorted Version (which included repeatedly proofing 600 pages of gibberish) and update NearbyGamers from Rails 2.1 to 3.2.13 (while moving it from a VPS to Heroku and from MySQL to Postgres — a yak-shaving marathon) while staying on top of daily chores and other life maintenance. For the first time I feel reliably productive and in control of the overwhelming procrastination that’s kept me from from finishing these and many other projects for years.

Backpack Criteria

2013-03-12 backpack luggage travel

I spent all of 2011 traveling through interesting cities in the U.S. and Canada with a small backpack. I put a lot of thought into what I needed, so I wanted to share that in case anyone else finds it useful.

Book Licenses

2010-11-15 law licensing

One downside to the web being interactive is that it can turn everyday activities into legal agreements. If you bought or were given a manual for an ARM processor you could do what you like with it. But if you read one online, you’re entering into a license to give up your right to fair use quoting or to use it for all purposes (specifically, looking for patent infringement).

Twitter

2010-11-13 Twitter handle

I’ve starting using Twitter as @pushcx. I’ve been reading a few people for a while, but not really contributing.

Travels of Indefinite Duration

2010-11-02 nomading travel

Starting January 1st, 2011, I’m going to do some traveling. I have definite plans out through March and will choose and plan new destinations as I go. I don’t have an end date in mind, I’m going to travel until I run out of interest in seeing the world.

Sample Camera Pictures

2010-07-09 cameras photography

If you’re researching which camera to buy, you’re probably frustrated by trying to find sample pictures. Google hasn’t dealt well with spam on expensive products like cameras, so you’ll see a lot of splogs and shops hosting the same handful of example pictures from the manufacturer.

Finish a Project

2010-04-21 productivity projects todo

The first 90% of the code accounts for the first 90% of the development time. The remaining 10% of the code accounts for the other 90% of the development time.

Inbox Zero

2009-11-09 email inbox zero mutt sup to-do

A few minutes ago, for the first time in around a decade, I emptied my email inbox. I’ve been steadily whittling it down (or at least holding the line) for the last few months: catching up on mailing lists, responding to outstanding emails, admitting there’s some things that are so old I’m not going to respond to them, and moving work items onto a proper to-do list. So I have an impressively boring screenshot:

Moving is Rewriting

2008-08-02 moving

As I’m pulling my life back out of a hundred cardboard boxes and settling into a new place, I recognize a kinship between moving and rewriting code. You spend a lot of time and effort, you Do Things Right This Time, you expend resources, and you feel productive for how much you’ve done. And in the end, you’ve probably just got a few new features and you’ll find a few new problems after a couple weeks.

Picking a Username

2008-05-30 handle

I used the handle malaprop as my username on sites when I started doing stuff on the web, and it worked decently. Short, memorable, and almost always available. I got involved in Chicago programming communities and found a shortcoming: it often took weeks or months before someone connected my name and my handle. There weren’t any wacky sitcom hijinks, but it was confusing.

344 Books Must Go

2006-10-24 Chicago books

Over the last couple years I’ve been reducing the amount of stuff I own*, and now it’s time for most of the books to go. I’m giving away 344 books, three-quarters of my book collection, free to any family, friend, or acquaintance for the asking. Really. If we’ve met or traded mail before now and we got along decently, I’ll give you free books for the asking, just click that link to see the books I’ve tagged “giveaway”.

It's, Like, Symbolic

2006-05-31 humor music

In a nice coincidence (though I’ve been reading Robert Anton Wilson lately and am tempted to yell synchronicity), my music player gave me Flower by Liz Phair (the better version, from Girlysounds) and followed it up with Marigold by Nirvana. They’re both slow, quiet songs (and Flower has the added bonus of being delicously obscene).

Playing With Fire

2006-05-28 humor

I managed to iron twelve shirts without once burning myself on the iron, go me!

Newsflash: You're Not Good Enough

2006-05-11 gender humor media

The excellent humorist Jay Pinkerton just wrote about Men's Health magazine. It's a lighthearted but wholly accurate look at a common magazine formula.

The first third of Men's Health, it turns out, is helpfully devoted to every single minor irk, itch or irritation you’ve experienced today, and why it’s cancer and is excited about killing you. Having trouble sleeping at night? Depression, and also probably diabetes. OR cancer.

Specificity

2006-03-24 English humor

I've always loved English's hyper-specific words like defenstrate (to throw something out of a window) and borborygm (a rumbling noise in the bowels). Something about them is deeply and indelibly funny.

Think Outside the Euclidean Universe

2006-03-21 graphics humor math work

You've probably all seen the brain-teaser that's a perennial favorite with uncreative managers the world over. (Why an exercise in creative thinking is really only loved by incredibly boring people is a discussion beyond the scope of this blog post.)

Push cx

2006-02-13 meta

My first programming language was Hypercard (probably 2.0) in 6th grade in late 1991. A slight change of pace, my second programming language was x86 assembly and I have a small warm spot in my heart for it. I keep the small warm spot deep underneath the frozen lake of frustration I have in my heart for x86 asm.