Rust

“And he had the model rewrite it from Zig to Rust. It was one prompt. It was a dynamic workflow, and a dynamic workflows are a feature in quad code that essentially let you orchestrate, you know, dozens, 100,000 of agents to do work productively. And it ran for…”

“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…”

“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…”

“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.”

“I think the sort of gap between, say, for example, Lean and another, like, strongly typed language like Rust is a lot closer than the gap between Lean and English.”

“Models are extremely good at Rust and Python. They've done a lot of RL on them. They have not done as much RL on Verilog. They've done almost none on, okay, write, write me a markdown file that describes a chip architecture.”

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

“I think anything that does like either automatic security analysis or automatic verification, I think actually like languages like rust, things that have stronger guarantees around safety by default, where you don't need to rely on like a human reviewer become…”

“And so what we ended up doing instead of that was like basically posting on Hacker News that we were building this new terminal. It was built in Rust. It had all these features. We posted it with a waitlist, just like sign up, give us your email if you're inte…”

“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.”

“It is not as impactful right now on writing Rust code or C or go whatever as it is on JavaScript and Python and higher level languages.”

“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…”

“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.”

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

“We have the machine language layer, you know, which is Python or Ruby or Rust, right? Those are effectively abstractions of the chipset and the machine instruction set. And that's the last layer that's deterministic, right? Like programming language inherently…”

“I think there's going to be a next programming language after Python and TypeScript and Rust and Rust in itself, you know wasn't really a thing five years ago. And then, so there's going to be more languages that are probably closer to human language and to be…”

“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 …”

“CeruleDB, the entirety of CeruleDB is built in Rust.”

“And so, we made the decision to completely rewrite the entire codebase from Golang into Rust.”

“What you'll see with other databases is they then design parts of it in Rust, and then gradually more and more that becomes Rust over time, and maybe some of it doesn't, but it's much easier when you go forward from the basis of everything is built in Rust.”

“We decided to rewrite the whole thing in Rust because that gave us the guarantees A better language. Performance wasn't really the key, but enabling us to do other things with the language that we just couldn't do and go.”

“A JavaScript developer just won't care if you support Golang or Rust, but will absolutely care if a key feature like automated package upgrades just isn't available for their ecosystem.”

“I believe that in the future you'll have your resume on chain, and you'll be able to apply at a job, and then within 60 seconds get that job, because, you know, those people know that you are great at Uniswap, or you understand how to code in Rust, or Solidity…”