Amazon Science

Amazon's approach to customer-obsessed science. Get the latest news about innovations in artificial intelligence and machine learning, including job opportunities, publications, conferences, events and more.

Popular posts: 14
Total points: 2,733
HN comments: 1,277
Rank: #439 company

Visit amazon.science → RSS feedOn Hacker News Feb 2020 – Sep 2026

AI & Machine Learning 7 Math & Algorithms 4 Databases & Data 4 Systems & Performance 3 Tech Industry & Business 3 Security & Privacy 2

Most points Most discussed Most cited Newest

Better-performing “25519” elliptic-curve cryptography

2024218 points89 comments Security & Privacy details

Automated reasoning and optimizations specific to CPU microarchitectures improve both performance and assurance of correct implementation.

Developing provably correct Rust code with Verus

2026164 points79 comments Software Engineering details

How the Verus "program verifier", which automatically checks code against a mathematical specification of its functionality, helps increase security assurance in software projects.