atsmyles

4 ms·

1.
by atsmyles 10mo ago
Intel should go back to where they started and return to the memory business.
2.
by atsmyles 1y ago
Related to PA consistency, it can be proven in PA. https://youtu.be/6pjLmmkZnIA
3.
by atsmyles 2y ago
-0 is a notation for 1 / -infinity, so it is distinct. For addition it is not.
4.
by atsmyles 2y ago
I'm fine with the idea of "fair source", but not the name. It should be named for what it is, "ajar source".
5.
by atsmyles 2y ago
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
6.
by atsmyles 3y ago
Analysis and video: https://www.youtube.com/watch?v=qZbUXewlQDk
7.
by atsmyles 3y ago
Why not just add views?
8.
by atsmyles 4y ago
Thank you for Jitsi. I use it all the time.
9.
by atsmyles 4y 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 othe
10.
by atsmyles 4y ago
Just install wireguard yourself. With Bullseye on the RPi, it is easier than ever. There is a learning curve, but it is worth it.
11.
by atsmyles 4y 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.
12.
by atsmyles 5y ago
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&#
13.
by atsmyles 5y ago
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
14.
by atsmyles 5y ago
Jeff has it covered (It's coming soon): https://www.youtube.com/watch?v=gJFsZL5CTgM
15.
by atsmyles 5y ago
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 sho
16.
by atsmyles 5y ago
"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?
17.
by atsmyles 5y ago
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 B
18.
by atsmyles 5y ago
No, you just don't understand the argument. Copyright is not a EULA.
19.
by atsmyles 5y 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 m
20.
by atsmyles 5y ago
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 addressin
21.
by atsmyles 5y ago
Larry Masinter gave a presentatation recently about Interlisp. https://youtu.be/x6-b_hazcyk
22.
Larry Masinter, the Medley Interlisp Project(youtube.com)
2 points by atsmyles 6y ago|0 comments
23.
by atsmyles 6y ago
Hey Terence Tao, you might be a great mathematician but Ingo Ullisch is the GOAT!
24.
by atsmyles 6y ago
Use Jitsi ( https://jitsi.org ). You can find people to host or host your own. Open Source. No downloads for participants. try their instance meet.jit.si
25.
by atsmyles 7y ago
Does Savvy provide plans with Health Savings Accounts?
26.
by atsmyles 7y ago
According to your link, backblaze hardware costs are around 10x cheaper than OP's estimate. $2.56 per TB (based on .05 per GB) vs $25 per TB.
27.
by atsmyles 7y ago
With all due respect to the author, I followed the r7rs standardization closely, and disagree with his bottom lines. 1. On the number argument: Even the author acknoweldges that R6RS is twice as large. Regardless of the fact that the standa