• About
• License
• Computer Science
  • Haskell notes
  • Notes on Lean4 with Emacs, [2026-03-26 Thu]
  • Debugging GNU Guile, [2025-10-11 Sat]
  • Notes on the Postfix mail server, [2025-06-01 Sun]
  • Git hooks, [2025-01-22 Wed]
  • Writing an Org-mode backend, [2025-01-05 Sun]
  • DNS notes, [2024-12-30 Mon]
  • GDB and LLDB scripting, [2024-01-24 Wed]
  • USB SSD hangs on Linux, [2021-09-05 Sun]
• Mathematics
  • Mechanics, [2026-06-02 Tue]
  • All about Fourier integral operators, [2026-05-05 Tue]
  • Fun math exercises, [2026-03-14 Sat]
  • Examples in Mathematics, [2026-03-09 Mon]
  • Why probability theory diverges in technique from analysis, [2026-03-02 Mon]
  • Statistical Mechanics, [2026-02-21 Sat]
  • Note on bicharacteristics, [2026-01-16 Fri]
  • Jet bundles, [2025-11-29 Sat]
  • Connections in Fiber Bundles, [2025-11-07 Fri]
  • Gödel's first incompleteness theorem, [2025-02-01 Sat]
  • Notes on Lie groups and algebras, [2025-01-26 Sun]
  • The extended Euclidean algorithm, [2025-01-11 Sat]
  • Average triangle area in the Cantor dust, [2025-01-06 Mon]
  • How to break through Algebraic Geometry, [2024-12-20 Fri]
  • The Cauchy Stress Tensor, [2024-04-24 Wed]
• Physics
  • Electromagnetism as a gauge theory, [2025-12-15 Mon]
  • Connections in Physics, [2025-11-22 Sat]
  • Deriving Schrödinger's equation, [2021-09-05 Sun]