Group items tagged

Breeding in American zoos has done little to improve genetic diversity, experts say, because China typically sends abroad animals whose genes are already well represented in the population.

Yet American zoos clamor for pandas, and China eagerly provides them. Zoos get attention and attendance. Chinese breeders get cash bonuses for every cub, records show. At the turn of the century, 126 pandas lived in captivity. Today there are more than 700.

Kati Loeffler, a veterinarian, worked at a panda breeding center in Chengdu, China, during the program’s early years. “I remember standing there with the cicadas screaming in the bamboo,” she said. “I realized, ‘Oh my God, my job here is to turn the well-being and conservation of pandas into financial gain.’”

Kimberly Terrell, who was director of conservation at the Memphis Zoo until 2017, said, “There was always pressure and the implication that cubs would bring money.” She noted that zoo administrators insisted on inseminating its aging female panda every year, despite concerns among zookeepers that it was unlikely to succeed. It never did.

“The people who actually worked day to day with these animals, who understand them best, were pretty opposed to these procedures,” she said. The zoo said its breeding efforts followed all program requirements.

The Times collected key documents and audiovisual materials from the Smithsonian archives and supplemented them with materials obtained through open-records requests. The trove, which spans four decades, includes medical records, scientists’ field notes and photographs and videos that offer crucial evidence of breeding procedures, side effects and the conditions in which pandas were held.

They show that the riskiest techniques happened in the program’s infancy, but that aggressive breeding continued at the National Zoo and at other institutions for years. A panda in Japan died during sperm collection in 2010. Chinese breeding centers, until recently, separated cubs from their mothers to make the females go back into heat.

This panda proliferation has prompted debates among zoo workers and scientists over whether it is ethical to subject animals to intensive breeding when they have no real prospect of being released into the wild. But those discussions have largely played out privately because researchers and zookeepers said that criticizing the program could hurt their ability to work in the field.

when a species is on the verge of extinction, conservationists sometimes make a last-ditch effort to save it.

with pandas, zoo administrators take chances again and again simply to make more cubs, while keeping the grimmest details from the public.

Infection of apes is a major concern for zoos and conservationists. They easily fall prey to human respiratory infections, and common cold viruses have caused deadly outbreaks in chimpanzees in Africa.

Genome research has suggested that chimpanzees, gorillas and other apes will be susceptible to SARS-CoV-2, the virus that has caused the pandemic.

Scientists are worrying not just about the danger the virus poses to great apes and other animals, but also about the potential for the virus to gain a foothold in a wild animal population that could become a permanent reservoir and emerge at a later date to reinfect humans.

Denmark ended up killing as many as 17 million mink — effectively wiping out its mink farming industry. In the United States, thousands of mink have died, and one wild mink has tested positive for the virus.

Although many animals, including dogs, domestic cats, and big cats in zoos, have become infected by the virus through natural spread, and others have been infected in laboratory experiments, scientists say that widespread testing has yet to find the virus in any animal in the wild other than the one mink.

The greatest failure of the GOP is not realizing that Obama is a president they could have worked with on policy grounds, and whose relationship with them could have actually defused some of the very traits that suburban voters and most generations under 40 still find so disturbing in the GOP base.

Reform conservatives believe that the GOP should put forward serious and credible policies that directly address the issue of family formation and breakdown. It will be good for the economy, good for people, and is a prerequisite to shrinking government over the long term since voters will not acquiesce to shrinking public handouts if they do not feel that they have private safety nets available, first among which is the family

The alternative scenario would go something like this: Don’t address middle income voters’ day-to-day concerns seriously, don’t make family formation more affordable -> concede the field to Democrats -> increase economic and social insecurity -> increase demand for government -> lose elections -> government grows bigger -> social pathologies get worse -> keep conceding the field -> increase demand for government -> etc. 2012 was Act I of that nightmare scenario.

I endorsed Ross’ and Reihan’s book, but took longer than they did to let go of my libertarian instincts in the face of yawning social inequality. It’s only been since the impact of the Great Recession sank in that I have truly come to terms with the fact that, say, flat taxes are irrelevant right now to our major problems, or that publicly subsidized private health insurance is an important response to a middle class facing an epic (if much predicted) employment and economic crisis.

there’s a core agreement: the times demand a different response than that imprinted on so many of us under Reagan-Thatcher; and encouraging self-government is the best way to keep big government at bay. If the GOP were to accept the principles of Romneycare/Obamacare, for example, they could then help reform the architecture to control costs better, empower individual choices more, and win people like me back.

The gorillas in San Diego are among the latest animals to become infected with the coronavirus, which has killed more than 375,000 people in the United States, according to an analysis by The New York Times.

Hawks in the Bush administration like Vice President Dick Cheney urged Mr. Bush to consider a military strike against the Iranian nuclear facilities before they could produce fuel suitable for a weapon. Several times, the administration reviewed military options and concluded that they would only further inflame a region already at war, and would have uncertain results.

The first stage in the effort was to develop a bit of computer code called a beacon that could be inserted into the computers, which were made by the German company Siemens and an Iranian manufacturer, to map their operations. The idea was to draw the equivalent of an electrical blueprint of the Natanz plant, to understand how the computers control the giant silvery centrifuges that spin at tremendous speeds. The connections were complex, and unless every circuit was understood, efforts to seize control of the centrifuges could fail.

The first attacks were small, and when the centrifuges began spinning out of control in 2008, the Iranians were mystified about the cause, according to intercepts that the United States later picked up.

The unusually tight collaboration with Israel was driven by two imperatives. Israel’s Unit 8200, a part of its military, had technical expertise that rivaled the N.S.A.’s, and the Israelis had deep intelligence about operations at Natanz that would be vital to making the cyberattack a success.

Soon the two countries had developed a complex worm that the Americans called “the bug.” But the bug needed to be tested. So, under enormous secrecy, the United States began building replicas of Iran’s P-1 centrifuges, an aging, unreliable design that Iran purchased from Abdul Qadeer Khan, the Pakistani nuclear chief who had begun selling fuel-making technology on the black market.

“This is the first attack of a major nature in which a cyberattack was used to effect physical destruction,” rather than just slow another computer, or hack into it to steal data.

It took months for the beacons to do their work and report home, complete with maps of the electronic directories of the controllers and what amounted to blueprints of how they were connected to the centrifuges deep underground. Then the N.S.A. and a secret Israeli unit respected by American intelligence officials for its cyberskills set to work developing the enormously complex computer worm that would become the attacker from within.

the code would lurk inside the plant for weeks, recording normal operations; when it attacked, it sent signals to the Natanz control room indicating that everything downstairs was operating normally. “This may have been the most brilliant part of the code,” one American official said.

the Iranians had grown so distrustful of their own instruments that they had assigned people to sit in the plant and radio back what they saw.

Mr. Bush urged him to preserve two classified programs, Olympic Games and the drone program in Pakistan. Mr. Obama took Mr. Bush’s advice.

Mr. Obama authorized the attacks to continue, and every few weeks — certainly after a major attack — he would get updates and authorize the next step. Sometimes it was a strike riskier and bolder than what had been tried previously. “From his first days in office, he was deep into every step in slowing the Iranian program — the diplomacy, the sanctions, every major decision,” a senior administration official said. “And it’s safe to say that whatever other activity might have been under way was no exception to that rule.”

In the summer of 2010, shortly after a new variant of the worm had been sent into Natanz, it became clear that the worm, which was never supposed to leave the Natanz machines, had broken free, like a zoo animal that found the keys to the cage.

An error in the code, they said, had led it to spread to an engineer’s computer when it was hooked up to the centrifuges. When the engineer left Natanz and connected the computer to the Internet, the American- and Israeli-made bug failed to recognize that its environment had changed. It began replicating itself all around the world.

“We think there was a modification done by the Israelis,” one of the briefers told the president, “and we don’t know if we were part of that activity.”

Mr. Obama, according to officials in the room, asked a series of questions, fearful that the code could do damage outside the plant. The answers came back in hedged terms. Mr. Biden fumed. “It’s got to be the Israelis,” he said. “They went too far.”

American cyberattacks are not limited to Iran, but the focus of attention, as one administration official put it, “has been overwhelmingly on one country.” There is no reason to believe that will remain the case for long. Some officials question why the same techniques have not been used more aggressively against North Korea. Others see chances to disrupt Chinese military plans, forces in Syria on the way to suppress the uprising there, and Qaeda operations around the world. “We’ve considered a lot more attacks than we have gone ahead with,” one former intelligence official said.

In fact, no country’s infrastructure is more dependent on computer systems, and thus more vulnerable to attack, than that of the United States. It is only a matter of time, most experts believe, before it becomes the target of the same kind of weapon that the Americans have used, secretly, against Iran.

All of the examples chosen that represent racial slights or overt racism only raise the specter of how these frat members are raised, what they truly believe, and how organizations that permit such behavior and encourage the newbies to go along with it perpetuate racism in all its forms. As such, the question "what should we do about fraternities" isn't any different from the same question with the terms "KKK", "Neo-Nazis", or "anti semetics" substituted in for "fraternities".

The fraternities are a reflection of college life and life in America.There is more polarization on campuses, with students not mixing, exchanging ideas and engaging one another. Instead, they are congregating with other students just like them, and this is occurring across the race and color spectrum. Several college professors blame the Greek system for seeming to foster this division, but I believe it is more of a reflection of what is going on in America, as society is similarly divided and not engaging with anyone who is not alike.Is it risk aversion, need for affirmation, security? Unknown, but while I'm not a fan of the Greek system/life, I do not believe it is the crux of the problem.

I will take advantage of the vacuum to explain why my fraternity brought out the worst in its members. The fundamental problem is that most college-age men lack the judgment and life-experience to live together in a self-governing group. Inevitably, the most aggressive, extroverted risk takers will come to dominate the organization. Their best teenage thinking is what gives birth to the worst ideas and greatest excesses of the insular frat life. What else contributes to fraternities' bad reputations? The college administrations, which long ago renounced their in-loco-parentis responsibilities. There was a time when fraternities had seasoned adult house fathers who could keep the guys in line. No more.

"Powerful alumni." That's all that really needs to be said. As we've reduced public funding for higher education, universities are more and more dependent on the deep pockets of alumni who are going to place a phone call to any campus administrator who tries to seriously address all the "fun." Drinking, sexual assault, racism. Fraternities are good at breeding loyalty, loyalty to their chapters, loyalty to their campuses. Few universities can afford to toy with that. Note this Atlantic Monthly article, "The Dark Power of Fraternities." http://www.theatlantic.com/features/archive/2014/02/the-dark-power-of-fr...

As a student, it seemed to me that the purpose of fraternities was to reaffirm that education didn't really matter -- a big poke in the eye at anyone who believed that they could advance by excelling academically. What really mattered was how much you could drink and debase yourself in tribute to the bastions of current privilege and wealth

for the quality of life in the house, it certainly was not apparent to me. When I came to them with proof positive that a "brother" had stolen a check payable to me, forged my signature and cashed it, they did nothing to sanction him.The dominant group in my fraternity had no apparent thirst for knowledge, just an unquenchable thirst for daily alcohol-fueled parties that lasted into the wee hours with loud music and drugs. We outsiders subsidized their party life and all we got in return was the privilege of living in their zoo.

Why do some Greek-letter organizations seem to bring out the worst in people? Historically white fraternal groups can be key mechanisms in the intergenerational transmission of white wealth, power and status. The stakes for belonging are high, and the culture must legitimate its own existence, forcing out those who fail to conform.

So each show retains a number of wealth consultants — some of them billionaires and some of them vendors who cater to billionaires — who advise on what uniforms household staff might wear or which artwo

Cost aside, one way these shows suggest wealth is less about the items themselves than how the characters react to them. In the second season of “Billions,” Bobby and Lara Axelrod board his-and-her private jets with no more fanfare than a quick goodbye kiss. The characters aren’t awed, so the camera isn’t either.

“Succession” mostly steers clear of beauty shots. Armstrong told his team, “Let’s never try to persuade anyone or sell anyone on an element of this lifestyle.” The characters tend to treat wealth casually, even disdainfully, regifting a Patek-Philippe, stepping into a Sikorsky helicopter as if it’s one more town car.

When even “Dynasty” unleashes a socioeconomic critique, it suggests suspicion of the very rich, an anxiety that they may not be like the rest of us. That anxiety might have merit. The 1980s — the era of the first “Dynasty” — and the present are periods associated with huge increases in wealth inequality.

“Rich people have become so different from the average person,” said Shamus Khan, a Columbia University sociology professor who researches the political influence of economic elites. “They’re of interest in the way that a zoo animal is of interest.”

“People imagine that it’s going to bring some meaning to them or satisfy some need,” he said. However, “rich people often describe themselves as feeling dead inside.”

The wealthy characters in these shows often choose money over family, community or moral integrity. The design — luxurious, but sometimes cold and unbeautiful — reflects that.

Pakistan now says the alliance is over—and good riddance. Foreign Minister Khawaja Muhammad Asif complained that “This is not how allies behave.” He is absolutely correct: U.S. allies do not take its lower and middle-class taxpayers’ hard-earned money and hand it over to enemies such as the Taliban, the Haqqani Network, and Lashkar-e-Taiba.Asif went on to offer the usual protestations that Pakistan’s military operations have cleared Pakistan of sanctuaries for these groups to hide in. But if there were such scoundrels on Pakistan’s territory, he said that if Pakistan went after them, “then the war will again be fought on our soil, which will suit the Americans.”

Still, Pakistan likely suspects it has the upper hand, and for good reason: It has cultivated a global fear that it is too dangerous to fail. This is why many Americans have been afraid to break ties with Pakistan and have never encouraged the International Monetary Fund and other multilateral organizations to cut off the country and let Pakistan wallow in its own mess. Pakistan believes it has effectively bribed the international community with the specter that any instability could result in terrorists getting their hands on Pakistani nuclear technology, fissile materials, or a weapon. In fact, Pakistan has stoked these fears by having the world’s fastest-growing nuclear program, including of battlefield nuclear weapons. It is conceivable that Pakistan could use funds from a future IMF bailout to service its burgeoning Chinese debt.

Still, one positive side effect of having an erratic head of state is that the United States now has a genuine and credible threat to act against Pakistan. America has not been in such a position since 9/11, when it used its position of leverage to coerce Pakistan to facilitate the U.S. invasion of Afghanistan. Whereas Pakistan had long comforted itself that neither Presidents Bush nor Obama would seriously alter course, due to the petting zoo of Islamist militants that Pakistan cultivated as crucial tools of foreign policy, and to its nuclear weapons, Pakistan will have to seriously consider that Trump means what he says. Since the early months of the war on terror that began in October 2001, the United States has ultimately swerved when confronted with Pakistani brinkmanship. Pakistan can’t count on that this time.

Code is too hard to think about. Before trying to understand the attempts themselves, then, it’s worth understanding why this might be: what it is about code that makes it so foreign to the mind, and so unlike anything that came before it.

Technological progress used to change the way the world looked—you could watch the roads getting paved; you could see the skylines rise. Today you can hardly tell when something is remade, because so often it is remade by code.

Software has enabled us to make the most intricate machines that have ever existed. And yet we have hardly noticed, because all of that complexity is packed into tiny silicon chips as millions and millions of lines of cod

The programmer, the renowned Dutch computer scientist Edsger Dijkstra wrote in 1988, “has to be able to think in terms of conceptual hierarchies that are much deeper than a single mind ever needed to face before.” Dijkstra meant this as a warning.

As programmers eagerly poured software into critical systems, they became, more and more, the linchpins of the built world—and Dijkstra thought they had perhaps overestimated themselves.

What made programming so difficult was that it required you to think like a computer.

The introduction of programming languages like Fortran and C, which resemble English, and tools, known as “integrated development environments,” or IDEs, that help correct simple mistakes (like Microsoft Word’s grammar checker but for code), obscured, though did little to actually change, this basic alienation—the fact that the programmer didn’t work on a problem directly, but rather spent their days writing out instructions for a machine.

“The problem is that software engineers don’t understand the problem they’re trying to solve, and don’t care to,” says Leveson, the MIT software-safety expert. The reason is that they’re too wrapped up in getting their code to work.

“The serious problems that have happened with software have to do with requirements, not coding errors.” When you’re writing code that controls a car’s throttle, for instance, what’s important is the rules about when and how and by how much to open it. But these systems have become so complicated that hardly anyone can keep them straight in their head. “There’s 100 million lines of code in cars now,” Leveson says. “You just cannot anticipate all these things.”

a nearly decade-long investigation into claims of so-called unintended acceleration in Toyota cars. Toyota blamed the incidents on poorly designed floor mats, “sticky” pedals, and driver error, but outsiders suspected that faulty software might be responsible

software experts spend 18 months with the Toyota code, picking up where NASA left off. Barr described what they found as “spaghetti code,” programmer lingo for software that has become a tangled mess. Code turns to spaghetti when it accretes over many years, with feature after feature piling on top of, and being woven around

Using the same model as the Camry involved in the accident, Barr’s team demonstrated that there were actually more than 10 million ways for the onboard computer to cause unintended acceleration. They showed that as little as a single bit flip—a one in the computer’s memory becoming a zero or vice versa—could make a car run out of control. The fail-safe code that Toyota had put in place wasn’t enough to stop it

. In all, Toyota recalled more than 9 million cars, and paid nearly $3 billion in settlements and fines related to unintended acceleration.

The problem is that programmers are having a hard time keeping up with their own creations. Since the 1980s, the way programmers work and the tools they use have changed remarkably little.

“Visual Studio is one of the single largest pieces of software in the world,” he said. “It’s over 55 million lines of code. And one of the things that I found out in this study is more than 98 percent of it is completely irrelevant. All this work had been put into this thing, but it missed the fundamental problems that people faced. And the biggest one that I took away from it was that basically people are playing computer inside their head.” Programmers were like chess players trying to play with a blindfold on—so much of their mental energy is spent just trying to picture where the pieces are that there’s hardly any left over to think about the game itself.

The fact that the two of them were thinking about the same problem in the same terms, at the same time, was not a coincidence. They had both just seen the same remarkable talk, given to a group of software-engineering students in a Montreal hotel by a computer researcher named Bret Victor. The talk, which went viral when it was posted online in February 2012, seemed to be making two bold claims. The first was that the way we make software is fundamentally broken. The second was that Victor knew how to fix it.

Though he runs a lab that studies the future of computing, he seems less interested in technology per se than in the minds of the people who use it. Like any good toolmaker, he has a way of looking at the world that is equal parts technical and humane. He graduated top of his class at the California Institute of Technology for electrical engineering,

in early 2012, Victor had finally landed upon the principle that seemed to thread through all of his work. (He actually called the talk “Inventing on Principle.”) The principle was this: “Creators need an immediate connection to what they’re creating.” The problem with programming was that it violated the principle. That’s why software systems were so hard to think about, and so rife with bugs: The programmer, staring at a page of text, was abstracted from whatever it was they were actually making.

“Our current conception of what a computer program is,” he said, is “derived straight from Fortran and ALGOL in the late ’50s. Those languages were designed for punch cards.”

WYSIWYG (pronounced “wizzywig”) came along. It stood for “What You See Is What You Get.”

Victor’s point was that programming itself should be like that. For him, the idea that people were doing important work, like designing adaptive cruise-control systems or trying to understand cancer, by staring at a text editor, was appalling.

With the right interface, it was almost as if you weren’t working with code at all; you were manipulating the game’s behavior directly.

When the audience first saw this in action, they literally gasped. They knew they weren’t looking at a kid’s game, but rather the future of their industry. Most software involved behavior that unfolded, in complex ways, over time, and Victor had shown that if you were imaginative enough, you could develop ways to see that behavior and change it, as if playing with it in your hands. One programmer who saw the talk wrote later: “Suddenly all of my tools feel obsolete.”

hen John Resig saw the “Inventing on Principle” talk, he scrapped his plans for the Khan Academy programming curriculum. He wanted the site’s programming exercises to work just like Victor’s demos. On the left-hand side you’d have the code, and on the right, the running program: a picture or game or simulation. If you changed the code, it’d instantly change the picture. “In an environment that is truly responsive,” Resig wrote about the approach, “you can completely change the model of how a student learns ... [They] can now immediately see the result and intuit how underlying systems inherently work without ever following an explicit explanation.” Khan Academy has become perhaps the largest computer-programming class in the world, with a million students, on average, actively using the program each month.

The ideas spread. The notion of liveness, of being able to see data flowing through your program instantly, made its way into flagship programming tools offered by Google and Apple. The default language for making new iPhone and Mac apps, called Swift, was developed by Apple from the ground up to support an environment, called Playgrounds, that was directly inspired by Light Table.

“Everyone thought I was interested in programming environments,” he said. Really he was interested in how people see and understand systems—as he puts it, in the “visual representation of dynamic behavior.” Although code had increasingly become the tool of choice for creating dynamic behavior, it remained one of the worst tools for understanding it. The point of “Inventing on Principle” was to show that you could mitigate that problem by making the connection between a system’s behavior and its code immediate.

In a pair of later talks, “Stop Drawing Dead Fish” and “Drawing Dynamic Visualizations,” Victor went one further. He demoed two programs he’d built—the first for animators, the second for scientists trying to visualize their data—each of which took a process that used to involve writing lots of custom code and reduced it to playing around in a WYSIWYG interface.

Victor suggested that the same trick could be pulled for nearly every problem where code was being written today. “I’m not sure that programming has to exist at all,” he told me. “Or at least software developers.” In his mind, a software developer’s proper role was to create tools that removed the need for software developers. Only then would people with the most urgent computational problems be able to grasp those problems directly, without the intermediate muck of code.

Victor implored professional software developers to stop pouring their talent into tools for building apps like Snapchat and Uber. “The inconveniences of daily life are not the significant problems,” he wrote. Instead, they should focus on scientists and engineers—as he put it to me, “these people that are doing work that actually matters, and critically matters, and using really, really bad tools.”

“people are not so easily transitioning to model-based software development: They perceive it as another opportunity to lose control, even more than they have already.”

In a model-based design tool, you’d represent this rule with a small diagram, as though drawing the logic out on a whiteboard, made of boxes that represent different states—like “door open,” “moving,” and “door closed”—and lines that define how you can get from one state to the other. The diagrams make the system’s rules obvious: Just by looking, you can see that the only way to get the elevator moving is to close the door, or that the only way to get the door open is to stop.

Bantegnie’s company is one of the pioneers in the industrial use of model-based design, in which you no longer write code directly. Instead, you create a kind of flowchart that describes the rules your program should follow (the “model”), and the computer generates code for you based on those rules

“Typically the main problem with software coding—and I’m a coder myself,” Bantegnie says, “is not the skills of the coders. The people know how to code. The problem is what to code. Because most of the requirements are kind of natural language, ambiguous, and a requirement is never extremely precise, it’s often understood differently by the guy who’s supposed to code.”

On this view, software becomes unruly because the media for describing what software should do—conversations, prose descriptions, drawings on a sheet of paper—are too different from the media describing what software does do, namely, code itself.

for this approach to succeed, much of the work has to be done well before the project even begins. Someone first has to build a tool for developing models that are natural for people—that feel just like the notes and drawings they’d make on their own—while still being unambiguous enough for a computer to understand. They have to make a program that turns these models into real code. And finally they have to prove that the generated code will always do what it’s supposed to.

tice brings order and accountability to large codebases. But, Shivappa says, “it’s a very labor-intensive process.” He estimates that before they used model-based design, on a two-year-long project only two to three months was spent writing code—the rest was spent working on the documentation.

uch of the benefit of the model-based approach comes from being able to add requirements on the fly while still ensuring that existing ones are met; with every change, the computer can verify that your program still works. You’re free to tweak your blueprint without fear of introducing new bugs. Your code is, in FAA parlance, “correct by construction.”

. In traditional programming, your task is to take complex rules and translate them into code; most of your energy is spent doing the translating, rather than thinking about the rules themselves. In the model-based approach, all you have is the rules. So that’s what you spend your time thinking about. It’s a way of focusing less on the machine and more on the problem you’re trying to get it to solve.

The bias against model-based design, sometimes known as model-driven engineering, or MDE, is in fact so ingrained that according to a recent paper, “Some even argue that there is a stronger need to investigate people’s perception of MDE than to research new MDE technologies.”

“Human intuition is poor at estimating the true probability of supposedly ‘extremely rare’ combinations of events in systems operating at a scale of millions of requests per second,” he wrote in a paper. “That human fallibility means that some of the more subtle, dangerous bugs turn out to be errors in design; the code faithfully implements the intended design, but the design fails to correctly handle a particular ‘rare’ scenario.”

Newcombe was convinced that the algorithms behind truly critical systems—systems storing a significant portion of the web’s data, for instance—ought to be not just good, but perfect. A single subtle bug could be catastrophic. But he knew how hard bugs were to find, especially as an algorithm grew more complex. You could do all the testing you wanted and you’d never find them all.

An algorithm written in TLA+ could in principle be proven correct. In practice, it allowed you to create a realistic model of your problem and test it not just thoroughly, but exhaustively. This was exactly what he’d been looking for: a language for writing perfect algorithms.

TLA+, which stands for “Temporal Logic of Actions,” is similar in spirit to model-based design: It’s a language for writing down the requirements—TLA+ calls them “specifications”—of computer programs. These specifications can then be completely verified by a computer. That is, before you write any code, you write a concise outline of your program’s logic, along with the constraints you need it to satisfy

Programmers are drawn to the nitty-gritty of coding because code is what makes programs go; spending time on anything else can seem like a distraction. And there is a patient joy, a meditative kind of satisfaction, to be had from puzzling out the micro-mechanics of code. But code, Lamport argues, was never meant to be a medium for thought. “It really does constrain your ability to think when you’re thinking in terms of a programming language,”

Code makes you miss the forest for the trees: It draws your attention to the working of individual pieces, rather than to the bigger picture of how your program fits together, or what it’s supposed to do—and whether it actually does what you think. This is why Lamport created TLA+. As with model-based design, TLA+ draws your focus to the high-level structure of a system, its essential logic, rather than to the code that implements it.

But TLA+ occupies just a small, far corner of the mainstream, if it can be said to take up any space there at all. Even to a seasoned engineer like Newcombe, the language read at first as bizarre and esoteric—a zoo of symbols.

this is a failure of education. Though programming was born in mathematics, it has since largely been divorced from it. Most programmers aren’t very fluent in the kind of math—logic and set theory, mostly—that you need to work with TLA+. “Very few programmers—and including very few teachers of programming—understand the very basic concepts and how they’re applied in practice. And they seem to think that all they need is code,” Lamport says. “The idea that there’s some higher level than the code in which you need to be able to think precisely, and that mathematics actually allows you to think precisely about it, is just completely foreign. Because they never learned it.”

“In the 15th century,” he said, “people used to build cathedrals without knowing calculus, and nowadays I don’t think you’d allow anyone to build a cathedral without knowing calculus. And I would hope that after some suitably long period of time, people won’t be allowed to write programs if they don’t understand these simple things.”

Programmers, as a species, are relentlessly pragmatic. Tools like TLA+ reek of the ivory tower. When programmers encounter “formal methods” (so called because they involve mathematical, “formally” precise descriptions of programs), their deep-seated instinct is to recoil.

Formal methods had an image problem. And the way to fix it wasn’t to implore programmers to change—it was to change yourself. Newcombe realized that to bring tools like TLA+ to the programming mainstream, you had to start speaking their language.

he presented TLA+ as a new kind of “pseudocode,” a stepping-stone to real code that allowed you to exhaustively test your algorithms—and that got you thinking precisely early on in the design process. “Engineers think in terms of debugging rather than ‘verification,’” he wrote, so he titled his internal talk on the subject to fellow Amazon engineers “Debugging Designs.” Rather than bemoan the fact that programmers see the world in code, Newcombe embraced it. He knew he’d lose them otherwise. “I’ve had a bunch of people say, ‘Now I get it,’” Newcombe says.

In the world of the self-driving car, software can’t be an afterthought. It can’t be built like today’s airline-reservation systems or 911 systems or stock-trading systems. Code will be put in charge of hundreds of millions of lives on the road and it has to work. That is no small task.

“Dr Seuss Enterprises has made a moral decision of choosing not to profit from work with racist caricature in it and they have taken responsibility for the art they are putting into the world and I would support that,” Nel said.

“Dr Seuss Enterprises has made a moral decision of choosing not to profit from work with racist caricature in it and they have taken responsibility for the art they are putting into the world and I would support that,” Nel said.

The titles in question are And to Think That I Saw It on Mulberry Street, If I Ran the Zoo, McElligot’s Pool, On Beyond Zebra!, Scrambled Eggs Super! and The Cat’s Quizzer

Nel said the decision to no longer publish titles including caricatures of people of African, Asian and Arab descent showed just one way to address problematic material.

After this week’s announcement, amid uproar eagerly stoked by conservatives in the media and Congress, Dr Seuss books swiftly dominated sales charts. On Friday, the House minority leader, Kevin McCarthy, went so far as to share a video of himself reading from Green Eggs and Ham, a perennial strong seller.

Geisel’s stepdaughter, Lark Grey Dimond-Cates, told the New York Post there “wasn’t a racist bone in that man’s body”, but also said suspending publication of the six titles was “a wise decision”.

Geisel’s stepdaughter, Lark Grey Dimond-Cates, told the New York Post there “wasn’t a racist bone in that man’s body”, but also said suspending publication of the six titles was “a wise decision”

After this week’s announcement, amid uproar eagerly stoked by conservatives in the media and Congress, Dr Seuss books swiftly dominated sales charts. On Friday, the House minority leader, Kevin McCarthy, went so far as to share a video of himself reading from Green Eggs and Ham, a perennial strong seller.

Nel said the decision to no longer publish titles including caricatures of people of African, Asian and Arab descent showed just one way to address problematic material.

Later in life, he made efforts to tone down racial stereotypes in some of his books. Such revisions “were imperfect but will-intentioned efforts that softened but did not erase the stereotyping”, Nel said, noting that Geisel also made a joke of the changes, “which served only to trivialise the importance of the alterations”.

Geisel died in 1991. Later in life, he made efforts to tone down racial stereotypes in some of his books. Such revisions “were imperfect but will-intentioned efforts that softened but did not erase the stereotyping”, Nel said, noting that Geisel also made a joke of the changes, “which served only to trivialise the importance of the alterations”.

“Children understand more than they can articulate,” he said. “If you inflict racist images on them before they can express what they’re articulating they may endure a harm they cannot process.”In the case of Dr Seuss, Nel said, that “is itself a reason to withdraw the books or to bring in books or art that counter stereotypes with truth.”

“Children understand more than they can articulate,” he said. “If you inflict racist images on them before they can express what they’re articulating they may endure a harm they cannot process.”

In the case of Dr Seuss, Nel said, that “is itself a reason to withdraw the books or to bring in books or art that counter stereotypes with truth.”

only 22% of children’s books published in 2018 featured non-white characters.

only 22% of children’s books published in 2018 featured non-white characters.

Merely putting the question of what a child can or cannot see to parents would not be an adequate solution, Nel said.“Parents may not have training in anti-racist education,” he said, “or may not know how to have these conversations. So in the case of Dr Seuss it’s a way of addressing the gap in what one might hope a responsible adult would know and what we can expect a responsible adult to know.

“Parents may not have training in anti-racist education,” he said, “or may not know how to have these conversations. So in the case of Dr Seuss it’s a way of addressing the gap in what one might hope a responsible adult would know and what we can expect a responsible adult to know

Since the 1980s, the government recognized that nature is Costa Rica’s strongest asset and has therefore made every effort to protect it: including, among other things, zoo closures, reforestation, and establishing protected areas (25% of the total surface area of the country). “With its rich biodiversity, Costa Rica has also demonstrated far-sighted environmental leadership by pursuing reforestation, designating a third of the country protected natural reserves, and deriving almost all of its electricity from clean hydro power.” – Joseph Stiglitz

“Decarbonization is the great task of our generation and Costa Rica must be one of the first countries in the world to accomplish it, if not the first.”

it is also conscious of the well-being of its citizens. It is part of the Wellbeing Economies Alliance—a coalition that includes Scotland, New Zealand, and Slovenia—which instead of emphasizing countries’ GDP, “seeks to ensure that public policy advances citizens’ wellbeing in the broadest sense, by promoting democracy, sustainability, and inclusive growth,” according to a recent column by economist Joseph Stiglitz.

I decided to call Frank Luntz. Perhaps no person alive has spent more time polling Republican voters and counseling Republican politicians than Luntz, the 58-year-old focus group guru. His research on policy and messaging has informed a generation of GOP lawmakers. His ability to translate between D.C. and the provinces—connecting the concerns of everyday people to their representatives in power—has been unsurpassed. If anyone had an answer, it would be Luntz.

“You know, I don’t have a history of dodging questions. But I don’t know how to answer that. There is no consistent philosophy,” Luntz responded. “You can’t say it’s about making America great again at a time of Covid and economic distress and social unrest. It’s just not credible.”

Luntz thought for a moment. “I think it’s about promoting—” he stopped suddenly. “But I can’t, I don’t—” he took a pause. “That’s the best I can do.”

“Look, I’m the one guy who’s going to give you a straight answer. I don’t give a shit—I had a stroke in January, so there’s nothing anyone can do to me to make my life suck,” he said. “I’ve tried to give you an answer and I can’t do it. You can ask it any different way. But I don’t know the answer. For the first time in my life, I don’t know the answer.”

Every fourth summer, a presidential nominating convention gives occasion to appraise a party for its ideas, its principles, its vision for governing

Ronald Reagan’s party wanted to end the scourge of communism and slay the bureaucratic dragons of Big Government.

George W. Bush’s party aimed to project compassion and fortitude, educating poor Americans and treating AIDS-stricken Africans, while simultaneously confronting the advance of Islamic terrorism.

However flawed the policies, however unsuccessful their execution, a tone was set in these parties from the top-down.

Parties were supposed to be about ideas,” said Mark Sanford, the former South Carolina governor and congressman

“John Adams was an ornery guy, but he believed in his ideas. On the other side, Thomas Jefferson, he certainly didn’t live up to the ideas he espoused, but shoot, at least he talked about them. Nowadays, it’s just regression to the lowest common denominator on everything.

It can now safely be said, as his first term in the White House draws toward closure, that Donald Trump’s party is the very definition of a cult of personality. It stands for no special ideal. It possesses no organizing principle. It represents no detailed vision for governing. Filling the vacuum is a lazy, identity-based populism that draws from that lowest common denominator Sanford alluded to

“Owning the libs and pissing off the media,” shrugs Brendan Buck, a longtime senior congressional aide and imperturbable party veteran if ever there was one. “That’s what we believe in now. There’s really not much more to it.”

Everyone understands that Trump is a big-picture sloganeer—“Build the wall!” “Make America Great Again!”—rather than a policy aficionado. Even so, it’s astonishing how conceptually lifeless the party has become on his watch. There is no blueprint to fix what is understood to be a broken immigration system. There is no grand design to modernize the nation’s infrastructure. There is no creative thinking about a conservative, market-based solution to climate change. There is no meaningful effort to address the cost of housing or childcare or college tuition

None of the erstwhile bold ideas proposed by the likes of Newt Gingrich and Paul Ryan—term limits, a balanced budget amendment, reforms to Social Security and Medicare, anti-poverty programs—have survived as serious proposals. Heck, even after a decade spent trying to repeal the Affordable Care Act, Republicans still have no plan to replace it. (Trust me: If they did, you’d hear about it.)

When I called one party elder, he joked that it’s a good thing Republicans decided not to write a new platform for the 2020 convention—because they have produced nothing novel since the last one was written

The party is now defined primarily by its appetite for conflict, even when that conflict serves no obvious policy goal.

Even some of the president’s staunchest supporters concede Buck’s point in this regard

The result is political anarchy. Traditionally, the run-up to a convention sees a party attempting to tame rival factions and unite around a dynamic vision for the future. Instead, Republicans have spent the summer in a self-immolating downward spiral.

This is not a party struggling to find its identity. This is a party in the middle of a meltdown.

The verdict I’m rendering here is both observable in plain sight and breathtakingly obvious to anyone who has experienced the carnage up close.

Most of the party’s governing class sees perfectly well what is going on. They know exactly how bad t

hings are and how much worse they could yet be

these Republicans rue their predicament but see no way out of it. Like riders on a derailing roller coaster, they brace for a crash but dare not get off.

Having written the book on the making of the modern Republican Party, having spent hundreds of hours with its most powerful officials in public and private settings, I cannot possibly exaggerate the number of party leaders who have told me they worry both about Trump’s instability and its long-term implication for the GOP

There’s a reason Lindsey Graham called Trump “crazy,” a “bigot” and a “kook” who’s “unfit for office.” There’s a reason Ted Cruz called Trump “a pathological liar” and “a narcissist at a level I don’t think this country’s ever seen.” There’s a reason Marco Rubio observed that, “Every movement in human history that has been built on a foundation of anger and fear has been cataclysmic,” and warned of Trump’s rise, “This isn’t going to end well.”

To be a Republican today requires you to exist in a constant state of moral relativism, turning every chance at self-analysis into an assault on the other side, pretending the petting zoo next door is comparable to the three-ring circus on your front lawn.

The rest of the right-wing universe—conservative media, think tanks, activist organizations, financial networks, civic groups, voters themselves—has largely gone along for the ride, and for the same reason: “What about the Democrats?”

What all of these incidents and so many more have in common is that not a single American’s life has been improved; not a single little guy has been helped. Just as with the forceful dispersing of peaceful protesters in Lafayette Park—done so he could hold up a prop Bible for flashing cameras—Trump and his allies continue to wage symbolic battles whose principal casualties are ordinary people.

The spectacle is unceasing

Unsavory fringe characters have always looked for ways to penetrate the mainstream of major parties—and mostly, they have failed. What would result from a fringe character leading a party always remained an open question. It has now been asked and answered:

Some in the party have embraced the extreme, others in the party have blushed at it, but all of them have subjugated themselves to it. The same way a hothead coach stirs indiscipline in his players, the same way a renegade commander invites misconduct from his troops, a kamikaze president inspires his party to pursue martyrdom.

That is precisely what will be on display at this week’s Republican convention—martyrdom, grievance, victimhood.

It’s not that America won’t hear from serious Republicans who have real substance to offer, people like Senator Tim Scott and former U.S. Ambassador to the United Nations Nikki Haley. It’s that these two, along with the remnant of other sober-minded Republicans, are the new sideshow at a time when the old sideshow has moved to center stage.

Similarly, the problem for the party isn’t that the aforementioned complaints are entirely without merit. It’s that they form no part of a broader construct on which voters can be sold. This continues to be the bane of the GOP’s existence: The party is so obsessed with fighting that it has lost sight of what it’s fighting for.

“I think I have brought tremendous strength back to the party,” the president told me last year, arguing that previous GOP leaders lacked the stomach for gruesome political combat. There is no denying Trump has transformed the party from a country club debater into a barroom brawler. But to what end?

“Our central mission is to stand up for America. It’s to say loudly and proudly that we choose America. When I go around talking to Texans every single day, what I hear is that they’re proud of this country. And they want us to fight for this country. That’s what ties it all together for Republicans,” Roy said. “The people I talk to—even the ones who maybe get a little frustrated with the president—they look at him as someone who fights for this country.”

Roy is as close to a plainspoken conservative Republican as there is in Congress. I was curious to know how he would define today’s GOP.

The problem for Republicans is that most of the fights they’re picking nowadays are futile at best and foolhardy at worst. NASCAR? Confederate flags? Goya beans? Face masks? To the degree any of these issues move the needle politically, Republicans are on the wrong side of them. What’s worse, there is no connective tissue. There is no focus to the GOP’s incessant appetite for fighting. That’s how they wound up with Trump in the first place

“The GOP has been here before with John Birchers and it didn’t end well,” said Ben Sasse, the Nebraska senator who has been a vocal if terribly inconsistent Trump critic. “The party of Lincoln and Reagan ought to have something big and bold to offer the country, but it’s got way too many grifters selling grievance politics.”

To be clear, these grifters aren’t just shady party operatives and obscure congressional candidates. They are some of the president’s closest allies, people like Matt Gaetz,

If there is one principle driving Republican politicians today, it is that traditional American values—faith, patriotism, modesty, the nuclear family—are under siege

what’s fascinating to observe is the shift in priorities and proportionality. What was once a source of annoyance and frustration for one sect of the party, social conservatives, has turned into the dominant life force for the GOP

The good news for Republicans is that “grievance politics,” as Sasse describes it, continues to be highly effective in motivating their base. The bad news? It has diminishing returns when it comes to the many millions of persuadable voters in the middle. It’s also especially difficult for an incumbent party to sell grievance to the masses, as it amounts to a tacit acknowledgment of powerlessness.

Instead of downplaying the social upheaval, treating it as a fleeting phenomenon that will pass with time and promising better days ahead, they are highlighting it at every turn, claiming it’s a sneak preview of Biden’s America when it is, factually speaking, the feature presentation of Trump’s America.

The pressure is now entirely on Trump. And he won’t have much help

leading Republicans won’t be speaking on behalf of their party this week. Kasich already defected, endorsing Biden during a dramatic speech to the Democratic convention. And neither Romney nor Boehner nor either of the Bushes would speak even if asked. From what I’ve been told, none of them plan to vote for Trump this fall, and the chief reason they won’t say so publicly is they fear it would diminish their influence over the party moving forward.

A Republican collapse this fall—Biden wins the White House, Democrats flip the Senate and hold the House—would trigger a reckoning within the GOP every bit as sharp as the one associated with Obama’s takeover of Washington in 2008. If that occurs, much of the party’s pent-up irritation with Trump (which often masks long-simmering disgust with themselves) will spill over, and the efforts to expunge this ugly chapter of GOP history could commence with stunning ferocity.

There is no guarantee of this, however. Trump claims an intensity among his following that stacks up against any leader in American history. (“We’ve never seen anything like it,” Luntz said. “It’s like Elvis and the Beatles wrapped up in one.”

Overlooked is the real possibility that Trump could win. That Biden has not built a runaway lead despite enormous advantages—chief among them, the president’s poor playing of a terrible election-year hand—speaks to the effectiveness of Trump’s slash-and-burn mentality

“I actually find it kind of reassuring. With [George] McGovern in 1972, it was a colossal wipeout with a hugely mistaken candidate who was completely out of step with mainstream public opinion. Then in 1976, Jimmy Carter, an honest-to-goodness progressive, wins,” Brooks said. “I mean, Richard Nixon gets tossed out of office for blatant corruption. Everybody’s heading for the hills saying, ‘I never voted for him! I’m not a Republican!’ And six years later, Ronald Reagan wins and then gets reelected in one of the biggest landslides in history. These things can heal really, really fast.”

owever long Trump remains in office, whatever damage he does to the GOP, Brooks believes it will be temporary. It’s the “fundamental truth” of a two-party system, he said, that coalitions are constantly shifting, parties are continually renewing, politicians are eternally looking for ways to adapt and survive.

“Healthy parties need to build coalitions around a shared vision that speaks to all Americans,” Sasse told me. “Our current course is unsustainable. We’ve got a hell of a rebuilding ahead of us, whatever happens in November.”

Schools that are currently open will be allowed to continue in-person learning