News for hackers. Stuff that matters.

A comment on Code is Engineering, Types are Science. Parent comment

Re:Code is Engineering, Types are Science by the_only_law on Sunday June 27, 2021 @01:27PM (#27653378)
> Funny that until yesterday, I had never even heard the name Idris, and now I find it mentioned in two HN articles within 24 hours.

there's some sort of phenomenon for this, but I can’t recall the name atm.

[ Parent | on HN ]
Re:Code is Engineering, Types are Science by c2xlZXB5Cg on Sunday June 27, 2021 @01:30PM (#27653405)
Baader–Meinhof phenomenon or Frequency illusion

It happens to me when I want to buy a specific car. I see it everywhere.

[ Parent | on HN ]
Re:Code is Engineering, Types are Science by lanna on Sunday June 27, 2021 @01:57PM (#27653667)
It happens to me with the Baader–Meinhof phenomenon every time I hear about the Baader–Meinhof phenomenon
[ Parent | on HN ]