beyond-c-error-handling-2016.pdf
2.1 MB
Beyond C Error Handling
Xenium: A C++ (Lock-Free) library providing various concurrent data structures and reclamation schemes.
https://github.com/mpoeter/xenium
https://github.com/mpoeter/xenium
GitHub
GitHub - mpoeter/xenium: A C++ library providing various concurrent data structures and reclamation schemes.
A C++ library providing various concurrent data structures and reclamation schemes. - mpoeter/xenium
liblfds: a portable, license-free, lock-free data structure library written in C.https://www.liblfds.org/
Rust's Type System is Turing-Complete
https://sdleffler.github.io/RustTypeSystemTuringComplete/
https://sdleffler.github.io/RustTypeSystemTuringComplete/
sdleffler.github.io
Rust's Type System is Turing-Complete
(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.)
the reader temporarily not consider “fuck” as profanity, as it isn’t used that
way here.)
Metaprogramming in Python
https://developer.ibm.com/tutorials/ba-metaprogramming-python/
https://developer.ibm.com/tutorials/ba-metaprogramming-python/
Cross-Compiling and packaging C, Go and Zig projects with Nix and Zigcross
https://flyx.org/cross-packaging/
https://flyx.org/cross-packaging/
The Journal of Computer Graphics Techniques
https://jcgt.org/read.html
https://jcgt.org/read.html
Category Theory for Programmers
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
Bartosz Milewski's Programming Cafe
Category Theory for Programmers: The Preface
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…
The Page-Fault Weird Machine: Lessons in Instruction-less Computation
https://www.cs.dartmouth.edu/~sws/pubs/bbss13.pdf
https://www.cs.dartmouth.edu/~sws/pubs/bbss13.pdf
❤2
Correct Benchmarking (C++)
https://archivist.nekoit.xyz/correct-benchmarking/
https://archivist.nekoit.xyz/correct-benchmarking/
Archivist's Mumbling
Correct benchmarking
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
Curry Howard de Bruijn Correspondence
https://patternatlas.com/v0/curry-howard-de-bruijn/
Curry Howard de Bruijn Correspondence
https://patternatlas.com/v0/curry-howard-de-bruijn/
PatternAtlas: An Elementary Introduction to the Curry Howard de Bruijn Correspondence
An Elementary Introduction to the Curry Howard de Bruijn Correspondence
An elementary introduction to the Curry Howard de Bruijn Correspondence.
Learn TT: A collection of resources for learning type theory and type theory adjacent fields
https://github.com/jozefg/learn-tt
https://github.com/jozefg/learn-tt
GitHub
GitHub - jozefg/learn-tt: A collection of resources for learning type theory and type theory adjacent fields.
A collection of resources for learning type theory and type theory adjacent fields. - jozefg/learn-tt
👍2
TLA+: A high-level language for modeling programs and systems, especially concurrent and distributed ones
https://lamport.azurewebsites.net/tla/tla.html
https://lamport.azurewebsites.net/tla/tla.html
👍2
Unwinding through a signal handler
https://maskray.me/blog/2022-04-10-unwinding-through-signal-handler
https://maskray.me/blog/2022-04-10-unwinding-through-signal-handler
MaskRay
Unwinding through a signal handler
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 with clang and lld
https://blog.llvm.org/2019/11/deterministic-builds-with-clang-and-lld.html
https://blog.llvm.org/2019/11/deterministic-builds-with-clang-and-lld.html
The LLVM Project Blog
Deterministic builds with clang and lld
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…
Analysis and introspection options in linkers
https://maskray.me/blog/2022-02-27-analysis-and-introspection-options-in-linkers
https://maskray.me/blog/2022-02-27-analysis-and-introspection-options-in-linkers
MaskRay
Analysis and introspection options in linkers
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