Software Engineer in Security at Snowflake | Ex-Twitter, Route4Me, and others
Currently building GALA -- a functional programming language that transpiles to Go.
- Blog: martianov.dev
- GALA: gala.fyi
- Playground: gala-playground.fly.dev
| Project | Description |
|---|---|
| gala | GALA programming language -- sealed types, pattern matching, generics, type inference. 46 releases, 216 tests. |
| gala-playground | Web-based GALA editor with live transpilation. Try it at gala-playground.fly.dev. |
| gala-server | Immutable HTTP server library -- 35+ composable filters, builder pattern, zero-reflection JSON. |
| gala-tui | Functional, Elm-architecture TUI framework written in GALA -- immutable widgets, differential renderer, async runtime, mouse, markdown, themes. |
| gala-team | Multi-agent Claude CLI orchestrator -- a Team Lead delegates to Engineers and QAs, reviews work, hands you a PR for sign-off. Written in GALA with gala_tui. |
- Splitting the Brain: Plugin vs LSP
- Dot Completion Without a Type Checker
- The Type Information Problem
- The State of GALA: March 2026
- 22x Faster Builds: Inside GALA's Compilation Performance Journey
- Building a Reliable Transpiler: Lessons from 80+ Bug Fixes
- samber/lo Has 21K Stars. Here's What It Would Look Like as a Language Feature
- Library vs Language: Two Approaches to Functional Programming in Go
- Pattern Matching in Go: Sealed Types and Exhaustive Matching for the Go Ecosystem





