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