Viewing profile — quasisphere

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

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

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

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 …

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

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 …

338 * 2 = 676, which is between 440 and 880

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 …

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

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