KSP Atlas

There was very little LLM-generated code in the first place, AFAIK it was just a couple pieces of build tooling?

The team seems to be working on their own solution to the GIF thing

They’re having issues with their email provider due to the hug of death effect, they did not expect to get so much traffic so fast

I guess it could be some language with a totality checker where the total keyword goes between the type and the name? Idris has a total keyword but it comes before