Posts in Category tech

Etcd, or, why modern software makes me sad

etcd icon

Once upon a time in 2013, there was a tool called etcd which was a really lightweight database written around the Raft consensus algorithm. This tool was originally written in 2013 for a bullshit unsuccessful project called CoreOS Container Linux that was EOL'd several years ago, but that doesn't really matter — etcd was greater than its original use-case. Etcd provided a convenient and simple set of primitives (set a key, get a key, set-only-if-unchanged, watch-for-changes) with a drop-dead simple HTTP API on top of them. I have built a number of tools using etcd as a lightweight consensus store behind …

read more

Trackballs

It's been about ten years since I've regularly used that most quintessential of post-1984 computer peripherals, the mouse. The last mouse I had was pretty exclusively used for a gaming PC in college and was a Logitech MX5181; since then I've used a variety of input devices. It's been a while since I did any brief reviews of technology on this ostensibly-technology blog, so what the hey, let's do it! In brief, we're going to talk about:

read more

2020 MacBook Air Impressions

For the past few years, I've been using a one-port 2016 MacBook1 as my personal laptop that I carry with me whenever I am traveling or need to work outside the house. It's been a mixed bag – the size was pretty much perfect and very similar to a thin version of my old 12" PowerBook G4, but the CPU performance was absolutely awful and the battery only lasted about two hours. Also, I was finally bitten by the infamous Butterfly Keyboard Issue and was getting double-entries from my spacebar.

In March, when Apple released the new MacBook Air with …

read more

systemd

I've had this sitting on my desktop for months and figured I'd post it. No idea where it originally came from.

systemd

Unicode via Alfred

Something I miss a lot on macOS is a fast way to enter Unicode characters. macOS does a pretty good job of handling combining keys so that you can type é and ö, and it's got a fancy emoji picker, but if you want to enter ∫ or ⚠, you're stuck using the terrible character picker window1:

screenshot of the character picker

Well, no longer. If you, like me, use Alfred 4 on your Mac, you can download the following Alfred Workflow to get a new "unicode" Alfred command. This uses a fast index2 to look up unicode characters by name. The first time you …

read more

Ode to a Pager

pager

I've been on-call for most of the last 11 years. I was on-call for the CS Department at Mudd1. I was on-call at Yelp, in a rotation that at times contained as few as three people. I was on-call at Uber in rotations ranging from one to twenty people. And I've been on-call at EasyPost — initially in a rotation with one other person2, and currently with two other people. I have responded to tens of thousands of pages. I have been woken up in the middle of the night hundreds3 of times. For the last seven or …

read more