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.

A mirror site serving HTML5 instead of XML is now available at the cmp subdomain for compatibility, where the path for each article remains the same but the .xml extension is replaced with .html.

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; ...

Programming 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; ...

UNIX

EFI boot stub; Executable and linkable format; Emacs; Window manager; Wayland protocol; Font hinting; Equalizer; Sound server; Pipewire filter chain; POSIX shell; OpenRC; LaunchD; ...