A short guide on OCaml type checker, describing the surprisingly elegant algorithm for generalization, which generalizes to first-class polymorphism, MLF and local types. Polymorphism and regions have much in common.

The main page introducing the tagless-final style and serving as a reference to further explanations and examples

(Subnoscript: Unless You Really Have To) Coverage-guided fuzzing tools, such as LLVM’s libFuzzer, run a target program on many random inputs, record the path of...

Why take an interest in assembly language and which to learn?

A practical hacker's guide to the C programming language. - codr7/hacktical-c

GNU/Hurd has long struggled with hardware support and is still working on its x86_64 support while having a host of various hardware limitations but it also appears they are eager to explore Hurd on RISC-V platforms.

Es el disco de Odín. Tiene un solo lado. En la tierra no hay otra cosa que tenga un solo lado.

I forgot my favorite method of deriving Y combinator for the n-th time, so this time I am forcing myself to write this up as a quick reminder.