Using Loom to (Try To) Catch an ABA Bug in Lock-Free Rust

I'm exploring Loom for the first time! My goal test our broken lock-free stack with loom, to see if it can detect the ABA bug. It's my first time working with this tool, so I'm excited!

Visualizing The ABA Problem: What crossbeam-epoch Solves

Visualizing lock-free concurrency in Rust: reproducing the aba problem to begin understanding crossbeam. I promise lots of diagrams!

Visualizing Rust's Vtables: How dyn Trait Works In Memory

A follow-along series of coding experiments as I explore Rust's peculiarities, from a C++ developer's perspective.

Visualizing the C++ Object Memory Layout Part 1: Single Inheritance

A follow-along series of coding experiments that allowed me to explore and understand concepts like the vptr, vtable, and how the compiler organizes base and derived members in memory by seeing them in action through code.

Hydrodynamics Solver: Nitrogen and Pentane Filtration

First time coding a CFD solver from scratch.

Monte Carlo Simulation of Electrons Diffusion in a Noble Gas

under the assumption of isotropic elastic scattering of electrons on atoms.

Molecular Dynamics Simulation using Lennard-Jones Potential

Simulation code in C++, analysis in Python.

AnkiVim

Fork of existing project. Use vim or your favorite editor to write anki cards quickly in plain text or latex.

Calculation of Density in the Smoothed-Particle Hydrodynamics Method Using MPI and OpenACC

Double Pendulum in Manim

Kinematics Problem: Double Pendulum, given the angles as functions of time, made with 3Blue1Brown's animation engine, Manim.