785 karma · joined October 24, 2018
Racket starts with arbitrary precision rationals.
https://www.youtube.com/watch?v=WabHm1QWVCA
I mention him because I would think he sympathizes with those who have concern over the meaning of this kind of notation.
I wonder what about generator functions?
Now that YouTube is used by people of all ages, Google has to make social and political decisions about what kind of content is appropriate for different ages.
https://www.supremecourt.gov/opinions/19pdf/18-5924_n6io.pdf
Similarly, different classes of vehicles get different licensing requirements; saying all cars are the same is just lazy, and a regulation meant for big risky entities being applied to small ones is what we call regulation moats. We have enough pet owners that we should be able to quantify risks and burdens for the purpose of licensing. Here we have an article which provides empiricism on the community burden from cats.
Owning any equipment or process with bad waste or ecological burden should also require extra licensing under the same rationale.
Trust is bigger than big.
> You will have chunks of time to work. But you can't let work spill promiscuously through your whole life, like I used to before I had kids. You're going to have to work at the same time every day, whether inspiration is flowing or not, and there are going to be times when you have to stop, even if it is.
> I hate to say this, because being ambitious has always been a part of my identity, but having kids may make one less ambitious. It hurts to see that sentence written down. I squirm to avoid it. But if there weren't something real there, why would I squirm? The fact is, once you have kids, you're probably going to care more about them than you do about yourself. And attention is a zero-sum game. Only one idea at a time can be the top idea in your mind. Once you have kids, it will often be your kids, and that means it will less often be some project you're working on.
This is a mild argument for generality of competence.
> Why do you use the word "we"? I wasn't directing my comment to you.
Indeed this is a communication mystery.
That instinct to double check makes me go “Oh well let’s just use Google.”