A Sturdy Magic Hedgehog
@aussiedingo.bsky.social
I try to be woke and progressive like Jesus was.
Meanjin Land
Meanjin Land
Reposted by A Sturdy Magic Hedgehog
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...
Eventual consistency, I guess. :)
johnazariah.github.io/2026/02/08/o...
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.
johnazariah.github.io
February 8, 2026 at 9:06 AM
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...
Eventual consistency, I guess. :)
johnazariah.github.io/2026/02/08/o...
Reposted by A Sturdy Magic Hedgehog
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
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
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...
johnazariah.github.io
December 12, 2025 at 3:41 PM
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
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!
December 9, 2025 at 12:30 PM
Ahh you were ray tracing!
It me. I feel seen.
December 3, 2025 at 1:33 PM
It me. I feel seen.
Happy to take #2512
November 24, 2025 at 1:49 PM
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!
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!
November 22, 2025 at 8:45 PM
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!
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!
November 22, 2025 at 5:45 AM
Yummy treats as well, please. And thank you!
November 21, 2025 at 12:46 PM
Yummy treats as well, please. And thank you!
not even remotely theologically correct, even... :D
November 21, 2025 at 3:53 AM
not even remotely theologically correct, even... :D
what a complete load of cobblers that poem is! :D
November 21, 2025 at 3:45 AM
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
I wonder how her tiny little brain would explode if she realizes they are more formally known as "Hindu-Arabic numerals" :D
November 21, 2025 at 1:33 AM
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
I wonder how her tiny little brain would explode if she realizes they are more formally known as "Hindu-Arabic numerals" :D
What happens when you're a racist ignoramus!
November 21, 2025 at 12:14 AM
What happens when you're a racist ignoramus!
*wave* erm hi! :)
November 20, 2025 at 11:18 PM
*wave* erm hi! :)
am I on this alleged list? :D
November 20, 2025 at 11:17 PM
am I on this alleged list? :D
I know...dynamite :D
November 20, 2025 at 11:17 PM
I know...dynamite :D
do what I always do after failing at Kusto....ask Mr Holliday :D
November 20, 2025 at 11:16 PM
do what I always do after failing at Kusto....ask Mr Holliday :D
Ejumacayshun shmejumacayshun, right?
November 20, 2025 at 6:01 AM
Ejumacayshun shmejumacayshun, right?
Thanks for that. I always get them confused!!!
November 20, 2025 at 12:08 AM
Thanks for that. I always get them confused!!!
Was it Archie Gemmell? 😂😂
November 19, 2025 at 11:00 AM
Was it Archie Gemmell? 😂😂
Bet she gives the best cuddles 😍😍😍
November 19, 2025 at 10:05 AM
Bet she gives the best cuddles 😍😍😍
Reposted by A Sturdy Magic Hedgehog
Look, we're going to be trying to come up with a catch-all name for this group of scoundrels, and based on the emails we've seen, might I suggest "Illiterati"?
November 12, 2025 at 10:45 PM
Look, we're going to be trying to come up with a catch-all name for this group of scoundrels, and based on the emails we've seen, might I suggest "Illiterati"?
One of the highlights of my run at Dartmouth :)
November 12, 2025 at 2:57 PM
One of the highlights of my run at Dartmouth :)