Normally when you hear the words “rope” and “dog” in the same sentence, you think about a dog on a leash, but in this robot dog, the rope is what …read more

Nous voilà déjà en juillet 2025, à mi-parcours de l’année ! Ce mois s’annonce particulièrement […] Cet article Voici les nouveaux jeux VR qui arrivent ce mois - juillet 2025 a été publié sur REALITE-VIRTUELLE.COM.

ActuGaming.net Juste après la sortie de son DLC, Lies of P dépasse les 3 millions d’exemplaires Sans doute l’une des meilleures alternatives aux jeux de From Software, Lies of P a […] L'article Juste après la sortie de son DLC, Lie

Un nouveau studio fait face à la crise. Jellyfish Pictures, studio d’animation et effets visuels basé au Royaume-Uni, aurait « suspendu » ses activités, nous apprend Animation Xpress.Il ne s’agirait cependant pas d’une fermeture déf

The Another Crab's Treasure developer created the title in collaboration with Landfall to bounce back after burnout.

What just happened? As protests against federal immigration enforcement swept through downtown Los Angeles last week, a wave of looting left several major retailers, including Apple, T-Mobile, and Adidas, counting the cost of smashed windows and stolen goods. Yet for those who made off with iPhones from Apple's flagship store, the thrill of the heist quickly turned into a lesson in high-tech security. Apple's retail locations are equipped with advanced anti-theft technology that renders display devices useless once they leave the premises. The moment a demonstration iPhone is taken beyond the store's Wi-Fi network, it is instantly disabled by proximity software and a remote "kill switch." Instead of a functioning smartphone, thieves were met with a stark message on the screen: "Please return to Apple Tower Theatre. This device has been disabled and is being tracked. Local authorities will be alerted." The phone simultaneously sounds an alarm and flashes the warning, ensuring it cannot be resold or activated elsewhere. This system is not new. During the nationwide unrest of 2020, similar scenes played out as looters discovered that Apple's security measures turned their stolen goods into little more than expensive paperweights. The technology relies on a combination of location tracking and network monitoring. As soon as a device is separated from the store's secure environment, it is remotely locked, its location is tracked, and law enforcement is notified. // Related Stories Videos circulating online show stolen iPhones blaring alarms and displaying tracking messages, making them impossible to ignore and virtually worthless on the black market. According to the Los Angeles Police Department, at least three individuals were arrested in connection with the Apple Store burglary, including one suspect apprehended at the scene and two others detained for looting. The crackdown on looting comes amid a broader shift in California's approach to retail crime. In response to public outcry over rising thefts, state and local officials have moved away from previously lenient policies. The passage of Proposition 36 has empowered prosecutors to file felony charges against repeat offenders, regardless of the value of stolen goods, and to impose harsher penalties for organized group theft. Under these new measures, those caught looting face the prospect of significant prison time, a marked departure from the misdemeanor charges that were common under earlier laws. District attorneys in Southern California have called for even harsher penalties, particularly for crimes committed during states of emergency. Proposals include making looting a felony offense, increasing prison sentences, and ensuring that suspects are not released without judicial review. The goal, officials say, is to deter opportunistic criminals who exploit moments of crisis, whether during protests or natural disasters.

All products featured on Architectural Digest are independently selected by our editors. However, we may receive compensation from retailers and/or from purchases of products through these links.Featured in this articleBest Overall Sateen SheetsBoll & Branch Signature Hemmed Sheet SetRead moreFor a Romantic DrapeEttitude CleanBamboo Sheet Set Read moreThe Affordable PickGood Sleep Bedding Egyptian Cotton Sateen SheetsRead moreShow more3 / 8A close cousin to percale and silk, the best sateen sheets offer a happy medium of refinement and softness, all in one durability, and an easy-to-clean fabric.Sateen is known for having a polished appearance because of its lustrous sheen and wrinkle-resistant material. This comes from a tight satin weave that leaves a shiny look without compromising a smooth hand feel. While you can find this bedding in elevated spaces like this vibrant West Village town house thanks to embroidered touches and traditional prints, they’re surprisingly versatile and come in many forms. Here, our editors dive into their favorites for their bedrooms. Since you can find many in higher thread counts though (which we dive into more below), these are durable enough for any room in the house—as seen in this family-friendly getaway.Inside this ArticleBest Overall Sateen Sheets1/8Boll & Branch Signature Hemmed Sheet SetBoll & Branch caught commerce director Rachel Fletcher’s attention when she was browsing for new sheets for a few reasons. One: The brand makes organic and fair trade sheets: Two: She loves a sateen weave, and the retailer mentioned that this set was their bestseller and she wanted to see what the hype was about. “Boll & Branch claims that these cotton sateen sheets are buttery soft, and I definitely agree,” Fletcher says. “That extra-soft feel paired with the lovely, cooling properties make them feel like the luxury sheets that they are.” Along with an earthy color palette (Fletcher has her set in mineral) and thoughtful hem detailing, this set stood out to be our top pick. These do have a higher price point, but as some of the plushest sheets she’s slept on, Fletcher thinks they’re worth it.Specs:Material: 100% organic cottonThread count: N/ASizes: Twin, Twin XL, Full, Queen, King, King With Std. Cases, California King, Split KingColors: 18 colors; 8 printsUpsides & DownsidesUpsidesSustainable materialBreathableOrganic colorwaysDownsidesExpensiveFor a Romantic DrapePhoto: Yelena Moroz AlpertPhoto: Yelena Moroz Alpert2/8Ettitude CleanBamboo Sheet Set “These sheets are buttery—pun intended,” says senior commerce editor Nashia Baker, who has the set in the butter yellow hue and loves the fabric’s delicate yet durable feel. Contributor Yelena Moroz Alpert also has this set and says that the cooling lyocell fabric set takes the bamboo sheets category up a notch. “Somehow they feel substantial but incredibly light and smooth,” she says of this splurge-worthy set. “The site says that the silky-soft sateen weave is comparable to 1,000 thread count cotton—and I believe it. I’ve never touched a baby alpaca, but I imagine that it’s as soft as these sheets.”Specs:Material: 100% CleanBamboo lyocellThread count: 1,000 thread countSizes: Twin, Twin XL, Full, Queen, King, California KingColors: 8Upsides & DownsidesUpsidesPearly appearanceLightweightUltra softDownsidesPriceyThe Affordable Pick3/8Good Sleep Bedding Egyptian Cotton Sateen SheetsDon’t overlook the best Amazon sheets for high-end sateen bedding. Contributor Erika Owen says these are a great option: “After a single night, they became my favorite set, and a few more nights and a wash only locked in this opinion.” She says they’re sumptuous, cool, and durable—and their quality (think texture, weight, and comfort) hasn’t changed after many rounds through the washer and dryer. “I would buy these as a gift for my best friend, if that tells you anything about how much I recommend these,” says Owen. “There’s nothing better than feeling really good as you hit the hay—who doesn’t want a luxury bed situation—and I felt that way every time I dug into these silky sheets. Let it also be known that I’m no stranger to night sweats and these kept me cool every single night.” The finishing touches are the deep pockets and sturdy elastic on the fitted sheet to fit a grand mattress.Specs:Material: 100% Egyptian cottonThread count: 1,000 thread countSizes: Twin, Twin XL, Full, Queen, King, California King, Split KingColors: 13Upsides & DownsidesUpsidesHigher thread countCoolingSturdy after several washesDownsidesSome shoppers found the fabric weightyA Vibrant Print4/8Rifle Paper Co. Peacock Sateen Bed Sheet SetThese are some of the softest bed sheets out there, just take it from Alpert. Not only are they comfortable to sink into night after night thanks to the plush 300 thread count, but they also veer away from traditional patterns and solid colorways. “I was originally drawn to the peacock print because it is just so whimsical and livens up my guest bedroom,” Alpert says. “But these are also buttery soft. Maybe too soft—my guests never want to leave.” If it wasn’t for the true-to-Rifle print, she would mistake these for hotel sheets because of their supple feel.Specs:Material: 100% combed cotton sateenThread count: 300 thread countSizes: Twin, Full, Queen, KingColors: 3Upsides & DownsidesUpsidesUnique patternsSuppleAiry materialDownsidesNot as ideal for minimalistsClassic Core Set5/8Brooklinen Luxe Sateen Core Sheet SetIf you want sheets with unparalleled quality, durability, and softness that gets better with every wash, multiple AD staff members say you can’t go wrong with these Brooklinen sheets. Fletcher shares that this sateen set is “super classic, smooth, and has a crisp feel.” Sleepers with sensitive skin will also be happy to know that they’re “not at all scratchy or harsh on my skin, like some of the less expensive options I’ve tried in the past,” Fletcher adds.Specs:Material: 100% long-staple cottonThread count: 480 thread countSizes: Twin, Twin XL, Full, Queen, King, California KingColors: 22Upsides & DownsidesUpsidesStructured fabric like a press shirtWrinkle-free designAffordableDownsidesLimited-edition colors sell out fastMore AD-Approved Sateen Sheets6/8Hill House Home Fitted Sheet“For a $100 top sheet and $125 fitted sheet, I truly didn’t know what to expect from a brand as new to the decor game as Hill House Home, but was delightfully surprised at the quality and attention to detail that was put into making these products,” contributor Katarina Kovac says of these Hill House Home sheets.“I wanted something that was crisp yet elevated, and the colored trim in the Savile Sheets was my answer.” Since she’s had her fair share of sheets that have a sandpaper-like texture, she paid close attention to how well these felt after the first wash. To her delight, these “felt soft, velvety, and breathable against my skin, leaving me truly struggling to get out of bed in the morning.”Specs:Material: 100% brushed cotton sateenThread count: N/ASizes: Twin, Full, Queen, King, California KingColors: 6Upsides & DownsidesUpsidesTraditional printsLushSmooth feelThoughtful trimDownsidesFlat sheet, fitted sheet, and pillowcases are sold separately7/8Homebird Sateen Fitted Sheets (Set of 3)Fletcher loves an ethically made, slippery sateen weave, and it took just one night of sleep to be sold on this Homebird set. “They’re very high quality and everything you want in a sateen sheet: incredibly soft to the touch and slightly silky, with a sturdiness to them that you can tell is the result of a high thread count,” she says. “They fit my bed perfectly and also have the most useful feature that, in my opinion, every set of sheets ever made should have: a long-side and short-side label.”Specs:Material: 100% GOTS-certified, long-staple organic cottonThread count: 300 thread countSizes: Full, Queen, KingColors: 7Upsides & DownsidesUpsidesSilky smoothHelpful labels to make the bedDeep pocketsDownsidesOnly available in muted tones

Navigating the dense urban canyons of cities like San Francisco or New York can be a nightmare for GPS systems. The towering skyscrapers block and reflect satellite signals, leading to location errors of tens of meters. For you and me, that might mean a missed turn. But for an autonomous vehicle or a delivery robot, that level of imprecision is the difference between a successful mission and a costly failure. These machines require pinpoint accuracy to operate safely and efficiently. Addressing this critical challenge, researchers from the École Polytechnique Fédérale de Lausanne (EPFL) in Switzerland have introduced a groundbreaking new method for visual localization during CVPR 2025 Their new paper, “FG2: Fine-Grained Cross-View Localization by Fine-Grained Feature Matching,” presents a novel AI model that significantly enhances the ability of a ground-level system, like an autonomous car, to determine its exact position and orientation using only a camera and a corresponding aerial (or satellite) image. The new approach has demonstrated a remarkable 28% reduction in mean localization error compared to the previous state-of-the-art on a challenging public dataset. Key Takeaways: Superior Accuracy: The FG2 model reduces the average localization error by a significant 28% on the VIGOR cross-area test set, a challenging benchmark for this task. Human-like Intuition: Instead of relying on abstract descriptors, the model mimics human reasoning by matching fine-grained, semantically consistent features—like curbs, crosswalks, and buildings—between a ground-level photo and an aerial map. Enhanced Interpretability: The method allows researchers to “see” what the AI is “thinking” by visualizing exactly which features in the ground and aerial images are being matched, a major step forward from previous “black box” models. Weakly Supervised Learning: Remarkably, the model learns these complex and consistent feature matches without any direct labels for correspondences. It achieves this using only the final camera pose as a supervisory signal. Challenge: Seeing the World from Two Different Angles The core problem of cross-view localization is the dramatic difference in perspective between a street-level camera and an overhead satellite view. A building facade seen from the ground looks completely different from its rooftop signature in an aerial image. Existing methods have struggled with this. Some create a general “descriptor” for the entire scene, but this is an abstract approach that doesn’t mirror how humans naturally localize themselves by spotting specific landmarks. Other methods transform the ground image into a Bird’s-Eye-View (BEV) but are often limited to the ground plane, ignoring crucial vertical structures like buildings. FG2: Matching Fine-Grained Features The EPFL team’s FG2 method introduces a more intuitive and effective process. It aligns two sets of points: one generated from the ground-level image and another sampled from the aerial map. Here’s a breakdown of their innovative pipeline: Mapping to 3D: The process begins by taking the features from the ground-level image and lifting them into a 3D point cloud centered around the camera. This creates a 3D representation of the immediate environment. Smart Pooling to BEV: This is where the magic happens. Instead of simply flattening the 3D data, the model learns to intelligently select the most important features along the vertical (height) dimension for each point. It essentially asks, “For this spot on the map, is the ground-level road marking more important, or is the edge of that building’s roof the better landmark?” This selection process is crucial, as it allows the model to correctly associate features like building facades with their corresponding rooftops in the aerial view. Feature Matching and Pose Estimation: Once both the ground and aerial views are represented as 2D point planes with rich feature descriptors, the model computes the similarity between them. It then samples a sparse set of the most confident matches and uses a classic geometric algorithm called Procrustes alignment to calculate the precise 3-DoF (x, y, and yaw) pose. Unprecedented Performance and Interpretability The results speak for themselves. On the challenging VIGOR dataset, which includes images from different cities in its cross-area test, FG2 reduced the mean localization error by 28% compared to the previous best method. It also demonstrated superior generalization capabilities on the KITTI dataset, a staple in autonomous driving research. Perhaps more importantly, the FG2 model offers a new level of transparency. By visualizing the matched points, the researchers showed that the model learns semantically consistent correspondences without being explicitly told to. For example, the system correctly matches zebra crossings, road markings, and even building facades in the ground view to their corresponding locations on the aerial map. This interpretability is extremenly valuable for building trust in safety-critical autonomous systems. “A Clearer Path” for Autonomous Navigation The FG2 method represents a significant leap forward in fine-grained visual localization. By developing a model that intelligently selects and matches features in a way that mirrors human intuition, the EPFL researchers have not only shattered previous accuracy records but also made the decision-making process of the AI more interpretable. This work paves the way for more robust and reliable navigation systems for autonomous vehicles, drones, and robots, bringing us one step closer to a future where machines can confidently navigate our world, even when GPS fails them. Check out the Paper. All credit for this research goes to the researchers of this project. Also, feel free to follow us on Twitter and don’t forget to join our 100k+ ML SubReddit and Subscribe to our Newsletter. Jean-marc MommessinJean-marc is a successful AI business executive .He leads and accelerates growth for AI powered solutions and started a computer vision company in 2006. He is a recognized speaker at AI conferences and has an MBA from Stanford.Jean-marc Mommessinhttps://www.marktechpost.com/author/jean-marc0000677/AI-Generated Ad Created with Google’s Veo3 Airs During NBA Finals, Slashing Production Costs by 95%Jean-marc Mommessinhttps://www.marktechpost.com/author/jean-marc0000677/Highlighted at CVPR 2025: Google DeepMind’s ‘Motion Prompting’ Paper Unlocks Granular Video ControlJean-marc Mommessinhttps://www.marktechpost.com/author/jean-marc0000677/Snowflake Charts New AI Territory: Cortex AISQL & Snowflake Intelligence Poised to Reshape Data AnalyticsJean-marc Mommessinhttps://www.marktechpost.com/author/jean-marc0000677/Exclusive Talk: Joey Conway of NVIDIA on Llama Nemotron Ultra and Open Source Models

In a crowded field full of online survival sims, Dune: Awakening is kicking up storm. The adaptation of Frank Herbert’s sci-fi novels lets players build bases, rid sand worms, and smash Ornithopters into one another. That last part has become a problem, and the developers are already looking into a fix. Suggested Reading10 Minutes From The Last Of Us Part II’s Roguelike Mode Share SubtitlesOffEnglishview videoSuggested Reading10 Minutes From The Last Of Us Part II’s Roguelike Mode Share SubtitlesOffEnglishDune’s Ornithopters are helicopters shaped like dragonflies. In Dune: Awakening, they’re one of the many vehicles players can build that serve as both a resource and an end-goal of sorts. They require a lot of equipment and resources to craft if you’re playing solo, which is why most of them belong to players working in groups. It turns out that they’re pretty indestructible too, making them lethal weapons for ramming enemy players with in PVP. Reddit user Bombe18 shared his run-in with Dune: Awakening’s man-made scourge in a recent clip that blew up on the subreddit showing him repeatedly being accosted by multiple Ornithopters. Shooting at them does nothing. They’re unscathed by constantly smashing into the ground on top of him. At one point, he tries to wall-jump off a ledge and stab one. “Yeah sorry about this,” wrote game director Joel Bylos. “We have people working on fixing the goomba stomping ASAP.”Players have been debating the role of Ornithopters in Dune: Awakening since its beta tests last year. On the one hand, they’re a lot of fun and a cool reward for players to build toward. On the other, they sort of trivialize trying to travel around the desert and survive, the two things the game is supposed to be about. They can also shoot missiles, completely dominating the ground game. Now that’s real desert power. In terms of stopping players from griefing one another with Ornithopters, there are a few different suggestions. Some players just want the vehicles not to be able to be used as weapons at all. Others want them isolated to specific PVP areas. Another solution is to make it easier to destroy them. “Seems like they should just make guns deal more damage to them,” wrote one player. “They’d think twice about doing this if their orni could get wrecked by gunfire.” Another wrote, “Make Deep Desert crashes do significant damage. Two crashes or something past a certain physics threshold should disable the vehicle.”However the developers decide to address the recent outbreak of Ornithopter “goomba stomping,” Dune: Awakening is having a great launch so far. Out earlier this week on PC, it’s nearing a 90 percent positive rating on Steam with almost 20,000 reviews. The concurrent player-count is very healthy, too, peaking at just under 150,000 heading into the weekend. Unfortunately, console players will have to wait a bit to build Ornithropters of their own. A PlayStation 5 and Xbox Series X/S release isn’t planned until sometime in 2026. .

Outdated coding practices and memory-unsafe languages like C are putting software, including cryptographic libraries, at risk. Fortunately, memory-safe languages like Rust, along with formal verification tools, are now mature enough to be used at scale, helping prevent issues like crashes, data corruption, flawed implementation, and side-channel attacks. To address these vulnerabilities and improve memory safety, we’re rewriting SymCrypt (opens in new tab)—Microsoft’s open-source cryptographic library—in Rust. We’re also incorporating formal verification methods. SymCrypt is used in Windows, Azure Linux, Xbox, and other platforms. Currently, SymCrypt is primarily written in cross-platform C, with limited use of hardware-specific optimizations through intrinsics (compiler-provided low-level functions) and assembly language (direct processor instructions). It provides a wide range of algorithms, including AES-GCM, SHA, ECDSA, and the more recent post-quantum algorithms ML-KEM and ML-DSA.  Formal verification will confirm that implementations behave as intended and don’t deviate from algorithm specifications, critical for preventing attacks. We’ll also analyze compiled code to detect side-channel leaks caused by timing or hardware-level behavior. Proving Rust program properties with Aeneas Program verification is the process of proving that a piece of code will always satisfy a given property, no matter the input. Rust’s type system profoundly improves the prospects for program verification by providing strong ownership guarantees, by construction, using a discipline known as “aliasing xor mutability”. For example, reasoning about C code often requires proving that two non-const pointers are live and non-overlapping, a property that can depend on external client code. In contrast, Rust’s type system guarantees this property for any two mutably borrowed references. As a result, new tools have emerged specifically for verifying Rust code. We chose Aeneas (opens in new tab) because it helps provide a clean separation between code and proofs. Developed by Microsoft Azure Research in partnership with Inria, the French National Institute for Research in Digital Science and Technology, Aeneas connects to proof assistants like Lean (opens in new tab), allowing us to draw on a large body of mathematical proofs—especially valuable given the mathematical nature of cryptographic algorithms—and benefit from Lean’s active user community. Compiling Rust to C supports backward compatibility   We recognize that switching to Rust isn’t feasible for all use cases, so we’ll continue to support, extend, and certify C-based APIs as long as users need them. Users won’t see any changes, as Rust runs underneath the existing C APIs. Some users compile our C code directly and may rely on specific toolchains or compiler features that complicate the adoption of Rust code. To address this, we will use Eurydice (opens in new tab), a Rust-to-C compiler developed by Microsoft Azure Research, to replace handwritten C code with C generated from formally verified Rust. Eurydice (opens in new tab) compiles directly from Rust’s MIR intermediate language, and the resulting C code will be checked into the SymCrypt repository alongside the original Rust source code. As more users adopt Rust, we’ll continue supporting this compilation path for those who build SymCrypt from source code but aren’t ready to use the Rust compiler. In the long term, we hope to transition users to either use precompiled SymCrypt binaries (via C or Rust APIs), or compile from source code in Rust, at which point the Rust-to-C compilation path will no longer be needed. Microsoft research podcast Ideas: AI and democracy with Madeleine Daepp and Robert Osazuwa Ness As the “biggest election year in history” comes to an end, researchers Madeleine Daepp and Robert Osazuwa Ness and Democracy Forward GM Ginny Badanes discuss AI’s impact on democracy, including the tech’s use in Taiwan and India. Listen now Opens in a new tab Timing analysis with Revizor  Even software that has been verified for functional correctness can remain vulnerable to low-level security threats, such as side channels caused by timing leaks or speculative execution. These threats operate at the hardware level and can leak private information, such as memory load addresses, branch targets, or division operands, even when the source code is provably correct.  To address this, we’re extending Revizor (opens in new tab), a tool developed by Microsoft Azure Research, to more effectively analyze SymCrypt binaries. Revizor models microarchitectural leakage and uses fuzzing techniques to systematically uncover instructions that may expose private information through known hardware-level effects.   Earlier cryptographic libraries relied on constant-time programming to avoid operations on secret data. However, recent research has shown that this alone is insufficient with today’s CPUs, where every new optimization may open a new side channel.  By analyzing binary code for specific compilers and platforms, our extended Revizor tool enables deeper scrutiny of vulnerabilities that aren’t visible in the source code. Verified Rust implementations begin with ML-KEM This long-term effort is in alignment with the Microsoft Secure Future Initiative and brings together experts across Microsoft, building on decades of Microsoft Research investment in program verification and security tooling. A preliminary version of ML-KEM in Rust is now available on the preview feature/verifiedcrypto (opens in new tab) branch of the SymCrypt repository. We encourage users to try the Rust build and share feedback (opens in new tab). Looking ahead, we plan to support direct use of the same cryptographic library in Rust without requiring C bindings.  Over the coming months, we plan to rewrite, verify, and ship several algorithms in Rust as part of SymCrypt. As our investment in Rust deepens, we expect to gain new insights into how to best leverage the language for high-assurance cryptographic implementations with low-level optimizations.  As performance is key to scalability and sustainability, we’re holding new implementations to a high bar using our benchmarking tools to match or exceed existing systems. Looking forward  This is a pivotal moment for high-assurance software. Microsoft’s investment in Rust and formal verification presents a rare opportunity to advance one of our key libraries. We’re excited to scale this work and ultimately deliver an industrial-grade, Rust-based, FIPS-certified cryptographic library. Opens in a new tab