Mike and Wes debate the merits, and aesthetics, of Clojure in this week's rowdy language check-in.

Plus why everyone's talking about the sensitivty conjecture, speedy TLS with rust, and more!

Links:

• Feedback: Which Language To Use And Why? — There are so many languages out there, and I just don’t understand when or why you would want to use a language over another.
• Mathematician Solves Computer Science Conjecture in Two Pages | Quanta Magazine — This “sensitivity” conjecture has stumped many of the most prominent computer scientists over the years, yet the new proof is so simple that one researcher summed it up in a single tweet.
• ELI5: The Sensitivity Conjecture has been solved. What is it about? — Think of it like a Buzzfeed quiz. You answer a bunch of multiple-choice input questions about seemingly random topics ('What's your favourite breakfast cereal?', 'What's your favourite classic movie?', 'What did you want to be when you grew up?', and so on), and you get a response back at the end: usually which Hogwarts house you belong in.
• Sensitivity Conjecture resolved — Paul Erdös famously spoke of a book, maintained by God, in which was written the simplest, most beautiful proof of each theorem. The highest compliment Erdös could give a proof was that it “came straight from the book.” In this case, I find it hard to imagine that even God knows how to prove the Sensitivity Conjecture in any simpler way than this.
• arXiv: Induced subgraphs of hypercubes and a proof of the Sensitivity Conjecture
• GitHub starts blocking developers in countries facing US trade sanctions — There's a debate over free speech taking place after Microsoft-owned GitHub "restricted" the account of a developer based in the Crimea region of Ukraine, who used the service to host his website and gaming software.