[%] 로직 수준에서의 자동화된 최적화가 정말 불가능할까?

[익명(1.240)]

소스코드 파싱한다음 트리에서 비효율적이라고 감지되는(어떻게 감지할지는 모름) 부분의 소스코드에 구멍을 뚫어놓은 다음

프로그램 합성으로 어떻게 해볼 수 있지 않을까

한마디로 쓰레기 코드에 구멍뚫고 코파일럿 돌리자는거임

[익명(59.11)]

https://deepmind.google/discover/blog/alphadev-discovers-faster-sorting-algorithms/
이런 거?

[익명(1.240)]

자동으로 코드 만들자는건 똑같은데 하고싶은게 조금 다를지도

[익명(1.240)]

조금 더 찾아보니까 Superoptimization이라는 단어가 나오는데 이쪽인것같음

[프로그래밍(nowadays3724)]

컴파일러 있는 언어들은 컴파일러가 대신해주니까, 인터프리터쪽도 대신해주는 뭔가가 있지않을런지

[프갤로(gotopg)]

이거완전 symbolic execution ㅇㅅㅇ

[익명(39.7)]

감지도 문제인디 최적화 이전/이후가 동일한 로직이라는걸 검증해야하는데 그게 될까

[익명(211.246)]

동일한 -> 동일한 작동을 하는

[익명(chartman)]

드립부터가 정지문제랑 비슷함 물론 잘모름

[익명(1.240)]

뭐만하면 정지문제라고 칼들고 협박하는 분야라고 생각하긴 함ㅋㅋ - dc App