Submissions from amazon.science

		Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 [pdf] (amazon.science)
		2 points by badcryptobitch 18 days ago \| past
		Intelligence isn't about parameter count. It's about time (amazon.science)
		3 points by mtw14 39 days ago \| past
		We built Cedar with automated reasoning and differential testing (2023) (amazon.science)
		1 point by mefengl 76 days ago \| past
		Building AI agents that work: Introducing Nova Act as a service (amazon.science)
		4 points by antje 4 months ago \| past
		Amazon Announces 2026 Amazon Nova AI Challenge: Trusted Software Agents Track (amazon.science)
		1 point by T-A 4 months ago \| past
		Chronos-2: From univariate to universal forecasting (amazon.science)
		1 point by abdulfatir 5 months ago \| past
		How the Lean language brings math to coding and coding to math (2024) (amazon.science)
		2 points by danabramov 7 months ago \| past
		A decade of database innovation: The Amazon Aurora story (amazon.science)
		1 point by mariuz 7 months ago \| past
		Measuring the effectiveness of software development tools and practices (amazon.science)
		3 points by saeedesmaili 8 months ago \| past
		Three challenges in machine-based reasoning (amazon.science)
		1 point by practal 8 months ago \| past
		How the Lean language brings math to coding and coding to math (amazon.science)
		3 points by nabla9 8 months ago \| past
		Amazon Nova Premier: Technical report and model card (amazon.science)
		1 point by phonon 9 months ago \| 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
		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
		More

HN For You