A Sturdy Magic Hedgehog

johnazariah.github.io/code/intent-vs-process at main · johnazariah/johnazariah.github.io John Azariah's Personal Blog. Contribute to johnazariah/johnazariah.github.io development by creating an account on GitHub.

Companion code: C# (45 tests), F# (27 tests), Haskell (29 tests).

github.com/johnazariah/...

The Monday morning plan. How to migrate your legacy codebase without a rewrite.
johnazariah.github.io/2026/03/05/0...

Monads (1960s), free constructions (1970s), Yoneda (1954). We're standing on the shoulders of giants.
johnazariah.github.io/2026/03/05/0...

Plot twist: interfaces-as-programs and data-as-programs are mathematically dual.
johnazariah.github.io/2026/03/05/0...

What if your program was data? SQL EXPLAIN for business logic. That's the Free Monad.
johnazariah.github.io/2026/03/05/0...

The fix: make the entire program abstract, not just the leaf calls. DI done properly = Tagless Final.
johnazariah.github.io/2026/03/05/0...

The dirty secret: your PlaceOrder method knows too much.
johnazariah.github.io/2026/03/05/0...

🧵 New blog series: "Your Clean Architecture Has a Dirty Secret"

Every architecture pattern — Clean, CQRS, microservices, vertical slices — has the same unspoken coupling: what and how are fused in the same code. None of them even name it.

6 posts. 3 languages. Half a century of math. Let's fix it.

I've finally put together the blog post accompanying a lecture that @neeldhara.bsky.social invited me to give over a year ago - which happened about a year after @shriram.bsky.social got us to start thinking about it :)

Eventual consistency, I guess. :)

johnazariah.github.io/2026/02/08/o...

My #FsAdvent 2025: "Froggy Tree House" 🐸

A fun little series about building a game DSL in #fsharp. Frogs jumping. Flies getting eaten. Normal stuff.

(Part 6 is called "Code as Model" but that's probably not important :))

johnazariah.github.io/2025/12/12/t...

/cc: @sergeytihon.com

Ahh you were ray tracing!

It me. I feel seen.

Happy to take #2512

This is true.

But what makes this tragic is that the numbers we use everyday (1,2,3..etc) are formally known as the Hindu-Arabic number system!

So it takes a special combination of racism & ignorance to hate what something is called without realising one has been using it all along!

Thank you! I know :)

But when @3wombats.bsky.social makes a list....

Yummy treats as well, please. And thank you!

not even remotely theologically correct, even... :D

what a complete load of cobblers that poem is! :D

also the ignorance :)

I wonder how her tiny little brain would explode if she realizes they are more formally known as "Hindu-Arabic numerals" :D

Laura Loomer being an innumerate racist idiot. Nothing to see here, move on! :) (The text is an exchange about New Yorkers being forced to learn Arabic Numerals and Laura Loomer reacting naturally - clearly having no clue that the way we write numbers in the western world is by using Arabic numberals)

What happens when you're a racist ignoramus!

*wave* erm hi! :)

am I on this alleged list? :D

I know...dynamite :D

do what I always do after failing at Kusto....ask Mr Holliday :D

Ejumacayshun shmejumacayshun, right?

Thanks for that. I always get them confused!!!

Was it Archie Gemmell? 😂😂

Bet she gives the best cuddles 😍😍😍

Ron.