Posts from '2026' - 1
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 methods ... 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 →