Viewing profile — IssaRice

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 …

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 …

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

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

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 …

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

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 "slip…

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