Trump pardons Silk Road creator Ross Ulbricht

President Trump on Tuesday pardoned Ross Ulbricht, the creator of the infamous dark web exchange Silk Road, which was best known as a once-thriving online marketplace for illegal drugs. Trump announced the news in a Truth Social post, saying the pardon was in honor of Ulbricht’s mother and the Libertarian movement. In 2015, a federal … Read more

Meta COO Sheryl Sandberg sanctioned by judge for allegedly deleting emails

A Delaware judge has sanctioned Sheryl Sandberg, Meta’s former COO and board member, for allegedly deleting emails related to the Cambridge Analytica privacy scandal. The decision arises from a case Meta shareholders brought against Sandberg and another former Meta board member, Jeff Zients, late last year. The plaintiffs alleged that Sandberg and Zients used personal … Read more

DeScAI: When Decentralized Science Meets Artificial Intelligence

==Conceptual foundations of the phenomenon== Decentralized Science (DeSci) and Artificial Intelligence (AI) are two emerging domains that hold significant potential to transform the way research is conducted, shared, and funded. DeSci leverages blockchain and decentralized protocols to promote open collaboration, transparent funding mechanisms, and equitable rewards for contributors. AI, on the other hand, has revolutionized … Read more

Trump says he’s open to Musk or Ellison buying TikTok

Image: The Verge President Donald Trump says he’d be open to his buddies Elon Musk or Larry Ellison buying TikTok. “Larry, let’s negotiate in front of the media,” Trump said at a press conference with the Oracle co-founder, SoftBank CEO Masa Son, and OpenAI CEO Sam Altman to announce a $500 billion artificial intelligence infrastructure … Read more

Microsoft is letting OpenAI get its own AI compute now

Image: Cath Virginia / The Verge Microsoft and OpenAI announced Tuesday that they have adjusted their partnership so that OpenAI can access competitors’ compute. The new agreement “includes changes to the exclusivity on new capacity, moving to a model where Microsoft has a right of first refusal (ROFR),” Microsoft says. “To further support OpenAI, Microsoft … Read more

OpenAI and Softbank are starting a $500 billion AI data center company

Image: The White House (YouTube) A plan to build a system of data centers for artificial intelligence has been revealed in a White House press conference, with Masayoshi Son, Sam Altman, and Larry Ellison joining Donald Trump to announce The Stargate Project. Their companies, Softbank, OpenAI, and Oracle (respectively), along with MGX are listed as … Read more

Meta’s next smart glasses may be with Oakley

Oakleys are considered stylish and popular with athletes — which is probably why Meta’s keen to partner. | Photo by Mark Brown/Getty Images Meta may be releasing new Oakley-branded smart glasses later this year, according to a new Bloomberg report. The Oakley-branded glasses, internally referred to as “Supernova 2”, would be based on the brand’s … Read more

Sonic 4 comes to theaters in March 2027

Image: Paramount The fourth Sonic movie now has an official release date: March 19th, 2027, according to Variety. Right around the release of the very successful Sonic the Hedgehog 3 last December, news hit that Sonic the Hedgehog 4 was in the works, but at the time, the movie only had a spring 2027 release … Read more

The Algorithm That Makes Data Dance—and Solve Complex Problems Fast

:::info Author: (1) David S. Hardin, Cedar Rapids, IA USA (david.s.hardin@gmail.com). ::: Table of Links 1 Introduction 2 Dancing Links 3 The Rust Programming Language 4 RAC: Hardware/Software Co-Assurance at Scale 5 Rust and RAR 5.1 Restricted Algorithmic Rust 6 Dancing Links in Rust and 6.1 Definitions 6.2 Translation to ACL2 6.3 Dancing Links Theorems … Read more

The Case for Rust Programming as a Game-Changer for High-Level Synthesis

:::info Author: (1) David S. Hardin, Cedar Rapids, IA USA (david.s.hardin@gmail.com). ::: Table of Links 1 Introduction 2 Dancing Links 3 The Rust Programming Language 4 RAC: Hardware/Software Co-Assurance at Scale 5 Rust and RAR 5.1 Restricted Algorithmic Rust 6 Dancing Links in Rust and 6.1 Definitions 6.2 Translation to ACL2 6.3 Dancing Links Theorems … Read more