7 ms·Cool! I've reached out to the guy who maintains Tiktoken to talk about this.by matthewolfe 1y agoCool! I've reached out to the guy who maintains Tiktoken to talk about this.