All Posts

• A Hand-Rolled Comment System

  Oct 22, 2025 ✎ Oct 22, 2025
  • #Programming
  • #Network
  • #Tooling
  • #DevOps
  I added a homemade comment system to my blog, built on a Serverless architecture and GitHub Discussions.

• Čech-de Rham Complex as a Model of Derived Global Section

  Oct 15, 2025 ✎ Oct 16, 2025
  • #Math
  • #Physics
  • #Topology
  • #Abstract Nonsense
  We use the tools of derived functor and sheaf cohomology to understand Čech-de Rham complex we introduced in the previous blog, which is a model of the derived global section of Deligne complex.

• Mixed Anomaly and Riemann-Roch Theorem

  Sep 14, 2025 ✎ Oct 15, 2025
  • #Physics
  • #Quantum Field Theory
  • #Topology
  U(1)-gravity mixed anomaly in bc CFT manifests as Riemann-Roch Theorem

• Pinning Floating Windows on Top in MacOS

  Sep 1, 2025 ✎ Oct 12, 2025
  • #macOS
  • #Programming
  Implementing pinned floating windows on MacOS via Objective-C code injection, using the kitty terminal as an example, without disabling SIP.

• Using Typst to Mark Everything Down, Instead of TeX Them

  Aug 16, 2025 ✎ Oct 17, 2025
  • #Programming
  • #Typst
  Affliction is Bodhi.

• Typst Syntax

  Aug 14, 2025 ✎ Oct 12, 2025
  • #Programming
  • #Typst
  List of Typst Syntax, for rendering tests.