News for hackers. Stuff that matters.

A comment on CVE-2021-32471 – Input validation in Marvin Minsky 1967 Turing Machine. Parent comment

Re:CVE-2021-32471 – Input validation in Marvin Minsky 1967 T... by UncleMeat on Monday May 10, 2021 @11:38AM (#27107218)
A useful subset of SQL is not turing-complete and is suitable for meaningful computational tasks. Datalog is also not turing-complete and is similarly useful.
[ Parent | on HN ]
Re:CVE-2021-32471 – Input validation in Marvin Minsky 1967 T... by qsort on Monday May 10, 2021 @11:46AM (#27107326)
Sure, more examples are CSP solvers and AMPL. They are all somewhat specific though. I was wondering if it would be possible to make one that's "general purpose" in the same sense you call programming languages "general purpose", i.e. one you'd write application software in.
[ Parent | on HN ]
Re:CVE-2021-32471 – Input validation in Marvin Minsky 1967 T... by UncleMeat on Monday May 10, 2021 @11:54AM (#27107438)
Datalog would be the closest I can think of. A bunch of static analysis engines are implemented in it.
[ Parent | on HN ]