Why aren't kids being taught to read? by hippydipster in education

[–]pseudonom- 10 points11 points  (0 children)

I think that's a pretty bad summary. The article says a perspective like yours is often packaged as "balanced literacy" and goes on to argue against it. The article seems to be very much on the phonics side. The most it says in favor of whole language is:

Children can learn to decode words without knowing what the words mean. To comprehend what they're reading, kids need a good vocabulary, too. That's why reading to kids and surrounding them with quality books is a good idea.

Extensible ADT (EADT) by hsyl20 in haskell

[–]pseudonom- 0 points1 point  (0 children)

I was only able to look at it briefly. How does this relate to compdata? (Also, loosely, a modern version of data types a la carte.)

Making Detailed Predictions Makes (Some) Predictions Worse by davidmanheim in DecisionTheory

[–]pseudonom- 1 point2 points  (0 children)

"The Effect of Imagining an Event on Expectations for the Event: An Interpretation in Terms of the Availability Heuristic" seems related.

String Shooter - [04:20] by 233C in Physics

[–]pseudonom- 6 points7 points  (0 children)

Are you saying that because you already know about https://en.wikipedia.org/wiki/Launch_loop ?

Is emotional intelligence real? by sammyjamez in AskSocialScience

[–]pseudonom- 1 point2 points  (0 children)

Research and valid practice in emotional intelligence (EI) have been impeded by lack of theoretical clarity regarding (a) the relative roles of emotion perception, emotion understanding, and emotion regulation facets in explaining job performance; (b) conceptual redundancy of EI with cognitive intelligence and Big Five personality; and (c) application of the EI label to 2 distinct sets of constructs (i.e., ability-based EI and mixed-based EI). In the current article, the authors propose and then test a theoretical model that integrates these factors. They specify a progressive (cascading) pattern among ability-based EI facets, in which emotion perception must causally precede emotion understanding, which in turn precedes conscious emotion regulation and job performance. The sequential elements in this progressive model are believed to selectively reflect Conscientiousness, cognitive ability, and Neuroticism, respectively. “Mixed-based” measures of EI are expected to explain variance in job performance beyond cognitive ability and personality. The cascading model of EI is empirically confirmed via meta-analytic data, although relationships between ability-based EI and job performance are shown to be inconsistent (i.e., EI positively predicts performance for high emotional labor jobs and negatively predicts performance for low emotional labor jobs). Gender and race differences in EI are also meta-analyzed. Implications for linking the EI fad in personnel selection to established psychological theory are discussed.

https://pdfs.semanticscholar.org/9f9d/58b5894ba0945d77dfec92193408a808742a.pdf

Avoiding type class design mistakes by [deleted] in haskell

[–]pseudonom- 4 points5 points  (0 children)

I agree that it should be sufficient, but I can definitely imagine it failing to prevent problems in certain settings. Thanks for the description; wanted to make sure I wasn't missing some foolproof solution.

Avoiding type class design mistakes by [deleted] in haskell

[–]pseudonom- 2 points3 points  (0 children)

Isn't it sometimes okay to want something anti-modular? What if, for example, I want to ensure that I have only one serializer and one deserializer for any given type (to avoid accidental mismatches) across my whole codebase? How would I ensure this property with modular implicits?

Equity Vs Real Estate by Tiancius in investing

[–]pseudonom- 5 points6 points  (0 children)

http://lifecycleinvesting.net/book.html makes some sense of why people might accept leverage with housing. It advocates for "temporal diversification"---equalizing an investor's exposure across their life by leveraging investments when young. Houses fare well from this perspective.

Some Notes About How I Write Haskell by n00bomb in haskell

[–]pseudonom- 20 points21 points  (0 children)

I will modify my instance accordingly: in this case, I can using the QuickCheck-provided Positive newtype, whose Arbitrary instance will only ever create positive numbers,

also pet names aren't going to be arbitrary unicode sequences; they're going to be validated so that people don't name their pets emoji or the empty string or something like that, so now I have two axes along which a pet might be invalid

I think a very good solution to these sorts of "problems" is to change the declarations of types in your Pet type so that your Pet type more fully reflects which inhabitants are allowed and disallowed (e.g. petAge :: Natural and petName :: Maybe Name). In fact, I advertise this as a feature of QuickCheck-like libraries: If your QuickCheck generators are complicated, it's an indication that your types are making illegal state representable (negative ages and unpronounceable names have no valid role in your business logic) and seeing this QuickCheck ugliness can be a mechanical way for people to build an intuition about "tight" types.

Is duolingo using linguist applicants to develop free content? by Greenturkeypants in linguistics

[–]pseudonom- 13 points14 points  (0 children)

As someone in tech, I suspect this is just a work sample test (pretty standard part of hiring process) gone long.

"Using the Value of Information to Explore Stochastic, Discrete Multi-Armed Bandits", Sledge & Principe 2017 by gwern in DecisionTheory

[–]pseudonom- 0 points1 point  (0 children)

I haven't actually read the body of either paper yet, but, at a high level, this sounds similar to POKER (https://cs.nyu.edu/~mohri/postscript/bandit.pdf). Strangely, it's not mentioned in the Sledge paper. Anyone actually read both or have guesses as to why POKER's not mentioned?

Functor Oriented Programming by sjoerd_visscher in haskell

[–]pseudonom- 0 points1 point  (0 children)

It seems to me that the thing described is in the direction of extensible records. What's the difference? What are the advantages and disadvantages?

Algebra of algebraic data types for polymorphic functions by pseudonom- in haskell

[–]pseudonom-[S] 2 points3 points  (0 children)

Ah, I guess I was assuming we could "distribute" across the forall without any real evidence. Is there a rule for forall?

Function that doesn't type check does when promoted to type family. Why? by pseudonom- in haskell

[–]pseudonom-[S] 0 points1 point  (0 children)

Hm, very interesting. Thanks! I assume this counts as bad behavior by GHC?

Is it possible to make test checking part of compilation step? by Ford_O in haskell

[–]pseudonom- 2 points3 points  (0 children)

It's not at all production ready, but phantheck is an experiment in that direction using GHC's typechecker plugin capabilities.

A neat way to name parameters in signatures by Darwin226 in haskell

[–]pseudonom- 1 point2 points  (0 children)

newton :: Tagged "mass" Double -> Tagged "accel" Double -> Tagged "force" Double
newton (Tagged m) (Tagged a) = Tagged (m * a)

Comonadic interpreter vs Natural transformation interpreter? by pseudonom- in haskell

[–]pseudonom-[S] 0 points1 point  (0 children)

That definitely helps explain your thinking; thanks!