| | Building AI agents that work: Introducing Nova Act as a service (amazon.science) |
| 4 points by antje 7 days ago | past | discuss |
|
| | Amazon Announces 2026 Amazon Nova AI Challenge: Trusted Software Agents Track (amazon.science) |
| 1 point by T-A 27 days ago | past |
|
| | Chronos-2: From univariate to universal forecasting (amazon.science) |
| 1 point by abdulfatir 49 days ago | past |
|
| | How the Lean language brings math to coding and coding to math (2024) (amazon.science) |
| 2 points by danabramov 3 months ago | past |
|
| | A decade of database innovation: The Amazon Aurora story (amazon.science) |
| 1 point by mariuz 3 months ago | past |
|
| | Measuring the effectiveness of software development tools and practices (amazon.science) |
| 3 points by saeedesmaili 4 months ago | past |
|
| | Three challenges in machine-based reasoning (amazon.science) |
| 1 point by practal 4 months ago | past |
|
| | How the Lean language brings math to coding and coding to math (amazon.science) |
| 3 points by nabla9 4 months ago | past |
|
| | Amazon Nova Premier: Technical report and model card (amazon.science) |
| 1 point by phonon 5 months ago | past |
|
| | Amazon Nova Act (amazon.science) |
| 3 points by untangle 8 months ago | past |
|
| | Amazon Nova Act Browser Use Model (amazon.science) |
| 4 points by ledwards 8 months ago | past |
|
| | Amazon Nova Act (amazon.science) |
| 7 points by dguo 8 months ago | past |
|
| | Amazon opens new AI lab in San Francisco focused on long-term research bets (amazon.science) |
| 3 points by spearman 9 months ago | past |
|
| | Amazon announces Ocelot quantum chip (amazon.science) |
| 3 points by rbanffy 9 months ago | past |
|
| | Amazon announces Ocelot quantum chip (amazon.science) |
| 5 points by meetpateltech 9 months ago | past | 2 comments |
|
| | Chronos: Learning the language of time series (amazon.science) |
| 2 points by Bootvis 12 months ago | past |
|
| | Solomonic learning: Large language models and the art of induction (amazon.science) |
| 5 points by 100ideas on Nov 22, 2024 | past | 9 comments |
|
| | How Prime Video updates its app for more than 8,000 device types (2022) (amazon.science) |
| 2 points by peutetre on Oct 24, 2024 | past | 1 comment |
|
| | Using Lightweight Formal Methods to Validate a KV Storage Node in Amazon S3 [pdf] (amazon.science) |
| 1 point by PaulHoule on Oct 2, 2024 | past |
|
| | Resource Management in Aurora Serverless (amazon.science) |
| 1 point by eatonphil on Sept 25, 2024 | past |
|
| | Better-performing “25519” elliptic-curve cryptography (amazon.science) |
| 218 points by lemaudit on Sept 13, 2024 | past | 89 comments |
|
| | Five ways Amazon is helping modernize the U.S. power grid (amazon.science) |
| 3 points by ms512 on Sept 12, 2024 | past |
|
| | Resource Management in Aurora Serverless (amazon.science) |
| 1 point by GavCo on Aug 24, 2024 | past |
|
| | How the Lean language brings math to coding and coding to math (amazon.science) |
| 1 point by nabla9 on Aug 18, 2024 | past |
|
| | Formal verification makes RSA faster – and faster to deploy (amazon.science) |
| 3 points by jrpelkonen on Aug 10, 2024 | past |
|
| | Why TPC is not enough: an Analysis of the Amazon Redshift Fleet [pdf] (amazon.science) |
| 2 points by carlineng on Aug 7, 2024 | past |
|
| | How Amazon Web Services Uses Formal Methods (2015) (amazon.science) |
| 2 points by zwliew on July 28, 2024 | past |
|
| | Amazon Scholar solves century-old problem with automated reasoning (amazon.science) |
| 3 points by belter on April 28, 2024 | past |
|
| | Amazon Virtual Try-all: A way to virtually try out products (amazon.science) |
| 2 points by dkpk on April 26, 2024 | past |
|
| | Using Amazon web traffic to track the eclipse (amazon.science) |
| 2 points by scop on April 25, 2024 | past |
|
|
| More |
