Hacker News new | comments | show | ask | jobs | submit login
Synthesizing Constants (regehr.org)
55 points by ingve 8 days ago | hide | past | web | favorite | 1 comment





> In this piece I want to discuss an aspect of program synthesis that sounds like it should be easy, but isn’t: synthesizing constant values.

Funny, I had always thought of it this way: I was expecting that the compiler engineers had just hardcoded a couple of constant synthesis rules and left it at that.




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

Search: