Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

At what point does it become computationally cheaper to just generate random elf binaries, test them against constraints, and iterate until they work as specified?


See 'genetic programming' for techniques that are sort of based on this idea. Typical approach is to have a problem representation (gene analogues) that can be used to create a population of different individual solutions. Test them all against a fitness function and retain those that are 'best' according to some metric. Then create (breed) some new individuals who have some of the characteristics of the winners, perhaps mutated somewhat, insert these into the population. Repeat until you have solved the problem or have a good enough solution.

Challenges (apart from the time taken) are coming up with a good enough gene representation that captures the essence of the problem, building an efficient fitness function, and avoiding local maxima - i.e. a solution that is almost but not quite good enough, but from where you can't breed a better solution.,


Yeah I vaguely remember learning about those in grad school because Minsky deigned to cross the Charles and guest lecture for that one. It always seemed like you had to embed so many expectations in the reinforcement discriminators that you were basically still writing the program, just in an obnoxiously inconvenient way. Though I suppose you could make the argument that this is what diffusers are.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: