Overview
News
Technologies
Salaries
Products
People
Growth
Offices
Financials
Overview
Oh dear lordy lord (function(){const strategy = "button";const defaultTheme = undefined; const themeSwitch = document.getElementById("astro-color-scheme-switch"); const theme = localStorage.getItem("theme"); const themeMatcher = window.matchMedia("(prefers-color-scheme: dark)"); let systemTheme = themeMatcher.matches ?
News
Report
Model-Based Testing for Dungeons & Dragons
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
Read more
Report
Formally Specifying Dungeons and Dragons rulebooks
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
Read more
Report
Vibe code isn't meant to be reviewed: how to stay in control of codebase and not lose vibe code productivity boost
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
Read more
Report
Mindfulness in Typescript code branching. Exhaustiveness, pattern matching, and side effects. 1/2
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
Read more
Report
Pro access
Upgrade to see all 9 mentions
Upgrade to a paid plan to read every media mention of this company - funding news, awards, product launches and press releases from all the outlets writing about it.
Every media mention and press release
Funding news, awards and product launches
Fresh coverage from every outlet writing about the company
Upgrade now
Cancel anytime. Secure checkout. Instant activation.