Jonathan Fung
Search
Search
Dark mode
Light mode
Explorer
A Simple Way to Run Project Commands in Emacs
Abstract Data Types vs Data Structures
Barendregt Convention
Beverages
Building the Hylo Compiler
Busqer
Bypassing Spotify Desktop's Minimum Window Size
Crafting Interpreters
Curry-Howard Correspondence
Emacs Charsets
Equality in Programming Languages
Fixed Point Gazing
Fuzzing vs Property Testing
Hashing in Emacs
Hashing Modulo Alpha-Equivalence
Haskell Curry
Herman Miller Eames Lounge Chair
History of Crystallography
How to get RSS feed of a YouTube Channel
Hyphenation
Kpop Vocabulary
Lessons learned from Kpop
Link Dump
Linux Kernel
Mantras
MapleStory
Markets
OCaml
Parsing
Pick a Color, any Color
Programming Languages Vocabulary
Refinement Types
Searching Annotations in Zotero
Sequent Calculus
Setting Kernel Parameters in NixOS
Setting up Better BibTex in Zotero
Skin in the Game
Standards
Tables in Emacs
Tagged Pointer
Tail Recursion
The Metaphysics of Nothing - in Programming Languages
TRMNL
UTF-8 vs UTF-16 for CJK Data
Ways to Export Denote to HTML
Ways to Export Org to HTML
What happens after Unicode Version 255?
Why You Should Write
Zipper
Home
❯
tags
❯
Tag: nixos
Tag: nixos
1 item with this tag.
Jun 13, 2025
Setting Kernel Parameters in NixOS
nixos
linux