sroelants

6 ms·

1. 1.▲
   by sroelants 6mo ago

   I mean, it still is. Now it just has a really good neural net-based eval function. Don't be fooled: it's not that stockfish just has "a really good eval function", and that's the only thing that makes it as strong
2. 2.▲
   by sroelants 11mo ago

   They use scammy providers like Bright Data[1] that let app authors embed their malware (for a compensation, I'm sure) which turns users' devices into crawler proxies. [1]: https://brightdata.com/trustcenter/so
3. 3.▲
   by sroelants 1y ago

   The rules that you use to compose axioms and propositions are a different set of axioms defined by the Logic system you're using. e.g., can a proof consist of infinitely many steps? Can I use the law of excluded middle? Some logic syst
4. 4.▲
   by sroelants 2y ago

   This convention of units is called "natural units", and it also sets a bunch of other units to be 1, depending on the flavor (planck's constant, boltzmann's constant, etc...) Not only does this clarify the relationships,