Viewing profile — atsmyles

Intel should go back to where they started and return to the memory business.

Related to PA consistency, it can be proven in PA. https://youtu.be/6pjLmmkZnIA

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

I'm fine with the idea of "fair source", but not the name. It should be named for what it is, "ajar source".

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 th…

Analysis and video: https://www.youtube.com/watch?v=qZbUXewlQDk

Why not just add views?

Thank you for Jitsi. I use it all the time.

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

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

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.

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 pro…

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 birth…

Jeff has it covered (It's coming soon): https://www.youtube.com/watch?v=gJFsZL5CTgM

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 ingredient…

"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: …

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

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…

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

Larry Masinter gave a presentatation recently about Interlisp. https://youtu.be/x6-b_hazcyk

Hey Terence Tao, you might be a great mathematician but Ingo Ullisch is the GOAT!

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

Does Savvy provide plans with Health Savings Accounts?