Advertisement ยท 728 ร— 90

Posts by A Sturdy Magic Hedgehog

Post image

A small step from there to Motley Crue...

1 week ago 2 0 2 0

It looks badass as hell :)

1 week ago 2 0 1 0
Post image

I love this photo of astronaut Christina Koch looking back at Earth from Artemis II.

She's the first woman to see the full sphere of our beautiful planet.

Welcome home to the crew, and thank you for reminding us of all we can discover together.

1 week ago 26033 3728 324 127

Still slower than sanity coming to the US, amirite? :)

1 week ago 1 0 1 0

Badass.

1 week ago 17 2 0 1

leave it be and give it a name - they're harmless and kill the harmful ones :)

2 weeks ago 1 0 0 0

Nothing to see here. It's an egg sandwich. Move along... :)

2 weeks ago 1 0 0 0
Advertisement

oh she has the _cutest_ facial expressions!!!

2 weeks ago 1 0 0 0

awww she's adorable!!! :(

1 month ago 1 1 0 0
Preview
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/...

1 month ago 1 1 0 0
Intent vs Process - Part 6: The Strangler Fig This series is dedicated to Christian Smith, with gratitude for all the insightful conversations that shaped the ideas in these posts.

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

1 month ago 0 1 1 0
Intent vs Process - Part 5: Standing on the Shoulders of Giants This post is dedicated to George Pollard and Ivan Towlson, for starting me on the scary path to category theory.

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

1 month ago 0 1 1 0
Intent vs Process - Part 4: Two Sides of the Same Coin This series is dedicated to Christian Smith, with gratitude for all the insightful conversations that shaped the ideas in these posts.

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

1 month ago 0 1 3 0
Intent vs Process - Part 3: Intent You Can See (and Optimize) This series is dedicated to Christian Smith, with gratitude for all the insightful conversations that shaped the ideas in these posts.

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

1 month ago 0 1 1 0
Advertisement
Intent vs Process - Part 2: The Algebra of Intent This series is dedicated to Christian Smith, with gratitude for all the insightful conversations that shaped the ideas in these posts.

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

1 month ago 0 1 1 0
Intent vs Process - Part 1: Your Clean Architecture Has a Dirty Secret This series is dedicated to Christian Smith, with gratitude for all the insightful conversations that shaped the ideas in these posts.

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

1 month ago 0 1 1 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.

1 month ago 3 1 2 0
One Loop to Traverse Them All Dedicated to Prof Shriram Krishnamurthi, who incited the exploration into this area, and to Prof Neeldhara Misra, who invited me to give a version of this talk to her class at IIT Gandhinagar.

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...

2 months ago 4 2 0 0
Tagless Final in F# - Part 1: Froggy Tree House FsAdvent 2025: This is Part 1 of a 6-part series on Tagless-Final in F#. This blog series came about from a chance conversation with the brilliant and funny Dr. Vaishnavi S. Iโ€™m going to bury the lede...

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

4 months ago 10 3 1 0

Ahh you were ray tracing!

4 months ago 0 1 0 0

It me. I feel seen.

4 months ago 1 0 1 0

Happy to take #2512

4 months ago 1 0 1 0

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!

4 months ago 1 0 1 0

Thank you! I know :)

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

5 months ago 0 0 0 0
Advertisement

Yummy treats as well, please. And thank you!

5 months ago 1 0 1 0

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

5 months ago 1 0 0 0

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

5 months ago 2 0 1 0

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

5 months ago 1 0 0 0
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)

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!

5 months ago 5 2 2 0