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
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.
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.
GitHub wants to help you code more with its new Copilot agent, which you can interact with much like a human colleague.
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
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.
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
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
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
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
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
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
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
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
NZXT showcased new H9 Flow and H3 Flow cases at Computex alongside new Kraken Plus and Elite series AIO CPU coolers.
The Formlabs Form 4L is everything we like about the Form 4, but bigger.
https://www.tomshardware.com/3d-printing/formlabs-form-4l-review
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
Crucial's 2TB T705 PCIe 5.0 NVMe SSD gets a hefty discount at Amazon.
Elgato showed off four new projects at Computex, joining the Stream Deck environment, including a new Network Dock and Virtual Stream Deck (VSD) software.
Corsair showcased new cases, power supplies, and a custom DIY mechanical keyboard at Computex 2025
Cooler Master is showing off several new PC case and cooling solutions at its headquarters in Taiwan.
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
The pool of electric vehicles currently available on the North American market keeps getting wider and deeper. But, since the beginning, there's been something of a hole right in the middle. A big hole, as it turns out. The three-row SUV, one of the most popular segments in American motoring, has been woefully underserved. The only real options come on the high-end, with things like the
When a company enters a new product category, it might as well swing for the fences. That's exactly what Marshall is doing with its first soundbar. The
Amazon is updating Amazon Music with a a new "AI-powered search experience" that should make it easier to discover music based on the albums and artists you're already looking for. The company says the new beta feature "includes results for many of your favorite artists today," which is to say, not everyone, but it'll continue to expand to include more over time.
A traditional search uses a search term — an artist's name, a song or an album title — and tries to pull up results that are
Ready to see Google's next big slate of AI announcements? That's precisely what we expect to be unveiled today at Google I/O 2025, the search giant's developer conference that kicks off today at 1PM ET / 10AM PT. Engadget will be covering it in real-time right here, via a liveblog and on-the-ground reporting from our very own Karissa Bell.
Ahead of I/O, Google already gave us some substantive de
Hi HN,
I built a code generator plugin for IntelliJ that uses LLMs to create repetitive Java code like implementations, tests, and fixtures — based on custom natural-language patterns and annotation-based references.
Most tools like Copilot or Cursor aim to be general, but fail to produce code that actually fits a project structure or passes tests.
So I made something more explicit: define patterns + reference scope, and generate code consistently.
In this demo, 400 lines of Java wer
Simulate anything on a map from a text prompt -- and conduct risk analysis against LiveUA map's global realtime data points from social media and news sources. I trained a GPT-2-size model on historical incident data used to predict things that will go wrong.
As historian Benjamin Breen mentions, the leading language models are good historians, so the application will simulate historical events pretty well also.
I include a Multi-Agent RL Urban Mobility model in progress displayed on the
Article URL: https://hagensieker.com/2020/11/08/firewalls-and-bioss-and-coreboot/
Comments URL: https://news.ycombinator.com/item?id=44040755
Points: 10
# Comments: 3
https://hagensieker.com/2020/11/08/firewalls-and-bioss-and-coreboot/
Article URL: https://llm-d.ai/blog/llm-d-announce
Comments URL: https://news.ycombinator.com/item?id=44040883
Points: 6
# Comments: 0
Article URL: https://ogmo-editor-3.github.io/
Comments URL: https://news.ycombinator.com/item?id=44041574
Points: 14
# Comments: 2
Article URL: https://theahura.substack.com/p/deep-learning-is-applied-topology
Comments URL: https://news.ycombinator.com/item?id=44041738
Points: 8
# Comments: 0
https://theahura.substack.com/p/deep-learning-is-applied-topology
Changes to content won’t hold rankings if your site has technical issues or poor structure. This edition of Ask An SEO looks at why.
The post Ask An SEO: Why Didn’t My Keywords Come Back After I Changed My Page Content? appeared first on Search Engine Journal.
PlayStation Plus subscribers can also explore the Chornobyl Exclusion Zone in Stalker and play some other great games, too. https://www.cnet.com/tech/services-and-software/see-if-youre-able-to-survive-five-nights-at-freddys-on-playstation-plus-now/#ftag=CADf328eec
I stopped wasting food by mastering the art of reheating. https://www.cnet.com/how-to/this-one-change-made-my-leftovers-taste-fresh-not-funky/#ftag=CADf328eec
Battery life and camera features could be key with the next iPhone. But how much is it going to cost? https://www.cnet.com/tech/mobile/weve-sifted-through-iphone-17-rumors-and-leaks-and-heres-what-we-discovered/#ftag=CADf328eec
There are two ways to connect your phone to your wireless service, and each works a little differently. https://www.cnet.com/tech/mobile/physical-sim-card-vs-esim-whats-the-difference-and-which-do-you-need/#ftag=CADf328eec
CNET Principal Writer Scott Stein dives inside the new Universal Resort Orlando park, exploring the immersive entertainment and technology at the theme park. https://www.cnet.com/videos/theme-parks-games-and-movies-are-blending-epic-universe-is-a-sign-of-the-future/#ftag=CADf328eec
Melatonin isn't the only answer. These gentle options helped me sleep soundly. https://www.cnet.com/health/sleep/best-melatonin-alternatives/#ftag=CADf328eec
Our favorite things now span imaginary worlds from movies to video games to theme parks. Epic Universe is the latest, biggest step. https://www.cnet.com/tech/features/i-stepped-into-the-future-of-hyper-connected-entertainment-it-made-me-surprisingly-emotional/#ftag=CADf328eec
One of Google's best AI tools is now available for free on your mobile platform of choice.
iPadOS 17.7.8 patches security vulnerabilities for iPads that are too old to get iPadOS 18.
The dream upgrade for your elite 4K TV just got more affordable… relatively speaking
Nintendo has confirmed that the Switch 2's GameChat function will support text-to-speech and live subtitles.
While new AI actions in File Explorer will be a handy extra for some, you can bet your bottom dollar that some users will hate them.
The Samsung Galaxy Ring is reportedly getting closer to turning you into a smart home cyborg.
Rode's new NTH-50 wired headphones are affordable, high-quality cans for content creation