News for hackers. Stuff that matters.
Re:What Wikipedia Did by yreg on Sunday May 14, 2023 @06:27AM (#35936927)
Wikipedia works in practice, but not in theory.
Re:What Wikipedia Did by api on Sunday May 14, 2023 @09:32AM (#35937814)
Thanks for that phrase. I love it.
Re:What Wikipedia Did by yreg on Sunday May 14, 2023 @11:35AM (#35938757)
I've got it from @libraryofbabel here on HN.

https://news.ycombinator.com/item?id=25710994

Re:What Wikipedia Did by karaterobot on Sunday May 14, 2023 @12:44PM (#35939264)
There's even a quote investigator entry for this phrase, which dates to at least 1911, though I'd assume it's been around almost as long as the original idiom it's an inversion of.

https://quoteinvestigator.com/2015/08/30/practice/

Re:What Wikipedia Did by pmcjones on Sunday May 14, 2023 @09:49AM (#35937951)
That’s what David Boggs said about Ethernet at an early (contentious) standards meeting.