Over the years there has been a steady stream of people attempting to formalize Tao's Analysis I book in Lean, i.e. doing exactly what Tao is doing now (unfortunately none of them go beyond the first few chapters -- I…
I also made a theoretical calculation like this a couple of years ago [1]. I didn't answer the question "Can you memorize an infinite number of facts?" but rather the question "If you add a constant number of cards to…
Similar to the system gwern mentioned in a sibling comment, I have implemented a "spaced inbox" system [1] that shows me old notes that I have written. The idea is to encourage me to keep adding to and refining ideas I…
Adding to the point about visible poverty, there is also http://openborders.info/blog/the-border-as-blindfold/ , which quotes: "Migration controls serve as a blindfold, enabling Americans to ignore most of the poverty,…
Sure, that's reasonable. This is a specific "slippery slope to open borders" as discussed here: http://openborders.info/blog/slippery-slopes-to-open-borders... . The relevant "slippery slope" is: "Gradual expansion and…
See http://openborders.info/blog/immigration-trade-and-reciproci... . In particular: "Now, the analogy between trade and migration is far from perfect. But I think that on the issue of reciprocity, the economists’…
Over the years there has been a steady stream of people attempting to formalize Tao's Analysis I book in Lean, i.e. doing exactly what Tao is doing now (unfortunately none of them go beyond the first few chapters -- I…
I also made a theoretical calculation like this a couple of years ago [1]. I didn't answer the question "Can you memorize an infinite number of facts?" but rather the question "If you add a constant number of cards to…
Similar to the system gwern mentioned in a sibling comment, I have implemented a "spaced inbox" system [1] that shows me old notes that I have written. The idea is to encourage me to keep adding to and refining ideas I…
Adding to the point about visible poverty, there is also http://openborders.info/blog/the-border-as-blindfold/ , which quotes: "Migration controls serve as a blindfold, enabling Americans to ignore most of the poverty,…
Sure, that's reasonable. This is a specific "slippery slope to open borders" as discussed here: http://openborders.info/blog/slippery-slopes-to-open-borders... . The relevant "slippery slope" is: "Gradual expansion and…
See http://openborders.info/blog/immigration-trade-and-reciproci... . In particular: "Now, the analogy between trade and migration is far from perfect. But I think that on the issue of reciprocity, the economists’…