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; Elisp; Common Lisp; J; Swift; Shell; ML/1; TeX; LaTeX3; XSLT; XPath; ...
Types
Type theory and formal proof; Hindley-Milner; Polymorphism; Dependent type; Refinement type; ...
UNIX
EFI boot stub; Executable and linkable format; Static and dynamic linking; The quick emulator; Window manager; Wayland protocol; Font rendering; Equalizer; Sound server; Pipewire filter chain; POSIX shell; OpenRC; Mail; Gentoo; BSD; ...
