Posts from '2026'
Returning to Emacs
JetBrains woes I have been a fan of JetBrains products for over a decade by now, and an unapologetic lover of IDEs generally. I've used PyCharm since shortly after it launched, and over the years I've used IntelliJ IDEA, WebStorm, DataGrip, RustRover ... read more →
Typing Hanja on macOS
이제 漢字 쓰는 方法을 알게 되었다! I was today years old when I finally figured out how to type Hanja (characters from China that were historically used to write Korean). It struck me as very strange that this didn't seem possible in any of the obvious input metho ... read more →
reqwest 0.13 Upgrade and WebPKI
In case you missed the announcement, the reqwest crate has a new and very important release out! reqwest is an opinionated, high-level HTTP client for Rust, and the main feature of this release is that rustls is now the default TLS backend. Read the ... read more →
Even Safer Rust with Miri
Recently some of the Miri contributors published a paper that was accepted to POPL. I've been using Rust professionally for about 7 years now, and while I'd heard of Miri several times over the years, I think there's a wide lack of knowledge about wh ... read more →
2025 in Review
I have never done one of these kinds of public posts, but saw a few from friends so I thought it might be useful! This year I was simultaneously more focused on my technical craft than ever, but also had more of a "life" than ever. I took m ... read more →