Tag Index

1 item with this tag.

• May 20, 2025

  Hashing Modulo Alpha-Equivalence

  • bib
  • hash
  • abstract-syntax-tree
  • compilers

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

4 items with this tag.

• May 20, 2025

  Hashing Modulo Alpha-Equivalence

  • bib
  • hash
  • abstract-syntax-tree
  • compilers

• Feb 18, 2025

  Sequent Calculus

  • formal-logic
  • bib

• Feb 09, 2025

  Why You Should Write

  • bib
  • writing

• Feb 04, 2025

  Fuzzing vs Property Testing

  • bib
  • testing

1 item with this tag.

• Feb 03, 2025

  Setting up Better BibTex in Zotero

  • bibtex
  • zotero

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

1 item with this tag.

• Jan 02, 2025

  Hello!

  • blog

1 item with this tag.

• Apr 21, 2025

  Pick a Color, any Color

  • color

3 items with this tag.

• May 20, 2025

  Hashing Modulo Alpha-Equivalence

  • bib
  • hash
  • abstract-syntax-tree
  • compilers

• Mar 09, 2025

  Tagged Pointer

  • compilers

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

3 items with this tag.

• Jun 09, 2025

  Parsing

  • parsing
  • computer-science

• Mar 12, 2025

  Abstract Data Types vs Data Structures

  • computer-science
  • data-structures

• Feb 18, 2025

  Tail Recursion

  • computer-science

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

1 item with this tag.

• Feb 18, 2025

  History of Crystallography

  • crystallography
  • science-history

2 items with this tag.

• Jun 05, 2025

  Crafting Interpreters

  • cs-education

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

2 items with this tag.

• May 20, 2025

  Zipper

  • functional-programming
  • data-structures

• Mar 12, 2025

  Abstract Data Types vs Data Structures

  • computer-science
  • data-structures

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

6 items with this tag.

• May 28, 2025

  Tables in Emacs

  • emacs

• Feb 13, 2025

  A Simple Way to Run Project Commands in Emacs

  • emacs
  • tip

• Feb 03, 2025

  Emacs Charsets

  • emacs

• Feb 03, 2025

  Hashing in Emacs

  • emacs
  • hash

• Feb 03, 2025

  Ways to Export Org to HTML

  • emacs
  • html
  • orgmode
  • pandoc

• Feb 02, 2025

  Ways to Export Denote to HTML

  • emacs
  • orgmode
  • html

1 item with this tag.

• Jul 02, 2025

  Watches

  • fashion

1 item with this tag.

• Jul 02, 2025

  Beverages

  • food

3 items with this tag.

• May 14, 2025

  Curry-Howard Correspondence

  • formal-logic

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

• Feb 18, 2025

  Sequent Calculus

  • formal-logic
  • bib

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

4 items with this tag.

• Jul 06, 2025

  Monads

  • functional-programming

• May 20, 2025

  Zipper

  • functional-programming
  • data-structures

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

• Feb 18, 2025

  Haskell Curry

  • person
  • functional-programming

1 item with this tag.

• Feb 01, 2025

  Herman Miller Eames Lounge Chair

  • furniture

1 item with this tag.

• Feb 12, 2025

  MapleStory

  • games
  • personal

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

1 item with this tag.

• Feb 01, 2025

  TRMNL

  • hardware

2 items with this tag.

• May 20, 2025

  Hashing Modulo Alpha-Equivalence

  • bib
  • hash
  • abstract-syntax-tree
  • compilers

• Feb 03, 2025

  Hashing in Emacs

  • emacs
  • hash

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

2 items with this tag.

• Feb 03, 2025

  Ways to Export Org to HTML

  • emacs
  • html
  • orgmode
  • pandoc

• Feb 02, 2025

  Ways to Export Denote to HTML

  • emacs
  • orgmode
  • html

1 item with this tag.

• Feb 12, 2025

  Building the Hylo Compiler

  • hylo

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

2 items with this tag.

• Apr 30, 2025

  Lessons learned from Kpop

  • kpop

• Feb 01, 2025

  Kpop Vocabulary

  • kpop

1 item with this tag.

• May 21, 2025

  Barendregt Convention

  • lambda-calculus

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

1 item with this tag.

• Feb 17, 2025

  Hyphenation

  • linguistics
  • typesetting

2 items with this tag.

• Jun 17, 2025

  Linux Kernel

  • linux

• Jun 13, 2025

  Setting Kernel Parameters in NixOS

  • nixos
  • linux

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

1 item with this tag.

• May 15, 2025

  Fixed Point Gazing

  • meditation

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

1 item with this tag.

• Jun 13, 2025

  Setting Kernel Parameters in NixOS

  • nixos
  • linux

2 items with this tag.

• Mar 04, 2025

  OCaml

  • ocaml

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

2 items with this tag.

• Feb 03, 2025

  Ways to Export Org to HTML

  • emacs
  • html
  • orgmode
  • pandoc

• Feb 02, 2025

  Ways to Export Denote to HTML

  • emacs
  • orgmode
  • html

1 item with this tag.

• Feb 03, 2025

  Ways to Export Org to HTML

  • emacs
  • html
  • orgmode
  • pandoc

2 items with this tag.

• Jun 09, 2025

  Parsing

  • parsing
  • computer-science

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

1 item with this tag.

• Feb 18, 2025

  Haskell Curry

  • person
  • functional-programming

2 items with this tag.

• Apr 29, 2025

  Mantras

  • personal

• Feb 12, 2025

  MapleStory

  • games
  • personal

1 item with this tag.

• May 14, 2025

  Busqer

  • personal-project

2 items with this tag.

• Jun 03, 2025

  Refinement Types

  • programming-language-theory

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

5 items with this tag.

• Jul 14, 2025

  Effects

  • programming-languages

• Mar 04, 2025

  Programming Languages Vocabulary

  • programming-languages

• Mar 03, 2025

  Equality in Programming Languages

  • programming-languages

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

• Feb 14, 2025

  The Metaphysics of Nothing - in Programming Languages

  • programming-languages

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

1 item with this tag.

• Feb 03, 2025

  How to get RSS feed of a YouTube Channel

  • rss
  • youtube

1 item with this tag.

• Feb 18, 2025

  History of Crystallography

  • crystallography
  • science-history

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

1 item with this tag.

• May 05, 2025

  Standards

  • standards

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

1 item with this tag.

• Feb 04, 2025

  Fuzzing vs Property Testing

  • bib
  • testing

2 items with this tag.

• May 23, 2025

  Markets

  • thoughts

• Apr 28, 2025

  Skin in the Game

  • thoughts

2 items with this tag.

• Mar 31, 2025

  Bypassing Spotify Desktop's Minimum Window Size

  • tip

• Feb 13, 2025

  A Simple Way to Run Project Commands in Emacs

  • emacs
  • tip

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

1 item with this tag.

• Feb 17, 2025

  Hyphenation

  • linguistics
  • typesetting

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

2 items with this tag.

• May 14, 2025

  UTF-8 vs UTF-16 for CJK Data

  • unicode

• Oct 25, 2024

  What happens after Unicode Version 255?

  • unicode

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

1 item with this tag.

• Jul 02, 2025

  Flying Eyeball Creature

  • worldbuilding

1 item with this tag.

• Feb 09, 2025

  Why You Should Write

  • bib
  • writing

1 item with this tag.

• Feb 03, 2025

  How to get RSS feed of a YouTube Channel

  • rss
  • youtube

1 item with this tag.

• Feb 18, 2025

  Link Dump

  • meta
  • systemd
  • formal-logic
  • graphic-design
  • programming-languages
  • type-systems
  • compilers
  • verilog
  • gpu
  • ocaml
  • term-rewriting
  • lean-lang
  • formal-proofs
  • typography
  • visual-design
  • public-relations
  • media-studies
  • bit-manipulation
  • algorithms
  • security
  • configuration
  • functional-programming
  • type-theory
  • programming-language-theory
  • parsing
  • programming-ux
  • modules
  • zippers
  • histograms
  • database-theory
  • image-processing
  • cs-education
  • monads

2 items with this tag.

• May 29, 2025

  Searching Annotations in Zotero

  • zotero

• Feb 03, 2025

  Setting up Better BibTex in Zotero

  • bibtex
  • zotero