Causal Commutative Arrows and Their Optimization Hai Liu, Eric Cheng, Paul Hudak; Yale University International Conference on Functional Programming (ICFP) Edinburgh…

Table of Contents Part One Category: The Essence of Composition Types and Functions Categories Great and Small Kleisli Categories Products and Coproducts Simple Algebraic Data Types Functors Functo…

langcc: A Next-Generation Compiler Compiler. Contribute to jzimmerman/langcc development by creating an account on GitHub.

Benchmarks and microbenchmarks have been a staple of computer science for the better part of its history. We spent a lot of time learning about fast code and how to measure it. You can't control what you can't measure — Tom DeMarco To control software runtime…

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: