An anonymous reader writes: Humanoid robots in space are attractive because their emulation of the human form makes them capable of a huge range of tasks. But remotely controlling such bots is a very different challenge from the math-based methods used to make probe course corrections or plot rover routes. NASA has collaborated with Sony using PlayStation VR to explore methods for controlling humanoid robots in space, and created a virtual reality simulation designed to train operators to compensate for the data delay caused by the vast distances involved in space communication.

theodp writes: The WSJ's Yoree Koh reports that computer science has been recognized as important an academic subject as math and English in the new Every Student Succeeds Act, putting it on equal footing with other subjects when state and local policymakers decide how to dole out federal funds. The law is likely to be a boon for tech companies, Koh adds, which constantly face a shortage of engineers to hire, and have backed Code.org to lobby for computer science teaching in schools. "This legislation will increase access to STEM and computer science learning nationwide and will advance some of the goals outlined in Microsoft's National Talent Strategy," said Microsoft in a blog post. "ESSA makes a number of significant improvements to expand access to computer science education by diverse populations in urban, suburban, and rural areas," explained the ACM. As far as CS and STEM goes, the bill calls for "increasing access for students through grade 12 who are members of groups underrepresented in such subject fields, such as female students, minority students, English learners, children with disabilities, and economically disadvantaged students."

theodp writes: Stephen Wolfram received a PhD in particle physics at age 20 (his thesis committee included Richard Feynman). So it's probably not too surprising that Wolfram's new book, An Elementary Introduction to the Wolfram Language (free on the web), aspires to teach those new to programming how to do much more than just move Minecraft and Star Wars characters around. "The goal of the book," explains Wolfram in a blog post, "is to take people from zero to the point where they know enough about the Wolfram Language that they can routinely use it to create programs for things they want to do. And when I say 'zero', I really mean 'zero'. This is a book for everyone. It doesn't assume any knowledge of programming, or math (beyond basic arithmetic), or anything else. It just starts from scratch and explains things. I've tried to make it appropriate for both adults and kids. I think it'll work for typical kids aged about 12 and up."

enFi writes: All dice are slightly unfair; automating 3k rolls x 29 dice allows detailed exploration. For example: GameScience claims their d20s are fairest, and actually has the fairest die in the study. Chessex d20s are consistently mid-range and all favor the same numbers; Wiz Dice d20s are highly variable (some rival GameScience). Shape differences measurable with calipers account for some of the larger observed differences, but not everything. Read the details for graphs, a video of the Arduino-powered rolling machine, and an explanation of using OpenCV to sort die rolls.

(Disclaimer: I'm the author.)

A few weeks ago you had a chance to ask author, entrepreneur, and software developer Jeff Atwood about founding Stack Overflow and the Stack Exchange Network, as well as his new endeavor, the Discourse open-source discussion platform. Below you will find his answers to your questions.

An anonymous reader writes: Over the decades, the Kadison-Singer problem had wormed its way into a dozen distant areas of mathematics and engineering, but no one seemed to be able to crack it. The question "defied the best efforts of some of the most talented mathematicians of the last 50 years," wrote Peter Casazza and Janet Tremain of the University of Missouri in Columbia, in a 2014 survey article.

As a computer scientist, Daniel Spielman knew little of quantum mechanics or the Kadison-Singer problem's allied mathematical field, called C*-algebras. But when Gil Kalai, whose main institution is the Hebrew University of Jerusalem, described one of the problem's many equivalent formulations, Spielman realized that he himself might be in the perfect position to solve it. "It seemed so natural, so central to the kinds of things I think about," he said. "I thought, 'I've got to be able to prove that.'" He guessed that the problem might take him a few weeks.

Instead, it took him five years. In 2013, working with his postdoc Adam Marcus, now at Princeton University, and his graduate student Nikhil Srivastava, now at the University of California, Berkeley, Spielman finally succeeded. Word spread quickly through the mathematics community that one of the paramount problems in C*-algebras and a host of other fields had been solved by three outsiders — computer scientists who had barely a nodding acquaintance with the disciplines at the heart of the problem.

An anonymous reader writes with this story about Michigan State University Professor Cristop Adami and his quest to answer how life arose with mathematics. From the Quanta story: "Christoph Adami does not know how life got started, but he knows a lot of other things. His main expertise is in information theory, a branch of applied mathematics developed in the 1940s for understanding information transmissions over a wire. Since then, the field has found wide application, and few researchers have done more in that regard than Adami, who is a professor of physics and astronomy and also microbiology and molecular genetics at Michigan State University. He takes the analytical perspective provided by information theory and transplants it into a great range of disciplines, including microbiology, genetics, physics, astronomy and neuroscience. Lately, he's been using it to pry open a statistical window onto the circumstances that might have existed at the moment life first clicked into place.

To do this, he begins with a mental leap: Life, he argues, should not be thought of as a chemical event. Instead, it should be thought of as information. The shift in perspective provides a tidy way in which to begin tackling a messy question. In the following interview, Adami defines information as 'the ability to make predictions with a likelihood better than chance,' and he says we should think of the human genome — or the genome of any organism — as a repository of information about the world gathered in small bits over time through the process of evolution. The repository includes information on everything we could possibly need to know, such as how to convert sugar into energy, how to evade a predator on the savannah, and, most critically for evolution, how to reproduce or self-replicate."

rtoz sends word of the discovery of a new algorithm that dramatically reduces the computation time for complex processes. Scientists from MIT say it conceptually resembles a shrinking bull's eye, incrementally narrowing down on its target. "With this method, the researchers were able to arrive at the same answer as a classic computational approaches, but 200 times faster." Their full academic paper is available at the arXiv. "The algorithm can be applied to any complex model to quickly determine the probability distribution, or the most likely values, for an unknown parameter. Like the MCMC analysis, the algorithm runs a given model with various inputs — though sparingly, as this process can be quite time-consuming. To speed the process up, the algorithm also uses relevant data to help narrow in on approximate values for unknown parameters."

Considered by many to be one of the most influential mathematicians alive today, Neil Sloane has made major contributions to the fields of sphere packing, combinatorics, and error-correcting codes. He is probably best known for being the creator and curator of the On-Line Encyclopedia of Integer Sequences (OEIS), known simply as “Sloane” by its many users. The repository is over 50 years old and contains over 260,000 sequences.

Neil recently turned 76 but his passion for mathematics remains as strong as ever. Talking about a recent project, he writes: “Back in September I was looking at an old sequence in the OEIS. The sequence starts 1, 12, 123, 1234, 12345, ..., 123456789, 12345678910, 1234567891011, ... The n-th term: just write all the decimal numbers from 1 to n in a row and think of this as a big number. The entry for the sequence had a comment that it is expected that there are infinitely many terms which are primes, but that no prime was known, even though Dana Jaconsen had checked the first 64,000 terms. So I asked various friends and correspondents about this, and people extended the search somewhat. In fact Ernst Mayer has set up a cloud-source project to look for primes in the sequence, and the sequence has now been checked to nearly n = 270,000 without finding a prime. But I am hopeful that a prime will appear before we get to n = 10^6. When a prime is found, as it surely will be, it probably won't be the largest prime known, but it will be close to the record (which is held by the latest Mersenne prime). We may make it into the top ten. It will certainly be the largest known prime which is easy to write down! (Explicitly, I mean. You may know that 2^32582657-1 is prime, but you won't be able to write down the decimal expansion without using a computer).”

Neil has agreed to take some time away from his favorite sequences and answer any questions you may have. As usual, ask as many as you'd like, but please, one question per post.

JoshuaZ writes: A major open problem in graph theory is how efficiently one can tell, given two graphs, whether or not they are isomorphic — that is, whether they're the same graph with just the labels changed. This problem is famous, along with factoring integers, as a problem that is potentially in between P and NP in difficulty. Now, Laszlo Babai has reported that he has a quasipolynomial time algorithm which he sketched out at a set of talks at the University of Chicago. Scott Aaronson was one of the first to break the news, and his latest blog entry and its comments contain further discussion of the result. The new algorithm places the problem of graph isomorphism as, at most, just barely above P. Babai's result depends on the classification of finite simple groups, a deep result in algebra whose proof consists of thousands of pages over hundreds of distinct papers. Unlike the problem of factoring integers, improvements in this algorithm are unlikely to impact cryptography in any direct way, since no cryptographic systems depend on the difficulty of determining when groups are isomorphic.

szczys writes: Slide Rules and Pocket Protectors are the go-to items when making fun of old-time geeks. Forget the pocket protectors. Slide Rules were the first personal computers and a status symbol akin to what cellphones are today. Of course the general public wasn't attached to them, but engineers were. Before electronic calculators came around, everyone who needed to do some serious math owned Slide Rules. Stunningly easy to use and extremely effective, they have tick-marks placed on a logarithmic scale which makes complex multiplication, division, powers, etc. into visual calculations instead of mental ones.

mikejuk writes: November 2nd 2015 is the bicentenary of George Boole, dubbed the forefather of modern information technology. To mark the event 55,000 school students globally will be learning about Boolean Logic. Free lesson plans, puzzles and worksheets have been made available in English, Irish and Mandarin and schools in over 30 countries have signed up. According to the George Boole 200 website set up by University College Cork (UCC), the Irish university where he was the first Professor of Mathematics in the mid-19th century, Boole is an unsung hero of the digital age who deserves to be recognized as the forefather of the Information Age. An hour-long documentary, The Genius of George Boole, will be released on November 2 and available to view online until November 16. Although Boole did briefly encounter Charles Babbage during his lifetime he wasn't responsible for bringing together binary arithmetic and what we now call Boolean logic. That achievement is down to Claude Shannon who recognised the relevance for engineering of Boole's symbolic logic. As a result of Shannon's work Boole's thinking became the practical foundation of digital circuit design and the theoretical grounding of the the digital age.

schwit1 writes: California State University at Fullerton brought a grievance against associate professor Alain Bourget recently. It wasn't for poor results or questionable conduct — it happened because Bourget refused to assign a $180 textbook for his introductory linear algebra and differential equations course, instead using one that cost $75 and supplementing it with free online materials. "Bourget maintains that his choices are just as effective educationally and much less expensive, so he should have the right to use them. But the university says that it makes sense for courses that have multiple sections to all use the same textbooks. Both Bourget and the university say their positions are based on principles of academic freedom."

theodp writes: As President Obama was 'taught to code' last December, Politico reported that the $30 million tech-financed campaign to promote computer science education was a smash success. And indeed it has been, at least from a PR standpoint. But Code.org and its backers have long spun AP Computer Science test metrics as a true barometer of CS education success, and from that standpoint, things don't look quite so rosy. The College Board raved about "massive gains in AP Computer Science participation (25% growth) AND scores" in a June tweetstorm and at its July conference, where AP CS was declared the '2015 AP Subject of the Year.' But a look at the recently-released detail on 2015 AP CS scores shows wide differences in adoption and success along gender and ethnicity lines (Asian boys and girls, in particular, set themselves apart from other groups with 70%+ pass rates). And, for all the praise the NSF lavished on Code.org for 'its amazing marketing prowess', half of the states still had fewer than 300 AP CS test takers in 2015, and ten states actually saw year-over-year declines in the number of test takers (if my math is correct — scraped data, VBA code here).

An anonymous reader writes: A new study examined the amount of time U.S. public schools spend on government-mandated standardized tests, and found that the requirements are detrimental to both students and teachers. On average, students will take 112 standardized tests during their K-12 education. From grades 3-11, students spend over 20 hours per year on standardized tests alone. "It portrays a chock-a-block jumble, where tests have been layered upon tests under mandates from Congress, the U.S. Department of Education and state and local governments, many of which the study argues have questionable value to teachers and students. Testing companies that aggressively market new exams also share the blame, the study said."

The U.S. Department of Education has issued an action plan to school districts outlining ways to reduce useless tests and eliminate redundant ones. President Obama even posted a video pledging to reduce the test load of American students. "Standardized testing has caused intense debate on Capitol Hill as lawmakers work to craft a replacement for No Child Left Behind. Testing critics tried unsuccessfully to erase the federal requirement that schools test in math and reading. Civil rights advocates pushed back, arguing that tests are an important safeguard for struggling students because publicly reported test scores illuminate the achievement gap between historically underserved students and their more affluent peers."

An anonymous reader writes: MIT graduate students have developed a new "cutting-plane" algorithm, a general-purpose algorithm for solving optimization problems. They've also developed a new way to apply their algorithm to specific problems, yielding orders-of-magnitude efficiency gains. Optimization problems look to find the best set of values for a group of disparate parameters. For example, the cost function around designing a new smartphone would reward battery life, speed, and durability while penalizing thickness, cost, and overheating. Finding the optimal arrangement of values is a difficult problem, but the new algorithm shaves a significant amount of operations (PDF) off those calculations. Satoru Iwata, professor of mathematical informatics at the University of Tokyo, said, "This is indeed an astonishing paper. For this problem, the running time bounds derived with the aid of discrete geometry and combinatorial techniques are by far better than what I could imagine."

Susan Crawford yesterday published at Medium a critique of Uber and similar ride-coordinating services, in the form of a kind of paean to the American taxicab. Though she didn't start out with negative feelings for Uber, Crawford writes, her sentiment has swung away from objections to taxis (such as that they seek unfair protection from competition) to an extravagant defense, though it comes with a long list of "shoulds": "[Cities] should be focusing on making their taxi services better," she writes. "Taxis should be more accessible to everyone. Taxi fares should be low, predictable, and uniform. Taxi geographies should be wide. Taxis should be clean, fuel-efficient, driven by trustworthy, well-trained drivers, and available for frictionless electronic hailing." Even with the flaws that list implies, Crawford's description of how well taxis work now is more positive than I've found to be true: "Their rates are regulated and set; their pricing is transparent and can be double-checked (just look at the meter, which is itself regularly tested); they look like a uniform fleet; they are subject to very strict licensing and safety requirements. With rare exceptions, they don’t employ surge/congestion pricing schemes."

Tim O'Reilly has written a response, calling Crawford's arguments "puzzling and unconvincing." O'Reilly dissects some of the math behind the business of driving others for money, as it applies to both conventional taxi drivers and "gig economy" drivers, as well as some of the qualitative effects of ride-dispatch services; surely some readers will take issue with his figures and examples, but they provide a plausible case for doubting Crawford's rosy picture of taxis and dark view of modern app-dispatched rides. O'Reilly writes: "Regulation is not a good in itself. It is a means of achieving public goods. And so far, it is pretty clear that Uber and Lyft (and in particular, the competition between them) are improving the transportation options in American cities. Regulators should be using the opportunity to revisit the old way of doing things rather than trying to make the new conform to outdated rules that no longer serve their purpose."

Today is Ada Lovelace Day, a time to celebrate the achievements of women in STEM fields. Several publications have put together lists of notable women to commemorate the day, such as tech pioneers, robotics experts, and historical engineers and scientists. Other are taking the opportunity to keep pushing against the elements of tech culture that remain sexist. From the BBC: On Ada Lovelace Day, four female engineers from around the world share their experiences of working in male-dominated professions. When Isis Anchalee's employer OneLogin asked her to take part in its recruitment campaign, she didn't rush to consult the selfie-loving Kardashian sisters for styling tips. "I was wearing very minimal make-up. I didn't brush my hair that day," she said. But the resulting image of Ms Anchalee created a social media storm when it appeared on Bart, the San Francisco metro. Lots of people questioned whether she really was an engineer. "It was not just limited to women — it resonates with every single person who doesn't fit with what the stereotype should look like," she said.

"My parents, my brother, my community, all were against me," said Sovita Dahal of her decision to pursue a career in technology. "I was going against traditional things. In my schooldays I was fascinated by electronic equipment like motors, transformers and LED lights. Later on this enthusiasm became my passion and ultimately my career," she said.

I was both pleased and disappointed, as always, when I heard that a book I enjoyed was being made into a movie. Andy Weir's The Martian was the best new book I'd read in years. It was written for nerds, by a nerd — by somebody with an obvious love for NASA, science, and spaceflight. How could it possibly be condensed into the format of a Hollywood blockbuster? Well, director Ridley Scott and screenwriter Drew Goddard figured out how. The Martian is an excellent film, well worth watching. Read on for my review (very minor spoilers only), and feel free to share your own in the comments.

minstrelmike writes: Mattel is coming out with a Talking Barbie designed by a huge team and pre-scripted with thousands of responses controlled by an AI, with designs to be your best friend. The design team remembers the "Math is hard" debacle of the 1990s and if a girl asks if she's pretty, Barbie will respond, "Yes. And you're smart, too." If she asks if Barbie believes in God, she says a person's beliefs are personal. And suggests talking to grownups about some problems. The linked New York Times' article ("Barbie Wants to Get to Know Your Child") even discusses trying to avoid edited vids on YouTube by scripting out words such as "cockroach."