Hacker News Reader

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.

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.

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.