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

(Subtitle: 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.

Functional Monadic Library for Ocaml. Contribute to hbr/fmlib development by creating an account on GitHub.

Linked lists are celebrity data structures of software development. They are celebrities because every engineer has had something to do with them in one part of their career. They are used in many places: from low-level memory management in operating systems…