Saul Kripke, a math prodigy and pioneering logician whose revolutionary theories on language qualified him as one of the 20th century’s greatest philosophers, died on Sept. 15 in Plainsboro, N.J. He was 81. The New York Times reports: His death, at Penn Medicine Princeton Medical Center, was caused by pancreatic cancer, according to Romina Padro, director of the Saul Kripke Center at the City University of New York, where Professor Kripke had been a distinguished professor of philosophy and computer science since 2003 and had capped a career exploring how people communicate. Professor Kripke’s classic work, “Naming and Necessity,” first published in 1972 and drawn from three lectures he delivered at Princeton University in 1970 before he was 30, was considered one of the century’s most evocative philosophical books.

“Kripke challenged the notion that anyone who uses terms, especially proper names, must be able to correctly identify what the terms refer to,” said Michael Devitt, a distinguished professor of philosophy who recruited Professor Kripke to the City University Graduate Center in Manhattan. “Rather, people can use terms like ‘Einstein,’ ‘springbok,’ perhaps even ‘computer,’ despite being too ignorant or wrong to provide identifying descriptions of their referents,” Professor Devitt said. “We can use terms successfully not because we know much about the referent but because we’re linked to the referent by a great social chain of communication.”

The Pulitzer Prize-winning historian Taylor Branch, writing in The New York Times Magazine in 1977, said Professor Kripke had “introduced ways to distinguish kinds of true statements — between statements that are ‘possibly’ true and those that are ‘necessarily’ true.” “In Professor Kripke’s analysis,” he continued, “a statement is possibly true if and only if it is true in some possible world — for example, ‘The sky is blue’ is a possible truth, because there is some world in which the sky could be red. A statement is necessarily true if it is true in all possible worlds, as in ‘The bachelor is an unmarried man.'”

Read more of this story at Slashdot.

Source: Slashdot – Saul Kripke, Philosopher Who Found Truths In Semantics, Dies At 81

An anonymous reader quotes a report from the Daily Beast: Luis Eduardo Garrido couldn’t wait to test out his colleague’s newest creation. Garrido, a psychology and methodology researcher at Pontificia Universidad Catolica Madre y Maestra in the Dominican Republic, drove two hours between his university’s campuses to try a virtual reality experience that was designed to treat obsessive-compulsive disorder and different types of phobias. But a couple of minutes after he put on the headset, he could tell something was wrong. “I started feeling bad,” Garrido told The Daily Beast. He was experiencing an unsettling bout of dizziness and nausea. He tried to push through but ultimately had to abort the simulation almost as soon as he started. “Honestly, I don’t think I lasted five minutes trying out the application,” he said.

Garrido had contracted cybersickness, a form of motion sickness that can affect users of VR technology. It was so severe that he worried about his ability to drive home, and it took hours for him to recover from the five-minute simulation. Though motion sickness has afflicted humans for thousands of years, cybersickness is a much newer condition. While this means that many of its causes and symptoms are understood, other basic questions — like how common cybersickness is, and whether there are ways to fully prevent it — are only just starting to be studied. After Garrido’s experience, a colleague told him that only around 2 percent of people feel cybersickness. But at a presentation for prospective students, Garrido watched as volunteers from the audience walked to the front of an auditorium to demo a VR headset — only to return shakily to their seats. “I could see from afar that they were getting sweaty and kind of uncomfortable,” he recalled. “I said to myself, ‘Maybe I’m not the only one.'”

As companies like Meta (nee Facebook) make big bets that augmented reality and virtual reality technology will go mainstream, the tech industry is still trying to figure out how to better recruit users to the metaverse, and get them to stay once there. But experts worry that cybersickness could derail these plans for good unless developers find some remedies soon. “The issue is actually something of a catch-22: In order to make VR more accessible and affordable, companies are making devices smaller and running them on less powerful processors,” adds the report. “But these changes introduce dizzying graphics — which inevitably causes more people to experience cybersickness.”

“At the same time, a growing body of research suggests cybersickness is vastly more pervasive than previously thought — perhaps afflicting more than half of all potential users.” When Garrido conducted his own study of 92 people, the results indicated that more than 65 percent of people experienced symptoms of cybersickness — a sharp contrast to the 2 percent estimate Garrido had been told.

He says that these results should be concerning for developers. “If people have this type of bad experience with something, they’re not going to try it again,” Garrido said.

Read more of this story at Slashdot.

Source: Slashdot – Cybersickness Could Spell an Early Death For the Metaverse

California Governor Gavin Newsom vetoed a bill that would require crypto financial-service businesses to get a special license to operate, calling it premature and costly. Bloomberg reports: Newsom on Friday declined to sign the legislation known as the Digital Financial Assets Law, which was passed by the state assembly and senate last month. While the governor said he shares the bill’s intent to protect Californians from financial harm and provide clear rules for the industry, his administration has been conducting research and gathering input on the right approach. The bill would require a loan of “tens of millions of dollars” from the general fund during the first several years, a “significant” commitment that needs to be accounted for in the state’s annual budget process, Newsom added.

“It is premature to lock a licensing structure in statute without considering both this work and forthcoming federal actions,” Newsom said in a statement. “A more flexible approach is needed to ensure regulatory oversight can keep up with rapidly evolving technology and use cases, and is tailored with the proper tools to address trends and mitigate consumer harm.”

Read more of this story at Slashdot.

Source: Slashdot – Newsom Vetoes ‘Premature’ Crypto Oversight Bill For California

A person may take knowing the local time for granted, but an official review revealed that there is no single, accurate map showing the nation’s time zones and local observance of Daylight Saving Time. CNN reports: Federal transportation officials are now at work creating an accurate map of the nation’s time zones, according to a report by the inspector general for the Department of Transportation. The issue came up, the inspector general’s office said, after the US Senate passed legislation this year to end the biannual time turn by making Daylight Saving Time permanent.

Investigators found no single map accurately showing the boundaries nationwide and said several sources of time information on the DOT website contained errors, such as inaccurately noting the time practices in some localities. For example, one map incorrectly identifies a deviation in Nevada: “Elko County, NV is shown as the location that changed time zones rather than the correct location, the city of West Wendover.”

“The official boundaries are narratively described [in federal regulations] with various types of coordinates and geographic features such as lines of longitude, State or county lines, and rivers,” the report stated. The inspector general report said the Transportation Department is responsible for keeping the clock because of the importance of time to travel. It said the original five time zones have expanded to nine.

Read more of this story at Slashdot.

Source: Slashdot – DOT To Map Out Nation’s Time Zones After Report Shows No Official Map Exists

Citing McDonald’s shelved meat-free burger trial and a 70% dip in Beyond Meat’s stock, The Guardian suggests plant-based meats may not interest Americans as much as investors thought. From the report: Getting meat eaters in the US to adopt plant-based alternatives has proven a challenge. Beyond Meat, which produces a variety of plant-based products, including imitations of ground beef, burgers, sausages, meatballs and jerky, has had a rough 12 months, with its stock dipping nearly 70%. Multiple chains that partnered with the company, including McDonald’s, have quietly ended trial launches. In August, the company laid off 4% of its workforce after a slowdown in sales growth. Last week, its chief operating officer was reportedly arrested for biting another man on the nose during a road rage confrontation. It’s a dramatic reversal of fortune. Just two years ago, Beyond Meat, its competitor Impossible Foods and the plant-based meat industry at large seemed poised to start a food revolution.

For a time, Wall Street went vegetarian. In 2019 Beyond Meat was valued at over $10 billion, more than Macy’s or Xerox. The most bullish investors believed that plant-based meat would make up 15% of all meat sales by 2030. But the reality of Americans’ interest in plant-based meat has proven more complicated than investors thought, and the adoption of meat alternatives has been slower than what was once hoped. Today Beyond Meat is valued at just over $900 million. The sobering story is similar to those experienced by many new ventures that see exhilarating hype after a flood of Silicon Valley venture capital cash, fueled by excitement about innovation. Bill Gates backed Beyond Meat, and a number of venture capital firms that typically invest in tech startups funneled money to startups making plant-based meat. Even the meat industry’s biggest players have, ironically, invested in companies coming up with plant-based meat. While eating plant-based meat (or no meat at all) has been shown to be the most effective thing individual consumers can do to fight climate change, “consumers seem hesitant to adapt their behavior when the environment — not their health or wallets — is the sole beneficiary,” reports The Guardian. “Despite the increasing alarm over climate change, the number of Americans who are vegetarian or vegan has remained relatively stable over the last 20 years.”

“Even when participants in a study conducted at Purdue University in Indiana were given information about the carbon footprint of meat production, participants were more likely to go with regular meat over a plant-based alternative.”

Read more of this story at Slashdot.

Source: Slashdot – Is Plant-Based Meat Fizzling In the US?

According to Phoronix, Google has released a new AOM-AV1 update — version 3.5, that drastically improves encode times when streaming, rendering, or recording from the CPU. At its best, the update can improve encoding times by up to 34%. Tom’s Hardware reports: It is a fantastic addition to AV1’s capabilities, with the encoder becoming very popular among powerful video platforms such as YouTube. In addition, we are also seeing significant support for AV1 hardware acceleration on modern discrete GPUs now, such as Intel’s Arc Alchemist GPUs and, most importantly – Nvidia’s RTX 40-series GPUs. Depending on the resolution, encoding times with the new update have improved by 20% to 30%. For example, at 1080P, encode times featuring 16 threads of processing are reduced by 18% to 34%. At 4K, render times improved by 18% to 20% with 32 threads. Google could do this by adding Frame Parallel Encoding to heavily multi-threaded configurations. Google has also added several other improvements contributing to AV1’s performance uplifts in other areas – specifically in real-time encoding.

In other words, CPU utilization in programs such as OBS has been reduced, primarily for systems packing 16 CPU threads. As a result, they are allowing users to use those CPU resources for other tasks or increase video quality even higher without any additional performance cost. If you are video editing and are rendering out a video in AV1, processing times will be vastly reduced if you have a CPU with 16 threads or more.

Read more of this story at Slashdot.

Source: Slashdot – AV1 Update Reduces CPU Encoding Times By Up To 34 Percent

An anonymous reader quotes a report from Smithsonian Magazine: It’s an increasingly common sight on vacation, particularly in tourist destinations: An influencer sets up in front of a popular local landmark, sometimes even using props (coffee, beer, pets) or changing outfits, as a photographer or self-timed camera snaps away. Others are milling around, sometimes watching. But often, unbeknownst to everyone involved, another device is also recording the scene: a surveillance camera. Belgian artist Dries Depoorter is exploring this dynamic in his controversial new online exhibit, The Followers, which he unveiled last week. The art project places static Instagram images side-by-side with video from surveillance cameras, which recorded footage of the photoshoot in question.

To make The Followers, Depoorter started with EarthCam, a network of publicly accessible webcams around the world, to record a month’s worth of footage in tourist attractions like New York City’s Times Square and Dublin’s Temple Bar Pub. Then he enlisted an artificial intelligence (A.I.) bot, which scraped public Instagram photos taken in those locations, and facial-recognition software, which paired the Instagram images with the real-time surveillance footage. Depoorter calls himself a “surveillance artist,” and this isn’t his first project using open-source webcam footage or A.I. Last year, for a project called The Flemish Scrollers, he paired livestream video of Belgian government proceedings with an A.I. bot he built to determine how often lawmakers were scrolling on their phones during official meetings. “On its face, The Followers is an attempt, like many other studies, art projects and documentaries in recent years, to expose the staged, often unattainable ideals shown in many Instagram and influencer photos posted online,” writes Smithsonian’s Molly Enking. “But The Followers also tells a darker story: one of increasingly worrisome privacy concerns amid an ever-growing network of surveillance technology in public spaces. And the project, as well as the techniques used to create it, has sparked both ethical and legal controversy.”

Depoorter told Vice’s Samantha Cole that he got the idea when he “watched an open camera and someone was taking pictures for like 30 minutes.” He wondered if he’d be able to find that person on Instagram.

Read more of this story at Slashdot.

Source: Slashdot – Controversial Artist Matches Influencer Photos With Surveillance Footage