I used AI to verify the text of the post, but working with Beni has been fun, mostly because in the AI era the feedback loop makes a lot of difference. Otherwise you have to wait for ages to create things, like when using Rust for personal projects, which take a long time to compile. Even though the code in the end is fast, iterating on it kills the vibe, or it makes it hard because you need a lot of compute. And given the issues in the last few years with memory and computers being crazy expensive because of AI, having ways to iterate faster makes life a bit more pleasant.

It is also really good to focus on the problem and leave some of the things to AI, like proving that the ownership rules are sound with Lean, something I would maybe never be able to do without AI.