Jonathan Fung

      • A Simple Way to Run Project Commands in Emacs
      • Abstract Data Types vs Data Structures
      • Barendregt Convention
      • Building the Hylo Compiler
      • Busqer
      • Bypassing Spotify Desktop's Minimum Window Size
      • Curry-Howard Correspondence
      • Emacs Charsets
      • Equality in Programming Languages
      • 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
      • Link Dump
      • MapleStory
      • OCaml
      • Pick a Color, any Color
      • Programming Languages Vocabulary
      • Refinement Types
      • Searching Annotations in Zotero
      • Sequent Calculus
      • 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: graphic-design

    Tag: graphic-design

    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

    Created with Quartz v4.4.0 © 2025

    • GitHub
    • Discord Community