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...
[ Parent
| on HN ]
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.