Monty

“Monty has the TY type checker built into it. So before it will go and run any code, It's running type checking with these type stubs.”

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

“There's no support for third party libraries just to be installed. There never will be directly as, and you'll never, we'll never be able to speak the C Python ABI and like install Pydantic or install NumPy or something.”

“I mean, in a hot loop, we can run, we can go from code to execution result in under a microsecond in like 800 nanoseconds. In reality, it's like single digit microseconds to run code or single digit microseconds to run the next step of a REPL or single digit m…”

“My take is that there are four, four things where if you can cover all four of these things, LLMs are not like three X faster or five X faster. They're like a hundred X faster.”