Viewing profile — gsps
gsps
HN member- Joined
- Thu, Jul 10, 2014, 9:20 AM UTC
- HN karma
- 3
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About gsps
No profile information was provided.
Recent public activity
-
comment
Comment #14818880
As far as I understand, their approach is exactly that, i.e., another target language for extraction. Synthesis is a bit of an overloaded term.
-
comment
Comment #8014413
If you're interested in declarative programming, you should also have a look at answer set programming. Here's an ASP version of the problem that additionally requires prime factor…