Maksim Martianov's engineering blog

Maksim Martianov's engineering blog

Maksim Martianov's engineering blog

Data Races Are a Compile Error Now: GALA in July (0.63 -> 0.72)

Jul 28, 20269 min read

GALA in June: do-notation, applicative validation, and concurrent binds (0.56 -> 0.62)

Jul 5, 20268 min read

The Compiler Stopped Talking About Go: GALA in August and September (0.72 → 0.79)

Twelve releases moved GALA's errors out of generated Go and into your .gala source, then into JSON, the IDE, and a Claude Code plugin.

Sep 14, 202613 min read

From Zero to a Go Module on Bazel in One Sitting: Onboarding to GALA 0.53

Jun 14, 20268 min read

Productionizing the GALA Build Stack: rules_gala, a Real Toolchain, and Gazelle

Jun 5, 202610 min read

The State of GALA: May 2026

Eleven weeks, ~55 releases, and a new tagline: GALA hits 0.50.0 with cross-package generics, an LSP, and four new stdlib packages.

May 29, 20269 min read

Splitting the Brain: Plugin vs LSP

Why GALA's IDE runs on two processes and the sync contract that keeps them honest

Apr 14, 20267 min read

Dot Completion Without a Type Checker

Resolving receiver types from transpiler metadata when you don't have one

Apr 11, 20268 min read

The Type Information Problem

When your transpiler knows the types but your editor doesn't

Apr 10, 20266 min read

22x Faster Builds: Inside GALA's Compilation Performance Journey

How profiling, batch analysis, and content-addressed caching took multi-file compilation from 44.7s to 2.0s

Mar 29, 20266 min read

Building a Reliable Transpiler: Lessons from 80+ Bug Fixes

What breaks when you map functional programming onto Go's type system, and how testing infrastructure keeps it fixed

Mar 29, 20269 min read