News for hackers. Stuff that matters.

A comment on What Is miniKanren?. Parent comment

Re:What Is miniKanren? by trelane on Thursday January 02, 2025 @12:33PM (#42576504)
I expected some sort of mini academic computer network: https://www.kanren.org/about (KAnsas REgents Network)
[ Parent | on HN ]
Re:What Is miniKanren? by jasonhemann on Thursday January 02, 2025 @01:26PM (#42577148)
That's actually related to how the name came about, IIRC!
[ Parent | on HN ]
Re:What Is miniKanren? by will_byrd on Thursday January 02, 2025 @02:27PM (#42577808)
Really?

The word 'kanren' means 'relation' in Japanese, and was proposed by Oleg.

Is there a naming connection to the Kansas thing?

[ Parent | on HN ]
Re:What Is miniKanren? by jasonhemann on Saturday January 04, 2025 @01:12PM (#42596515)
IIRC, Dan told me that a million years ago, when they were choosing a name for the Kanren sourceforge repo, they had to use a name with a word that was sufficiently prominent on the internet. Kanren worked because there were enough hits for KanREN.
[ Parent | on HN ]