Programming language Coq wants to change its name for obvious reasons

Programming language Coq is looking to rebrand due to sounding like the English slang term for a certain male anatomy body part.

Coq is a dependently-typed functional programming language first created by Gérard Huet and Thierry Coquand. The development of Coq has been supported since 1984 by INRIA, École Polytechnique, University of Paris-Sud, Paris Diderot University, and CNRS.

However, the name of the language and its association with the male anatomy has supposedly...

Python’s creator shares his thoughts on Rust, Go, Julia, and TypeScript

Python creator Guido van Rossum has shared his thoughts on some of those other programming languages making the rounds.

The “benevolent dictator” himself shared his views in an hour-long interview with Microsoft Principal Cloud Advocate Manager Francesca Lazzeri.

“I love languages, at least in theory,” says Van Rossum. “I always read language tutorials but I’m very bad at actually sort of downloading a language implementation and try to code something because...

Perl Core developer quits following abuse from prominent community members

Perl Core developer Sawyer X is hanging up his keyboard and quitting the language’s community following what he calls “continuous abusive behaviour” from prominent members.

Sawyer X became “pumpking” – manager of the core Perl 5 language – in 2016, after taking over from Ricardo Signes. His departure will send shockwaves through the Perl community.

The key Perl developer received abuse after “daring” to say that people in Core recognise there is cruft...

‘Most loved’ programming language Rust now has its own foundation

Rust, the world’s “most loved” programming language, now has its own independent foundation.

The language was originally designed by Graydon Hoare at Mozilla Research and has ranked “most loved” in Stack Overflow’s annual developer survey for the past five years.

In a blog post, the Rust Foundation wrote:

“Mozilla, the original home of the Rust project, has transferred all trademark and infrastructure assets, including the crates.io package...

China blocks MIT’s kid-friendly programming language Scratch

China’s kids have been blocked from accessing the first programming language of many young developers, Scratch.

Greatfire, an organisation which monitors China’s infamous Great Firewall web censorship, found that Scratch’s website has been blocked since at least August 20th.

One user on Scratch’s forum noted that the site was blocked on August 14th. The suspected reason for the CCP’s decision to block the website is a video published on August 11th, but several...