Latest Tech News

Stay updated with the latest in technology, AI, cybersecurity, and more

Filtered by: ma Clear Filter

Microsoft suspended the email account of an ICC prosecutor at The Hague

“The I.C.C. showed this can happen,” said Bart Groothuis, a former head of cybersecurity for the Dutch Ministry of Defense who is now a member of the European Parliament. “It’s not just fantasy.” Mr. Groothuis once supported U.S. tech firms but has done a “180-degree flip-flop,” he said. “We have to take steps as Europe to do more for our sovereignty.” Some at the I.C.C. are now using Proton, a Swiss company that provides encrypted email services, three people with knowledge of the communicati

Reddit Looks to Get in Bed With Altman’s Creepy ‘World ID’ Orbs for User Verification

Gaze into the Orb if you want your upvotes. According to a report from Semafor, Reddit is actively considering partnering with World ID, the verification system co-founded by OpenAI CEO Sam Altman, to perform user verification on its platform. Per the report, Reddit’s potential partnership with World ID would allow users to verify that they are human by staring into one of World ID’s eye-scanning orbs. Once confirmed to be a real person, users would be able to continue using Reddit without reve

The Newest Marvel/DC Crossover Will Have Some Fun Team-Ups

In May, Marvel Comics and DC finally confirmed they were doing a new crossover for the first time in over 20 years. At the time, we only knew it’d involve Deadpool and Batman teaming up in a pair of one-shots from Zeb Wells and Greg Capullo (Marvel) and Grant Morrison and Dan Mora (DC). Thanks to the latest Marvel solicitations for the month of August, we know the full scope of the crossover on its side of things. Along with the previously announced duo, Marvel/DC: Deadpool & Batman will featur

9 Foods for Relieving Headaches and Migraines, According to Doctors and Dietitians

June is Migraine and Headache Awareness Month, which got us thinking: Are there any foods that can help with this type of head pain? "The most important thing I tell patients is that migraines are highly individualized," says Dr. Nicholas Church, a board-certified member of the American Board of Family Medicine and the American Academy of Family Physicians. "What helps one person may not help another, and what's a trigger for one might be therapeutic for someone else." A holistic approach is es

Best Mattress Toppers for 2025, Tested by Our Sleep Experts

If you need more time before making your next big mattress decision or you're waiting on that next big sale event -- a mattress topper is a good temporary sleep solution. The right mattress topper can add comfort and enhance your sleep quality -- and for far less than the $1,000 a year many US adults said they'd spend on better rest, per a CNET’s sleep survey. CNET’s sleep experts have been testing mattresses and their toppers for years. We carefully evaluate firmness, feel, construction and wa

Adobe's New iOS and Android AI Apps Let You Use Google's Veo 3, Runway and More

Adobe's Firefly AI is now available as mobile apps for iPhones and Androids, the company announced on Tuesday. These apps are free to download and let you use Firefly to create AI images and videos on the go. Plus, the app comes with a few free generative credits for you to experiment with Adobe's AI. Adobe is also expanding its roster of third-party AI partners to include six new models from Ideogram, Pika, Luma and Runway. Google's latest AI models are also joining the lineup, including the i

Methane Pollution Has Cheap, Effective Solutions That Aren’t Being Used

This story originally appeared on Vox and is part of the Climate Desk collaboration. Odorless and colorless, methane is a gas that is easy to miss—but it’s one of the most important contributors to global warming. It can trap up to 84 times as much heat as carbon dioxide in the atmosphere, though it breaks down much faster. Measured over 100 years, its warming effect is about 30 times that of an equivalent amount of carbon dioxide. That means that over the course of decades, it takes smaller a

Meta's new $399 Oakley smart glasses beat the Ray-Bans in almost every way

Mark Zuckerberg Several months ago, reports emerged that Meta was looking to expand beyond its current smart glasses lineup into sportier versions. Now the glasses are officially here. On Friday, Meta launched limited-edition Oakley Meta HSTN model glasses. Staying true to the brand, the Meta version of the glasses keeps the form factor Oakley is known for, with a more flexible and rugged design that still allows athletes to take advantage of the smart glasses' capabilities, such as filming, l

I replaced my Pixel 9 Pro with a $750 Android for a week. Now I'm questioning my loyalty

ZDNET's key takeaways The Redmagic 10S Pro will be available now, starting at $699. The 10S Pro harnesses impressive power, making it an absolute delight for gamers and power users. Average users might find they have to do a bit of tweaking to get the 10S Pro to their liking. View now at Redmagic View now at Amazon more buying choices I've been using Pixel phones for a long, long time, and every so often I think, "Is it time to try something different?" But each time I stray, I inevitably com

Less UFO, more Wall-E: You've never seen the best robot vacuum on the market

ZDNET's key takeaways The Matic is available for purchase at $1,095. This robot vacuum has a unique form factor and roller brush, and a debris bag that eliminates the need for a huge dock. The Matic has its drawbacks, mainly that it's too tall to clean under furniture and that it's currently only available for iOS, with an Android beta app planned for July. View now at Maticrobots Pioneer devices have the unique challenge of reinventing the wheel. They reimagine something that has become prev

On memes, mimetic desire, and why it's always that deep

When filmmaker and scholar Hito Steyerl wrote her manifesto “In Defense of the Poor Image” in 2009, internet memes were only in their infancy. But in the years since, the meme has become the dominant form of the poor image — “an illicit fifth-generation bastard of an original image.” Of the poor image, Steyerl wrote: Altogether, poor images present a snapshot of the affective condition of the crowd, its neurosis, paranoia, and fear, as well as its craving for intensity, fun, and distraction. T

This 32-inch Insignia Fire TV is only $69.99! (Record-low price)

We know this is not the most exciting TV around, but it isn’t supposed to be. Instead, it is meant to be a good screen for the kitchen, dining room, or a smaller bedroom. There’s also a reason why it’s Amazon’s top-selling TV! It is super cheap, especially right now that it’s on sale for a mere $69.99. Buy the Insignia 32-Inch F20 Series Amazon Smart TV for just $69.99 ($60 off) This offer is available from Amazon, but since Insignia is a Best Buy brand, it is shipped and sold by Best Buy. We’r

Jon Bernthal’s Punisher Will Hit the Big Screen in ‘Spider-Man: Brand New Day’

Spider-Man: Brand New Day is starting to take shape at last with a key bit of casting news. Destin Daniel Cretton’s summer 2026 release—the fourth entry in the series centered around Tom Holland’s Spider-Man—has just added Jon Bernthal’s Punisher into the mix. The Hollywood Reporter shared the news, and notes filming is set to begin this summer in England. Bernthal’s character addition is some of the first news fans can grasp onto, as the rest of Brand New Day hasn’t shaken many plot details l

Topics: brand man new news spider

'Sinners' Will Stream on Max in July. Here's When to Watch

It doesn't matter if you're going to watch Sinners for the first or the 21st time, the Ryan Coogler-penned original film is worth all your time, and it's coming to Max next month. Rich in blues music, culture, metaphors and Southern gothic vibes, the vampire flick stars Michael B. Jordan as a pair of twin brothers -- Smoke and Stack -- who come back to their Mississippi hometown with big plans. But they encounter a supernatural malevolence unlike anything they've ever seen, and it's threatening

Mistral just updated its open source Small model from 3.1 to 3.2: here’s why

Join the event trusted by enterprise leaders for nearly two decades. VB Transform brings together the people building real enterprise AI strategy. Learn more French AI darling Mistral is keeping the new releases coming this summer. Just days after announcing its own domestic AI-optimized cloud service Mistral Compute, the well-funded company has released an update to its 24B parameter open source model Mistral Small, jumping from a 3.1 release to 3.2-24B Instruct-2506. The new version builds

Proba-3's first artificial solar eclipse

Enabling & Support Proba-3’s first artificial solar eclipse 16/06/2025 24672 views 108 likes Today, the European Space Agency’s Proba-3 mission unveils its first images of the Sun’s outer atmosphere – the solar corona. The mission’s two satellites, able to fly as a single spacecraft thanks to a suite of onboard positioning technologies, have succeeded in creating their first ‘artificial total solar eclipse’ in orbit. The resulting coronal images demonstrate the potential of formation flying tec

‘KPop Demon Hunters’ Directors on Meeting Fan Expectations and Championing Original, Inclusive Animation

When Sony Pictures Animation first announced KPop Demon Hunters back in 2021, director, writer, and longtime K-pop devotee Maggie Kang (The Lego Ninjago Movie) envisioned the project as both a love letter to the early days of the genre she grew up with and a vibrant celebration of Korean culture. Teaming up with co-director Chris Appelhans (Wish Dragon), Kang set out to craft a film that merges the dazzling precision of K-pop choreography with the spectacle of magical girl action, all wrapped up

Can Labubu Endure Collectible Hype?

The latest drop from Pop Mart’s the Monsters collection might be its most ambitious yet: putting the blind-box darling Labubu into a funky foodie product line that might turn off existing fans. With the Monsters: Wacky Mart, Kasing Lung’s original intention with the mischievous creature shines in a way that might appeal more to vinyl art collectors. Here they give Gremlins energy as they get into munchy mayhem in milk cartons or tempura shrimp. It’s a distinct move that leans into Labubus being

Topics: just labubu mart new pop

Verified dynamic programming with Σ-types in Lean

1. Introduction If you’ve taken an algorithms class, you have likely seen dynamic programming, specifically a technique called memoization. Memoization works to optimize recursive algorithms by caching the solutions to subproblems in a table, and when a subproblem is encountered, it queries the table instead of recomputing the solution. This gives us an exponential performance boost. This blog post will show how to solve a dynamic programming problem using memoization in Lean, and verify its c

Midjourney Released an AI Video Generator: How You Can Get Started

The popular AI image platform Midjourney released a new AI-video generator on Wednesday. The new V1 video model lets you create 5-second AI videos from images you create on the platform or upload. Founder David Holz announced the video model in a blog post. This generator could one day compete with other generative-AI video options, like OpenAI's Sora and Google's Flow. Subscriptions for Midjourney's V1 start at $10 per month for 3.3 hours of "fast" GPU time. According to Holz, a "video job" co

Here are the best robot vacuum deals available right now

We’re in an age where you can realistically delegate tasks to smart hunks of metal, whether it’s a self-driving car or a robot that can clean on your behalf. Most of us probably won’t be able to afford the helpful sentient humanoids being developed in our lifetimes, but robot vacuums are an affordable way to experience that promised utopia right now. Today’s floor cleaners are also more advanced than ever. In addition to vacuuming, many of the best models can now mop, allowing you to tackle bot

This is the Logitech MX Master 4, and it has a new button

Following last month’s Brazilian certification and a quickly-pulled teaser image leak, Logitech’s next-gen mouse has now appeared in a filing with the European Union Intellectual Property Office (EUIPO), giving us the clearest look yet at what’s changing and what’s not. Here’s what the MX Master 4 looks like. At first glance, the MX Master 4 sticks close to the design language that’s made the MX Master 3 and 3S beloved tools for so many power users. But look a little closer and you’ll spot som

Apple’s tiny M4 Mac Mini has dropped to its lowest price yet

If you’ve been curious about trying out a Mac for the first time or need a small computer powerful enough to be your home media server, we strongly recommend the latest Mac Mini. Thankfully, the step-up M4 model with 512GB of storage and 16GB of RAM is on sale at Amazon and B&H Photo for $689 ($110 off), which marks its lowest price ever. The entry-level model with 256GB of storage is also on sale at Amazon and B&H Photo for $469 ($130 off) — another all-time low. Former Verge staffer Chris Wel

Heard about the 16 billion passwords leak? Here are the facts and how to protect yourself

Moor Studio/Getty With so much news about data breaches, you have to be careful not to panic each time you hear of a new one. Take the latest report of a major breach. In the headline for a recent story published by Cybernews, the cybersecurity media outlet said that 16 billion passwords were exposed in a record-breaking data breach, opening access to Facebook, Google, Apple, and any other service imaginable. Sounds scary, right? But reading the story itself paints a different picture. Also:

Verified Dynamic Programming with Σ-types in Lean

1. Introduction If you’ve taken an algorithms class, you have likely seen dynamic programming, specifically a technique called memoization. Memoization works to optimize recursive algorithms by caching the solutions to subproblems in a table, and when a subproblem is encountered, it queries the table instead of recomputing the solution. This gives us an exponential performance boost. This blog post will show how to solve a dynamic programming problem using memoization in Lean, and verify its c

West End Games’ Classic ‘Star Wars’ RPG Is Still Setting the Blueprint for Its Universe

In the years since Lucasfilm overhauled Star Wars continuity—reclassifying years of Expanded Universe material as “Legends” before wiping a clean slate of continuity it has developed over the last decade-plus—much of what has been rebuilt has been done so off of the back of re-canonizing elements of that old material. In some ways re-imagined, in others just lifted wholesale, the journey of modern Star Wars is as much about adding new stories as it is weaving the old ones back into them. There

The best Apple deals you can shop ahead of Amazon Prime Day

If you want to get a head start on back-to-school shopping — or upgrade your Apple gear — there are already some great deals worth exploring ahead of Amazon Prime Day. From earbuds and laptops to tablets, the early deals are already starting to trickle in. Prices might drop even further during Amazon’s four-day sales event, sure, but gadgets like the latest AirPods and iPad Air are already matching their all-time low, giving you a solid chance to save before the four-day shopping event officiall

Latest Starship Explosion Drastically Decreases SpaceX's Chances of Reaching Mars Without Having to Wait Years

"One of the toughest problems to solve." With tech billionaire Elon Musk out of the White House after his disastrous turn as a bureaucrat, he can now focus on more pressing subjects — such as his SpaceX Starship rockets that keep on exploding into fiery columns of fire, with the latest dramatic failure this past Wednesday in Texas, when the massive spacecraft hadn't even left the ground yet. This recent setback ratchets up the pressure on Musk even further, who faces a hard deadline and steep

New dating for White Sands footprints confirms controversial theory

The 2009 discovery of footprints (human and animal) left behind in layers of clay and silt at New Mexico’s White Sands National Park sparked a contentious debate about when, exactly, human cultures first developed in North America. Until about a decade ago, it seemed as if the first Americans arrived near the end of the last Ice Age and were part of the Clovis culture, named for the distinctive projectile points they left behind near what’s now Clovis, New Mexico. But various dating methods indi

Ask HN: How can we keep (part of) the web human?

Any ideas for how we can keep the web (or at least part of it) human? It feels like every time I do a web search, more and more of the results are AI generated nonsense. I'm worried that it's going to become much more difficult to find the human-generated content. How can we keep a part of the web human? Any ideas? (I'm not keen on Sam Altman’s eyeball-scanning Orb being the "solution.")