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…
That is basically the typical accounting equation without the Equity term [1], so I am confused how you handle opening balances. I think the problem with that scheme is that without some notion of debit/credit (or…
I don't think it really helps to use negative numbers (e.g. thinking of income as negative is very confusing). I started a discussion [1] on the PTA subreddit about a month ago about how to make PTA syntax more…
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…
That is basically the typical accounting equation without the Equity term [1], so I am confused how you handle opening balances. I think the problem with that scheme is that without some notion of debit/credit (or…
I don't think it really helps to use negative numbers (e.g. thinking of income as negative is very confusing). I started a discussion [1] on the PTA subreddit about a month ago about how to make PTA syntax more…
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’…