<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"><channel><title>seok · blog</title><description>Notes by Seokwon Choi, developer. Mostly technical.</description><link>https://alfex4936.github.io/blog/</link><language>en-US</language><item><title>A tour of this blog: diagrams, math, code</title><link>https://alfex4936.github.io/blog/tour/?lang=en/</link><guid isPermaLink="true">https://alfex4936.github.io/blog/tour/?lang=en/</guid><description>The first post. Everything this blog can put inside a post, one thing at a time: a figure that follows your place, diagrams drawn at build time, math, code, and two languages.</description><pubDate>Mon, 05 Oct 2026 00:00:00 GMT</pubDate><category>blog</category><category>mermaid</category><category>katex</category></item><item><title>Why Hangul takes two columns in a terminal</title><link>https://alfex4936.github.io/blog/hangul-width/?lang=en/</link><guid isPermaLink="true">https://alfex4936.github.io/blog/hangul-width/?lang=en/</guid><description>Why one Hangul syllable is as wide as two Latin letters, why arrows and box-drawing characters change width from one setup to the next, and why string length is not a column count.</description><pubDate>Fri, 02 Oct 2026 00:00:00 GMT</pubDate><category>unicode</category><category>typography</category></item><item><title>Redis HyperLogLog: counting a million users in 14 KB</title><link>https://alfex4936.github.io/blog/redis-hyperloglog/?lang=en/</link><guid isPermaLink="true">https://alfex4936.github.io/blog/redis-hyperloglog/?lang=en/</guid><description>Counting unique visitors with a SET takes 37 MB for a million; HyperLogLog takes 14 KB. How it counts, and how far off it is, measured.</description><pubDate>Mon, 21 Sep 2026 00:00:00 GMT</pubDate><category>redis</category><category>performance</category></item></channel></rss>