@azariah.bsky.social
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...
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