A simple Rust puzzle about borrow checking

Why does some Rust code compile when it "violates" the borrow-checker rules? Hint: Non-lexical-lifetimes. Answering a common misconception from learners new to Rust.

📆 05 Apr '25 | 📋 Rust

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