Viewing profile — phonicwheel

How is trading the actual BTC not also gambling on the price of BTC going up or down?

Just in case you haven't tried that yet, increase the IDE's memory heap size. That solved the problem of sluggishness for me.

Headline follows logically from "Does not need Go"

Good article, but there is a frequent misconception of Symbolic AI as "manual creation of lots of rules". This was true for early approaches, such as expert systems in the 70s/80s.…

There are also probabilistic SAT solvers for cases where there isn't just one true logical answer, e.g., https://github.com/MatthiasNickles/delSAT

While the syntax of Answer Set Programming is similar to Prolog, inference in ASP is closer to SAT solving, and ASP solvers are typically extensions of SAT solvers.

and there's also this: https://github.com/MatthiasNickles/delSAT