CDPH Digital Vaccine Record
Yesterday, California released their Digital Vaccine Record system for securely verifying residents'
COVID-19 vaccination status. I took a look at it and thought I'd write up my findings here. At a high level, the DVR consists of a QR code which contains a cryptographically-signed assertion in JSON Web
Token (JWT) format. I'll walk you through how to get one, how to
decode it, and what it contains in the rest of this article.
Getting one of the tokens is pretty easy; you just go to the Digital Vaccine Record website and put in your
name, date of birth, and the …
Etcd, or, why modern software makes me sad
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
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 MX518;
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:
2020 MacBook Air Impressions
For the past few years, I've been using a one-port 2016 MacBook 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 …
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 window:
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 index to look up unicode characters by name.
The first time you …
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 Mudd. 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 person, 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 hundreds of times. For the last seven or …