Now that Sync and Infinity are out, which do people prefer? Also, how do they compare to the existing lemmy apps?
Isn't the proof of this theorem like millions of pages long or something (proof done by a computer ) ? I mean how can you even be sure that it is correct ? There might be some error somewhere.
Or one could use dns.adguard