3 ms·
I expected some sort of mini academic computer network: https://www.kanren.org/about https://www.kanren.org/about (KAnsas REgents Network)
by trelane 2y ago
I expected some sort of mini academic computer network: https://www.kanren.org/about https://www.kanren.org/about (KAnsas REgents Network)
- jasonhemann 2y agoThat's actually related to how the name came about, IIRC!
- will_byrd 2y agoReally? The word 'kanren' means 'relation' in Japanese, and was proposed by Oleg. Is there a naming connection to the Kansas thing?
- jasonhemann 2y agoIIRC, 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.