The subsidy was not to bring Amazon to Manhattan, it was to bring Amazon to Queens. The only reasonable places to commute to it is if you lived in NYC or Long Island, so most of the subsidy would have been paid back via taxes by the people working there. This doesn't include the construction jobs, restaurant and bar businesses, and real estate taxes that would be collected in the long term after the subsidy expired. I do agree that AOC represented NJ, Connecticut, and Amazon's long term interests very well. Her district, not so much.
> The moment that reward becomes a currency, and is traded for U.S. dollars, it leaves the domain of just being software. Banning that is quite different from banning the software per se.
That would make Eve online, Second Life, and other games illegal since people trade their digital assets all the time
>Comparing Bitcoin to free software seems similarly disingenuous.
Stock splitting isn't dilution. It is the equivalent of breaking a $10 bill into 2 $5 dollar bills. Dilution is just printing more $10 bills aka inflation.
0. Adafruit cannot raise prices of rpis due to contract.
1. Adafruit makes the same amount of money regardless of who buys the product.
2. It is in the incentive of Adafruit to increase it's customers good will. It is considered an asset for Adafruit (Companies account for this via 'Good Will').
3. People generally don't like scalpers, "Scalpers bad"
4. By providing means to avoid scalpers, they are capturing some of the profit that scalpers would be making and converting it to a 'Good Will' asset, "Adafruit Good"
No/No/No definitively. Dates without times are ranges. If one person is born on 2022-06-01 12:00:00 and another person was born on 2022-06-01 13:00:00 then they have the same birthday 2022-06-01. It follows, that if you know that 2 people are born on the same day such as 2022-06-01, then it is unknown if they were born on the same time. So adding a default time to a day (such as 00:00:00) is nonsensical.
I was imagining having a fully automated kitchen in my apartment, but just like autonomous cars, ownership doesn't make sense. Add to customizations of also choosing the ingredients (local vs global, organic, etc), why bother to go shopping and learning to cook. Like driving, there would still be people that have kitchens at home for which cooking is a hobby. It just wouldn't be necessary for the majority of the population who just want "home cooked meals" without the work or waste of doing it from home.
"In fact, Turing completeness can be achieved with as few as two intrinsics", are you referring to the SK combinators, or in terms of the intrinsics in your language?
I'm still learning Cat theory myself (through the Category for Programmers book). I have a couple of questions/observations (that I would love your opinion on).
First observation: True and False are the limit and co-limit of the Bool Category.
Question 1: About ordering, would you say that ordering is a requirement (as in a necessary property) of Cat Theory? It was mentioned in Bartosz Milewski's book but it wasn't as strongly emphasized as in your article.
Question 2: You mention how you can't express "A or not A" using intuistic logic. Since it is expressible in Set Theory, could we not use an Adjoint between the Bool and Set Categories respectively? Specifically Kan extensions?
This is true. Period. Controlling the use of software is always not free. If I made a project with a license that said that anyone can use the software except for those who control the use of their software, I wouldn't be able to use my own software. As far as the developer goes, you can license your code however you like. But don't claim the moral high ground. These non commercial licenses are no different than proprietary software.
I use .lan and will continue to do so. .home.arpa is fine for 1 lan, but if you want to connect to multiple lans, it no longer works well. Add to the fact the amount of typing. .lan should be reserved so that people can use it for addressing multiple local area networks. We already have .local for mDNS which is perfect for the single lan setup. If they won't do it de jure, then users like myself will make this standard de facto.