Full threadkubb·Maybe they could do typechecking using an LLM agent? I'm sure they'd fund a team for that.View on HN