ohdearlordylord

Igor

Last time , I modeled a single D&D character. One creature, standing alone in the void, tracking hit points, conditions, and spell slots. The Quint spec (a formal modeling language) for that was around 6,000 lines. Now I added combat. Not just "a Fighter

import { VerificationChain } from "../../components/VerificationChain"; Update: the follow-up is out - Model-Based Testing for Dungeons & Dragons . Battle system, interrupt chains, and the bugs MBT found overnight. I'll do anything to avoid learning table

The Code Review Frustration Another day, another slop. Chasing 10x productivity, you run several Claude code agents simultaneously and push code with blazing fast ferocity. No juniors left on the team - they just couldn't catch up. This morning, walking i

center Mindfulness in Typescript code branching. Exhaustiveness, pattern matching, and side effects. big 1/2: "Exhaustive absurd", Or how to if/else /big Written by Igor Loskutov. Originally published 2024-01-09 on the Monadical blog . /center This is par

center Typescript Validators Jamboree big A Fair(ly cruel) Review of Typescript Validation Libraries /big Written by Igor Loskutov. Originally published 2024-08-21 on the Monadical blog . /center Motivation Lots of validator libraries exist and pop up reg

What so negative about it? Negative Space programming is a new term for an old concept that has managed to captivate the industry's attention thanks to recent popularisation by certain influencers. It's a very cool name indeed: There's a term in drawing c

center big A motley of functional techniques to allow isomorphic and deterministic graph generation /big Written by Igor Loskutov. Originally published 2023-12-05 on the Monadical blog . /center Problem scope We've all been there. You take your introverte

center 50 Shades of Rust big Or emerging Rust GUIs in a WASM world /big Written by Igor Loskutov. Originally published 2023-04-26 on the Monadical blog . /center GUI in Rust progresses with unprecedented speed - 3 months in Rust GUI-land is like 3 years i