News for hackers. Stuff that matters.

A comment on Whitehead and Russell’s Principia rewritten in Coq. Parent comment

Re:Whitehead and Russell’s Principia rewritten in Coq by x3n0ph3n3 on Sunday December 05, 2021 @11:41PM (#29456225)
Yes, as an "s" or "k". The "correct" way to pronounce it is prinkipia.
[ Parent | on HN ]
Re:Whitehead and Russell’s Principia rewritten in Coq by mdp2021 on Monday December 06, 2021 @04:36AM (#29457815)
> "s" or "k"

More common for post latin spoken languages would be ʧ ("ch·eese"). (You missed the foremost contender.)

[ Parent | on HN ]