Последние новости

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…

Escape IntelliJ: Scala and Kotlin LSPs on Emacs Eglot

Scala on Go

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…