Coding as a Game of Probability(robertmaple.co.uk)
robertmaple.co.uk
Coding as a Game of Probability
https://robertmaple.co.uk/coding-as-a-game-of-probabilities/
4 comments
Software and mind: the mechanistic myth
Looks interesting. Anything in particular from it that you think relates to my comment?
Program synthesis from formal specs is doomed to fail if im interpeting the books mechanistic myth correctly
What looked interesting in there to you?
What looked interesting in there to you?
I think this is the correct way to think about automated coding. The natural question is: why are we using a statistical model to control this search, and not a symbolic model?
Modern SAT and SMT solvers are excellent at searching spaces. There has already been work on biasing them with machine learning. Symbolic models for control, statistical models for bias. We should be thinking about how to apply this idea to practical, industrial software engineering tasks. There is already some work on program synthesis from formal specifications, but it has yet to scale.