Jonathan Fung
Search
Search
Dark mode
Light mode
Explorer
A Simple Way to Run Project Commands in Emacs
Abstract Data Types vs Data Structures
Anki
Barendregt Convention
Beverages
Building the Hylo Compiler
Busqer
Bypassing Spotify Desktop's Minimum Window Size
Crafting Interpreters
Curry-Howard Correspondence
Eddy Current Testing
Effects
Emacs Charsets
Equality in Programming Languages
Fixed Point Gazing
Flying Eyeball Creature
Fuzzing vs Property Testing
Hashing in Emacs
Hashing Modulo Alpha-Equivalence
Haskell Curry
Herman Miller Eames Lounge Chair
History of Crystallography
Hong Kong Milk Tea
How to get RSS feed of a YouTube Channel
Hyphenation
Kpop Vocabulary
Lenses
Lessons learned from Kpop
Link Dump
Linux Kernel
Local Culture
Magnetic Particle Testing
Mantras
MapleStory
Model Checking
Monads
OCaml
Onebag
Parsing
Pick a Color, any Color
Programming Languages Vocabulary
Refinement Types
Reviews
Searching Annotations in Zotero
Sequent Calculus
Setting Kernel Parameters in NixOS
Setting up Better BibTex in Zotero
Skin in the Game
Speedruns
Standards
Tables in Emacs
Tagged Pointer
Tail Recursion
The Metaphysics of Nothing - in Programming Languages
TRMNL
Ultrasonic Testing
Upgrading NixOS with Channels
UTF-8 vs UTF-16 for CJK Data
Watches
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: triboelectricity
Tag: triboelectricity
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
semiconductors
solid-state-physics
flexoelectricity
triboelectricity
attention-economy
opinion-dynamics
fonts
text-rendering
type-inference
digital-signal-processing
haskell
formal-methods
regulations