Language Log

Thomas Clayburn, "Realizing this is getting out of hand, Coq mulls new name for programming language", The Register 6/15/2021:

After three decades, Coq, a theorem-proving programming language developed by researchers in France, is being fitted for a new name because it has become impossible to ignore that it sounds like bawdy English slang.

Once referred to as CoC, short for Calculus of Constructions, the programming language became Coq when work on version 5 began in 1989.

The name – according to software engineer Théo Zimmermann's initial entry to the Coq GitHub wiki on April 6 – is a reference to the French word for "rooster," to the Calculus of Constructions, and to the contributions of Thierry Coquand, one of the creators of the language.

Coq also happens to sound like "cock," which while it means both "a male rooster" and "to tilt," can be used informally to refer to the male anatomy. And for some people, that deters community participation.

"This similarity has already led to some women turning away from Coq and others getting harassed when they said they were working on Coq," the project wiki, last updated on Friday, explains. "It also makes some English conversations about Coq with lay persons simply more difficult."

Penny Arcade for 6/14/2021:

Dave Holmes, "The Rise of Elevated Stupidity", Esquire 6/11/2021:

Stupidity is saying two plus two equals five. Elevated Stupidity is doing the same thing, except you invoke Pythagoras, decry cancel culture when someone corrects you, then get a seven-figure book deal and a speaking tour out of it. Elevated Stupidity has permeated all facets of life—reality TV, social media, Congress, your group chat, and your softball team. Elevated Stupidity stems from the idea that being good at arguing is the same thing as being correct. That rhetorical skill—or at least a degree of big debate-club energy sufficient to wear out one’s opponent—is the equivalent of intelligence. If being a good arguer is the same as being smart or correct, then do you know who is the smartest, correct-est person in history? Every Scientologist. […]

Elevated Stupidity is as old as recorded history. The Old Testament book of Proverbs cautions, “Don’t answer the foolish arguments of fools, or you will become as foolish as they are,” and says, “A proverb in the mouth of a fool is like a thorny branch brandished by a drunk.” Elevated Stupidity was easy to identify and, like a thorny branch compared with an assault rifle, much easier to dodge. Today it’s unavoidable. Why? We live in the Hot-Take Economy, with three major news-yelling networks and a full bench of second-stringers.

The linguistic importance of Dungan is greatly disproportionate to the number of its speakers, approximately 150,000, who live in seven different countries that are widely spread across Eurasia:   Kyrgyzstan, Kazakhstan, Russia, Tajikistan, Mongolia, Uzbekistan, and Ukraine.  The main reason why Dungan has been the focus of so much interest during the half-century since I began studying this fascinating language is that it puts the lie to the fallacy that Sinitic languages can only be written with the Sinographic script (i.e., Chinese characters).  The only Sinitic language that needs to be written with morphosyllabic characters is Literary Sinitic / Classical Chinese, a language that, in terms of its sayability, has been dead for millennia.  The recent academic study of Dungan has played a key role in enabling language specialists and the lay public finally to come to this realization.

Because the Dungan people are so highly scattered across vast distances and live among dominant populations with completely different languages that they need to speak for daily survival, their own language — and consequently also its alphabetic script — is threatened with extinction.  Furthermore, in recent decades the Dungans have been buffetted by ethnopolitical winds that make it even harder to maintain their unique identity.  That is why I have long felt a sense of urgency about the need to document and research Dungan language and script in all of their dimensions (morphology, phonology, lexicography, grammar, syntax, script, literature, sociolinguistics…).

The discussion of Boxer(')(s)(') Trail  ("Signs and wonders", 6/12/2021 ) brought up the question of plural forms in English nouns in structures like mouse trap, activities center, and iron bar, which has been much discussed in the linguistic and psycholinguistic literature — and also here on Language Log.

I recently got hold of an electronic copy of this book:

Zhōngguó chuántǒng wénhuà guānjiàn cí (Hàn Yīng duìzhào) 中国传统文化关键词(汉英对照) (Key Terms of Traditional Chinese Culture / Key Concepts in Chinese Culture [original English title] [Chinese-English])

Beijing:  Wàiyǔ jiàoxué yǔ yánjiū chūbǎn shè 2019 外语教学与研究出版社 2019 (Foreign Language Teaching and Research Press, 2019)

Here is a one-drive link to the whole book.

It has been scanned by OCR, so the entire contents can be searched by simplified Chinese characters, but accuracy is not guaranteed.

From a Reliable Source:

I thought you might enjoy this as yet officially unreported dispute about a sign being posted in Phil.  The sign originally said, "Boxer's Trail," because Joe Frazier famously ran along it to train, and later Ali ran on it once to psyche out Joe (Ali worked out in Overbrook, apparently).  Someone or other complained that more than one boxer had used the trail, and so they had to move the apostrophe.  Meanwhile, people are arguing about whether the trail should be dedicated to Frazier, or to all boxers. And then someone of course had to throw in a question about whether any of the boxers had boxers (dogs) and if then it should say boxers' boxers trail or boxer's boxers trail, and so on.

Jennifer Henderson, "UnitedHealthcare to Crack Down on 'Non-Emergent' ED Claims", MedPage Today 6/8/2021:

UnitedHealthcare plans to take a closer look at emergency department (ED) claims beginning July 1.

In a June network bulletin posted to its website, the insurer said that it will assess ED facility commercial claims to determine if an event was emergent or non-emergent. Claims determined to be non-emergent will be subject to no coverage or limited coverage.

ED claims will be evaluated on many factors, UnitedHealthcare said, including the patient's presenting problem, the intensity of the diagnostic services performed, and other patient complicating factors.

Long, but worth reading — Tom Simonite, "What Really Happened When Google Ousted Timnit Gebru", Wired 6/8/2021.

The crux of the story is this paper, which is now available on the ACM's website: Emily Bender, Timnit Gebru, Angelina McMillan-Major, and Shmargaret Shmitchell, "On the Dangers of Stochastic Parrots: Can Language Models Be Too Big?🦜" In Proceedings of the 2021 ACM Conference on Fairness, Accountability, and Transparency, pp. 610-623. 2021.

As a result of a (somewhat strange) review process, described at length in the Wired article, Timnit Gebru and Margaret Mitchell were fired (or declared to have resigned) from their leadership roles in Google's Ethical AI group.

I was going to title this post "Insect vocalisms", but thought better of it, because I didn't want anyone to think I was claiming any kind of linguistic quality for the mind-boggling acoustic phenomenon that I witnessed on Saturday.  Though what I heard was not language in any way, shape, or form, it did impart an overwhelming message.

I was on a long run in the mountains of western Pennsylvania.  I started out from Breezewood and headed for Bedford along Route 30 (Lincoln Highway).  As I ran happily at a comfortable clip, I was puzzled by a shrill ringing noise that accompanied me all the way.  I couldn't tell where the loud, high-pitched sound was coming from.  For awhile I thought it might be some mining operation underground, but I soon dismissed that theory because it lasted too long and I seemed to be enveloped in the noise.  All around me were forests and woods, and the constant ringing seemed to be emanating from them.

The question of language survival in Taiwan is far more complex than whether Taiwanese (and Hakka and Cantonese) will die at the hands of Mandarin.  Helen Davidson probes the real situation in:

"Healing words: Taiwan’s tribes fight to save their disappearing languages
The island’s Indigenous people are in a race against time to save their native tongues before they are lost forever"

Guardian (6/8/21)

The author introduces us to Panu Kapamumu, speaker and guardian of his native language, Thao / Ngan.  Right away, we come up against a thorny thicket of linguistic verities:  "Normally, Kapamumu speaks in a mix of the two languages he knows better than his own – Chinese and English."

Yesterday I got a strange email message, apparently from American Express. The first strange thing: gmail showed it with no Subject and no content:

But then it got stranger…

Atul Gawande, "Why doctors hate their computers", 11/5/2018, underlines the often-noted difficulty of working with badly-designed software:

I’ve come to feel that a system that promised to increase my mastery over my work has, instead, increased my work’s mastery over me. I’m not the only one. A 2016 study found that physicians spent about two hours doing computer work for every hour spent face to face with a patient—whatever the brand of medical software. In the examination room, physicians devoted half of their patient time facing the screen to do electronic tasks. And these tasks were spilling over after hours. 

But the most interesting part of the article, at least for me, was the discussion of reading the  records rather than writing them.