Hacker News with Generative AI: AWS

Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods (queue.acm.org)
AWS (Amazon Web Services) strives to deliver reliable services that customers can trust completely.
Systems Correctness, Cloud Computing, AWS, Software Engineering, Formal Methods
162 points by yarapavan 1 day ago | 52 comments
AWS S3 sync does not sync all the files (github.com/aws)
We have several hundred thousand files and S3 reliably syncs files. However, we have noticed that there were several files which were changed about a year ago and those are different but do not sync or update.
Cloud Computing, AWS, S3, Software, File Synchronization
15 points by pera 2 days ago | 2 comments
US Govt is upselling AWS as a PaaS? (cloud.gov)
You purchase access to cloud.gov by buying a tier with enough credits to support your needs. Credits can be spent on application memory or managed cloud services like databases.
Government, Cloud Computing, AWS, PaaS
13 points by besus 6 days ago | 12 comments
Stelvio: Serverless AWS for Python Devs (github.com/michal-stlv)
Stelvio is a Python library that simplifies cloud infrastructure management and deployment.
Python, Serverless Computing, AWS, Cloud Infrastructure, Software
48 points by milsebg 14 days ago | 26 comments
Zero-Downtime Kubernetes Deployments on AWS with EKS (glasskube.dev)
I am Jakob—an engineer working at Glasskube, which helps companies distribute their application to customer-controlled environments. We build an Open Source Software Distribution platform called Distr (github.com/glasskube/distr), the hosted version of which is running on AWS EKS.
Cloud Computing, Kubernetes, AWS, Open Source, DevOps
203 points by pmig 24 days ago | 115 comments
Show HN: C++ AWS MSK IAM Auth Implementation – Goodbye Kafka Passwords (github.com/timeplus-io)
C++, AWS, Security, Kafka, Open Source
50 points by jovezhong 27 days ago | 13 comments
AWS Cat Qubits Make Quantum Error Correction Effective, Affordable (nextplatform.com)
In a scene from the movie Gladiator, Roman emperor Marcus Aurelius, worried about the fragility of his empire, tells his general, Maximus: “There was once a dream that was Rome. You could only whisper it. Anything more than a whisper and it would vanish.”
Quantum Computing, Cloud Computing, AWS
42 points by rbanffy 34 days ago | 11 comments
Is It an AWS EC2 Instance or a US Visa? (rahmatashari.com)
AWS, Cloud Computing, Technology, Humor
39 points by alach11 34 days ago | 6 comments
AWS S3 SDK breaks its compatible services (xuanwo.io)
The Apache Iceberg community has raised a PR S3: Disable strong integrity checksums to disable the newly introduced integrity checksums in AWS S3 SDKs.
AWS, Software, Cloud Storage, Open Source, Programming
190 points by ulrischa 41 days ago | 86 comments
Show HN: WinCse – Integrating AWS S3 with Windows Explorer (github.com/cbh34680)
WinCse is an application that integrates AWS S3 buckets with Windows Explorer, allowing you to treat S3 buckets as if they were part of your local file system.
Windows, AWS, Cloud Storage, File Management, Open Source
65 points by cbh34680 41 days ago | 20 comments
AWS blocking troubshooting docs behind paid premium support plan (reddit.com)
When did AWS decide that troubeshooting docs/articles require you to have a paid premium support plan....like seriously who thought this was a good idea
Cloud Computing, AWS, Pricing, Support
8 points by sarathyweb 42 days ago | 0 comments
AWS paywalling select knowledge base articles, requiring Premium Support plan (repost.aws)
I use kubectl commands to connect to the Amazon Elastic Kubernetes Service (Amazon EKS) API server. I received the message "error: You must be logged in to the server (Unauthorized)".
AWS, Kubernetes, Security, Cloud Computing, Support
193 points by gpi 43 days ago | 76 comments
AWS India allegedly lost all data for one of their client (deccanherald.com)
AWS, Data Loss, Cybersecurity, India
15 points by maxloh 45 days ago | 2 comments
Down the rabbit hole: Implementing SSH port forwarding over AWS Session Manager (joinformal.com)
A technical quest through obscure SSH and AWS Session Manager features in service of enabling VS Code Remote SSH via the Formal Connector, culminating in forking and fixing several concurrency bugs in AWS’s own reference library for connecting to compute instances using SSM.
AWS, SSH, DevOps, Remote Development, Bug Fixes
59 points by saligrama 51 days ago | 13 comments
Any experience selling AMIs on AWS Marketplace? (ycombinator.com)
AWS Marketplace allows AWS users to buy AMIs, containers, among other things (SaaS, consulting, etc). Does anyone here have experience selling goods (AMIs or containers)? Not interested in SaaS / service.
AWS, Marketplace, AMIs, Containers
9 points by thephyber 54 days ago | 1 comments
Using Terraform Workspace for AWS multi account architectures (github.com/maurobaraldi)
This is a example on how to build and manage an AWS multi account architecture using Terraform workspaces.
Cloud Computing, AWS, Terraform
30 points by maurobaraldi 57 days ago | 20 comments
DeepSeek-R1 models now available on AWS (amazon.com)
During this past AWS re:Invent, Amazon CEO Andy Jassy shared valuable lessons learned from Amazon’s own experience developing nearly 1,000 generative AI applications across the company.
Generative AI, AWS, Machine Learning, Amazon, Cloud Computing
4 points by cebert 62 days ago | 0 comments
Render raises $80M to try and make AWS obsolete (siliconangle.com)
Developer-focused cloud infrastructure startup Render Services Inc. says it’s ready to disrupt traditional giants such as Amazon Web Services Inc. and Microsoft Corp. after raising $80 million in a new round of funding.
Cloud Computing, Funding, Startups, AWS, Competition
5 points by profEpcot 71 days ago | 1 comments
The Guide to AWS Lambda Cost Optimization (cloudyali.io)
Cloud Computing, AWS, Cost Optimization
3 points by heldsteel7 71 days ago | 1 comments
Announcement: S3 Default Integrity Change (github.com/aws)
In AWS SDK for JavaScript v3.729.0, we released changes to the S3 client that adopts new default integrity protections. For more information on default integrity behavior, please refer to the official SDK documentation. In SDK releases from this version on, clients default to enabling an additional checksum on all Put calls and enabling validation on Get calls.
AWS, Security, Software, Cloud Computing, API
5 points by snide 72 days ago | 5 comments
An illustrated guide to Amazon VPCs (ducktyped.org)
Many moons (and suns) ago, some AWS engineers were sitting in a room. They had a serious issue.
AWS, Networking, Security, Cloud Computing, Tutorials
4 points by mrlucax 74 days ago | 0 comments
AWS will discontinue support for AWS App Mesh (amazon.com)
After careful consideration, we have made the decision to discontinue AWS App Mesh, effective September 30th, 2026.
AWS, Cloud Computing, Software, Discontinuations
57 points by xbeta 74 days ago | 34 comments
AWS Management Console supports simultaneous sign-in for multiple AWS accounts (amazon.com)
Today, AWS announces multi-session support, which enables AWS customers to access multiple AWS accounts simultaneously in the AWS Console.
AWS, Cloud Computing, Security, User Interface, Software
7 points by dbaupp 76 days ago | 0 comments
How we saved millions on AWS (forter.com)
In early 2022, as the world was emerging from the Covid-19 pandemic, inflation surged to multi-decade highs, prompting central banks to raise interest rates.
Cloud Computing, AWS, Cost Optimization, Business
44 points by omervk 86 days ago | 8 comments
Harnessing 3200 Gbps Network: A Journey with RDMA, EFA, and Libfabric (le.qun.ch)
Earlier this year, I had the fortune of joining Perplexity AI, where I finally got to use servers with the most powerful configuration—AWS p5 instances equipped with 8 NVIDIA H100 GPUs interconnected via NVSwitch. What excited me even more was the ultra-high-speed 3200 Gbps network between servers. I thought it would be incredibly cool if I could write a program that could utilize this full 3200 Gbps bandwidth!
Networking, Programming, Artificial Intelligence, AWS
11 points by abcdabcd987 89 days ago | 0 comments
A combo of ChatGPT and spot EC2 instances screwed me over (ycombinator.com)
Hey guys, <p>I thought this was a pretty funny story and just wanted to rant a bit about it.
Cloud Computing, Generative AI, Humor, AWS
49 points by YoungGato 90 days ago | 28 comments
Show HN: I built open source file sharing solution using AWS S3 (kinsta.app)
Configure S3 Settings
Open Source, File Sharing, AWS, Cloud Storage
63 points by rohitghumare 94 days ago | 36 comments
Even Netflix struggles to identify and understand the cost of its AWS estate (theregister.com)
Keeping track of the amount of cloudy resources an org uses, and the cost of doing so, is notoriously tricky – so tricky, indeed, that even Netflix isn't on top of it.
Cloud Computing, Cost Management, Netflix, AWS
10 points by thunderbong 106 days ago | 2 comments
And That's a Wrap (amazon.com)
After 20 years, and 3283 posts adding up to 1,577,106 words I am wrapping up my time as the lead blogger on the AWS News Blog.
Amazon, Blogging, News, AWS
5 points by mooreds 106 days ago | 2 comments
Show HN: Performing a zero downtime major version upgrade on RDS Aurora Postgres (medplum.com)
Medplum is built on Postgres. Until recently, our hosted Medplum service was using an Amazon Web Services (AWS) RDS Aurora Postgres cluster running version 12.16. Since v12 is rather outdated and nearing the end of its standard support window on RDS, it was time to plan our upgrade to the newest version available on RDS, v16.4.
AWS, Databases, Postgres, Software
15 points by mattlong 114 days ago | 3 comments