Viewing profile — sroelants

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 o…

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://…

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…

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 o…