virtualbox mount shared July 2, 2016 less than 1 minute read to mount a shared folder, I had to mount it by cmdline: sudo mount -t vboxsf share ~/host Previous Next
Taming the hazard: Implementing C++26 hazard pointer for libstdc++ - Part 1 May 25, 2026 6 minute read This will be a longer blog post series on implementing C++26 std::hazard_pointer for libstdc++.
First Experiments with C++26 Contracts (and a GCC Crash) May 24, 2026 1 minute read I have recently been working on a hazard pointer implementation for libstdc++ - more posts on that are coming soon - and decided to experiment with the upcom...
clangd in VSCode/Codium on NixOS: fixing missing standard headers May 14, 2026 4 minute read If you use the clangd VSCode extension on NixOS, you’ve probably seen this in the clangd log:
Status update of work on libc++: cartesian product view May 9, 2026 3 minute read Initial post of libc++ contribution: My first patch to libc++.