Zulip Chat Archive

Stream: Zulip meta

Topic: Is there code for X description text?


Kevin Buzzard (Mar 23 2024 at 18:08):

Right now the "description text" for #Is there code for X? says "A. K. A. human-powered library search". Do you think we shouidl change it to "A. K. A. human-powered exact?"? I guess I'm fine with "library search" -- even though it's not a tactic any more, it's still a meaningful phrase.

Jireh Loreaux (Mar 23 2024 at 21:49):

Yeah, I think the stream is a bit more general than exact?

Joachim Breitner (Mar 23 2024 at 22:34):

Hehe, I always understood it as “library search”, not “library_search” anyways.

Kim Morrison (Mar 23 2024 at 23:06):

I think it was intended as a pun initially (not mine!).


Last updated: May 02 2025 at 03:31 UTC