AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
The End Game of Programming Synthesis
The end game of programm synthesis, you kaind of remove. What now is, what a developer is, is a person who takes human intent and turns it into something that the machine can execute. And at what level of abstraction can this synthesis get to? Like right now it's t like three lines of code or like, down in a function. But is the end game for synt is like to go higher and higher level to where i can describe? Maybe i'm writing the user story, and that's all i have to write. I don't think so. A lot of progaming is actually discovering the speck.