git restore is a pretty new command AFAIK. Those of us who learned git before its existence have probably stuck to the old ways of git reset --hard.

“Introduction to the Theory of Computation” by Michael Sipser, a book commonly referred to as simply “Sipser”. My ToC course in uni was based around that book and while I didn’t read the whole thing I enjoyed it a ton.

“Introduction to the Theory of Computation” by Michael Sipser, a book commonly referred to as simply “Sipser”. My ToC course in uni was based around that book and while I didn’t read the whole thing I enjoyed it a ton.

Sipser is an absolute banger of a book though.

You clearly have no idea what you’re talking about. Python is strongly typed. What is is is dynamically typed, also known as “duck typing”.

None of those points demand the removal of the headphone jack as a compromise.

It’s still more waste. An adapter is a bigger use of materials, extra cost, and another point of failure. Hardly a sound decision for a self-proclaimed “sustainable” manufacturer.

The removal of the headphone jack is what made me call complete bullshit on their whole “repairability and sustainability” schtick. At the same time of the removal, they began selling their own wireless earbuds. So now you can’t use wired headphones with their phones, and instead have to buy a pair of wireless ones (which they conveniently sell to you) which will eventually have their internal batteries die and need to go to a landfill because none of it is repairable. I initially thought they were a pretty good company with decent values, but ever since they did that I no longer care about them.

Bingo. For a lot of devices, especially anything made after 2015-ish, there’s no real reason why mid to high-end devices couldn’t be running the most recent OS version outside of “it’s a lot of work to certify updates for so many devices”. Thankfully Android has a custom ROM scene which keeps devices going for a few years longer.

Tell me about it. Dalvik was replaced by the ART in Android 4.4 Kitkat IIRC, which is what my Nexus 7 shipped with back in 2013. Feels like 3 years ago rather than 10.