Algebraic effects in C++ but it's just coroutines I guess
Coroutines are effects, actually. Or wait - is that backwards?
note_read(&algebraic_effects_in_cpp);#include "home.h"
I’m Elijah. This is my place for notes on software, programming languages, philosophy, and the questions that connect them.
.building =
OpenAPI tools in OCaml
.thinking =
Effect handlers and modules are collapsible
.reading =
note_sort(notes, by_published_at);
Coroutines are effects, actually. Or wait - is that backwards?
note_read(&algebraic_effects_in_cpp);Or: How I stopped worrying and learned to count to two million in the preprocessor.
note_read(&typeclasses_in_c);for (size_t i = 0; i < thread_count; ++i)
Books you should read if you want to confront yourself.
"All fortune is good fortune; for it either rewards, disciplines, amends, or punishes, and so is either useful or just."
- St. Boethius
"I want to suffer so that I may love."
- F. Dostoevsky
"The greatest hazard of all, losing one’s self, can occur very quietly in the world, as if it were nothing at all. No other loss can occur so quietly; any other loss - an arm, a leg, five dollars, a wife, etc. - is sure to be noticed."
- S. Kierkegaard
"All of humanity's problems stem from man's inability to sit quietly in a room alone."
- B. Pascal
const char *stack[] = {"Astro", "Alpine", "Tailwind", "Basecoat"};
Astro renders the static pages, Alpine sprinkles in small client interactions, and Tailwind + Basecoat provide the styling and component system.
assert(site_quality >= 0.90);
Mobile profile, using the lowest score across 2 representative routes. Audited 2026-10-06.
Performance
99/100
Lighthouse
Accessibility
100/100
Lighthouse
SEO
100/100
Lighthouse
LLM readiness
100/100
20/20 checks