Archive RnE

About This Site

This site runs on clean HTML5, mostly transformed from XML via RsML, with a touch of handcrafted pages. While most contents are served as XML, your browser must be capable of applying XSL stylesheet on the fly.

Forged with Emacs nXML mode. An atom feed is maintained to help keep track of the site updates.

Article Entries

Topics I ramble about — each link either leads to an article or a rabbit hole of more. Licensed under CC BY 4.0.

TeX

TeX distribution; Font metric; Web2C; PlainTeX; Microtypography; Virtual fonts; MetaFont; MetaPost; Device independent file; Kinsoku; CJK typesetting; (u)pTeX; LuaTeX; WEB; ...

XML

Extensible stylesheet language; Transformations; XQuery; Schematron; RelaxNG; Schema definition; Document type definition; ...

Lambda Calculus

Structural induction; Consistency; ISWIM; Machines; SECD; Continuations; Imperative assignment; ...

Languages

C; Lua; OCaML; Emacs lisp; Common lisp; J; Swift; Shell; ML/1; TI-NSpire; TeX; LaTeX3; XSLT; ...

Types

Calculus of constructions with definitions; Hindley-Milner; Curry-Howard isomorphism; Pure type system; Dependent type; Refinement type; ...

Misc

EFI boot stub; FairPlay DRM; Emacs; Window manager; Wayland protocol; Font hinting; Equalizer; Sound server; Pipewire filter chain; POSIX shell; OpenRC; QMK; ...