MPMC Message Queue using only atomics

A proof-of-concept MPMC message queue with only atomics for synchronization.

📆 16 Jun '24 | 📋 C/C++

Caching makes things fast - an embedded example (CG2271)

We built a race car for a RTOS course. We made it pretty responsive with some trivial state caching.

📆 01 Feb '24 | 📋 CG2271 RTOS

Hotswapping kernels like they're keyboard switches

A guide to boot into different Linux kernels for whatever (cursed) reason.

📆 20 Jan '24 | 📋 Essay Linux

Generalized CNF for "At Least k, given n variables"

Formula & questionable eyeball proof to convert "at least k" constraints to CNF for easier use with the resolution algorithm.

📆 28 Dec '23 | 📋 Essay Math A.I. CS3243

Finding Big O from non-standard recurrence relations without master method

A questionable proof to find recurrence relations for most T(n) = aT(n/b) + O(k). I also explain some intuition behind recursion trees. Probably useful for my CS2040 (DSA) pals.

📆 05 Mar '23 | 📋 Essay CS2040 Math