News for hackers. Stuff that matters.
Re:Liquid Haskell: Haskell as a Theorem Prover [pdf] by acomar on Wednesday December 07, 2016 @05:40PM (#13126939)
I do too.

I suspect they're a form of confirmation bias, however, because it's not easy to remember that you heard about an idea or term you're unfamiliar with. On the other hand, something you've just recently heard or learned stands out: it reinforces the lesson you've just learned.

Re:Liquid Haskell: Haskell as a Theorem Prover [pdf] by ShaneWilton on Wednesday December 07, 2016 @06:02PM (#13127045)
You'd probably be interested in this article about the phenomenon: https://www.damninteresting.com/the-baader-meinhof-phenomeno...
Re:Liquid Haskell: Haskell as a Theorem Prover [pdf] by acomar on Wednesday December 07, 2016 @06:54PM (#13127321)
Thanks!

This has me down a rabbit-hole because I'm now trying to find the name for a related concept: once you've learned a new idea/model, you start to notice how it applies to everything around you. I find this happening most often with algebraic ideas but the article you linked alludes to the fact that you're liable to notice this effect at play more in the days after reading about it. I want to call it overfitting but that's not quite right.

Re:Liquid Haskell: Haskell as a Theorem Prover [pdf] by wildmusings on Wednesday December 07, 2016 @11:34PM (#13128424)
This is the Law of the Instrument: if all you have is a hammer, then everything looks like a nail.
Re:Liquid Haskell: Haskell as a Theorem Prover [pdf] by aninhumer on Thursday December 08, 2016 @07:51AM (#13129958)
I don't think that's really the same meaning. Here it's more like, if you're given a hammer, you'll notice a lot of nails you can use more easily now.
Re:Liquid Haskell: Haskell as a Theorem Prover [pdf] by transposed on Wednesday December 07, 2016 @10:08PM (#13128130)
Once you've learned a thing, or "studied it" much more, you are more swift in perceiving it, processing, and storing that encounter. Be it an idea, name, combination of low frequency words... Otherwise, many things go in one ear and out the other.

What really gives me the goose bumps is if you're, say, listening to a recording of a lecture while looking out the window watching a leaf tumble through the wind - and then the professor uses a leaf blowing in the wind analogy. It's not something you do very frequently; watch and listen to two independent events.

Re:Liquid Haskell: Haskell as a Theorem Prover [pdf] by curiousgal on Wednesday December 07, 2016 @06:01PM (#13127041)
>something you've just recently heard or learned stands out

Not only does it stand out, at times it seems to appear more frequent. I found out that was called the Baader-Meinhof Phenomenon.