Understanding the C Runtime: crt0, crt1, crti, and crtn

The C runtime (CRT) is a collection of startup routines, initialization code, standard library support, and sometimes system call wrappers that form the environment in which a C program executes.

January 15, 2025

Commit to marriage with TLA+ pt.2

The second part of the conspect of the “Intoduction to TLA+” course by Leslie Lamport.

May 1, 2024