quasisphere

4 ms·

1.
by quasisphere 2mo ago
(Sorry for the long post, but yours brought me thinking about a bunch of different aspects.) First of all, I did not mean to downplay elegance at all. I agree that elegance is very important and that math is very much about trying to find e
2.
by quasisphere 2mo ago
I actually noticed after I posted that I should have said 'by individuals at pace not too different from writing down a standard prose proof' or something similar to address this point. Mathlib for instance is of course a phenomen
3.
by quasisphere 2mo ago
Agreed. In addition I think a big reason why we are discussing formalization so much at the moment is that it has only recently become viable to do large scale formalization of mainstream mathematics, using LLMs. These same LLMs will make i
4.
by quasisphere 3mo ago
Thanks for sharing, this was interesting to read! I wonder if the approach in the "How to win clone wars" section would also work to limit the number of accounts one can have on a given service (the article seems to rather conside
5.
by quasisphere 4y ago
Just to make sure that people understand the clarification correctly: This is about upstreaming the work by Asahi Linux team. In particular, Linux on Apple Silicon macs is quite usable already if you use their own Arch-based distribution wh
6.
by quasisphere 4y ago
Here's sketch how to construct such a function: Let's start by defining f on Q (the rational numbers) by first splitting Q into countable number of disjoint dense subsets A_n of R (e.g. look at reduced fractions whose denominators
7.
by quasisphere 5y ago
338 * 2 = 676, which is between 440 and 880
8.
by quasisphere 5y ago
I think what could be worth exploring is progressive energy taxing. Basically let each individual consume a certain amount which is needed for living a normal life, but tax energy usage exceeding that increasingly heavily. On top of this ba
9.
by quasisphere 5y ago
Perhaps a bit misleading title since the predictions were mainly (with a few exceptions) about the future of music industry instead of music itself. It is an interesting question how much music itself can advance while still staying enjoyab
10.
S.Korea fines Google $177M for blocking Android customisation(reuters.com)
267 points by quasisphere 5y ago|91 comments
11.
by quasisphere 5y ago
I think one aspect of climate engineering that I don't see discussed very much is who is allowed to do that: Is a single country permitted to make decisions that affect the whole globe? Who decides how hot/cold the earth should be