Companion code: C# (45 tests), F# (27 tests), Haskell (29 tests).
github.com/johnazariah/...
06.03.2026 01:21
👍 0
🔁 1
💬 0
📌 0
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.