| ▲ | bloaf an hour ago | |
I feel like this is the exact opposite of the conclusion I've been coming to. In an age where anyone can vibe code stuff at the drop of a hat, I want the ability to assert guarantees/contracts at a high level, and then let AI work out the details. I want to force AI to work within the confines of an abstraction, not independently of it. | ||
| ▲ | eru 14 minutes ago | parent | next [-] | |
Yes. Compare also https://www.khoury.northeastern.edu/home/cmartens/Courses/74... where the abstraction itself mechanically enforces certain guarantees and contracts. | ||
| ▲ | winter_blue 13 minutes ago | parent | prev [-] | |
> I want to force AI to work within the confines of an abstraction, not independently of it. Yes, this is the way. We need programming languages that make this easier. | ||