IssaRice

6 ms·

1.
by IssaRice 1y ago
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 hope Tao can go f
2.
by IssaRice 2y ago
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 An
3.
by IssaRice 2y ago
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 equivalently, transac
4.
by IssaRice 2y ago
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 intuitive, and someone s
5.
by IssaRice 3y ago
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 have (but o
6.
by IssaRice 12y ago
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
7.
by IssaRice 12y ago
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" i
8.
by IssaRice 12y ago
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’