Scattered notes from learning about the implementation of VLA.

Overview of how I debug performance regressions when developing a compiler. I don’t claim this is the best way to do it, email me or tweet at me if you’ve got better ideas😉

Solve a leetcode problem in BQN and I rant about the joy of programming.

I’ve found NixOS to provide a wonderful development environment after learning a bit of the Nix language - but building and hacking on LLVM on NixOS gave me some trouble. Hopefully reading this post will save you the trouble!

std::expected and some spectacular extensions are hopefully coming to C++23.

New library feature coming to C++23

We use the 6 most popular programming languages of the 1960’s to solve a leetcode problem!

Solving a leetcode problem in four programming languages using two acceleration paradigms!

Solving a hard leetcode problem in the BQN APL dialect and CUDA C++!

GTest exposes clean interfaces for parameterizing your tests by value and by type - but what if you want both?

Third in this series, this post focuses on leveraging environments for debugging and reproducing errors.

Compilers are extremely proficient at catching (and even suggesting fixes for) errors in your code. What about cases that are not formally errors, but should not exist in your codebase? This post explores using Clang tools to address this case.

Second in this series, this post focuses on getting stared with environments.

Spack is typically used for package deployment, however this post will be about package development with Spack. First in this series, this post focuses on motivation and introduction.

description

Overview of type-based alias analysis in LLMV IR.

Proving that optimization passes are correct with the formal verification assistant Coq.

ABI breakage is a hot topic. Let’s look at some ways C++ handles it, and how that compares to the WG14 _Alias proposal.

description

description here

BQN and Julia battle to the death!