Posty

Article URL: https://cacm.acm.org/practice/systems-correctness-practices-at-amazon-web-services/

Comments URL: https://news.ycombinator.com/item?id=44135638

Points: 110

# Comments: 31

https://cacm.acm.org/practice/systems-correctness-practices-at-amazon-web-services/

Article URL: https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0324016

Comments URL: https://news.ycombinator.com/item?id=44135695

Points: 19

# Comments: 1

https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0324016

I created a replacement for the perl git-add--interactive that adds a few enhancements:

- S to automatically split all hunks

- G to set a global filter on hunks to show

- A to automatically accept all hunks (after auto-splitting and global filter are applied)

Comments URL: https://news.ycombinator.com/item?id=44135738

Points: 26

# Comments: 9

https://github.com/cwarden/git-add-interactive

Article URL: https://github.com/microsandbox/microsandbox

Comments URL: https://news.ycombinator.com/item?id=44135977

Points: 22

# Comments: 5

https://github.com/microsandbox/microsandbox

Article URL: https://biggo.com/news/202505261334_MinIO_Removes_Web_UI_Features

Comments URL: https://news.ycombinator.com/item?id=44136108

Points: 85

# Comments: 27

https://biggo.com/news/202505261334_MinIO_Removes_Web_UI_Features

Article URL: https://www.cnn.com/2025/05/30/business/anthropic-amodei-ai-jobs-nightcap

Comments URL: https://news.ycombinator.com/item?id=44136117

Points: 72

# Comments: 66

https://www.cnn.com/2025/05/30/business/anthropic-amodei-ai-jobs-nightcap

Hey HN

I’ve been building *W++*, a scripting language that looks like Python but runs on the .NET runtime. It started as a fun side project, but it evolved into something surprisingly powerful — and potentially useful:

Key Features:

- Python-style syntax with semicolon-based simplicity

- Compiles to .NET IL with experimental JIT support

- Can run interpreted or compiled

- Built-in CLI for managing projects, running, and building

- Supports importing NuGet packages and convert

Last weekend, an ugly rumor of a tragic death spread began rocketing around Bluesky. What made it odd was the identity of the dearly departed: Bluesky itself.

It’s not entirely clear what prompted this discussion, which ultimately seemed to be dominated by Bluesky fans rejecting the possibility that the social network had died (or at least jumped the shark). According to one theory, a

Xiaomi rolled out its new sports utility vehicle in Beijing on Thursday, as the firm best known for smartphones and consumer electronics gears up to further challenge Tesla in the

Discover strategies for implementing 301 redirects at scale LLMs to maintain site integrity and optimize crawl budget.

The post How To Use LLMs For 301 Redirects At Scale appeared first on Search Engine Journal.

https://www.searchenginejournal.com/how-to-use-llms-for-301-redirects-at-scale/546159/

This is the second part of a series that dives deep into the CSS shape() command, continuing with a more detailed look at the arc command.

Better CSS Shapes Using shape() — Part 2: More on Arcs originally published on CSS-Tricks, which is part of the

It might not be safe to use an older or used phone. Here's how you can be sure and how to protect yourself. https://www.cnet.com/tech/mobile/is-it-really-safe-to-buy-an-old-or-used-phone-heres-what-you-need-to-know/#ftag=CADf328eec

Making great pasta isn't as simple as boiling water. Here are seven common myths and mistakes made when cooking the Italian staple. https://www.cnet.com/how-to/italian-chef-spills-7-pasta-making-mistakes-that-cause-him-to-cringe-every-time/#ftag=CADf328eec

Some things are worth waiting for -- like Apple's latest smartphone, which is expected to debut in the coming months. https://www.cnet.com/tech/mobile/want-to-buy-a-new-iphone-nows-not-the-time-and-heres-why/#ftag=CADf328eec

Commentary: This profound animated conspiracy thriller is hilarious, haunting and about as close as we've gotten to The X-Files in a while. https://www.cnet.com/tech/services-and-software/i-watch-a-lot-of-sci-fi-and-this-mind-altering-adult-swim-show-is-one-of-the-years-best/#ftag=CADf328eec

You might've seen some impressive-looking clips online recently claiming they were created with Veo 3. I spent a lot of money to see if I could replicate that high quality. https://www.cnet.com/tech/services-and-software/i-spent-125-to-generate-5-ai-videos-a-day-with-googles-veo-3-the-sound-sets-it-apart/#ftag=CADf328eec

Rumors point to new names and new look for Apple's operating systems, as well as a refreshed app for video games. https://www.cnet.com/tech/services-and-software/no-ios-19-apples-wwdc-25-will-have-surprises-but-dont-expect-siri/#ftag=CADf328eec

With its compact, elegant design and excellent OLED display, HP's flagship EliteBook is a fantastic machine -- but it's worth waiting for a sale before buying. https://www.cnet.com/tech/computing/hp-elitebook-ultra-g1i-review-perfect-for-on-the-go-execs/#ftag=CADf328eec

Think your air fryer is just for fries? Think again. https://www.cnet.com/how-to/best-air-fryer-recipes/#ftag=CADf328eec

A steak hack born on Reddit has morphed into a culinary cult phenomenon. I cooked three T-bones using the 137 Club technique and two other methods. https://www.cnet.com/how-to/is-the-sous-vide-137-club-the-best-way-to-cook-steak-reddit-says-yes-so-i-tried-it/#ftag=CADf328eec

Code hidden in the latest beta version of Android 16 suggests Pixel owners will soon be able to save themes.

https://www.techradar.com/phones/android/google-is-preparing-a-big-customization-upgrade-for-your-pixel-phone-with-android-16-and-it-could-land-very-soon

Rumors claim that the compact mirrorless camera will be officially announced at Fujifilm's X Summit on June 12 –here's why it could be a big deal.

https://www.techradar.com/cameras/mirrorless-cameras/fujifilm-x-e5-leaks-suggest-it-could-be-this-years-x100vi-and-we-now-have-a-likely-launch-date

Google appears to be preparing to add sleep timer features to the Google TV system

https://www.techradar.com/televisions/google-tv-looks-set-to-get-a-sleep-timer-so-you-wont-wake-up-to-netflixs-horrible-auto-trailers-any-more

This is an ability that iPhone owners have had for some time now, so Android is playing catch-up here –but it's still a handy quality-of-life upgrade.

https://www.techradar.com/computing/software/finally-android-users-can-now-open-shared-microsoft-office-files-without-having-to-sign-in

Experts warn Unimed kept an open database with chat logs exposed to the wider internet.

https://www.techradar.com/pro/security/worlds-largest-healthcare-cooperative-leaks-millions-of-patient-doctor-messages

Jensen Huang praises Trump tariffs, says Nvidia is busy moving production to the US.

https://www.techradar.com/pro/were-all-in-nvidia-ceo-jensen-huang-praises-utterly-visionary-trump-tariffs

NordVPN wants to shift the conversation from server quantity to quality, but is it really a breakthrough for users?

https://www.techradar.com/vpn/vpn-services/vpn-server-count-doesnt-matter-nordvpn-throws-a-challenge-to-the-vpn-industry

No Copilot, no ads, no bloat, no AI — and seven extra years of support. This official Windows 10 edition sounds too good to be true, but there's a reason most haven't heard of it.

https://www.laptopmag.com/laptops/windows-laptops/windows-10-ltsc-extended-support-2032

Here's the good, the bad, the cost, and the wait times you can expect if you make the switch to Nvidia GeForce Now.

https://www.laptopmag.com/gaming/nvidia-geforce-now-vs-steam-library

A leaked video of the iPhone 17 Air shows signs of hope for iPhone fans, but there are still some major concerns about Apple's ultra-thin phone.

https://www.laptopmag.com/phones/iphone/iphone-19-air-durability-bendgate

No longer the best for ANC but still a top quality wireless over-ear pair

The post Sony WH-1000XM5 Review appeared first on Trusted Reviews.

https://www.trustedreviews.com/reviews/sony-wh-1000xm5

The Pixel 9 Pro is one of the best phones you can buy right now, and thanks to this huge saving, it’s also one of the more affordable. As part of a limited time sales event, £300 has been chopped off the price of Google’s flagship smartphone. So, instead of it costing £999, you can [...]

The post Pixel 9 Pro for £699 is the best phone deal of 2025 so far appeared first on

After a year's delay, and five years on from the last DLC, The Division 2's long awaited foray into Brooklyn has arrived, and it's pretty fantastic all round.

https://www.windowscentral.com/gaming/the-division-2-battle-for-brooklyn-dlc-is-the-best-usd15-ive-spent-in-some-time

I'm highlighting 12 must-have apps that every Windows 11 power user should install on a fresh setup.

https://www.windowscentral.com/software-apps/windows-11/12-apps-every-power-user-should-install-on-a-new-pc-running-windows-11

Xbox co-founder J Allard now leads Amazon’s ZeroOne team, which is focused on developing breakthrough hardware and software products.

https://www.windowscentral.com/microsoft/xbox-co-founder-now-leads-mysterious-zeroone-team-at-amazon

SteamOS has presented Windows with its first credible challenge in decades, and Microsoft needs to rise to the occasion.

https://www.windowscentral.com/gaming/xbox/microsoft-was-right-to-park-the-xbox-handheld-for-kennan-and-windows-11

Everything you need for a gaming setup in one peripheral bundle.

https://www.tomshardware.com/peripherals/kit-out-your-kids-with-this-asus-tuf-gaming-keyboard-headset-mouse-and-mouse-pad-combo-bundle-for-under-gbp90

This will threaten the U.S.'s AI supremacy, if China can pull it off.

https://www.tomshardware.com/tech-industry/china-tech-companies-scramble-to-ditch-nvidia-as-washington-tightens-export-controls

If you've been experiencing unusual visual glitches and artifacts with Firefox, Mozilla has rolled out a hotfix that may help.

https://www.tomshardware.com/pc-components/gpus/mozilla-fires-off-emergency-patch-to-fix-nvidia-gpu-artifacting-bugs-in-firefox

Laptop gaming for only $679, the Asus TUF Gaming A15 is an exceptional value at this price.

https://www.tomshardware.com/laptops/gaming-laptops/snag-this-rtx-4060-asus-tuf-a15-gaming-laptop-for-only-usd679

Q: My question is how best to set up an Xbox for my kid. I want to know how to control use time and whether I should use my email to set up. – Guillermo from Utah

A: You're in luck! Console parental controls have come a long way from the days of hiding NES systems (or their controllers) from unruly kids. Microsoft, in particul

Gmail will now automatically show you a summary card for lengthy email threads if you check a Google Workspace account on the iOS or the Android app. The company introduced AI summaries last year when it rolled out Gemini side p

According to Bloomberg, the next versions of Apple’s operating systems may be labeled by year, starting now. It makes sense. At this point, we’ve got VisionOS 2, watchOS 11, macOS 15, iOS 18 and iPadOS 18. Instead, they might all be

The Sony Days of Play sale is underway, and it includes the first official price cut for the

Disney Plus and Hulu have come up with a new idea to draw in subscribers: an updated "Perks" program

This week we're fielding your burning tech questions, as well as diving into a bunch of AI web browser news. Opera has started testing its fully agentic AI browser, the Browser Company is dumping the Arc browser in favor of something AI related and Mozilla is getting in a bit of hot water with experimental AI preview summaries. Try as we might, we just can't escape AI.

Article URL: https://theneuroscienceofeverydaylife.substack.com/p/mahna-mahna-do-doo-be-do-do-why-do

Comments URL: https://news.ycombinator.com/item?id=44134208

Points: 14

# Comments: 19

https://theneuroscienceofeverydaylife.substack.com/p/mahna-mahna-do-doo-be-do-do-why-do

Article URL: https://github.com/JayDoubleu/agentic-book

Comments URL: https://news.ycombinator.com/item?id=44134677

Points: 26

# Comments: 26

https://github.com/JayDoubleu/agentic-book

Article URL: https://www.orioledb.com/blog/orioledb-bridged-indexes

Comments URL: https://news.ycombinator.com/item?id=44134728

Points: 30

# Comments: 4

https://www.orioledb.com/blog/orioledb-bridged-indexes

Article URL: https://procreate.com/ai

Comments URL: https://news.ycombinator.com/item?id=44134798

Points: 63

# Comments: 15

https://procreate.com/ai

I have a 5060ti with 16GB VRAM. I’m looking for a model that can hold basic conversations, no physics or advanced math required. Ideally something that can run reasonably fast, near real time.

Comments URL: https://news.ycombinator.com/item?id=44134896

Points: 23

# Comments: 10

https://news.ycombinator.com/item?id=44134896

Reddit karma now shapes access, trust, and reach, especially for brands. It’s more than a score. It’s the new currency of platform credibility.

The post Reddit Karma In 2025: Why It Matters More Than Ever appeared first on Search Engine Journal.

https://www.searchenginejournal.com/reddit-karma/547336/

The Residential Lite plan costs $80 a month but offers half the speed of the standard plan. https://www.cnet.com/home/internet/starlink-offers-a-40-discount-in-30-states-but-there-is-a-catch/#ftag=CADf328eec

Conservative assets like CDs may be safer than stocks, but that doesn't mean they're the best fit for your retirement fund. https://www.cnet.com/personal-finance/dont-pull-your-retirement-savings-from-the-stock-market-without-reading-this-first/#ftag=CADf328eec

This is for anyone who's ever typed, "You've got to be ducking kidding me." https://www.cnet.com/tech/services-and-software/heres-how-to-turn-off-some-annoying-iphone-texting-features-like-autocorrect/#ftag=CADf328eec

I’ve been testing VPNs for over a decade, and ExpressVPN is hands-down the easiest to use and the best for streaming in my experience. https://www.cnet.com/deals/ive-tried-many-vpns-that-struggle-with-streaming-but-this-one-lets-me-stream-comfort-content-with-zero-hiccups/#ftag=CADf328eec

I run CNET's vacuum testing lab. Here's how one of our top-rated vacuums cleaned up my home in real life. https://www.cnet.com/deals/i-thought-no-robot-vacuum-could-navigate-my-tricky-furniture-then-one-surprised-me-with-its-ingenious-arms/#ftag=CADf328eec

Need your blood type in a pinch? These methods actually work. https://www.cnet.com/health/medical/how-to-find-blood-type/#ftag=CADf328eec

Tucked away in your iPhone is a hidden flight tracker. Here's where to find it and how to use it. https://www.cnet.com/tech/mobile/summer-travel-plans-how-to-check-your-flight-status-with-your-iphones-hidden-tracker/#ftag=CADf328eec

The Oral-B Pro 1000 is a CNET Editors' Choice Award winner and offers everything I could possibly need. https://www.cnet.com/deals/i-replaced-my-200-electric-toothbrush-with-this-50-oral-b-and-im-never-going-back/#ftag=CADf328eec

Tossing, turning and sweating in the summer heat? These cooling sleep hacks can help you stay comfortable and get more rest. https://www.cnet.com/health/sleep/summer-sleep-hacks-keep-cool-sweat-free-without-ac/#ftag=CADf328eec

It's quick and easy to set up your iPhone to always be in low power mode. https://www.cnet.com/tech/services-and-software/i-keep-my-old-iphone-in-low-power-mode-permanently-heres-how-i-do-it/#ftag=CADf328eec

If you shop at Target often, Target Circle is a no-brainer membership. https://www.cnet.com/tech/services-and-software/target-circle-memberships-a-complete-roundup-of-all-perks-and-benefits/#ftag=CADf328eec

State-sponsored hackers are targeting Connectwise and its customers.

https://www.techradar.com/pro/security/connectwise-hit-by-nation-state-cyberattack-some-screenconnect-customer-systems-affected

The Funko Pop collection for James Gunn's Superman movie appears to reveal a major plot spoiler about one of its characters.

https://www.techradar.com/streaming/entertainment/supermans-funko-pop-lineup-has-been-revealed-and-it-confirms-my-suspicions-about-the-dc-movies-biggest-fan-theory

Missed out on a Nintendo Switch 2 pre-order? Target will have stock next week.

https://www.techradar.com/gaming/target-reveals-it-will-have-nintendo-switch-2-stock-next-week

Microsoft wants users to switch to Edge, or lose their autofill privileges.

https://www.techradar.com/pro/security/microsoft-authenticator-begins-password-autofill-phase-out-this-week-so-export-now-or-you-could-lose-them-forever

Much of what's new with the iPhone 17 this year could be down to the screen, including a bigger display.

https://www.techradar.com/phones/iphone/iphone-17-tipped-to-get-a-larger-screen-thanks-to-smaller-bezels-and-that-could-be-its-biggest-upgrade

New Windows 11 update delivers what could be the most important fix in a long time for gamers with Nvidia GPUs.

https://www.techradar.com/computing/windows/still-on-windows-11-23h2-because-youre-worried-24h2-is-a-disaster-for-pc-gaming-microsofts-latest-update-could-persuade-you-to-finally-upgrade

Valve's SteamOS success has seemingly urged Microsoft to work on Windows 11 and its optimization, in time for its new Xbox and Asus handheld collaboration.

https://www.techradar.com/computing/gaming-pcs/xbox-handheld-reportedly-delayed-so-microsoft-can-focus-on-making-windows-handhelds-compete-with-steamos

Firefox’s AI link previews are a good idea, but they’ve got one key drawback.

https://www.techradar.com/computing/i-tried-firefox-139s-new-ai-generated-link-previews-and-while-i-love-the-idea-im-skipping-them-for-one-key-reason

Anthropic CEO thinks half of all entry level white collar jobs could be wiped out by AI.

https://www.techradar.com/pro/are-white-collar-jobs-at-risk-from-ai-anthropic-ceo-dario-amodei-certainly-thinks-so

The Alienware 16 Area-51 is a whole lot of gaming laptop for a competitive price, wrapped up in a badass design, stuffed with powerful hardware, and featuring a sick mechanical keyboard.

https://www.laptopmag.com/laptops/gaming-laptops-pcs/alienware-16-area-51-rtx-5080-review

The Nothing Phone 3 is coming in July, and the company is teasing the launch with a series of social media posts, including one highlighting a big change for the series. The latest couple of posts on X (formerly Twitter) reveal a couple of key details about the upcoming phone. One post says “it’s all [...]

The post Nothing is right to ditch the gimmicky Glyph lights

The newest model in DeWalt’s string trimmer range, the DCMST561 is a cordless grass trimmer with plenty of good features. With a professional-level bump feed system for paying out more string and an innovative folding storage trick, it’s a powerful and easy-to-store model. It’s a touch expensive if you have to buy batteries for [...]

The post DeWalt DCMST561 Review appeared first on

Thought you missed your chance to get a PS5 for less than £400 when Sony announced its price hikes? Think again – the PS5 Slim Standard edition has dropped to just £384.95 on Amazon.  That’s a huge 20% discount and the lowest we’ve seen the Standard console with disc drive fall in price since Sony [...]

The post The PS5 Slim has plummeted to its lowest price yet on Amazon

Elden Ring: Nightreign hits 300K players in an hour, defying mixed reviews and topping the Steam sales chart.

https://www.windowscentral.com/gaming/elden-ring-nightreign-hits-over-300k-players-on-steam-within-an-hour-of-launch-despite-middling-reviews

Telegram has announced a one-year partnership deal with Elon Musk's xAI to integrate Grok into the messaging platform.

https://www.windowscentral.com/software-apps/telegram-deal-with-xai-to-distribute-grok

InnoGrit demonstrates reference solid-state drive based on Kioxia's XL-Flash memory: custom-built XL-Flash-based drives on the way?

https://www.tomshardware.com/pc-components/ssds/custom-pcie-5-0-ssd-with-3d-xl-flash-debuts-special-optane-like-flash-memory-delivers-up-to-3-5-million-random-iops

Windows Central reports that Microsoft has postponed work on its own Xbox handheld in favor of enhancing Windows 11's handheld gaming support.

https://www.tomshardware.com/software/windows/microsoft-shelves-first-party-xbox-handheld-to-work-on-windows-11-portable-performance

Synopsys has told staff in China to halt sales and services, and has suspended future financial guidance, following new U.S. export restrictions on semiconductor software.

https://www.tomshardware.com/tech-industry/semiconductors/chip-design-software-giant-pauses-china-sales-and-suspends-financial-guidance-synopsys-slams-the-brakes-as-washington-issues-fres

DRAM and NAND chip prices have jumped to $2.10 in May — a massive jump from the $1.37 average price from March.

https://www.tomshardware.com/pc-components/dram/dram-prices-have-jumped-by-20-percent-for-the-second-month-in-a-row-surging-demand-is-likely-due-to-stockpiling

Article URL: https://ndingwall.github.io/blog/tokenization

Comments URL: https://news.ycombinator.com/item?id=44134290

Points: 3

# Comments: 0

https://ndingwall.github.io/blog/tokenization

Article URL: https://radio-astronomy.org/rasdr

Comments URL: https://news.ycombinator.com/item?id=44134364

Points: 7

# Comments: 0

https://radio-astronomy.org/rasdr

Article URL: https://green7ea.github.io/modern/modern.html

Comments URL: https://news.ycombinator.com/item?id=44134398

Points: 5

# Comments: 0

https://green7ea.github.io/modern/modern.html

Artificial intelligence has been the subject of unprecedented levels of investment and enthusiasm over the past three years, driven by a tide of hype that promises revolutionary transformation across every business function. Yet the gap between this technology’s promise and the delivery of real business value remains stubbornly wide. A recent study by BCG found that while 98% of companies are exploring AI, only 2

People like to say that change happens gradually, then all at once. That pattern seems to be holding with respect to AI in search, and we may be at the beginning of the “all at once” part now that Google has officially launched AI Mode, which turns internet searches into conversations where you get

Here are the answers for The New York Times Mini Crossword for May 30. https://www.cnet.com/tech/gaming/todays-nyt-mini-crossword-answers-for-friday-may-30/#ftag=CADf328eec