Latest News
⚑ Report a ProblemTech news from the best sources
Building an Adaptive Chess Trainer with Typelevel Scala and Tyrian
A web application with heavy domain logic involves a surprisingly high amount of state to manage. In a chess puzzle trainer, you have the state of t…
Representing Music with Code
Chordal: a Scala DSL for music theory Another post about my previous DSL experiments. This time, the target was a different hobby of mine: music. Ch…
One Stack Machine, Two Runtimes: Cross-Validating Scala and Perl with a Shared JSON IR
This follows up on Mainframes, Monads, and Stack Machines . Short version of that post: we model computation as a small stack machine whose programs…
Registers, Lanes, and Berry Phase: Lifting Siunertaq from Batch Graphs to the Complex Plane
The previous article is here: Mainframes, Monads, and Stack Machines: Extending Siunertaq to the Batch Layer This is the second follow-up to Dhall-t…
Why I made OR-Tools prove it was better than the deterministic dispatcher
Dispatch optimization needs a lower bound before it needs a clever objective. In the first real OR-Tools integration, the solver selected fewer assi…
Dhall-to-Effect: Provably Safe Task Orchestration via Total Functional Configuration and Purely Functional Runtimes
ᓯᐅᓇᕐᑕᖅ — Inuktitut for "that which lies ahead; a purpose" 🗣️ On the Name Full disclosure: I named this repository at 2 AM, which is probably when mo…
CLAUDE.md for Scala: 13 Rules That Make AI Write Idiomatic Functional Code
CLAUDE.md for Scala: 13 Rules That Make AI Write Idiomatic Functional Code You ask Claude to "add a Subscription service that calls Stripe" inside y…