In a regulatory filing today, Microsoft said that a Russian intelligence group hacked into some of the company's top executives' email accounts. CNBC reports: Nobelium, the same group that breached government supplier SolarWinds in 2020, carried out the attack, which Microsoft detected last week, according to the company. The announcement comes after new U.S. requirements for disclosing cybersecurity incidents went into effect. A Microsoft spokesperson said that while the company does not believe the attack had a material impact, it still wanted to honor the spirit of the rules.

In late November, the group accessed "a legacy non-production test tenant account," Microsoft's Security Response Center wrote in the blog post. After gaining access, the group "then used the account's permissions to access a very small percentage of Microsoft corporate email accounts, including members of our senior leadership team and employees in our cybersecurity, legal, and other functions, and exfiltrated some emails and attached documents," the corporate unit wrote. The company's senior leadership team, including finance chief Amy Hood and president Brad Smith, regularly meets with CEO Satya Nadella. Microsoft said it has not found signs that Nobelium had accessed customer data, production systems or proprietary source code.

The U.S. government and Microsoft consider Nobelium to be part of the Russian foreign intelligence service SVR. The hacking group was responsible for one of the most prolific breaches in U.S. history when it added malicious code to updates to SolarWinds' Orion software, which some U.S. government agencies were using. Microsoft itself was ensnared in the hack. Nobelium, also known as APT29 or Cozy Bear, is a sophisticated hacking group that has attempted to breach the systems of U.S. allies and the Department of Defense. Microsoft also uses the name Midnight Blizzard to identify Nobelium. It was also implicated alongside another Russian hacking group in the 2016 breach of the Democratic National Committee's systems.

According to StatCounter, Bing's market share grew less than 1% since launching Bing Chat (now known as Copilot) roughly a year ago. From a report: Bloomberg reported (paywalled) on the StatCounter data, saying, "But Microsoft's search engine ended 2023 with just 3.4% of the global search market, according to data analytics firm StatCounter, up less than 1 percentage point since the ChatGPT announcement." Google still dominates the global search market with a 91.6% market share, followed by Bing's 3.4%, Yandex's 1.6% and Yahoo's 1.1%. "Other" search engines accounted for a total of just 2.2% of the global search market.

You can view the raw chart and data from StatCounter here.

Thomas Claburn reports via The Register: IBM has canceled a program that rewarded inventors at Big Blue for patents or publications, leaving some angry that they are missing out on potential bonuses. By cancelling the scheme, a source told The Register, IBM has eliminated a financial liability by voiding the accrued, unredeemed credits issued to program participants which could have been converted into potential cash awards. For years, IBM has sponsored an "Invention Achievement Award Plan" to incentivize employee innovation. In exchange for filing patents, or for publishing articles that served as defense against rival patents, IBM staff were awarded points that led to recognition and potentially cash bonuses. According to documentation seen by The Register, "Invention points are awarded to all inventors listed on a successful disclosure submission."

One point was awarded for publishing. Three points were awarded for filing a patent or four if the filing was deemed high value. For accruing 12 points, program participants would get a payout. "Inventors reach an invention plateau for every 12 points they achieve -- which must include at least one file decision," the rules state. And for each plateau achieved, IBM would pay its inventors $1,200 in recognition of their efforts. No longer, it seems. IBM canceled the program at the end of 2023 and replaced it with a new one that uses a different, incompatible point system called BluePoints.

"The previous Invention Achievement Award Plan will be sunset at midnight (eastern time) on December 31st, 2023," company FAQs explain. "Since Plateau awards are one of the items being sunset, plateau levels must be obtained on or before December 31, 2023 to be eligible for the award. Any existing plateau points that have not been applied will not be converted to BluePoints." We're told that IBM's invention review process could take months, meaning that employees just didn't have time between the announcement and the program sunset to pursue the next plateau and cash out. Those involved in the program evidently were none too pleased by the points grab. "My opinion...the invention award program was buggered a long time [ago]," said a former IBM employee. "It rewarded words on a page instead of true innovation. [Former CEO] Ginni [Rometty] made it worse by advocating the program to fluff up young egos."

When Microsoft announced it was baking ChatGPT into its Bing search engine last February, bullish analysts declared the move an "iPhone moment" that could upend the search market and chip away at Google's dominance. "The entire search category is now going through a sea change," Chief Executive Officer Satya Nadella said at the time. "That opportunity comes very few times." Almost a year later, the sea has yet to change. Bloomberg: The new Bing -- powered by OpenAI's generative AI technology -- dazzled internet users with conversational replies to queries asked in a natural way. But Microsoft's search engine ended 2023 with just 3.4% of the global search market, according to data analytics firm StatCounter, up less than 1 percentage point since the ChatGPT announcement.

Bing has long struggled for relevance and attracted more mockery than recognition over the years as a serious alternative to Google. Multiple rebrandings and redesigns since its 2009 debut did little to boost Bing's popularity. A month before Microsoft infused the search engine with generative AI, people were spending 33% less time using it than they had 12 months earlier, according to SensorTower. The ChatGPT reboot at least helped reverse those declines. In the second quarter of 2023, US monthly active users more than doubled year over year to 3.1 million, according to a Bloomberg Intelligence analysis of SensorTower mobile app data. Overall, users were spending 84% more time on the search engine, the data show. By year-end, Bing's monthly active users had increased steadily to 4.4 million, according to SensorTower.

Since launching in 2007, Harmonix's Rock Band has released over 2,800 DLC songs to keep its rhythm game fresh. Now, Harmonix has announced the last of the series' releases will arrive on January 25, "marking the end of a nearly 16-year era in music gaming history," reports Ars Technica. From the report: Previously purchased DLC songs will still be playable in Rock Band 4, Harmonix's Daniel Sussman writes in an announcement post. Rock Band 4 live services, including online play, will also continue as normal, after online game modes for earlier Rock Band games were finally shut down in late 2022. "Taking a longer look back, I see the Rock Band DLC catalog as a huge achievement in persistence and commitment," Sussman writes. "Over the years we've cleared, authored and released nearly 3,000 songs as DLC and well over 3,000 if you include all the game soundtracks. That's wild." [...]

While official support for Rock Band DLC is finally ending, the community behind Clone Hero just recently hit an official Version 1.0 release for their PC-based rhythm game that's compatible with many guitars, drums, keyboards, gamepads, and adapters used in Rock Band and other console rhythm games (microphones excluded). While that game doesn't come with anything like Rock Band's list of officially licensed song content, it's not hard to find a bevy of downloadable, fan-made custom Clone Hero tracks with a little bit of searching.

Since shortly after its acquisition by Epic in 2021, Harmonix has been working on "Fortnite Festival," the incredibly Rock Band-esque mini-game embedded in Epic's Fortnite "metaverse." Sussman writes that a "rotating selection" of free-to-play songs will continue to cycle through that game mode, and that support for Rock Band 4 instruments will be coming to Fortnite in the future as well (peripheral-maker PDP looks like it will be getting in on the Fortnite guitar act as well). As for the last few weeks of Rock Band DLC offerings, Sussman writes that Harmonix is planning "some tear jerkers that sum up our feelings about this moment."

Apple has announced several new experiences launching with their upcoming Vision Pro spatial computing headset, including 3D content from Disney Plus. "Other apps announced with Vision Pro support include ESPN, MLB, PGA Tour, Max, Discovery Plus, Amazon Prime Video, Paramount Plus, Peacock, Pluto TV, Tubi, Fubo, Crunchyroll, Red Bull TV, IMAX, TikTok, and MUBI," reports The Verge, noting that Netflix's existing app "will work unmodified on Apple's new headset." From the report: The announcement lists some of the movies that will be in 3D, and naturally, Avatar: The Way of Water is among them. But Vision Pro owners will also get 3D versions of movies like Avengers: Endgame, Star Wars: The Force Awakens, and Encanto. The movies will be available to rent through the Apple TV app, and the company says that anyone who has already bought the movies will now get 3D versions without paying extra. Otherwise, "more titles, including those available exclusively to Disney Plus subscribers, will be announced at a later date."

Among the four screening environments for Disney Plus subscribers, one is called the Disney Plus Theater, which the company says takes inspiration from Hollywood's El Capitan Theatre, as well as others based on Pixar's Monsters, Inc., the fictional Avengers Tower from Marvel Avengers films, and one set in the cockpit of a landspeeder sitting in Star Wars' Tatooine desert. Besides Disney content, Apple mentioned the Apple TV app will have some free "immersive entertainment" that includes Alicia Keys: Rehearsal Room and a film from Planet Earth producers called Prehistoric Planet Immersive. The $3,499 Vision Pro headset will start shipping on February 2nd. Pre-orders begin January 19th at 8AM ET.

Synopsys, a chip-design company, agreed to acquire software developer Ansys for about $35 billion in enterprise value. From a report: Ansys shareholders will receive $197 in cash and 0.345 shares of Synopsys stock per share, according to an announcement by the companies Tuesday. The takeover of Ansys is one of the largest transactions globally of the past 12 months and provides an early boost for dealmakers in 2024 as they seek to move on from a lackluster period of mergers and acquisitions activity. Synopsys, based in Sunnyvale, California, is one of a few major companies that make software used to design semiconductors, competing primarily with Cadence Design Systems Inc.

An anonymous reader quotes a report from TechCrunch: Logistics company FedEx announced its own commerce platform called FDX today. The platform will likely compete against Amazon by offering merchants services like demand generation, fulfillment, tracking, and post-purchase experiences including returns. The company said that FDX is currently in private preview with plans for a wider launch in fall 2024. Businesses can register their interest in trying it out through a form. The company didn't mention any brands that are part of the pilot program.

FedEx's announcement has a lot of marketing buzzwords including "data-driven," "digitally-led" and "end-to-end e-commerce solution for businesses of all sizes" but is thin on details like how it will compete with existing platforms. The company said that merchants could use FedEx's services such as ShopRunner -- an e-commerce platform it acquired in 2020 -- to reach customers, show estimated delivery time on websites, handle carts, track packages, record the carbon emission impact of deliveries, and manage returns. Further reading: Amazon Tops UPS and FedEx To Become Biggest US Delivery Business

An 1979 Atari 8-bit system re-released in a tiny form factor? Yep.

Retro Games Ltd. is releasing a "half-sized" version of its very first home computer, the Atari 400, "emulating the whole 8-bit Atari range, including the 400/800, XL and XE series, and the 5200 home console. ("In 1979 Atari brought the computer age home," remembers a video announcement, saying the new device represents "The iconic computer now reimagined.")

More info from ExtremeTech: For those of you unfamiliar with it, the Atari 400 and 800 were launched in 1979 as the company's first attempt at a home computer that just happened to double as an incredible game system. That's because, in addition to a faster variant of the excellent 8-bit MOS 6502 CPU found in the Apple II and Commodore PET, they also included Atari's dedicated ANTIC, GTIA, and POKEY coprocessors for graphics and sound, making the Atari 400 and 800 the first true gaming PCs...

If it's as good as the other Retro Games systems, the [new] 400Mini will count as another feather in the cap for Atari Interactive's resurgence following its excellent Atari50 compilation, reissued Atari 2600+ console, and acquisitions of key properties including Digital Eclipse, MobyGames, and AtariAge.
The 2024 version — launching in the U.K. March 28th — will boast high-definition HDMI output at 720p 50 or 60Hz, along with five USB ports. More details from Retro Games Ltd. Also included is THECXSTICK — a superb recreation of the classic Atari CX-40 joystick, with an additional seven seamlessly integrated function buttons. Play one of the included 25 classic Atari games, selected from a simple to use carousel, including all-time greats such as Berzerk, Missile Command, Lee, Millipede, Miner 2049er, M.U.L.E. and Star Raiders II, or play the games you own from USB stick. Plus save and resume your game at any time, or rewind by up to 30 seconds to help you finish those punishingly difficult classics!
Thanks to long-time Slashdot reader elfstones for sharing the article.

The fuel-leaking Peregrine lunar lander is now "on a parth towards Earth," according to Update #16 from Astrobotic, which predicts their spacecraft "will likely burn up in the Earth's atmosphere." "Our analysis efforts have been challenging due to the propellant leak... The team is currently assessing options and we will update as soon as we are able. The propellant leak has slowed considerably to a point where it is no longer the teams' top priority...

We have now been operating in space for 5 days and 8 hours and are about 242,000 miles from Earth.
"A soft landing on the Moon is not possible," the announcement emphasizes. NDTV explains: Shortly after it separated from the rocket, the spaceship experienced an onboard explosion and it soon became clear it would not make a soft lunar touchdown because of the amount of the propellant it was losing — though Astrobotic's team were able to power up science experiments they were carrying for NASA and other space agencies, and gather spaceflight data...

Astrobotic itself will get another chance in November with its Griffin lander transporting NASA's VIPER rover to the lunar south pole.

Mark Gurman reports via Bloomberg: In one of Apple's biggest board shake-ups in years (Warning: source may be paywalled; alternative source), longtime directors Al Gore and James Bell will be retiring from the company, with former Aerospace Corp. Chief Executive Officer Wanda Austin coming aboard. The company made the announcement Thursday, citing a policy of directors not standing for reelection after the age of 75. Bell, a former Boeing Co. executive, joined the Apple board in 2015, while former US Vice President Gore has been a director for more than two decades. Both men are 75.

The upheaval is unusual for Apple's board, which rarely has more than one retirement at a time. Gore was the longest-serving member -- having joined in 2003, when co-founder Steve Jobs was CEO and the iPhone didn't yet exist. "Al has contributed an incredible amount to our work -- from his unconditional support for protecting our users' privacy, to his incomparable knowledge of environment and climate issues," Apple CEO Tim Cook said in a statement. "James's dedication has been extraordinary, and we're thankful for the important perspectives and deep expertise he's offered on audit, finance, and so much more over the years."

Austin, the new nominee, has a significant track record of "advancing innovation and shaping corporate strategy," Apple said. She has long been a major proponent of US space exploration efforts, though that's not an area that Apple is directly involved in. She will be up for election at the company's annual shareholder meeting on Feb. 28. In spite of the age policy, another director, Ronald Sugar, is turning 76 this year and not slated to leave the board. Apple said that Sugar is remaining "in consideration of the significant recent transitions in board composition and the value of retaining directors who have developed deep insights into the company during their tenure." Given Apple's rationale for retaining Sugar, it's unclear if the policy will apply to Chairman Arthur Levinson, who turns 75 next year.

E-commerce giant eBay agreed to pay a $3 million penalty for the harassment and stalking of a Massachusetts couple by several of its employees. "The couple, Ina and David Steiner, had been subjected to threats and bizarre deliveries, including live spiders, cockroaches, a funeral wreath and a bloody pig mask in August 2019," reports CBS News. From the report: Thursday's fine comes after several eBay employees ran a harassment and intimidation campaign against the Steiners, who publish a news website focusing on players in the e-commerce industry. "eBay engaged in absolutely horrific, criminal conduct. The company's employees and contractors involved in this campaign put the victims through pure hell, in a petrifying campaign aimed at silencing their reporting and protecting the eBay brand," Levy said. "We left no stone unturned in our mission to hold accountable every individual who turned the victims' world upside-down through a never-ending nightmare of menacing and criminal acts."

The Justice Department criminally charged eBay with two counts of stalking through interstate travel, two counts of stalking through electronic communications services, one count of witness tampering and one count of obstruction of justice. The company agreed to pay $3 million as part of a deferred prosecution agreement. Under the agreement, eBay will be required to retain an independent corporate compliance monitor for three years, officials said, to "ensure that eBay's senior leadership sets a tone that makes compliance with the law paramount, implements safeguards to prevent future criminal activity, and makes clear to every eBay employee that the idea of terrorizing innocent people and obstructing investigations will not be tolerated," Levy said.

Former U.S. Attorney Andrew Lelling said the plan to target the Steiners, which he described as a "campaign of terror," was hatched in April 2019 at eBay. Devin Wenig, eBay's CEO at the time, shared a link to a post Ina Steiner had written about his annual pay. The company's chief communications officer, Steve Wymer, responded: "We are going to crush this lady." About a month later, Wenig texted: "Take her down." Prosecutors said Wymer later texted eBay security director Jim Baugh. "I want to see ashes. As long as it takes. Whatever it takes," Wymer wrote. Investigators said Baugh set up a meeting with security staff and dispatched a team to Boston, about 20 miles from where the Steiners live. "Senior executives at eBay were frustrated with the newsletter's tone and content, and with the comments posted beneath the newsletter's articles," the Department of Justice wrote in its Thursday announcement. Two former eBay security executives were sentenced to prison over the incident.

An anonymous reader quotes a report from Ars Technica: On Tuesday, the quantum computing startup Quera laid out a road map that will bring error correction to quantum computing in only two years and enable useful computations using it by 2026, years ahead of when IBM plans to offer the equivalent. Normally, this sort of thing should be dismissed as hype. Except the company is Quera, which is a spinoff of the Harvard University lab that demonstrated the ability to identify and manage errors using hardware that's similar in design to what Quera is building. Also notable: Quera uses the same type of qubit that a rival startup, Atom Computing, has already scaled up to over 1,000 qubits. So, while the announcement should be viewed cautiously -- several companies have promised rapid scaling and then failed to deliver -- there are some reasons it should be viewed seriously as well. [...]

As our earlier coverage described, the Harvard lab where the technology behind Quera's hardware was developed has already demonstrated a key step toward error correction. It created logical qubits from small collections of atoms, performed operations on them, and determined when errors occurred (those errors were not corrected in these experiments). But that work relied on operations that are relatively easy to perform with trapped atoms: two qubits were superimposed, and both were exposed to the same combination of laser lights, essentially performing the same manipulation on both simultaneously. Unfortunately, only a subset of the operations that are likely to be desired for a calculation can be done that way. So, the road map includes a demonstration of additional types of operations in 2024 and 2025. At the same time, the company plans to rapidly scale the number of qubits. Its goal for 2024 hasn't been settled on yet, but [Quera's Yuval Boger] indicated that the goal is unlikely to be much more than double the current 256. By 2025, however, the road map calls for over 3,000 qubits and over 10,000 a year later. This year's small step will add pressure to the need for progress in the ensuing years.

If things go according to plan, the 3,000-plus qubits of 2025 can be combined to produce 30 logical qubits, meaning about 100 physical qubits per logical one. This allows fairly robust error correction schemes and has undoubtedly been influenced by Quera's understanding of the error rate of its current atomic qubits. That's not enough to perform any algorithms that can't be simulated on today's hardware, but it would be more than sufficient to allow people to get experience with developing software using the technology. (The company will also release a logical qubit simulator to help here.) Quera will undoubtedly use this system to develop its error correction process -- Boger indicated that the company expected it would be transparent to the user. In other words, people running operations on Quera's hardware can submit jobs knowing that, while they're running, the system will be handling the error correction for them. Finally, the 2026 machine will enable up to 100 logical qubits, which is expected to be sufficient to perform useful calculations, such as the simulation of small molecules. More general-purpose quantum computing will need to wait for higher qubit counts still.

An anonymous reader quotes a report from Ars Technica: The Federal Communications Commission is about to start winding down a program that gives $30 monthly broadband discounts to people with low incomes, and says it will have to complete the shutdown by May if Congress doesn't provide more funding. The 2-year-old Affordable Connectivity Program (ACP) was created by Congress, and Democrats have been pushing for more funding to keep it going. But Republican members of Congress blasted the ACP last month, accusing the FCC of being "wasteful."

In a letter, GOP lawmakers complained that most of the households receiving the subsidy already had broadband service before the program existed. They threatened to withhold funding and criticized what they called the "Biden administration's reckless spending spree." The letter was sent by the highest-ranking Republicans on committees with oversight responsibility over the ACP, namely Sen. John Thune (R-SD), Sen. Ted Cruz (R-Texas), Rep. Cathy McMorris Rodgers (R-Wash.), and Rep. Bob Latta (R-Ohio). With no resolution in sight, the FCC announced that it would have to start sending out notices about the program's expected demise. "With less than four months before the projected program end date and without any immediate additional funding, this week the Commission expects to begin taking steps to start winding down the program to give households, providers, and other stakeholders sufficient time to prepare," the FCC said in an announcement yesterday.

The Biden administration has requested $6 billion to fund the program through December 2024. As of now, the FCC said it "expects funding to last through April 2024, running out completely in May." FCC Chairwoman Jessica Rosenworcel has repeatedly asked Congress for more ACP funding, and sent a letter (PDF) to lawmakers yesterday in which she repeated her plea. The chairwoman's letter said that 23 million households are enrolled in the discount program. [...] Rosenworcel warned that the impending ACP shutoff "would undermine the historic $42.5 billion Broadband Equity, Access, and Deployment Program," a different program created by Congress to subsidize ISPs' expansion of broadband networks throughout the US. The discount and deployment programs complement each other because "the ACP supports a stable customer base to help incentivize deployment in rural areas," Rosenworcel wrote.

With the approval of new rule change applications, the SEC is now allowing bitcoin ETFs to be traded in the United States.



UPDATE: The SEC said that the announcement about bitcoin ETFs on social media was incorrect, and that its X account was compromised. "The SEC's @SECGov X/Twitter account has been compromised. The unauthorized tweet regarding bitcoin ETFs was not made by the SEC or its staff," an SEC spokesperson told CNBC.

"The SEC has not approved the listing and trading of spot bitcoin exchange-traded products," said SEC Chair Gary Gensler in a post on X. From the original CNBC article: The decision will likely lead to the conversion of the Grayscale Bitcoin Trust, which holds about $29 billion of the cryptocurrency, into an ETF, as well as the launch of competing funds from mainstream issuers like BlackRock's iShares. The approval could prove to be a landmark event in the adoption of cryptocurrency by mainstream finance, as the ETF structure gives institutions and financial advisors a familiar and regulated way to buy exposure to bitcoin.

The SEC has for years opposed a so-called spot bitcoin fund, with several firms filing and then withdrawing applications for ETFs in the past. SEC Chair Gary Gensler has been an outspoken critic of crypto during his tenure. However, the regulator appeared to change course on the ETF question in 2023, possibly due in part to an August loss to Grayscale in court which criticized the SEC for blocking bitcoin ETFs while allowing funds that track bitcoin futures.

The Wi-Fi Alliance is now starting to certify devices that use the latest generation of wireless connectivity, and the goal is to make sure these devices work with each other seamlessly. Android Central: Basically, the certification allows router brands and device manufacturers to guarantee that their products will work with other Wi-Fi 7 devices. Qualcomm, for its part, is announcing that it has several designs that leverage Wi-Fi 7, and that it achieved the Wi-Fi Alliance certification -- dubbed Wi-Fi Certified 7 -- for the FastConnect 7800 module that's baked into the Snapdragon 8 Gen 3 and 8 Gen 2, and the Networking Pro portfolio.

Wi-Fi Certified 7 is designed to enable interoperability, and ensure that devices from various brands work without any issues. In addition to Qualcomm, the likes of MediaTek, Intel, Broadcom, CommScope, and MaxLinear are also picking up certifications for their latest networking products. I chatted with Andy Davidson, Sr. Director of Technology Planning at Qualcomm, ahead of the announcement to understand a little more about how Wi-Fi 7 is different. Wi-Fi 7 uses the 6GHz band -- similar to Wi-Fi 6E -- but introduces 320Mhz channels that have the potential to deliver significantly greater bandwidth. Wi-Fi 7 also uses a clever new feature called Multi-Link Operation (MLO) that lets devices connect to two bands at the same time, leading to better signal strength and bandwidth. Further reading: Wi-Fi 7 Signals the Industry's New Priority: Stability.

The University of Massachusetts Amherst has an announcement. A team of computer scientists "recently announced a new method for automatically generating whole proofs that can be used to prevent software bugs and verify that the underlying code is correct." It leverages the AI power of Large Language Models, and the new method, called Baldur, "yields unprecedented efficacy of nearly 66%."

The idea behind the machine-checking technique was "to generate a mathematical proof showing that the code does what it is expected to do," according to the announcement, "and then use a theorem prover to make sure that the proof is also correct. But manually writing these proofs is incredibly time-consuming and requires extensive expertise. "These proofs can be many times longer than the software code itself," says Emily First, the paper's lead author who completed this research as part of her doctoral dissertation at UMass Amherst... First, whose team performed its work at Google, used Minerva, an LLM trained on a large corpus of natural-language text, and then fine-tuned it on 118GB of mathematical scientific papers and webpages containing mathematical expressions. Next, she further fine-tuned the LLM on a language, called Isabelle/HOL, in which the mathematical proofs are written. Baldur then generated an entire proof and worked in tandem with the theorem prover to check its work. When the theorem prover caught an error, it fed the proof, as well as information about the error, back into the LLM, so that it can learn from its mistake and generate a new and hopefully error-free proof.

This process yields a remarkable increase in accuracy. The state-of-the-art tool for automatically generating proofs is called Thor, which can generate proofs 57% of the time. When Baldur (Thor's brother, according to Norse mythology) is paired with Thor, the two can generate proofs 65.7% of the time. Though there is still a large degree of error, Baldur is by far the most effective and efficient way yet devised to verify software correctness, and as the capabilities of AI are increasingly extended and refined, so should Baldur's effectiveness grow.

In addition to First and Brun, the team includes Markus Rabe, who was employed by Google at the time, and Talia Ringer, an assistant professor at the University of Illinois — Urbana Champaign. This work was performed at Google and supported by the Defense Advanced Research Projects Agency and the National Science Foundation.

25 years ago, Slashdot's CmdrTaco posted an announcement from Slashdot reader #257. "Jabber is a new project I recently started to create a complete open-source platform for Instant Messaging with transparent communication to other Instant Messaging systems (ICQ, AIM, etc).

"Most of the initial design and protocol work is done, as well as a working server and a few test clients."

You can find the rest of the story on Wikipedia. "Its major outcome proved to be the development of the XMPP protocol." ("Based on XML, it enables the near-real-time exchange of structured data between two or more network entities.") Originally developed by the open-source community, the protocols were formalized as an approved instant messaging standard in 2004 and have been continuously developed with new extensions and features... In addition to these core protocols standardized at the IETF, the XMPP Standards Foundation (formerly the Jabber Software Foundation) is active in developing open XMPP extensions...

XMPP features such as federation across domains, publish/subscribe, authentication and its security even for mobile endpoints are being used to implement the Internet of Things.
"Designed to be extensible, the protocol offers a multitude of applications beyond traditional IM in the broader realm of message-oriented middleware, including signalling for VoIP, video, file transfer, gaming and other uses..."

Slashdot reader #257 turned out to be Jeremie Miller (who at the time was just 23 years old). And according to his own page on Wikipedia, "Currently, Miller sits on the board of directors for Bluesky Social, a social media platform."

Programmer James Lambert has been working on a demake of Valve's Portal puzzle game for the Nintendo N64. After several years of development, Portal 64: The First Slice is now out of beta with two-thirds of the game's test chambers available to play. PC Gamer reports: In the announcement video Lambert goes through some of the new features in the latest build, including a seriously impressive visual rework on the portal gun itself. The video also showcases just how much of Portal's feel this manages to successfully capture, in particular the mind-bending effects of observing rooms and Chell through the portals themselves. I once called this the most impressive homebrew game I've ever seen and, while admittedly the N64 nostalgia helps, I'd stick by that.

While this is obviously the first slice (geddit) and there's more to come, it's an incredible achievement in its own right: The first 13 test chambers of the game all present-and-correct. Portal has 19 test chambers, and Portal: Still Alive (which unbelievably has never seen an official PC release) added a further 14, so Lambert's well on his way to completing a vanilla version of Portal 64. You can follow the Portal 64 project on YouTube and download the game here.

LastPass notified customers today that they are now required to use complex master passwords with a minimum of 12 characters to increase their accounts' security. From a report: Even though LastPass has repeatedly said that there is a 12-character master password requirement since 2018, users have had the ability to use a weaker one. "Historically, while a 12-character master password has been LastPass' default setting since 2018, customers still had the ability to forego the recommended default settings and choose to create a master password with fewer characters, if they wished to do so," LastPass said in a new announcement today.

LastPass has begun enforcing a 12-character master password requirement since April 2023 for new accounts or password resets, but older accounts could still use passwords with fewer than 12 characters. Starting this month, LastPass is now enforcing the 12-character master password requirement for all accounts. Furthermore, LastPass added that it will also start checking new or updated master passwords against a database of credentials previously leaked on the dark web to ensure that they don't match already compromised accounts.