Back to Nix again? I remember one of their employees had a great video series on it, but then they stopped using it because it was too complicated.

Yeah, they gave a talk about it at NixCon last year:

https://talks.nixcon.org/nixcon-2025/talk/UPHTPD/

https://www.youtube.com/watch?v=rYzjKCIqUVk

I don't remember all of the details, so if you're curious you should watch the talk. :)

But IIRC the main points that differentiated this new effort from the old one were that (1) there was buy-in from the very top of the company, (2) they took a more incremental approach where the old one was more all-or-nothing, and (3) they tackled the edge cases and hardest repos first.

The talk includes some info about the failings of their first effort as well. It's worth a watch.

Oops, I linked to the original (2019) talk above. Here's the new one: https://www.youtube.com/watch?v=ogW7UL1Jxm4

good for the team, bad for the community.

but the community still gets the source code, kudos to the Garnix team!

Good point. Really graceful way to transition, and it definitely offsets the loss. Maybe in some ways it'll end up being a net gain, who knows?

Yeah. I'm happy for them. But I'm also sad, because clouds are awful in terms of the way they handle state, and Garnix was paving the way towards something better.