very bullish on Bend, this is exactly what ive been trying to do in other languages, but you can only get so far with weak type systems and lint rules.
when you have a codebase that can formally verify itself, you can ship at an incredible pace. code review is solved
not on my most optimistic dreams I expected someone to "get it" as much as Giulio does and yes that's the point today models are already incredibly capable, and...