이제 漢字 쓰는 方法을 알게 되었다! 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...

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 tha...

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 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 ...