A C++ library providing various concurrent data structures and reclamation schemes. - mpoeter/xenium

(N.B. The word “fuck” appears multiple times in this post. I recommend that
the reader temporarily not consider “fuck” as profanity, as it isn’t used that
way here.)

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