Welcome
Welcome to my blog!
Here are some recent blog posts:
Posts
- Converting math-heavy LaTeX to HTML with Pandoc - 2024-12-20
- The Limitation of Open Source in its Libertarian Root - 2024-05-05
- How to read Lean 4 source code with LSP support - 2023-12-10
- Rainsea Radio: An AD Blocking Monitor - 2023-09-10
-
let ←is not a definition - 2023-08-30 -
Use
highlightjsversion 11 for Hakyll - 2023-08-29 - Tips and Reviews of The Little Prover - 2023-08-24
- Tips and Reviews of The Little Typer - 2023-08-19
- Markdown to LaTeX Beamer Slides via nix flake & pandoc - 2022-04-27
- Pattern-matching-based AST Evaluation as Prisms - 2021-10-10
- (((Wait a moment .) .) .) - Composing Functions with Multiple Arguments - 2021-03-13
- Setting up an Esperanto keyboard layout on Windows - 2020-07-18
- Maintainable Beamer-Markdown with Nix - 2019-11-30
…or you can find more in the archives.