| | Developing provably correct Rust code with Verus (amazon.science) |
| 1 point by shortj 11 days ago | past | discuss |
|
| | EC2's "isolation engine" provides mathematical assurance of VM isolation (amazon.science) |
| 1 point by mooreds 24 days ago | past |
|
| | Amazon Is Investing in the Lean Focused Research Organization (amazon.science) |
| 4 points by gjmveloso 47 days ago | past |
|
| | Capturing token IDs during agentic interaction for better reinforcement learning (amazon.science) |
| 3 points by visha1v 60 days ago | past |
|
| | Why Triso Matters (amazon.science) |
| 2 points by visha1v 65 days ago | past |
|
| | How we built Cedar with automated reasoning and differential testing (2023) (amazon.science) |
| 2 points by pramodbiligiri 85 days ago | past |
|
| | How flat is replacing fat in AWS data center networks (amazon.science) |
| 2 points by porjo 3 months ago | past |
|
| | AWS Graviton5's improved design increases speed and energy efficiency (amazon.science) |
| 3 points by tanelpoder 3 months ago | past |
|
| | How flat is replacing fat in AWS data center networks (amazon.science) |
| 4 points by Tomte 3 months ago | past | 2 comments |
|
| | How flat is replacing fat in AWS data center networks (amazon.science) |
| 2 points by mooreds 3 months ago | past |
|
| | Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 [pdf] (amazon.science) |
| 2 points by badcryptobitch 5 months ago | past |
|
| | Intelligence isn't about parameter count. It's about time (amazon.science) |
| 3 points by mtw14 6 months ago | past |
|
| | We built Cedar with automated reasoning and differential testing (2023) (amazon.science) |
| 1 point by mefengl 7 months ago | past |
|
| | Building AI agents that work: Introducing Nova Act as a service (amazon.science) |
| 4 points by antje 9 months ago | past |
|
| | Amazon Announces 2026 Amazon Nova AI Challenge: Trusted Software Agents Track (amazon.science) |
| 1 point by T-A 10 months ago | past |
|
| | Chronos-2: From univariate to universal forecasting (amazon.science) |
| 1 point by abdulfatir 10 months ago | past |
|
| | How the Lean language brings math to coding and coding to math (2024) (amazon.science) |
| 2 points by danabramov on Aug 31, 2025 | past |
|
| | A decade of database innovation: The Amazon Aurora story (amazon.science) |
| 1 point by mariuz on Aug 22, 2025 | past |
|
| | Measuring the effectiveness of software development tools and practices (amazon.science) |
| 3 points by saeedesmaili on Aug 6, 2025 | past |
|
| | Three challenges in machine-based reasoning (amazon.science) |
| 1 point by practal on Aug 6, 2025 | past |
|
| | How the Lean language brings math to coding and coding to math (amazon.science) |
| 3 points by nabla9 on Aug 5, 2025 | past |
|
| | Amazon Nova Premier: Technical report and model card (amazon.science) |
| 1 point by phonon on June 26, 2025 | past |
|
| | Amazon Nova Act (amazon.science) |
| 3 points by untangle on April 1, 2025 | past |
|
| | Amazon Nova Act Browser Use Model (amazon.science) |
| 4 points by ledwards on March 31, 2025 | past |
|
| | Amazon Nova Act (amazon.science) |
| 7 points by dguo on March 31, 2025 | past |
|
| | Amazon opens new AI lab in San Francisco focused on long-term research bets (amazon.science) |
| 3 points by spearman on March 10, 2025 | past |
|
| | Amazon announces Ocelot quantum chip (amazon.science) |
| 3 points by rbanffy on Feb 28, 2025 | past |
|
| | Amazon announces Ocelot quantum chip (amazon.science) |
| 5 points by meetpateltech on Feb 27, 2025 | past | 2 comments |
|
| | Chronos: Learning the language of time series (amazon.science) |
| 2 points by Bootvis on Dec 10, 2024 | past |
|
| | Solomonic learning: Large language models and the art of induction (amazon.science) |
| 5 points by 100ideas on Nov 22, 2024 | past | 9 comments |
|
|
| More |
