Archive RnE

About This Site

This site is made up of clean HTML5, mostly transformed from XML using RsML, with some pages written by hand. A modified version of RsML is used for client-side rendering, allowing MathJax to handle the equation rendering. While most pages are served in RsML, your browser must be capable of applying XSL style sheets on the fly.

If you're having difficulty rendering XML articles with XSLT, a mirror site is now available at the cmp subdomain, serving HTML5 instead of XML, where the path remains the same but the .xml extension is replaced with .html.

Created with the help of Emacs nXML mode. Hosting service provided by GitHub. This website uses CloudFlare for enhanced performance and security. This work is licensed under CC BY 4.0.

Article Entries

These are the topics I might write about or am currently exploring. Each link could point to an article I've written or to separate pages indexing more than one articles.

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; TeX; LaTeX3; XSLT; XPath; ...

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