> The study's authors make clear that the results do not indicate Tesla vehicles are inherently unsafe or have design flaws.... Many of the other cars that ranked highly on the list have also been given high ratings for safety by the likes of IIHS and the National Highway Transportation Safety Administration, as well....

> “The models on this list likely reflect a combination of driver behavior and driving conditions, leading to increased crashes and fatalities”....

- そう sō, "so"

- 名前 namae, "name"

- 乱暴 rambō, "violence"

- 被る kaburu, "cover"

- 孫 son, "descendant"

- 銭 sen, "one hundredth of a yen" (sounds similar to "cent")

- 買 (meaning "buy") can be read as bai

- はず hazu, "has to"

- 鈴 rin, "bell" (sounds similar to "ring")

- おい oi, "oi"

- 陰気 inki, "gloomy" (sounds similar to "inky")

And just for fun, one from Old Japanese:

- 女 womina, "woman"

Some specific disagreements:

- "Proof trees" on Wikipedia redirects to the page for analytic tableaus, which I don't think is particularly relevant to Lean. I think natural deduction [1] would be infinitely more useful.

- Why is Gödel incompleteness necessary for one to understand how Lean works?

- Why is compactness necessary knowledge? In my experience, one can use and understand any modern proof assistant without knowing anything about model theory.

[0] https://softwarefoundations.cis.upenn.edu/lf-current/index.h..., and see also its sequel Programming Language Foundations [1].

[1] https://softwarefoundations.cis.upenn.edu/plf-current/index....

[1] https://en.wikipedia.org/wiki/Natural_deduction

[0] https://github.com/frege/frege

I just checked and 27.0.1 is out, so here's hoping it fixes anything....

[0] https://imgur.com/a/5i5TlzQ

EDIT: Actually, one bug that I haven't noticed on Tahoe is the weird lack of vertical padding that some System Settings screens used to have. Credit where credit's due.

[0] see, for example, this submission from the front page a month ago: https://news.ycombinator.com/item?id=49402521.

I strongly disagree, I think this is instead true for those who have an image of themself as "good". IME, someone whose identity involves their "goodness" (and I certainly include myself here) will be willing to do a whole lot to maintain that perception (whether it's a self-perception or an external one). In particular, I think that someone already motivated to feel good about themselves is going to be easier to mislead by slick arguments. See the unfalsifiable longterm-ism of modern-day EA ("you can do an incalculably large amount of good with comparatively minimal effort"), much of today's political violence/radicalism, or the religious persecution all throughout history, whether against the religious (many of last century's authoritarians) or by the religious: cf. Jesus' warning about this in John 16:2 ("They will put you out of the synagogue; in fact, the time is coming when anyone who kills you will think they are offering a service to God."), or even just the Bible's very many warnings against pride (e.g. Proverbs 26:12 [0]) and self-righteousness (e.g. Romans 10:2-3 [1]).

(Of course, sometimes people have no way of knowing a priori that they're being misled. I'm exclusively talking about cases where, deep down, one could/should have known that the situation wasn't actually on the up-and-up... which I'd argue is much more common than we often like to think.)

On the other hand, I'd argue that someone who is truly doing what is good is, by definition, unable to be swayed from that (for then they wouldn't be doing good things anymore, no matter what words they want to use to describe themselves or others). Relatedly, I don't agree that someone can be a "good person" in the absence of actually doing good. (Naturally, this is an extraordinarily high bar, and I'd argue an impossible one to perfectly meet.)

I'm reminded of C.S. Lewis's famous quote:

> Of all tyrannies, a tyranny sincerely exercised for the good of its victims may be the most oppressive. It would be better to live under robber barons than under omnipotent moral busybodies. The robber baron's cruelty may sometimes sleep, his cupidity may at some point be satiated; but those who torment us for our own good will torment us without end for they do so with the approval of their own conscience.

[0] "You have seen a man wise in his own opinion— there is more hope for a fool than for him."

[1] "For I testify about them that they have a zeal for God, but not according to knowledge. For not knowing about the righteousness of God and seeking to establish their own, they did not subject themselves to the righteousness of God." (emphasis mine)

1. The introduction says that Smart TVs are not included in this ToS ("not including Smart TVs").

2. Where do the terms say anything about "sensitive" content? The closest thing I see is section 4.d, but that's just about wiretapping/privacy laws in general.

[0] https://en.wikipedia.org/wiki/Hack_(programming_language)

I don't think this is true—I was under the impression that, at least on piano, keys other than C major are sometimes chosen specifically to make things easier on the fingers.