Posts Tagged "technology"

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


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

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


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

Ditching Gmail After 15 Years

Gmail Logo

Everyone who even casually follows the tech industry knows, intellectually, that Google builds an enormous dystopian profile of everything you do in order to sell ads1. But I think there's a difference between knowing that Google Analytics is a shameless back door to do cross-site tracking and actually coming face-to-face with your own profile. Yesterday, CNBC featured a story about a new Google UI which shows you a list of every purchase that you've made in the last few years: For me, wide variety of commercial activity — every purchase I've ever made at a …

read more