phonicwheel

3 ms·

1. 1.▲
   by phonicwheel 9mo ago

   How is trading the actual BTC not also gambling on the price of BTC going up or down?
2. 2.▲
   by phonicwheel 5y ago

   Just in case you haven't tried that yet, increase the IDE's memory heap size. That solved the problem of sluggishness for me.
3. 3.▲
   by phonicwheel 5y ago

   Headline follows logically from "Does not need Go"
4. 4.▲
   by phonicwheel 7y ago

   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. Symbolic AI just means, well, AI with symbol
5. 5.▲
   by phonicwheel 7y ago

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

   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.
7. 7.▲
   by phonicwheel 7y ago

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