YouAreGreat

> a right not to have idiot parents interfere

The only reasonable default assumption is that even "idiot" parents have more interest in the survival and well-being of their own children than the vaccination industry equivalent of the Sackler family.

> All of your data structures have types ... Static typing just means that you annotate ...

Programs have (static) types, data does not. Static typing removes correct programs from the language. Try this in some ML-like language:

    let selfapply f = (f f) in
    let identity x = x in
    selfapply identity 42

If you transcribe this to (e.g.) Lisp, it will return the number 42. The program is short, simple, and safe, but well-regarded static type systems can't cope.

> traits that are highly correlated with climate denialism

Sure. Since it is socially so much easier to be a secretly skeptic climate congregationist than an open climate denier, I'd bet one such correlated trait would be extreme honesty.

> "Darwinian Fairytales" by David Stove

The search engine coughed up a PDF. I randomly opened it (p. 173) and read up to this author-provided "TL;DR" on p.176:

The main reason, however, for thinking that sociobiology is false, is the simple one I gave at the beginning: that it is obvious that human beings are the most intelligent and capable things on earth. But genes are not human. Therefore (etc.).

Uhhhm. Really?

The source frames the issue as merely "street names, or not."

That glosses over the question of how to name the streets, a question quite conductive to nasty political fighting. Maybe that already happened.

> how moderation works

Crowdsourced via the flag button, which acts as a "superpowered downvote" even though it's not presented as such.

True if you don't cooperate at all with the collector, but easily avoided in many cases. E.g., when using Boehm, try using gc_malloc_atomic() for data that you know cannot contain pointers, like your encryption buffers.

> argued that some races are more suited to slavery than others

> see if he was misrepresented

Did you find out whether or not he was misrepresented?

> To me, Rust is nearly the same thing as steveklabnik

That widespread perception could have been part of the problem.

> semantically inaccessible, not syntactically inaccessible.

You can give the semantics of everything that happens in a safe d-t language in terms of church encoded tag-value pairs and yet the programmer can't break the abstraction because abstraction-breaking operations are syntactically unavailable.

It should count as testament to the success of dynamic typing that the abstractions are so safely enforced that you can squint and suddenly the whole language is semantically founded on them.

> "A type system is a syntactic method for enforcing levels of abstraction in programs. " [1]

> What syntactic methods are used in dynamically "typed" languages?

Interesting. You may have unwittingly provided one of the best justifications for the term "dynamically typed" I've seen so far.

That's because operations that violate a (safe) dynamically typed language's chosen set of abstractions (built using bits, church encoding, whatever) are syntactically inaccessible.

> All languages are typed, either with rich types, or they are unityped

Almost all languages. There is one language that can be typed without a type, the empty language.

Since the empty language contains no programs, it follows that "Untyped Programs Don't Exist".