Hacker News Reader

Comment by coliveira | Hacker News Reader

The important thing is to realize how much programming has been wasted solving problems that can be easily expressed as logic programming and/or integer programming. If you need to solve logic and combinatorial based problems, learning these techniques will save you hundreds of hours.

View on HN

Sounds interesting. Could you give a specific example?

Say, in a SaaS web app that provides a comments widget (a Disqus clone), what behavior (user facing or behind the scenes) would be a good candidate to implement with logic/integer programming?

I have a hunch this might be about the difference between "programming" and "coding". Web stuff, Hardware, and other things that don't get to just communicate with other programmers or programmers have a tendency of piling layers upon layers with custom glue and pipes everywhere.

There could be library of UI primitives and backend in logical language, then you would write declaration of what you want exactly:

- I want window of these size, with such controls

- when this button is clicked, text from this control appears in that DB column

and system figures out all details making it cross platform, fault tollerant, etc if all infra is coded on that platform

I have a vague recollection about that kind of a declarative UI framework, but I can't remember a single detail. But it's definitely an interesting idea and I know there are other folk out there also interested in your idea.

AWS uses a SAT solver (Z3) to resolve permissions.

I can see miniKanren (or some other logic programming language) being helpful in the realm of authorization.

Reply on news.ycombinator.com