Just last night I had a frontier model nearly one-shot implementing associated types with fully passing tests in ts-go, mostly as a benchmark to see how far models have gotten. Obviously the next step is seeing if a model can design and implement the final boss that is higher kinded types 😈.

Can't for now because of Bazel but happy that this means project references are now supported!

Make sense, very cool. The third structure sounds similar to what I've read about Jujutsu mega-merges, but without the need for the explicit merge and `jj absorb`.

I see there's a link to another article about using GitButler with stacked branches, but the model of interacting with commits within a branch already resembles stacked diffs. Should we just be able to generalize this ad infinitum with arbitrary levels of metastacks?

This is the kind of crossover I like to see

I'm sure there's one running on blockchain

Yes, but only after github.com/microsoft/Ty...
:)

You can build a mental model and perfectly predict what the typechecker will do.