Viewing profile — 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 chi…

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

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

> "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, how…

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

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

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

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

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

> struggling to understand how this doesn't wind up being a proxy for racism Here's the gist: Human bad. Capital good.

Wherever you can publish text or media (eg, on a cooking site) speech crimes can be committed under your account. Fancy a prison term in one of the more enlightened European jurisd…

> Most Haskellers write out the types Maybe that's partly because Haskell can easily become a bit too elegant. Between all the currying and combinators, the type helps to understan…

> flagging is not like "downvoting", this isn't reddit. "Flag" on HN has devolved into an overpowered downvote button.

> our human minds have not sufficiently evolved They're also not evolved to deal with TV news.

> "trigger the conservatives" to force them to attack the actions of private companies Conservatives will come to understand that big capital is not a conservative.

Thanks for that link! Hipp: > ... also learned that apparently no one feels the need to help novice CoC writers feel welcomed or safe. Apparently! Good to see he's still got a sens…

> enough to write statically typed code in Lisp Certainly not in the way "statically typed" is usually understood. Containers (outside of specialized arrays) aren't parameterized, …

When I looked (decade ago), your description would have characterized their online haunts but not IRL meetings. Maybe being online turns anything into Reddit/HN. On the other hand,…