WingNews logo WingNews GitHub [2]

atsmyles's comments

atsmyles | 1 year ago

-0 is a notation for 1 / -infinity, so it is distinct. For addition it is not.

atsmyles | 1 year ago | on: Amazon HQ2 was supposed to add jobs last year. It shed them instead

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.

atsmyles | 2 years ago

Why not just add views?

atsmyles | 3 years ago

> 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.

Bitcoin is free software. https://github.com/bitcoin/bitcoin

atsmyles | 3 years ago | on: Tailscale raises $100M

Just install wireguard yourself. With Bullseye on the RPi, it is easier than ever. There is a learning curve, but it is worth it.

atsmyles | 3 years ago

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.

atsmyles | 4 years ago | on: Adafruit requires 2FA to prevent bots buying out Raspberry Pi

This is true. However, it is not the whole story.

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"

5. 'Good Will' + money > money

Thank you for participating in economic analysis.

atsmyles | 4 years ago | on: The Kobayashi Maru of comparing dates with times

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.

atsmyles | 4 years ago | on: Robotic Kitchen Automation Levels

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.

atsmyles | 4 years ago | on: Category Theory Illustrated – Logic

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?

atsmyles | 4 years ago

No, you just don't understand the argument. Copyright is not a EULA.

atsmyles | 4 years ago

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.

atsmyles | 4 years ago | on: What domain name to use for your home network

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.
page 1
more