| | Chronos-2: From univariate to universal forecasting (amazon.science) |
| 1 point by abdulfatir 2 days ago | past | discuss |
|
| | How the Lean language brings math to coding and coding to math (2024) (amazon.science) |
| 2 points by danabramov 54 days ago | past |
|
| | A decade of database innovation: The Amazon Aurora story (amazon.science) |
| 1 point by mariuz 63 days ago | past |
|
| | Measuring the effectiveness of software development tools and practices (amazon.science) |
| 3 points by saeedesmaili 79 days ago | past |
|
| | Three challenges in machine-based reasoning (amazon.science) |
| 1 point by practal 79 days ago | past |
|
| | How the Lean language brings math to coding and coding to math (amazon.science) |
| 3 points by nabla9 80 days ago | past |
|
| | Amazon Nova Premier: Technical report and model card (amazon.science) |
| 1 point by phonon 4 months ago | past |
|
| | Amazon Nova Act (amazon.science) |
| 3 points by untangle 6 months ago | past |
|
| | Amazon Nova Act Browser Use Model (amazon.science) |
| 4 points by ledwards 6 months ago | past |
|
| | Amazon Nova Act (amazon.science) |
| 7 points by dguo 6 months ago | past |
|
| | Amazon opens new AI lab in San Francisco focused on long-term research bets (amazon.science) |
| 3 points by spearman 7 months ago | past |
|
| | Amazon announces Ocelot quantum chip (amazon.science) |
| 3 points by rbanffy 7 months ago | past |
|
| | Amazon announces Ocelot quantum chip (amazon.science) |
| 5 points by meetpateltech 7 months ago | past | 2 comments |
|
| | Chronos: Learning the language of time series (amazon.science) |
| 2 points by Bootvis 10 months ago | past |
|
| | Solomonic learning: Large language models and the art of induction (amazon.science) |
| 5 points by 100ideas 11 months ago | 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 |
|
| | Updating large language models by directly editing network layers (amazon.science) |
| 2 points by jonbaer on April 25, 2024 | past |
|
| | MemoryDB: A fast and durable memory-first cloud database (amazon.science) |
| 145 points by mariuz on April 25, 2024 | past | 53 comments |
|
|
| More |
