Recent Posts

Understand Python Virtual Environments: How and How-To

As of 2025, isolating system-level Python dependencies from user environments has become the de facto standard practice. Many Linux distributions, including Ubuntu 24.04 LTS, now follow PEP668, which prevents packages installation into the system-wide Python environment, effectively enforcing the use of virtual environments.

Radon-Nikodým Derivative and Lebesgue Decomposition Theorem

In analysis and probability, we often need to describe how mass is distributed, or how a measure spreads its weight across a measurable space. Notably, there are two types of measure that behave very differently: one may assign mass smoothly, while another concentrates mass on special subsets. Understanding how these measures relate to one another is a central question that bridges measure theory, integration, and probability.

Resize Windows Cursor by Editing .CUR Files

Motivation. Due to Windows 11's design, the cursor size is scaled along with the display scaling ratio. On my 27-inch 4K monitor with 150% scaling, even the smallest cursor may still look too big. Unfortunately, Windows 11 does not permit shrinking the cursor beyond its built-in minimum size. To further reduce the cursor size, I have to manually edit the cursor icon files.

A How-to Guide to Font Selection

Motivation. There are two practical considerations to move beyond the default fonts. First, defaults are designed to be universally applicable, which inevitably makes them suboptimal for specific situations. Different types of texts—such as research papers, technical manuals, personal blogs, or software user interfaces—require different fonts to establish the right tone and clearly convey meaning without distracting their readers. Second, from a practical standpoint, most fonts are created to support only a limited subset of characters and styles. In practice, we have to deal with coverage issues and need to pair fonts to handle a wide range of characters, especially in non-English texts.

Install, Configure, and Use WSL on Windows 11

For me, WSL (Windows Subsystem for Linux) is the answer for working in both Linux and Windows environments. It works by running a Linux virtual machine within Windows. Although it's not perfect—nothing in the world is—WSL does provide a reasonably good experience. It is also the primary reason for me to switch back to Windows from pure Linux systems.