Notes
- AI
- blogroll
- slashes
- notes
- abstract syntax
- Agda
- Agda: rename Set to Type
- algebra of a functor
- anagora
- category theory
- cognitive disengagement syndrome
- coq-shortcut-alist
- coq-token-symbol-map
- coq-unicode-tokens
- coq-unicode-tokens-set
- cus-edit
- de Bruijn indices
- don't underestimate JD Vance
- doom-two-tone-themes
- dynamic programming
- Emacs
- Emacs features
- Emacs packages
- Emacs regular expressions
- Emacs syntax classes
- exporting Org Mode
- extensible
- Extensible Records Explained
- flashes
- function notation
- gaming will not improve until players develop a political consciousness
- Haskell
- Haskell packages
- How can I correct errors in dblp?
- how to grant RES permissions on Wayland
- IndieWeb
- Java
- kitsch: a variety of cringe
- Lambek's theorem
- lens
- locally nameless
- Nix
- nix-collect-garbage
- NixOS
- NixOS: automatically collect garbage
- NixOS: automatically delete old profiles
- NixOS: automatically optimize the store
- notation
- notations for variable substitution
- org
- org-html-htmlize-font-prefix
- org-html-htmlize-generate-css
- org-inhibit-startup
- org-mode
- Org Mode (package)
- Org-roam
- ox
- ox-html
- prettify-symbols-alist
- prettify-symbols-mode
- prog-mode
- Proof General
- proof-unicode-tokens
- proof-unicode-tokens-configure
- Rocq
- setopt
- shuffle analysis
- Spliterator
- std++
- tags
- tangle monad
- the righteous violence of my words
- The System
- Vulpea
- vulpea-db
- vulpea-db-query
- Wagner–Fischer algorithm
- window.location.href