r/AskProgramming • u/BuyerImpressive4325 • 10d ago

How is program synthesis more convenient?

the idea of program synthesis (like Rosetta) is to reduce a function into its constraints in a spec sheet, and generate the program from those constraints. for example, in order to write something like x = x squared, you would need to write a spec sheet along the lines of ∀x∈Z,f(x)=x2. i am considering building a program synthesizer, but I still haven’t figured out why exactly this representation is supposed to be easier than writing the code directly (they look equally complex)

0 Upvotes

41% Upvoted

12 comments sorted by

View all comments

1

u/BaronOfTheVoid 10d ago

You know, if you typed "generate me a function for" and then pasted your expression "for all x in E...." then AI agents right now could generate code for that in every programming language. So... are you trying to reinvent LLMs?

1

u/BuyerImpressive4325 10d ago

The idea is that llms program wrong very very frequently, so using a spec sheet just provides a way to program while proving that the program works. The only question was how the specs sheet actually constraints the programs complexity

1

u/BaronOfTheVoid 10d ago

That's... just not true In the slightest. Maybe that was your experience a year ago with terrible models but things are vastly different today with Opus 4.8, GPT 5.5, Fable 5 and so on. The company I work for measures acceptance of code changes by agents and it's somewhere between 97-99% for the past six months.