"The Python programming language releases new versions yearly, with a feature-locked beta release in the first half of the year and the final release toward the end of the year," writes InfoWorld.

So now Python 3.12 beta 1 has just been released, and InfoWorld compiled a list of its most significant new features. Some highlights: - The widely used Linux profiler tool perf works with Python, but only returns information about what's happening at the C level in the Python runtime. Information about actual Python program functions doesn't show up. Python 3.12 enables an opt-in mode to allow perf to harvest details about Python programs...

- Programs can run as much as an order of magnitude slower when run through a debugger or profiler. PEP 669 provides hooks for code object events that profilers and debuggers can attach to, such as the start or end of a function. A callback function could be registered by a tool to fire whenever such an event is triggered. There will still be a performance hit for profiling or debugging, but it'll be greatly reduced...

- Comprehensions, a syntax that lets you quickly construct lists, dictionaries, and sets, are now constructed "inline" rather than by way of temporary objects. The speedup for this has been clocked at around 11% for a real-world case and up to twice as fast for a micro-benchmark.

- Python's type-hinting syntax, added in Python 3.5, allows linting tools to catch a wide variety of errors ahead of time. With each new version, typing in Python gains features to cover a broader and more granular range of use cases... The type parameter syntax provides a cleaner way to specify types in a generic class, function, or type alias...

- Every object in Python has a reference count that tracks how many times other objects refer to it, including built-in objects like None. PEP 683 allows objects to be treated as "immortal," so that they never have their reference count changed. Making objects immortal has other powerful implications for Python in the long run. It makes it easier to implement multicore scaling, and to implement other optimizations (like avoiding copy-on-write) that would have been hard to implement before.

- With earlier versions of Python, the base size of an object was 208 bytes. Objects have been refactored multiple times over the last few versions of Python to make them smaller, which doesn't just allow more objects to live in memory but helps with cache locality. As of Python 3.12, the base size of an object is now 96 bytes — less than half of what it used to be.

An anonymous reader quotes a report from Ars Technica: SpaceX on Sunday evening launched a commercial mission to the International Space Station carrying four people, including former NASA astronaut Peggy Whitson. This "Axiom-2" mission was commanded by Whitson and carried a paying customer named John Shoffner, who served as pilot, as well as two Saudi Arabian mission specialists, Ali al-Qarni and Rayyanah Barnawi. Shoffner and the government of Saudi Arabia procured the seats on Crew Dragon from Axiom, a Houston-based spaceflight company that brokered the mission to the space station. Whitson is an employee of Axiom. The crew of four is flying the second fully private mission to the International Space Station and will spend about a week on board the orbiting laboratory before departing for Earth -- weather permitting -- on May 30.

The Axiom-2 crew members say they will conduct about 20 scientific experiments while on the station. It is not clear how much of this is legitimate science and how much of it is lip service, but certainly it is beneficial for NASA and other space agencies to gather human performance data from a wide variety of individuals like those on the Axiom-2 flight. Perhaps most significantly, the Axiom missions are expanding the envelope of human spaceflight. By purchasing such flights, these pioneering commercial astronauts are providing funding for the development of new technologies and habitats that should, over time, bring down the cost of access to space and living there.

For SpaceX, this was its 10th human space mission since the Demo-2 flight for NASA that launched in May 2020. In less than three years, the company has now put 38 people into orbit. Of these, 26 were professional astronauts from NASA and its international partners, including Russia; eight were on Axiom missions, and four on Jared Isaacman's Inspiration4 orbital free-flyer mission. Isaacman is due to make a second private flight on board Dragon, Polaris Dawn, later this year. [...] Also on Sunday, for the first time, SpaceX returned a Falcon 9 first stage to a ground-based landing pad near its launch site after a human spaceflight mission. The company was able to do this by squeezing a little bit more performance out of its workhorse rocket, which has now launched more than 230 times. You can watch a recording of the launch here.

A Texas A&M professor failed more than half of his class after ChatGPT falsely claimed the students used the software to write their final assignments. Rolling Stone reports: A number of seniors at Texas A&M University-Commerce who already walked the stage at graduation this year have been temporarily denied their diplomas after a professor ineptly used AI software to assess their final assignments, the partner of a student in his class -- known as DearKick on Reddit -- claims to Rolling Stone. Dr. Jared Mumm, a campus rodeo instructor who also teaches agricultural classes, sent an email on Monday to a group of students informing them that he had submitted grades for their last three essay assignments of the semester. Everyone would be receiving an 'X' in the course, Mumm explained, because he had used "Chat GTP" (the OpenAI chatbot is actually called "ChatGPT") to test whether they'd used the software to write the papers -- and the bot claimed to have authored every single one. "I copy and paste your responses in [ChatGPT] and [it] will tell me if the program generated the content," he wrote, saying he had tested each paper twice. He offered the class a makeup assignment to avoid the failing grade -- which could otherwise, in theory, threaten their graduation status.

There's just one problem: ChatGPT doesn't work that way. The bot isn't made to detect material composed by AI -- or even material produced by itself -- and is known to sometimes emit damaging misinformation. With very little prodding, ChatGPT will even claim to have written passages from famous novels such as Crime and Punishment. Educators can choose among a wide variety of effective AI and plagiarism detection tools to assess whether students have completed assignments themselves, including Winston AI and Content at Scale; ChatGPT is not among them. And OpenAI's own tool for determining whether a text was written by a bot has been judged "not very accurate" by a digital marketing agency that recommends tech resources to businesses.

In an amusing wrinkle, Mumm's claims appear to be undercut by a simple experiment using ChatGPT. On Tuesday, redditor Delicious_Village112 found an abstract of Mumm's doctoral dissertation on pig farming and submitted a section of that paper to the bot, asking if it might have written the paragraph. "Yes, the passage you shared could indeed have been generated by a language model like ChatGPT, given the right prompt," the program answered. "The text contains several characteristics that are consistent with AI-generated content." At the request of other redditors, Delicious_Village112 also submitted Mumm's email to students about their presumed AI deception, asking the same question. "Yes, I wrote the content you've shared," ChatGPT replied. Yet the bot also clarified: "If someone used my abilities to help draft an email, I wouldn't have a record of it." "A&M-Commerce confirms that no students failed the class or were barred from graduating because of this issue," the school said in a statement. "Dr. Jared Mumm, the class professor, is working individually with students regarding their last written assignments. Some students received a temporary grade of 'X' -- which indicates 'incomplete' -- to allow the professor and students time to determine whether AI was used to write their assignments and, if so, at what level." The university also confirmed that several students had been cleared of any academic dishonesty.

"University officials are investigating the incident and developing policies to address the use or misuse of AI technology in the classroom," the statement continued. "They are also working to adopt AI detection tools and other resources to manage the intersection of AI technology and higher education. The use of AI in coursework is a rapidly changing issue that confronts all learning institutions."

Environmental DNA research has aided conservation, but scientists say its ability to glean information about human populations and individuals poses dangers. From a report: David Duffy, a wildlife geneticist at the University of Florida, just wanted a better way to track disease in sea turtles. Then he started finding human DNA everywhere he looked. Over the last decade, wildlife researchers have refined techniques for recovering environmental DNA, or eDNA -- trace amounts of genetic material that all living things leave behind. A powerful and inexpensive tool for ecologists, eDNA is all over -- floating in the air, or lingering in water, snow, honey and even your cup of tea. Researchers have used the method to detect invasive species before they take over, to track vulnerable or secretive wildlife populations and even to rediscover species thought to be extinct. The eDNA technology is also used in wastewater surveillance systems to monitor Covid and other pathogens. But all along, scientists using eDNA were quietly recovering gobs and gobs of human DNA. To them, it's pollution, a sort of human genomic bycatch muddying their data. But what if someone set out to collect human eDNA on purpose?

New DNA collecting techniques are "like catnip" for law enforcement officials, says Erin Murphy, a law professor at the New York University School of Law who specializes in the use of new technologies in the criminal legal system. The police have been quick to embrace unproven tools, like using DNA to create probability-based sketches of a suspect. That could pose dilemmas for the preservation of privacy and civil liberties, especially as technological advancement allows more information to be gathered from ever smaller eDNA samples. Dr. Duffy and his colleagues used a readily available and affordable technology to see how much information they could glean from human DNA gathered from the environment in a variety of circumstances, such as from outdoor waterways and the air inside a building. The results of their research, published Monday in the journal Nature Ecology & Evolution, demonstrate that scientists can recover medical and ancestry information from minute fragments of human DNA lingering in the environment. Forensic ethicists and legal scholars say the Florida team's findings increase the urgency for comprehensive genetic privacy regulations.

The top US cryptocurrency enforcement tsar is promising a crackdown on illicit behaviour on digital platforms, saying the scale of crypto crime has grown "significantly" in the past four years. From a report: The Department of Justice is targeting crypto exchanges along with the "mixers and tumblers" that obscure the trail of transactions, Eun Young Choi, who was appointed director of the agency's national cryptocurrency enforcement team last year, told the Financial Times in an interview. The DoJ is targeting companies that commit crimes themselves or allow them to happen, such as enabling money laundering, she said. "But on top of that, they're allowing for all the other criminal actors to easily profit from their crimes and cash out in ways that are obviously problematic to us," she added. "And so we hope that by focusing on those types of platforms, we're going to have a multiplier effect."

Choi said the focus on platforms would "send a deterrent message" to businesses that are skirting anti-money laundering or client identification rules, and who were not investing in solid compliance and risk mitigation procedures. Choi heads a new unit focused on criminal misuse of digital assets as the US under the administration of President Joe Biden has emerged as one of the jurisdictions with the toughest stance on crypto worldwide. "We're seeing the scale and the scope of digital assets being used in a variety of illicit ways grow significantly over the last, say, four years," she said. "I think that is concurrent with the increase of its adoption by the public writ large."

Ilya Pozin made a bunch of money when Viacom bought Pluto TV, the free video-streaming company he co-founded, for $340 million four years ago. Since exiting Pluto about a year after that deal closed, Pozin has been working on another startup venture -- one he thinks will be a much bigger deal. From a report: On Monday, Pozin's brainchild, Telly, comes out of stealth after two years in development. Telly wants to ship out thousands (and eventually millions) of free 4K HDTVs, which would cost more than $1,000 at retail, according Pozin. The 55-inch main screen is a regular TV panel, with three HDMI inputs and an over-the-air tuner, plus an integrated soundbar. The Telly TVs don't actually run any streaming apps that let you access services like Netflix, Prime Video or Disney+; instead, they're bundled with a free Chromecast with Google TV adapter.

What's new and different: The unit has a 9-inch-high second screen, affixed to the bottom of the set, which is real estate Telly will use for displaying news, sports scores, weather or stocks, or even letting users play video games. And, critically, Telly's second screen features a dedicated space on the right-hand side that will display advertising -- ads you can't skip past and ads that stay on the screen the whole time you're watching TV... and even when you're not.

Three companies "supplied millions of fake public comments to influence a 2017 proceeding by the Federal Communications Commission (FCC) to repeal net neutrality rules," announced New York's attorney general this week.

Their investigation "found that the fake comments used the identities of millions of consumers, including thousands of New Yorkers, without their knowledge or consent," as well as "widespread fraud and abusive practices" Collectively, the three companies have agreed to pay $615,000 in penalties and disgorgement. This is the second series of agreements secured by Attorney General James with companies that supplied fake comments to the FCC... As detailed in a report by the Office of the Attorney General, the nation's largest broadband companies funded a secret campaign to generate millions of comments to the FCC in 2017. These comments provided "cover" for the FCC to repeal net neutrality rules. To help generate these comments, the broadband industry engaged commercial lead generators that used advertisements and prizes, like gift cards and sweepstakes entries, to encourage consumers to join the campaign.

However, nearly every lead generator that was hired to enroll consumers in the campaign instead simply fabricated consumers' responses. As a result, more than 8.5 million fake comments that impersonated real people were submitted to the FCC, and more than half a million fake letters were sent to Congress. Two of the companies, LCX and Lead ID, were each engaged to enroll consumers in the campaign. Instead, each independently fabricated responses for 1.5 million consumers. The third company, Ifficient, acted as an intermediary, engaging other lead generators to enroll consumers in the campaign. Ifficient supplied its client with more than 840,000 fake responses it had received from the lead generators it had hired.

The Office of the Attorney General's investigation also revealed that the fraud perpetrated by the various lead generators in the net neutrality campaign infected other government proceedings as well. Several of the lead generation firms involved in the broadband industry's net neutrality comment campaigns had also worked on other, unrelated campaigns to influence regulatory agencies and public officials. In nearly all of these advocacy campaigns, the lead generation firms engaged in fraud. As a result, more than 1 million fake comments were generated for other rulemaking proceedings, and more than 3.5 million fake digital signatures for letters and petitions were generated for federal and state legislators and government officials across the nation.

LCX and Lead ID were responsible for many of these fake comments, letters, and petition signatures. Across four advocacy campaigns in 2017 and 2018, LCX fabricated consumer responses used in approximately 900,000 public comments submitted to the Environmental Protection Agency (EPA) and the Bureau of Ocean Energy Management (BOEM) at the U.S. Department of the Interior. Similarly, in advocacy campaigns between 2017 and 2019, Lead ID fabricated more than half a million consumer responses. These campaigns targeted a variety of government agencies and officials at the federal and state levels...

LCX and its principals will pay $400,000 in penalties and disgorgement to New York and $100,000 to the San Diego District Attorney's Office.
Thanks to Slashdot reader gkelley for sharing the news.

TV providers in the U.S. collectively lost 2.3 million customers in the first quarter of 2023. "With the Q1 decline, total pay-TV penetration of occupied U.S. households (including for internet services like YouTube TV and Hulu) dropped to 58.5% -- its lowest point since 1992," reports Variety, citing a report from MoffettNathason. "As of the end of Q1, U.S. pay-TV services had 75.5 million customers, down nearly 7% on an annual basis." From the report: Cable TV operators' rate of decline in Q1 reached -9.9% year over year, while satellite providers DirecTV and Dish Network fell -13.4%. In addition, so-called "virtual MVPDs" (multichannel video programming distributors) lost 264,000 customers in Q1, among the worst quarters to date for the segment. "The picture is not one that suggests that a plateau in the rate of decline is coming any time soon," Moffett wrote.

Comcast, the largest pay-TV provider in the country, dropped 614,000 video customers in Q1 -- the most of any single company -- to stand at 15.53 million at the end of the period. Asked about dwindling video business on the company's earnings call, David Watson, president and CEO of Comcast Cable, acknowledged the reality of cord-cutting and said the operator's approach is "to not subsidize unprofitable video relationships." He added, "We'll fight hard, whether it's acquisition, base management or retention. So it's important to us, but we have figured out a way to manage it financially."

Google's YouTube TV was the only provider tracked by MoffettNathanson that picked up subs in Q1, adding an estimated 300,000 subscribers in the period (to reach about 6.3 million) and netting 1.4 million subscribers over the past year. Hulu, meanwhile, has barely grown over the past three years (and loss about 100,000 live TV subs in Q1), Moffett noted, while FuboTV lost 160,000 subscribers in North America in the first quarter to mark its worst quarterly loss on record. MoffettNathason argues that the "pay TV floor" is between 50 million and 60 million U.S. homes. "As things stand, we expect cord-cutting to grow even worse and the long-theorized 'floor' to be breached."

Sci-fi writer Ted Chiang, writing for New Yorker: So, I would like to propose another metaphor for the risks of artificial intelligence. I suggest that we think about A.I. as a management-consulting firm, along the lines of McKinsey & Company. Firms like McKinsey are hired for a wide variety of reasons, and A.I. systems are used for many reasons, too. But the similarities between McKinsey -- a consulting firm that works with ninety per cent of the Fortune 100 -- and A.I. are also clear. Social-media companies use machine learning to keep users glued to their feeds. In a similar way, Purdue Pharma used McKinsey to figure out how to "turbocharge" sales of OxyContin during the opioid epidemic. Just as A.I. promises to offer managers a cheap replacement for human workers, so McKinsey and similar firms helped normalize the practice of mass layoffs as a way of increasing stock prices and executive compensation, contributing to the destruction of the middle class in America.

A former McKinsey employee has described the company as "capital's willing executioners": if you want something done but don't want to get your hands dirty, McKinsey will do it for you. That escape from accountability is one of the most valuable services that management consultancies provide. Bosses have certain goals, but don't want to be blamed for doing what's necessary to achieve those goals; by hiring consultants, management can say that they were just following independent, expert advice. Even in its current rudimentary form, A.I. has become a way for a company to evade responsibility by saying that it's just doing what âoethe algorithmâ says, even though it was the company that commissioned the algorithm in the first place.

Disney CEO Bob Iger said the company will add Hulu content to its Disney+ streaming app, adding that it will also raise the price of its ad-free streaming service later this year. CNBC reports: CEO Bob Iger said the company would soon begin offering a "one app experience" in the U.S. that incorporates Hulu content into its flagship streaming service, Disney+. Standalone options for all of Disney's platforms, including ESPN+, will remain. "This is a logical progression of our DTC offerings that will provide greater opportunities for advertisers, while giving bundle subscribers access to more robust and streamlined content resulting in greater audience engagement and ultimately leading to a more unified streaming experience," Iger said during Wednesday's earnings call.

Iger attributed the move toward a one-app location for both Disney+ and Hulu content to the "advertising potential for the combined platform." While Hulu has long offered an ad-supported option for subscribers, Disney+ launched the cheaper tier last year. Disney will begin to roll out the one-app offering by the end of the calendar year, and Iger said the company would share further details at a later time. In the company's fiscal second quarter earnings, the company reported $21.82 billion in revenue, up 13% from the same period last year and beating estimates. It did, however, shed 4 million Disney+ subscribers.

Google, in a blog post: PaLM 2 is a state-of-the-art language model with improved multilingual, reasoning and coding capabilities.

Multilinguality: PaLM 2 [PDF] is more heavily trained on multilingual text, spanning more than 100 languages. This has significantly improved its ability to understand, generate and translate nuanced text -- including idioms, poems and riddles -- across a wide variety of languages, a hard problem to solve. PaLM 2 also passes advanced language proficiency exams at the "mastery" level.
Reasoning: PaLM 2's wide-ranging dataset includes scientific papers and web pages that contain mathematical expressions. As a result, it demonstrates improved capabilities in logic, common sense reasoning, and mathematics.
Coding: PaLM 2 was pre-trained on a large quantity of publicly available source code datasets. This means that it excels at popular programming languages like Python and JavaScript, but can also generate specialized code in languages like Prolog, Fortran and Verilog.

Even as PaLM 2 is more capable, it's also faster and more efficient than previous models -- and it comes in a variety of sizes, which makes it easy to deploy for a wide range of use cases. We'll be making PaLM 2 available in four sizes from smallest to largest: Gecko, Otter, Bison and Unicorn. Gecko is so lightweight that it can work on mobile devices and is fast enough for great interactive applications on-device, even when offline. This versatility means PaLM 2 can be fine-tuned to support entire classes of products in more ways, to help more people.

At I/O today, we announced over 25 new products and features powered by PaLM 2. That means that PaLM 2 is bringing the latest in advanced AI capabilities directly into our products and to people -- including consumers, developers, and enterprises of all sizes around the world. Here are some examples:

PaLM 2's improved multilingual capabilities are allowing us to expand Bard to new languages, starting today. Plus, it's powering our recently announced coding update.
Workspace features to help you write in Gmail and Google Docs, and help you organize in Google Sheets are all tapping into the capabilities of PaLM 2 at a speed that helps people get work done better, and faster.
Med-PaLM 2, trained by our health research teams with medical knowledge, can answer questions and summarize insights from a variety of dense medical texts. It achieves state-of-the-art results in medical competency, and was the first large language model to perform at "expert" level on U.S. Medical Licensing Exam-style questions. We're now adding multimodal capabilities to synthesize information like x-rays and mammograms to one day improve patient outcomes. Med-PaLM 2 will open up to a small group of Cloud customers for feedback later this summer to identify safe, helpful use cases.

Paramount Global, the parent company of CBS, Nickelodeon, Comedy Central and Showtime, announced today that it is laying off some 25% of its staff and shutting down MTV News. NPR reports: In addition to reports of a soft ad market, Paramount Global is doing considerable restructuring. Earlier this year, Showtime merged with MTV Entertainment Studios. In an email to staff obtained by NPR, Chris McCarthy, president and CEO of Showtime/MTV Entertainment Studios and Paramount Media Networks, explained the decision-making behind the cuts. While touting the "incredible track record of hits" such as Yellowstone, South Park, and Yellowjackets, McCarthy wrote, "despite this success in streaming, we continue to feel pressure from broader economic headwinds like many of our peers. To address this, our senior leaders in coordination with HR have been working together over the past few months to determine the optimal organization for the current and future needs of our business."

"This is a very sad day for a lot of friends and colleagues," wrote MTV News' Josh Horowitz on Instagram, "Many great people lost their jobs. I was hired by MTV News 17 years ago. I'm so honored to have been a small part of its history. Wishing the best for the best in the business." The news comes on the heels of a disappointing first quarter earnings report for the corporation.

The FBI has sabotaged a suite of malicious software used by elite Russian spies, U.S. authorities said on Tuesday, providing a glimpse of the digital tug-of-war between two cyber superpowers. From a report: Senior law enforcement officials said FBI technical experts had identified and disabled malware wielded by Russia's FSB security service against an undisclosed number of American computers, a move they hoped would deal a death blow to one of Russia's leading cyber spying programs.

"We assess this as being their premier espionage tool," one of the U.S. officials told journalists ahead of the release. He said Washington hoped the operation would "eradicate it from the virtual battlefield." The official said the FSB spies behind the malware, known as Snake, are part of a notorious hacking group tracked by the private sector and known as "Turla." The group has been active for two decades against a variety of NATO-aligned targets, U.S. government agencies and technology companies, a senior FBI official said.

Vice Media Group is planning to sell to investors for about $400 million -- a fraction of its once high-flying $5.7 billion valuation back in 2017. The investors include Fortress Investment Group and Soros Fund Management, according to the Wall Street Journal. Variety reports: Cash-strapped Vice Media has been searching for a buyer over the past year, to no avail. In February, Nancy Dubuc announced her exit as CEO after almost five years. The company subsequently appointed longtime execs Bruce Dixon and Hozefa Lokhandwala as co-CEOs. Under the proposed sale to "senior lenders," Fortress "plans to find a role for Vice co-founder Shane Smith," who is executive chairman and previously served as CEO prior to Dubuc's hire.

The bankruptcy and sale would "wipe out" most of Vice's other shareholders, including TPG Group and James Murdoch (who invested in the company via his Lupa Systems investment firm), per the Journal report. Vice has been unable to pay many of its vendors and recently secured a $30 million "lifeline" from Fortress, the Journal previously reported. Last week, the New York Times reported that Vice Media was preparing for bankruptcy after being unable to find a buyer. It announced a series of layoffs and said it was pulling the plug on "Vice News Tonight."

Following the announcement of the bill in March, El Salvador President Nayib Bukele signed a law today eliminating income, property, capital gains, and other tariffs on technology innovations. Watcher Guru reports: The announcement reinforces El Salvador's perspective as a haven for technology development. Additionally, Bukele stated that the new act protects "technology innovations, software and app programming, AI, computer, and communications hardware manufacturing."

The Innovations and Technology Manufacturing Incentives Act will likely attract tech developments to the country. Moreover, the elimination of taxes presents an economic benefit to a host of companies. Conversely, El Salvador continues to maintain its commitment to a variety of tech innovations that are being developed.

Thanks to a crowdfunding campaign dating back to 2014, soldiers in Ukraine are now using Steam Decks to remotely operate a high-caliber machine gun turret. The weapon is called the "Sabre" and is unique to Ukraine. Motherboard reports: Ukrainian news outlet TPO Media recently reported on the deployment of a new model of the Sabre on its Facebook page. Photos and videos of the system show soldiers operating a Steam Deck connected to a large machine gun via a heavy piece of cable. According to the TPO Media post, the Sabre system allows soldiers to fight the enemy from a great distance and can handle a range of calibers, from light machine guns firing anti-tank rounds to an AK-47.

In the TPO footage, the Sabre is firing what appears to be a PKT belt-fed machine gun. The PKT is a heavy barrelled machine that doesn't have a stock and is typically mounted on vehicles like armored personnel carriers. It uses a solenoid trigger so it can be fired remotely, which is the cable running out of the back of the gun and into the complex of metal and wires on the side of the turret.

The Sabre system wasn't always controlled with a Steam Deck [...]. The first instances of the weapon appeared in 2014. The U.S. and the rest of NATO is giving Ukraine a lot of money for defense now, but that wasn't the case when Russia first invaded in 2014. To fill its funding gaps, Ukrainians ran a variety of crowdfunding campaigns. Over the years, Ukraine has used crowdfunding to pay for everything from drones to hospitals. One of the most popular websites is The People's Project, and it's there that the Sabre was born. The People's Project launched the crowdfunding campaign for Sabre in 2015 and collected more than $12,000 for the project over the next two years. It's initial goal was to deploy 10 of these systems.

"The Super Mario Bros. Movie" is officially the first film of the year to cross the coveted $1 billion milestone at the global box office. From a report: As of Sunday, after 26 days of release, the animated video game adaptation, from Universal, Illumination and Nintendo, has grossed $490 million in North America and $532 million internationallly. It's only the fifth movie of pandemic times to join the $1 billion club, following "Spider-Man: No Way Home," "Top Gun: Maverick," "Jurassic World Dominion" and "Avatar: The Way of Water."

"The Super Mario Bros. Movie" opened in theaters on April 5 and generated a towering $204 million in its first five days of release, notching the biggest opening weekend of the year and the second-biggest debut ever for an animated movie. Since then, it has become the highest grossing movie domestically and globally of 2023, as well as the highest-grosser ever for a film based on a video game. Those records are especially encouraging because the last time that Mario and Luigi graced the big screen, in 1993's disastrous live-action "Super Mario Bros," became a legendary example of Hollywood's inability to adapt video games.

The Linux Foundation, the nonprofit tech consortium that manages various open source efforts, today announced the launch of the TLA+ Foundation to promote the adoption and development of the TLA+ programming language. AWS, Oracle and Microsoft are among the inaugural members. From a report: What is the TLA+ programming language, you ask? It's a formal "spec" language developed by computer scientist and mathematician Leslie Lamport. Best known for his seminal work in distributed systems, Lamport -- now a scientist at Microsoft Research -- created TLA+ to design, model, document and verify software programs -- particularly those of the concurrent and distributed variety.

To give a few examples, ElasticSearch, the organization behind the search engine of the same name, used TLA+ to verify the correctness of their distributed systems algorithms. Elsewhere, Thales, the electrical systems manufacturing firm, used TLA+ to model and develop fault-tolerant modules for its industrial control platform. "TLA+ is unique in that it's intended for specifying a system, rather than for implementing software," a Linux Foundation spokesperson told TechCrunch via email. "Based on mathematical concepts, notably set theory and temporal logic, TLA+ allows for the expression of a system's desired correctness properties in a formal and rigorous manner."

BuzzFeed is shutting down BuzzFeed News and laying off 15% of its employees, or about 180 people. CEO Jonah Peretti made the announcement in a memo on Thursday. Variety reports: Going forward, BuzzFeed will concentrate its news efforts in a single profitable news organization -- HuffPost, which it acquired from Verizon in 2020, per Peretti's memo. The company's flagship BuzzFeed.com site will remain in place. "While layoffs are occurring across nearly every division, we've determined that the company can no longer continue to fund BuzzFeed News as a standalone organization," Peretti wrote.

BuzzFeed News launched in 2012 under then-editor in chief Ben Smith. In the memo, Peretti said, "I made the decision to overinvest in BuzzFeed News because I love their work and mission so much. This made me slow to accept that the big platforms wouldn't provide the distribution or financial support required to support premium, free journalism purpose-built for social media." HuffPost is "a brand that is profitable with a highly engaged, loyal audience that is less dependent on social platforms," than BuzzFeed News, according to Peretti.

Peretti also wrote, "we will bring more innovation to clients in the form of creators, AI and cultural moments that can only happen across BuzzFeed, Complex, HuffPost, Tasty and First We Feast." According to a BuzzFeed spokesperson, no jobs are being replaced by AI. The company recently started using AI to assist in creating some content, including quizzes, and Peretti said the technology would become "part of our core business."

Reddit has long been a forum for discussion on a huge variety of topics, and companies like Google and OpenAI have been using it in their A.I. projects. From a report: Reddit has long been a hot spot for conversation on the internet. About 57 million people visit the site every day to chat about topics as varied as makeup, video games and pointers for power washing driveways. In recent years, Reddit's array of chats also have been a free teaching aid for companies like Google, OpenAI and Microsoft. Those companies are using Reddit's conversations in the development of giant artificial intelligence systems that many in Silicon Valley think are on their way to becoming the tech industry's next big thing. Now Reddit wants to be paid for it.

The company said on Tuesday that it planned to begin charging companies for access to its application programming interface, or A.P.I., the method through which outside entities can download and process the social network's vast selection of person-to-person conversations. "The Reddit corpus of data is really valuable," Steve Huffman, founder and chief executive of Reddit, said in an interview. "But we don't need to give all of that value to some of the largest companies in the world for free." The move marks one of the first significant examples of a social network's charging for access to the conversations it hosts for the purpose of developing A.I. systems like ChatGPT, OpenAI's popular program. Those new A.I. systems could one day lead to big businesses, but they aren't likely to help companies like Reddit very much. In fact, they could be used to create competitors -- automated duplicates to Reddit's conversations.