@iceloops I disagree with at least that
Some thoughts on extending the Thiel classification by a third axis: https://niplav.github.io/qualia
@typeswitch carefully boosting this because I don't understand yet
might be misinfo
@empathy2000 :-//////
@ayegill 2nd one has stars
i guess
@demofox Yes! O(log(log(n))) runtime, excellent
@typeswitch
Primality tests:
* Fermat Primality test, then
* Sieve Eratosthenes
* Pocklington's test, then
* the AKS test
@axiS respect, I didn't get anyone to pay me money as a counterfactual mugger
@WomanCorn
We maintain that the second thing is also hard[1], though maybe not as hard[2][3] (unsolved as of yet)
[1]: https://www.gwern.net/Tool-AI
[2]: https://arbital.com/p/corrigibility/
[3]: https://arbital.com/p/hard_corrigibility/
I operate by Crocker's rules[1].