Rust

“We have plans to move some of the, basically store the data in rust types after validation. Not convert to Python types. So then if you were doing like validation and then serialization, you would never have to go via a Python type. We reckon that can give us …”

“And we've essentially engineered an entire editor from an empty repo to up to about over a half a million lines of rust.”

“Mojo is not just a little faster than Python, it's faster than Rust. So it's like tens of thousands of times faster than Python, and it's in the Python family.”

“Warp is over a million lines of Rust code, and this is like, up until very recently, this type of agentic stuff just did not work in Warp because it's not built on any public UI framework, like we have our own internal UI framework, and so it really needs to u…”

“Chrome is written in Rust. It's fully multi-tenant. We have, we use object storage as a key Assistance tier and, like, data layer for Chroma distributed in Chroma Cloud as well.”

“So far we've still not found that really any AI coding tools are particularly good at rust though.”

“Yeah, multilingual, it's like nine languages across, like, 40 repos, but yeah, you got them, like, JavaScript, Rust, Java, C, you know, Ruby.”

“This is a crazy world where you can sit down over Christmas and write 30,000 lines of rust that, that is actually powerful and useful.”

“If you want proof to be informal math, It's very annoying, because then that's, like, just makes objective function. Your code is something like Python, your proof is, say, natural language, math proof. You will not have very strong RL kind of performance, rig…”

“The reason people don't do it is that it's not easy and it's not fun, right? It takes you like 10 or 20 times as long to like fight with the type checker, which is essentially like proving that you don't have a vulnerability as if, as it would if you just like…”