Logic hacking - "Writing shorter and shorter computer programs for which it's unknowable whether these programs run forever, or stop... the winner of the Busy Beaver Game for N-state Turing machines becomes unknowable using ordinary math - somewhere between N = 5 and N = 1919." [more inside]
Alaska is Having Its Hottest Year Since Records Began - "After a spring that was a full ten degrees hotter than normal, the northern state is on track for the most sweltering year on record." (via) [more inside]
In his follow-up to Sapiens, Yuval Noah Harari envisions what a 'useless class' of humans might look like as AI advances and spreads - "I'm aware that these kinds of forecasts have been around for at least 200 years, from the beginning of the Industrial Revolution, and they never came true so far. It's basically the boy who cried wolf, but in the original story of the boy who cried wolf, in the end, the wolf actually comes, and I think that is true this time." [more inside]
This male-like lioness is defying gender norms (full episode) - "An African lioness that looks and acts male may be the secret to her pride's success."
Sapiens: A Brief History of Humankind by Yuval Noah Harari - "The book delivers on its madly ambitious subtitle by in fact managing to cover key moments in the developmental history of humankind from the emergence of Homo Sapiens to today's developments in genetic engineering." Also btw, check out Harari on the myths we need to survive, re: fact/value distinctions and their interrelationships.
On the Nature of Things Humanity Was Not Meant to Know: Cosma Shalizi considers Lucretius' De Rerum Natura ('On the Nature of Things') as a "real-life Necronomicon, a book full of things humanity was not meant to know."
Why Turkey is bombing the Kurds more than Islamic State - "Turkish President Recep Tayyip Erdogan's bombing campaign — capitalizing on the nationalist, anti-Kurd sentiment that has been steadily growing inside Turkey — could help him regain his AKP party's absolute majority in parliament now that coalition talks have failed and snap elections are likely." [more inside]
Some Paths to the True Knowledge[*] - "Attention conservation notice: A 5000+ word attempt to provide real ancestors and support for an imaginary ideology I don't actually accept, drawing on fields in which I am in no way an expert. Contains long quotations from even-longer-dead writers, reckless extrapolation from arcane scientific theories, and an unwarranted tone of patiently explaining harsh, basic truths. Altogether, academic in one of the worst senses. Also, spoilers for several of MacLeod's novels, notably but not just The Cassini Division. Written for, and cross-posted to, Crooked Timber's seminar on MacLeod, where I will not be reading the comments."
Frank Wilczek: Physics in 100 Years [pdf] - "Here I indulge in wide-ranging speculations on the shape of physics, and technology closely related to physics, over the next one hundred years. Themes include the many faces of unification, the re-imagining of quantum theory, and new forms of engineering on small, intermediate, and large scales." [more inside]
Locked-In Man - "Martin Pistorius spent more than a decade unable to move or communicate, fearing he would be alone, trapped, forever. NPR's new show Invisibilia tells how his mind helped him create a new life."
Norbert Wiener: The Eccentric Genius Whose Time May Have Finally Come (Again) - "The most direct reason for Wiener's fall to relative obscurity was the breakthrough of a young mathematician and engineer named Claude Shannon." [more inside]
UN Climate Report: We Must Focus On 'Decarbonization', and It Won't Wreck the Economy - "The basic message is simple: We share a planet. Let's start acting like it." [more inside]
Network Theory Overview - "The idea: nature and the world of human technology are full of networks! People like to draw diagrams of networks. Mathematical physicists know that in principle these diagrams can be understood using category theory. But why should physicists have all the fun? This is the century of understanding living systems and adapting to life on a finite planet. Math isn't the main thing we need, but it's got to be part of the solution... so one thing we should do is develop a unified and powerful theory of networks." (via ;)
Closing in on the twin prime conjecture (Quanta) - "Just months after Zhang announced his result, Maynard has presented an independent proof that pushes the gap down to 600. A new Polymath project is in the planning stages, to try to combine the collaboration's techniques with Maynard's approach to push this bound even lower." [more inside]
Is Psychometric g a Myth? - "As an online discussion about IQ or general intelligence grows longer, the probability of someone linking to statistician Cosma Shalizi's essay g, a Statistical Myth approaches 1. Usually the link is accompanied by an assertion to the effect that Shalizi offers a definitive refutation of the concept of general mental ability, or psychometric g." [more inside]
Catching Up with Kai - "Which is the thing about being home free, when you submit to the authority of pieces of paper you lose your personal identity and the identity you find through nature." (previously; via)
The Nature of Computation - Intellects Vast and Warm and Sympathetic: "I hand you a network or graph, and ask whether there is a path through the network that crosses each edge exactly once, returning to its starting point. (That is, I ask whether there is a 'Eulerian' cycle.) Then I hand you another network, and ask whether there is a path which visits each node exactly once. (That is, I ask whether there is a 'Hamiltonian' cycle.) How hard is it to answer me?" (via) [more inside]
Morton and Vicary on the Categorified Heisenberg Algebra - "In quantum mechanics, position times momentum does not equal momentum times position! This sounds weird, but it's connected to a very simple fact. Suppose you have a box with some balls in it, and you have the magical ability to create and annihilate balls. Then there's one more way to create a ball and then annihilate one, than to annihilate one and then create one. Huh? Yes: if there are, say, 3 balls in the box to start with, there are 4 balls you can choose to annihilate after you've created one but only 3 before you create one..." [more inside]
Slime Molds Show Surprising Degree of Intelligence - A creature with no brain can learn from and even anticipate events. (via)
Mushrooms Save the World (long form) -- Paul Stamets on mycelia. Previously: 1 2 3 [bonus: slime molds]
'Race' graphically illustrated - "most Europeans" vs. Ashkenazim (previously; see also IQ & Gladwell, viz. ;) [more inside]
The dangers of living in a zero-sum world economy - naked capitalism reprints (with added commentary) an FT article by Martin Wolf on why it's vital for (civilised) society to sustain a 'positive-sum' world, otherwise: "A zero-sum economy leads, inevitably, to repression at home and plunder abroad." Wolf's solution? "The condition for success is successful investment in human ingenuity." Of course! Some are calling for more socialism, while others would press on to build more megaprojects. For me, at least part of the solution lies in environmental accounting and natural capitalism :P
A NOAA report says Earth's surface and atmosphere are both warming, and that earlier work that found otherwise contains flaws. In other news, global warming has started to weaken an important wind circulation pattern over the Pacific Ocean, a study suggests. The change could alter climate and the marine food chain in that area; polar bears and walrus pups sad.
Female X chromosome 'cracked' - "The discovery, by an international consortium of scientists, shows that females are far more variable than previously thought and, when it comes to genes, more complex than men." Nature reports two new studies; one on the complete sequencing of the X chromosome for humans, which sheds some light on how sex evolved and how women differ from men, and another on how women express many genes from X chromosomes previously thought dormant.