News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.