Late last year Google announced its new extended reality ecosystem, Android XR, designed to go up against Meta Quest and Apple's Vision Pro. Along with that it introduced the first device, Samsung's
Google just touted some big numbers regarding its AI Overviews feature during its I/O conference. On the stage, company CEO Sundar Pichai said that the service has 1.5 billion monthly users. That's around 18 percent of the total human population of planet Earth, give or take.
For the remaining 82 percent of humanity, AI Overviews are those little recaps that appear at the top of Google queries. These primarily appear when the search engine is asked a question, with the company saying t
Google is enhancing Gemini's text-to-speech (TTS). On Tuesday at Google I/O 2025, the company previewed a new TTS feature, built on native audio output, that can "converse in more expressive ways."
Google’s Tulsee Doshi showed a quick demo of the Gemini 2.5 TTS models onstage in Mountain View. It showed an AI-powered voice
When Google unveiled Android XR last year, it seemed like a clear response to Apple's Vision Pro: It was a plan for a true mixed reality platform that could easily hop between AR, VR and smart glasses like
Last year at Google I/O, one of the most interesting demos was Project Astra, an early version of a multimodal AI that could recognize your surroundings in real-time and answer questions about them conversationally. While the demo offered a glimpse into Google's plans for more powerful AI assistants, the company was careful to note that wha
Google has started testing a reasoning model called Deep Think for Gemini 2.5 Pro, the company has revealed at its I/O developer conference. According to DeepMind CEO Demis Hassabis, Gemini's Deep Think uses "the latest cutting-edge research" that gives the model the capability to consider multiple hypotheses before responding to
One of the new AI features that Google has announced for Search at I/O 2025 will let you discuss what it's seeing through your camera in real time. Google says more than 1.5 billion people use visual search on Google Lens, and it's now taking the next step in multimodality by bringing
As part of this year's announcements at its I/O developer conference, Google has revealed its latest media generation models. Most notable, perhaps, is the Veo 3, which is the first iteration of the model that can generate videos with sounds. It can, for instance, create a video of birds with an audio of their singing, or a city street with the so
As part of its announcements for I/O 2025 today, Google shared details on some new features that would make shopping in AI Mode more novel. It's describing the three new tools as being part of its new shopping experience in AI Mode, and they cover the discovery, trying on and checkout parts of the process. These will be available "in the coming months" for onlin
Google's Chrome browser is the latest major product from the company to get its own built-in Gemini features. Today at Google I/O, the company detailed its plans to bring its AI assistant to Chrome.
While Gemini can already distill information from websites, having the assistant baked into Chrome allows it to provide insights and answer questions about yo
Google has begun rolling out AI Mode to every Search user in the US. The company announced the expansion during its I/O 2025 conference. Google first began previewing AI Mode with testers in its
Google Chrome has announced a feature for its built-in password manager that it claims will let users instantly change passwords compromised in data breaches. Google Password Manager already alerts you when your credentials have appeare
At I/O today, Google pitched creators on a new app for "AI filmmaking":
Today is one of the most important days on the tech calendar as Google kicked off its I/O developer event with its annual keynote. As ever, the company had many updates for a wide range of products to talk about.
The bulk of the Android news was revealed last week, during a special edition of The Android Show. However, Tuesday's keynote still
Google has just announced a new $250 per month AI Ultra plan for people who want unlimited access to its most advanced machine learning features. Yes, you read that right. It means the new subscription is $50 more expensive than the already pricey ChatGPT Pro and
Article URL: https://arxiv.org/abs/2505.13400
Comments URL: https://news.ycombinator.com/item?id=44043323
Points: 51
# Comments: 9
Juvio brings inline, PEP 723-style dependency management and automatic, ephemeral env setup to Jupyter notebooks.
Comments URL: https://news.ycombinator.com/item?id=44043421
Points: 35
# Comments: 13
Hi HN!
A while back, I started exploring ways to make aerodynamic simulation more interactive and visual for the web. I wanted something that felt immediate—intuitive enough for students, fast enough for hobbyists, and hackable enough for engineers. That’s how Olelo Foil was born.
Foil is a browser-based airfoil simulator written in JavaScript using Three.js and WebGL. It lets you interactively explore how airfoils behave under different conditions, all rendered in real time. Right now,
Article URL: https://aeon.co/essays/how-the-last-letters-of-the-condemned-can-teach-us-how-to-live
Comments URL: https://news.ycombinator.com/item?id=44043735
Points: 20
# Comments: 4
https://aeon.co/essays/how-the-last-letters-of-the-condemned-can-teach-us-how-to-live
Article URL: https://blog.dshr.org/2025/05/the-dawn-of-nvidias-technology.html
Comments URL: https://news.ycombinator.com/item?id=44043687
Points: 34
# Comments: 4
https://blog.dshr.org/2025/05/the-dawn-of-nvidias-technology.html
Article URL: https://blog.google/technology/ai/generative-media-models-io-2025/
Comments URL: https://news.ycombinator.com/item?id=44044043
Points: 93
# Comments: 34
https://blog.google/technology/ai/generative-media-models-io-2025/
The air fryer can do a lot but not all foods should be cooked in these countertop ovens. https://www.cnet.com/how-to/air-fryer-fails-8-foods-that-just-cant-handle-the-heat/#ftag=CADf328eec
Summer isn't summer without a consistent supply of ice cream. Here's what we thought of Ninja's latest at-home frozen desert machine. https://www.cnet.com/news/ninjas-new-ice-cream-machine-makes-swirling-soft-serve-and-we-tried-it/#ftag=CADf328eec
Pep Guardiola's men look to bounce back quickly from their FA Cup Final defeat. https://www.cnet.com/tech/services-and-software/premier-league-soccer-stream-man-city-vs-bournemouth-live-from-anywhere/#ftag=CADf328eec
The Disney remake is familiar, low-stakes fun. https://www.cnet.com/tech/services-and-software/lilo-stitch-review-the-dynamic-duo-is-back-in-action/#ftag=CADf328eec
The FA Cup winners return to Selhurst Park as they host the Old Gold. https://www.cnet.com/tech/services-and-software/premier-league-soccer-stream-crystal-palace-vs-wolves-live-from-anywhere/#ftag=CADf328eec
Google can translate hundreds more languages than the built-in Apple option. Learn how to set it as the default on your iPhone or iPad. https://www.cnet.com/tech/services-and-software/i-switched-to-google-translate-as-the-default-app-on-my-iphone-heres-how-you-can-too/#ftag=CADf328eec
The tech giant has published the lineup for its summer software event, including details of how to stream the keynote. https://www.cnet.com/tech/services-and-software/wwdc-2025-set-for-june-9-what-to-expect-from-ios-19-and-how-to-watch/#ftag=CADf328eec
CNET is keeping track of the daily price movements of products vulnerable to Donald Trump's tariff policies. https://www.cnet.com/tech/ive-been-tracking-tariff-price-impacts-every-day-and-heres-what-ive-found-so-far/#ftag=CADf328eec
The bipartisan Take It Down Act passed swiftly in both the Senate and the House, and has been championed by First Lady Melania Trump. It is now law. https://www.cnet.com/tech/services-and-software/trump-signs-bill-banning-deepfakes-nonconsensual-images-what-to-know/#ftag=CADf328eec
If you're using your time indoors to clear out some furniture, these charities will give it to someone in need and pick it up for free. https://www.cnet.com/home/services/7-charities-that-pick-up-furniture-for-free/#ftag=CADf328eec
If you find a tick on yourself or a pet, no need to panic. There are ways to safely detach it, even without tweezers. https://www.cnet.com/health/this-tick-removal-hack-doesnt-require-tweezers/#ftag=CADf328eec
Everything that's being announced at Google's midyear software event today at the Shoreline Amphitheatre. https://www.cnet.com/tech/google-io-2025-liveblog-android-gemini-ai-xr/#ftag=CADf328eec
Want to optimize your kidney health? Try adding these foods to your diet. https://www.cnet.com/health/nutrition/13-best-superfoods-to-boost-kidney-health/#ftag=CADf328eec
Google Beam uses an AI model that turns video calls into a lifelike 3D experience. It could be the next best thing to being there. https://www.cnet.com/tech/services-and-software/google-beam-promises-futuristic-ai-powered-3d-video-chats/#ftag=CADf328eec
JPMorgan Chase clients can now buy Bitcoin, but the bank won't custody the cryptocurrency.
https://www.techradar.com/pro/jpmorgan-will-now-let-clients-buy-bitcoin
Salesforce is willing to give the US government access to Slack for a 90% discount, with a near-70% discount on the AI add-on.
https://www.techradar.com/pro/slack-is-now-getting-major-discounts-for-us-government-agencies
How to watch Europa League final live streams as Premier League strugglers Tottenham and Man Utd fight it out in a bid for European glory and Champions League football.
https://www.techradar.com/news/live/europa-league-final-2025
Death Stranding 2: On the Beach director Hideo Kojima has said that his next game, Physint, is still at least five to six years away from release.
AMD EPYC 4005 series launches with 8 cores as new baseline.
A Marvel fan has seemingly revealed which Spider-Man villains will appear in Tom Holland's next MCU outing.
Apple WWDC 2025 Keynote date set for June 9 – here's what to expect from Tim Cook and company
Before you make the splurge, we explain whether it's possible to pair a Huawei smartwatch to an iPhone and how this works.
The post Can you use a Huawei watch with iPhone? appeared first on Trusted Reviews.
https://www.trustedreviews.com/explainer/use-huawei-watch-with-iphone
In need of a new tumble dryer? Our favourite dryer for low running costs has seen a huge 40% discount on Amazon.
The post Amazon has slashed 40% off one of our current favourite tumble dryers appeared first on Trusted Reviews.
https://www.trustedreviews.com/deals/40-off-samsung-dv90t6240ln-favourite-low-running-cost-tum
The guitar heroes at Fender have launched a new free app enabling axe masters to record their jam sessions while harnessing some iconic Fender tones. The new Fender Sounds app, which is available today for iOS, Android, macOS, Windows and Linux, enables guitarists to channel the sounds of the company’s amps and pedals with just [...]
The post Fender Studio app takes the best feature from our favourite guitar amps
Samsung's 2025 OLED TV lineup supports NVIDIA G-SYNC, adding a key feature to compete with the best gaming TVs.
Snapdragon X Elite devices are getting a new Adreno Control Panel app that will let users and developers tweak the GPU for enhanced performance in certain games.
The Illuminate invasion of Super Earth is now underway in Helldivers 2, threatening managed democracy in the streets and cities.
https://www.windowscentral.com/gaming/pc-gaming/helldivers-2-heart-of-democracy-deep-dive
Crucial announced a new T710 PCIe 5.0 SSD made for high-performance laptops and desktop PCs. With it comes a new X10 portable SSD with USB-C 3.2 (Gen 2x2) speed.
https://www.windowscentral.com/accessories/storage/crucial-t710-x10-ssd-announcement
The 10th generation of mainstream video game consoles kicks off with the Nintendo Switch 2, but what's Xbox's answer going to look like?
NZXT refreshed its H9 Flow RGB+ for 2025, and I was able to build my gaming PC inside ahead of launch. It's an impressive case made for enthusiasts, and it's easy to recommend.
https://www.windowscentral.com/hardware/computers-desktops/nzxt-h9-flow-rgb-plus-2025-review
At Computex 2025, Gigabyte really came out swinging with a fresh lineup of laptops that check all the right boxes. We’re talking smarter AI features, modern designs, improved thermals, and plenty of firepower underneath the hood. The overall vibe this year is about combining AI intelligence with serious power and putting it in a portable package. Whether you’re gamin
It’s that time of year again when the sun beckons us to go out and bask in its warmth once more. And I don’t know about you, but I love listening to music pretty much everywhere I go. This summer, take your music with you anywhere with the ultra-portable JBL Clip 5 Bluetooth
Did you get a legit-looking—and potentially even racist—email from Ring asking you to verify a new Ring account that you never requested? You’re not the only one.
The Ring subreddit is
Do you want allegedly useful “artificial intelligence” features in your face in every single service and tool you use, constantly, unceasingly, and demanding you pay more for it? No? Too freakin’ bad, it’s coming anyway. The latest perpetrator is Adobe, who’s now raising the price of its priciest Creative Cloud plans next month and justifying it by bundling in a bunc
Right now, for just $20, you can turn any dumb TV into a streaming-capable TV. Grab the Amazon Fire TV Stick HD on sale and use it to stream directly on your TV—or take it with you to hotels, Airbnbs, cruise ships, or your relatives’ houses. It’s perfectly portable for vacations, and this is
External GPUs are super freakin’ cool, at least to me. Plugging an ultraportable laptop into USB-C and then getting the phenomenal cosmic power of a gaming desktop is my pure, platonic ideal of personal computing. Asus has been at the front of this very small market, and its newest design for full-power desktop GPUs has got me drooling.
NZXT’s Kraken Plus 360 RGB is a silent cooling assassin! We went hands-on, testing it with AMD’s Ryzen 9 9950X3D and Intel’s Core i7-14700K CPUs.
https://www.tomshardware.com/pc-components/liquid-cooling/nzxt-kraken-plus-360-rgb-review
Now we can all develop new features for WSL
At just $649, this has to be one of the best value gaming laptops you can buy.
Computex 2025 Day One has seen a raft of new options for gamers looking for a new case, along with new gaming laptops
Phison is demonstrating its flagship E28 PCIe 5.0 controller at Computex, where it establishes clear wins against all competitors in its crosshairs.
TeamGroup showed us three extreme M.2 SSD coolers: a slim model that uses thermoelectric technology, a dedicated AiO liquid M.2 cooler that supports up to three devices, and a combo 360mm AiO CPU and M.2 cooler.
Inky blacks and smooth QD-OLED gaming performance for $649.
Patriot brought a number of new SSD/memory products to Computex 2025, including a new 9600 MT/s-capable DDR5 CUDIMM memory module and the world's first DRAMless PCIe 5.0 SSD.
It might surprise you, but Memorial Day can be a great time to shop for tech. In years past, we've seen solid Memorial Day deals on all manner of gadgets including many of our favorite tablets, headphones, charging accessories, robot vacuums and more. That's on top of all the seasonal items that usually gets discounted at this time like smart grills and grilling gear, pizza ovens and outdoor tech.
If you're on the market for any of those things, now's a good time to shop. And like most
![The Lisp in the Cellar: Dependent types that live upstairs [pdf]](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAQAAAAEACAYAAABccqhmAAAACXBIWXMAAA7EAAAOxAGVKw4bAAAEc0lEQVR4nO3bsUpdWQCG0a1GjaIQgmhqBXtLsbDzHXwb8yK+gp2ljS8iIgFTiDYWwtWpp5kZNHoy+daqL3v/zf0O58Kdu7u7exlA0vzUA4DpCACECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCECQCEfZp6wEeYzWbjx48fYzabTT1lcisrK2Nra2vqGfwmEgH4+fPnODo6Gre3t1NPmdzh4eE4Ozv7T599eXkZDw8Pb7pvYWFhrK2tjbm5uTedw/tIBIDXub+/Hzs7O286Y3d3d1xcXIzV1dVftIpfyW8AECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAEJb4M9DXr1/H6enpeHp6erc7rq6uxvfv38f9/f2rz9jZ2RknJydjbW3tFy77uy9fvrzb2fz/JAKwvLw89vf33/WOjY2NsbS09KYz1tfXx8HBgS8pH8YrAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIR9mnoAf7bHx8dxeXk5Pn/+PPWUf7S4uDj29vbGysrK1FM+lADwrm5ubsbx8fHUM/7V5ubmOD8/H9vb21NP+VBeASBMACBMACBMACBMACBMACBMACBMACBMACBMACBMACBMACBMACBs7u7u7mXqEX+Cp6encXt7O2az2avPWF5eHltbW2N+/vfo8vPz87i+vp56xodYWFgY3759G4uLi1NP+VACAGG/x6MGmIQAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQJgAQNhf2w5XRJtqXPoAAAAASUVORK5CYII= "The Lisp in the Cellar: Dependent types that live upstairs [pdf]")
Downloadable: https://zenodo.org/records/15424968/files/deputy-els.pdf
Comments URL: https://news.ycombinator.com/item?id=44041515
Points: 40
# Comments: 6
Article URL: https://seiya.me/blog/hypervisor-as-a-library
Comments URL: https://news.ycombinator.com/item?id=44038279
Points: 5
# Comments: 0
Article URL: https://zackproser.com/blog/openai-codex-review
Comments URL: https://news.ycombinator.com/item?id=44042070
Points: 20
# Comments: 7
Article URL: https://90s.dev/blog/finally-releasing-90s-dev.html
Comments URL: https://news.ycombinator.com/item?id=44042371
Points: 69
# Comments: 29
Hi everyone I'm new here and i wanted to introduce my project i've been working on. Astra is a simple but powerful node.js to exe compiler. It uses esbuild and Node SEA. It uses postject to inject your code to nodejs binary. It focuses more on compiling cli and Servers like pkg or nexe (express) than fullstack applications like electron or tauri. It has rich ESM and typescript support. It has good DX and cli UX. I made it bc i didn't like using pkg or nexe, they cause a lot of problems with
Hi HN!
I read[1] about Janet[2] some time ago, then immediately got impressed by the enthusiasm of its community, and by the language itself, so I started playing with it.
At the time I was searching for a tiling window manager for Windows, and unavoidably the idea of scratching my own itch with Janet got hold of me, so Jwno was born.
Simply put, Jwno is a keyboard-driven tiling window manager for Windows, scriptable with Janet. But since it has a complete Lisp runtime, and a thin wrap
Article URL: https://logdahl.net/p/gpu-driven
Comments URL: https://news.ycombinator.com/item?id=44043045
Points: 11
# Comments: 1
Hi HN, we're Roya and Michael, co-founders of Opusense AI (https://www.opusense.com/), a tool to help engineers and consultants automatically generate construction site reports from typed or voice notes, plus photos.
Here’s a video: " rel="nofollow">
Before this, I (Roya) worked in human-machine interaction at Huawei, and before that as a constructio
After a month with Roborock's ambitious Saros Z70 its headline-grabbing robotic arm still feels like a beta feature. https://www.cnet.com/home/kitchen-and-household/i-dreamed-of-a-robot-that-sorted-my-socks-but-this-2600-vacuum-isnt-it-yet/#ftag=CADf328eec
I can't believe I didn't know about this tab-reopening shortcut sooner. https://www.cnet.com/tech/computing/ctrl-shift-t-is-the-only-reason-i-dont-cry-over-closed-tabs-anymore/#ftag=CADf328eec
The company didn't specify pricing but said some models will be priced higher due to 25% tariffs affecting the auto industry. https://www.cnet.com/roadshow/news/next-on-the-tariff-price-hike-highway-subaru-says-some-models-will-cost-more/#ftag=CADf328eec
Apple's built-in translator has limited language options. Here's how to set Google Translate as your translator of choice. https://www.cnet.com/tech/services-and-software/you-can-now-set-google-translate-as-your-default-app-on-your-iphone-and-ipad/#ftag=CADf328eec
For the first time, certain fiber and non-fiber internet providers are tied in customer satisfaction. Here's what the latest ACSI numbers have to say. https://www.cnet.com/home/internet/most-people-are-happy-with-fiber-internet-but-heres-why-5g-is-also-turning-heads/#ftag=CADf328eec
Spectrum outshines the nation's top ISPs as an appealing home internet option in Opensignal's latest report. https://www.cnet.com/home/internet/spectrum-dominates-as-the-fastest-most-reliable-isp-in-latest-opensignal-report/#ftag=CADf328eec
Add this strange product to your skin care routine and protect your skin, leaving it glowing. https://www.cnet.com/health/personal-care/i-use-this-k-beauty-skin-care-hack-every-night-heres-why-you-should-too/#ftag=CADf328eec
Save you hundreds of dollars (and possible bad hair days) by preventing poor choices with this AI trick. https://www.cnet.com/tech/services-and-software/test-out-hairstyles-and-avoid-regret-with-this-ai-tool/#ftag=CADf328eec
It's the Amazon-owned company's seventh test market, with plans to start autonomous driving there this summer. https://www.cnet.com/roadshow/news/zooxs-self-driving-test-fleet-is-coming-to-atlanta/#ftag=CADf328eec
In a bid to increase production of the Nintendo Switch 2, Nintendo has partnered with Samsung Electronics Co. to help manufacture main chips for the console.
The Roborock Saros Z70 can tidy up as well as vacuuming, and while it has big potential it's not quite there yet.
You can always rely on Nanoleaf for cool smart lighting, and the Rope Light and Solar Garden Lights look stunning.
A tainted version of KeePass is making rounds so be careful what you're downloading.
A bug that was introduced in early 2023 allowed threat actors to discover people's locations.
https://www.techradar.com/pro/security/leaky-location-data-bug-fixed-by-o2-uk
Marshall is heading into the world of TV soundbars with a $1,000 rival to Sonos.
Unlocking AI's potential for SMBs with clean data, driving innovation and efficiency across industries.
https://www.techradar.com/pro/the-basis-for-successful-ai-data-quality-and-structure
Looking for NYT Strands answers and hints? Here's all you need to know to solve today's game, including the spangram.
https://www.techradar.com/computing/websites-apps/nyt-strands-today-answers-hints-21-may-2025
Looking for Quordle clues? We can help. Plus get the answers to Quordle today and past solutions.
https://www.techradar.com/computing/websites-apps/quordle-today-answers-clues-21-may-2025
Looking for NYT Connections answers and hints? Here's all you need to know to solve today's game, plus my commentary on the puzzles.
https://www.techradar.com/gaming/nyt-connections-today-answers-hints-21-may-2025
Ransomware is unstoppable, but collective action can greatly boost organizational resilience.