An elementary introduction to the Curry Howard de Bruijn Correspondence.

A collection of resources for learning type theory and type theory adjacent fields. - jozefg/learn-tt

An introduction to the what and why of custom allocators.

Update in 2025-11. The main usage of stack unwinding is: To obtain a stack trace for debuggers, crash reporters, profilers, garbage collectors, etc. To implement C++ exceptions (Itanium C++ ABI) usin

This post has some notes about unwinding through a signal handler. You may want to read Stack unwinding first. 12345678910111213141516171819202122232425262728293031// a.c#define _GNU_SOURCE#include &l

Deterministic builds can lower continuous integration costs and give you more confidence in your build and test process. This post outlines what it means for a build to be deterministic, the advantages of deterministic builds, and how to achieve them using…

Updated in 2025-05. Reproduce tarball LLD offers a convenient feature to bundle all input files into a tarball, making it easier to experiment with different linker options. Use either of these comman

Updated in 2025-02. Thread-local storage (TLS) provides a mechanism allocating distinct objects for different threads. It is the usual implementation for GCC extension __thread, C11 _Thread_local, and

This article describes ELF interposition, the linker option -Bsymbolic, and its friends. In the end, it will discuss an ambitious plan which I dubbed "the Last Alliance of ELF and Men". Motivated by a

中文版 Updated in 2023-08. Many people just want to know how to define or reference versioned symbols properly. You may jump to Recommended usage below. In 1995, Solaris' link editor and ld.so introduced

Thread local storage provides a mechanism allocating separate objects for different threads. It is the usual implementation for C11 _Thread_local, C++11 thread_local and vendor extension __thread on E

A program may have a lot of unused code and data. There can be many reasons:

Updated in 2023-10. C/C++ GCC and Clang support __attribute__((weak)) which marks a symbol weak. The same effect can be achieved with a preprocessor directive #pragma weak symbol. Object file format I

Updated in 2024-04. GNU indirect function (ifunc) is a mechanism making a direct function call resolve to an implementation picked by a resolver. It is mainly used in glibc but has adoption in FreeBSD

x86 C compiler written in untyped lambda calculus. Contribute to woodrush/lambda-8cc development by creating an account on GitHub.

build-once run-anywhere c library. Contribute to jart/cosmopolitan development by creating an account on GitHub.

Generate sandboxes for C/C++ libraries automatically - google/sandboxed-api

My writings about the Zig programming language.