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
Apple WWDC 2025 Keynote date set for June 9 – here's what to expect from Tim Cook and company
A Marvel fan has seemingly revealed which Spider-Man villains will appear in Tom Holland's next MCU outing.
AMD EPYC 4005 series launches with 8 cores as new baseline.
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
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
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.
Samsung's 2025 OLED TV lineup supports NVIDIA G-SYNC, adding a key feature to compete with the best gaming TVs.
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?
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
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
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
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
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
Computex 2025 Day One has seen a raft of new options for gamers looking for a new case, along with new gaming laptops
At just $649, this has to be one of the best value gaming laptops you can buy.
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.
Phison is demonstrating its flagship E28 PCIe 5.0 controller at Computex, where it establishes clear wins against all competitors in its crosshairs.
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.
Inky blacks and smooth QD-OLED gaming performance for $649.
Oliver Anthony is singer-songwriter who first gained worldwide fame with his viral hit Rich Men North of Richmond. He became a voice for many who are voiceless, with many of his songs speaking to the struggle of the working class in modern American life. Thank you for listening ❤ Check out our sponsors: https://lexfridman.com/sponsors/ep469-sc See below for timestamps, transcript, and to give feedback, submit questions, contact Lex, etc.
Transcript: https://lexfridman.com/oliver-anthony-transcr
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
Article URL: https://seiya.me/blog/hypervisor-as-a-library
Comments URL: https://news.ycombinator.com/item?id=44038279
Points: 5
# Comments: 0
![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://zackproser.com/blog/openai-codex-review
Comments URL: https://news.ycombinator.com/item?id=44042070
Points: 20
# Comments: 7
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
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 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
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
Article URL: https://logdahl.net/p/gpu-driven
Comments URL: https://news.ycombinator.com/item?id=44043045
Points: 11
# Comments: 1
A humanoid robotics startup co-founded by prominent artificial-intelligence futurist Ray Kurzweil said on Tuesday that venture capital firm Gauntlet Ventures will back its $100 million Series B funding round.
The company, Beyond Imagination, will be valued at $500 million, and venture capital firm Gauntlet Ventures will be the round’s sole investor.
Kurzweil is known for popularizing the term
Patnáctitunový výškový dron s velkou výdrží Jiutian SS-UAV, podle všeho nacpaný nejmodernějšími technologiemi, může přivést ze vzdálenosti tisíců kilometrů smrtící hejno stovky sebevražedných dronů, vybavených pokročilou hejnovou inteligencí. Západní vojenští vývojáři mají co dohánět. http://www.osel.cz/14079-cina-brzy-vypusti-masivni-vyskovy-matersky-dron-jiutian-ss-uav.html
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.
You can always rely on Nanoleaf for cool smart lighting, and the Rope Light and Solar Garden Lights look stunning.
The Roborock Saros Z70 can tidy up as well as vacuuming, and while it has big potential it's not quite there yet.
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
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
Marshall is heading into the world of TV soundbars with a $1,000 rival to Sonos.
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 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
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
GitHub wants to help you code more with its new Copilot agent, which you can interact with much like a human colleague.
Ransomware is unstoppable, but collective action can greatly boost organizational resilience.
There’s a big problem for PCs with certain Intel CPUs, and while those are mostly business laptops, consumer devices can be affected too.
Naughty Dog is currently developing a second unannounced game alongside Intergalactic: The Heretic Prophet.
Siri’s long-awaited transformation into a truly smart assistant is missing its cue, again.
https://www.laptopmag.com/ai/why-new-siri-a-no-show-at-wwdc-2025
MSI surprised fans at Computex 2025 with the reveal of the long-rumoured MSI Claw A8 handheld gaming console – but how does it compare to the MSI Claw A8 AI+? While key details about the Claw A8 are yet to be revealed, even at this early stage, the differences between the Claw A8 and its [...]
The post MSI Claw A8 vs A8 AI+: What’s the difference? appeared first on Trusted
Marshall is best known for its amps, but has become a popular brand in wireless speaker and headphone market, but its latest product sees the brand enter into uncharted waters. The Heston 120 marks its first attempt to take on the home cinema market. It supports both Dolby Atmos and DTS:X immersive formats, the Sonos [...]
The post Marshall launches Sonos soundbar rival in the Heston
After a pretty poor launch of DOOM: The Dark Ages for NVIDIA graphics users, the latest driver does at least fix some of the biggest issues.
The Nacon Revolution X Unlimited controller is a solid Xbox gamepad that incorporates Hall Effect sticks, a variety of customization, and a bright and responsive LCD configuration screen. Is it worth buying? Read on to find out.
https://www.windowscentral.com/accessories/nacon-xbox-revolution-x-unlimited-controller-review
A look at the first two chapters of RAIDOU Remastered: The Mystery of the Soulless Army, a remaster of the action-RPG spin-off from Atlus’ Shin Megami Tensei.
https://www.windowscentral.com/gaming/raidou-remastered-the-mystery-of-the-soulless-army-preview
Microsoft is testing out new icons for its most popular apps. A recent survey inspired an artist to make a modernized Outlook logo in the app's clasic yellow.
The Surface Slim Pen has only ever been available in black, but a limited edition set of colorful Surface Slim Pens were recently given out at a Surface influencer event.
The Asus ProArt P16 is not a gaming laptop. It is for serious media professionals who need tons of power and a great screen in a semi-portable package. But glancing down the spec sheet, you could be forgiven for thinking, “Man, I bet that thing runs DOOM
I’m a smart home expert, yet I never get to test any smart outdoor lighting. Why? Because I live in a Brooklyn brownstone rental, and while I’m lucky enough to have a backyard, there’s no power or wireless connectivity out there.
So whenever I get offers to test outdoor lights from Philips Hue, Enbrighten, or other smart lighting manufacturers, I usually p
Samsung really makes the most insane gaming monitors and we can’t get enough of them, especially when we spot them with steep discounts. The company’s massive 49-inch Odyssey OLED G9 is down $800 right now, which means you can get it for $1,000. That’s 48% o
Wireless charging has been a revolution, but if you’re like me, you’re sick of juggling numerous wireless charging pads and cables. What if you could replace three of them with one awesome upgrade?
I’m talking about this Baseus 3-in-1 wireless charging stan
The MSI Claw series of Steam Deck-style handheld gaming PCs is the only one from a major manufacturer that goes with Intel chips instead of the much more popular (at least in this segment) AMD APUs. Well, it looks like MSI decided to go with the flow. There’s a new version of the Claw 8, and it’s using an
Yesterday, Microsoft released an important out-of-band update for Windows 10, identified as update KB5061768. An out-of-band update is one that’s released outside the usual update schedule, which is typical
Otter is an AI-powered transcription service and app, and I use it every time I interview someone. Even in a group setting, it’s the perfect tool for a journalist: it records and transcribes what people are saying, identifies the speaker, and allows me to click on the transcribed text and hear the recorded audio, just to check up on it.
Otter even offers AI
Over the years, Netflix has made their streaming apps available across a wide range of devices, including PCs, tablets, smartphones, smart TVs, and many more. Lots of users also use Amazon’s Fire TV devices to watch movies and TV shows on the popular streaming service.
However, an important change is coming soon for those latter users: Starting June
NZXT showcased new H9 Flow and H3 Flow cases at Computex alongside new Kraken Plus and Elite series AIO CPU coolers.
Compressing files and storing them in a ZIP archive is very useful when you want to save space or send a collection of files as a single item. Let’s learn how to create an archive from the command line.
https://www.tomshardware.com/software/linux/how-to-zip-files-in-the-linux-terminal
The Formlabs Form 4L is everything we like about the Form 4, but bigger.
https://www.tomshardware.com/3d-printing/formlabs-form-4l-review
Crucial's 2TB T705 PCIe 5.0 NVMe SSD gets a hefty discount at Amazon.
Cooler Master's Elite series of cases has broken cover here at Computex, with curved glass, wood panels, and other premium features, despite MSRPs that I'm told should range from around $70-$100. But that doesn't include tariffs, so they'll almost certainly cost more in the U.S.
https://www.tomshardware.com/pc-components/pc-cases/cooler-master-plans-to-launc
Elgato showed off four new projects at Computex, joining the Stream Deck environment, including a new Network Dock and Virtual Stream Deck (VSD) software.
Cooler Master is showing off several new PC case and cooling solutions at its headquarters in Taiwan.
Corsair showcased new cases, power supplies, and a custom DIY mechanical keyboard at Computex 2025
SilverStone’s FLP02 late-80s era tower PC case looks ancient but supports massive modern GPUs, up to 360mm AiO CPU coolers, and has a Turbo button fan controller display.
Hardware newcomer Sudokoo showed off a range of new cooling tech at Computex this year, with air coolers, AIOs, and fans all on display, showing off the latest ways to put more bling in your PC.
Nintendo hired Samsung to build the main chips for the Switch 2, including an 8-nanometer processor custom designed by NVIDIA, Bloomberg reported. That would mark a move by Nintendo away from TSMC, which manufactured the chipset for the original 2017 Switch. Nintendo had no comment, saying it doesn't disclose its suppliers. Samsung
The iconic instrument and amp maker Fender is diving deep into the digital domain. The company just announced ">Fender Studio, an all-in-one music-creation software platform. It's basically a digital audio workstation (DAW) but one that's intended for newbies. Think GarageBand and not Pro Tools. Just like GarageBand, Fender Studio is free.
The software looks perfect for going straight into an audio interfa