Top all-time · #351
Amazon Science
Company blog · amazon.science/blogaiscience
Amazon Science is the company blog at amazon.science, writing about ai and science. Since 2020, 153 different Hacker News readers have linked it 341 times, most often “Using lightweight formal methods to validate a key-value storage node in S3”. It is still writing: the last post was on 2026-10-29, and you can follow it by feed.
Learn about Amazon's scientific research, science community, and career opportunities in artificial intelligence (AI), machine learning (ML), computer vision, robotics, quantum, economics and more.
Most-linked posts?
- Using lightweight formal methods to validate a key-value storage node in S39 people · 10 mentions · first linked 2021-09-29
- Prime Video Uses WebAssembly7 people · 15 mentions · first linked 2022-01-27
- How we built Cedar with automated reasoning and differential testing (2023)6 people · 6 mentions · first linked 2023-05-10
- How Amazon Web Services Uses Formal Methods (2015)5 people · 5 mentions · first linked 2022-03-05
- How flat is replacing fat in AWS data center networks4 people · 4 mentions · first linked 2026-06-01
- Developing provably correct Rust code with Verus4 people · 4 mentions · first linked 2026-08-31
- A gentle introduction to automated reasoning3 people · 4 mentions · first linked 2022-02-17
- Firecracker: Lightweight Virtualization for Serverless Applications3 people · 3 mentions · first linked 2020-02-14
- Amazon announces Ocelot quantum chip3 people · 3 mentions · first linked 2025-02-27
- Why Alexa won't wake up when she hears her name in ads (2019)3 people · 3 mentions · first linked 2022-02-13
What Hacker News says?
All of the major cloud providers offer grants for public research https://www.amazon.science/research-awards https://edu.google.com/intl/ALL_us/programs/credits/research https://www.microsoft.com/en-us/azure-academic-research/ NVIDIA offers discounts https://developer.nvidia.com/education-pricing eg. for Australia, the National Computing Infrastructure allows researchers to reserve time on: - 160 nodes each containi…
Comment linking /research-awards
on “Open source AI is the path forward”Submitted Prime Video Uses WebAssembly as a story · 428 points
HN discussionhttps://www.amazon.science/publications/dynamo-amazons-highl...
Comment linking /publications/dynamo-amazons-highly-available-key-value-store
on “AWS Acquires DuckLabs”Submitted Amazon's ML University is making its online courses available to the public as a story · 426 points
HN discussionYour comment tells me you have never read any of AWS many documents about how they engineer their components. They put an huge amount of effort into it. AWS is much more reliable that Azure. They have built the largest and most reliable storage system in the world with S3. AWS has stated that some customers have S3 buckets using over 1 million hard drives. Netflix relies heavily on AWS for its streaming services. Ly…
Comment linking /publications/formal-verification-of-cryptographic-software-at-aws-current-practices-and-future-trends
on “Why we use our own hardware”Submitted DynamoDB 10 years later as a story · 252 points
HN discussionEvaluating cross-lingual transfer learning approaches in multilingual conversational agent models [1] Cross-lingual transfer learning for multilingual voice agents [2] Large Language Models Are Cross-Lingual Knowledge-Free Reasoners [3] An Empirical Study of Cross-Lingual Transfer Learning in Programming Languages [4] That should get you started on transfer learning re. languages, but you'll have more fun personally…
Comment linking /blog/cross-lingual-transfer-learning-for-multilingual-voice-agents
on “GitHub cuts AI deals with Google, Anthropic”Submitted Better-performing “25519” elliptic-curve cryptography as a story · 218 points
HN discussionSeparating compute and storage is one of the core idea behind Aurora. They talked about it in several places, for instance: * https://www.amazon.science/publications/amazon-aurora-design... * https://d1.awsstatic.com/events/reinvent/2019/REPEAT_Amazon_...
Comment linking /publications/amazon-aurora-design-considerations-for-high-throughput-cloud-native-relational-databases
on “S3 is files, but not a filesystem”Submitted Amazon releases 51-language dataset for language understanding as a story · 166 points
HN discussionThis might be of interest to you: https://neon.tech/blog/bring-your-own-s3-to-neon . There's also the OG Aurora whitepaper: https://www.amazon.science/publications/amazon-aurora-design...
Comment linking /publications/amazon-aurora-design-considerations-for-high-throughput-cloud-native-relational-databases
on “S3 is files, but not a filesystem”Submitted Developing provably correct Rust code with Verus as a story · 164 points
HN discussionThey do actually do on device processing now… Siri, G Assistant, Alexa, Bixby, Sonos all perform at least some locally. It seems the major issue is large dictionaries (eg music libraries) or complex queries. Most had an article about how basic features (times, smart home) work entirely on device. [1] https://www.theverge.com/2021/6/7/22523438/apple-iphone-siri... [2] https://appleinsider.com/articles/19/05/07/google…
Comment linking /blog/on-device-speech-processing-makes-alexa-faster-lower-bandwidth
on “Leon: Open-source, self-hosted personal assistant”Submitted A gentle introduction to automated reasoning as a story · 160 points
HN discussion> You still need to access the DOM, which can't be done directly from WASM. Maybe someday it will happen? You can access the DOM through JavaScript glue. These Rust WASM frameworks do that: - Leptos: https://www.leptos.dev/ - Sycamore: https://sycamore.dev/ - Yew: https://yew.rs/ - Dioxus: https://dioxuslabs.com/ Eventually you won't need the glue. > Okay, so use canvas instead and do all UI inside WASM? You can do…
Comment linking /blog/how-prime-video-updates-its-app-for-more-than-8-000-device-types
on “If not React, then what?”Submitted MemoryDB: A fast and durable memory-first cloud database as a story · 145 points
HN discussionThe only scholarly paper they've written about it is this one: https://www.amazon.science/publications/using-lightweight-fo... (well, I think they may have submitted one or two others, but this is the only one that got published)
Comment linking /publications/using-lightweight-formal-methods-to-validate-a-key-value-storage-node-in-amazon-s3
on “How AWS S3 serves 1 petabyte per second on top of slow HDDs”Submitted Firecracker: Lightweight Virtualization for Serverless Applications as a story · 141 points
HN discussionTechnical report is available here https://www.amazon.science/publications/the-amazon-nova-fami...
Comment linking /publications/the-amazon-nova-family-of-models-technical-report-and-model-card
on “Amazon Nova”Submitted Why don't machine learning research agents overfit? as a story · 136 points
HN discussionWhat about Amazon’s work in formal verification research and Apple’s machine learning research? [1] https://www.amazon.science/tag/formal-verification [2] https://machinelearning.apple.com/research
Comment linking /tag/formal-verification
on “Amazon has mostly sat out the AI talent war”Submitted 20B-parameter Alexa model sets new marks in few-shot learning as a story · 112 points
HN discussionAmazon has been working on on-device voice for a while. Actually everyone is trying to do that. Running large speech models in the cloud is expensive, considering the number of devices, they probably need more than "surplus" :) https://www.amazon.science/blog/on-device-speech-processing-...
Comment linking /blog/on-device-speech-processing-makes-alexa-faster-lower-bandwidth
on “Mycroft – open source voice assistant”Submitted New method identifies the root causes of statistical outliers as a story · 107 points
HN discussionThe difference lately is the number of tools that are now in place for WebAssembly development and the new extensions to WebAssembly (WasmGC, Memory64, etc.). Despite 28 years of effort at optimization, JavaScript is outperformed by WebAssembly. There's not much coming back from that: https://jordaneldredge.com/blog/speeding-up-winamps-music-vi... https://www.amazon.science/blog/how-prime-video-updates-its-... https…
Comment linking /blog/how-prime-video-updates-its-app-for-more-than-8-000-device-types
on “The tragedy of running an old Node project”Submitted Automated Reasoning at Amazon: A Conversation as a story · 96 points
HN discussionAmazon also launched their own portal for showcasing their publications. https://www.amazon.science/
Comment linking /
on “Machine Learning Research at Apple”Submitted Amazon Redshift re-invented as a story · 90 points
HN discussion> JavaScript works well for GUI because it is so dynamic Amazon moved to WebAssembly for their Prime Video application for both higher and less variable performance: https://www.amazon.science/blog/how-prime-video-updates-its-... https://www.infoq.com/presentations/prime-video-rust/
Comment linking /blog/how-prime-video-updates-its-app-for-more-than-8-000-device-types
on “The many JavaScript runtimes of the last decade”Submitted A gentle introduction to automated reasoning as a story · 79 points
HN discussion
