Submissions from amazon.science

		How Prime Video updates its app for more than 8,000 device types (2022) (amazon.science)
		2 points by peutetre 13 days ago \| past \| 1 comment
		Using Lightweight Formal Methods to Validate a KV Storage Node in Amazon S3 [pdf] (amazon.science)
		1 point by PaulHoule 34 days ago \| past
		Resource Management in Aurora Serverless (amazon.science)
		1 point by eatonphil 41 days ago \| past
		Better-performing “25519” elliptic-curve cryptography (amazon.science)
		218 points by lemaudit 54 days ago \| past \| 89 comments
		Five ways Amazon is helping modernize the U.S. power grid (amazon.science)
		3 points by ms512 54 days ago \| past
		Resource Management in Aurora Serverless (amazon.science)
		1 point by GavCo 73 days ago \| past
		How the Lean language brings math to coding and coding to math (amazon.science)
		1 point by nabla9 79 days ago \| past
		Formal verification makes RSA faster – and faster to deploy (amazon.science)
		3 points by jrpelkonen 87 days ago \| past
		Why TPC is not enough: an Analysis of the Amazon Redshift Fleet [pdf] (amazon.science)
		2 points by carlineng 3 months ago \| past
		How Amazon Web Services Uses Formal Methods (2015) (amazon.science)
		2 points by zwliew 3 months ago \| past
		Amazon Scholar solves century-old problem with automated reasoning (amazon.science)
		3 points by belter 6 months ago \| past
		Amazon Virtual Try-all: A way to virtually try out products (amazon.science)
		2 points by dkpk 6 months ago \| past
		Using Amazon web traffic to track the eclipse (amazon.science)
		2 points by scop 6 months ago \| past
		Updating large language models by directly editing network layers (amazon.science)
		2 points by jonbaer 6 months ago \| past
		MemoryDB: A fast and durable memory-first cloud database (amazon.science)
		145 points by mariuz 6 months ago \| past \| 53 comments
		Using Amazon web traffic to track the eclipse (amazon.science)
		2 points by nsmith22 6 months ago \| past
		Amazon Scholar solves century-old problem with automated reasoning (amazon.science)
		3 points by RafelMri 7 months ago \| past
		Adapting language model architectures for time series forecasting (amazon.science)
		3 points by abdulfatir 7 months ago \| past
		Forecasting with Trees [pdf] (amazon.science)
		2 points by Anon84 8 months ago \| past
		Forecasting with Trees (2021) (amazon.science)
		64 points by tosh 8 months ago \| past \| 22 comments
		Do large language models understand the world? (amazon.science)
		10 points by alok-g 8 months ago \| past
		AWS researchers claim LLMs not only can but do represent meaning (amazon.science)
		5 points by mrnzc 8 months ago \| past \| 1 comment
		A gentle introduction to automated reasoning (amazon.science)
		79 points by yathaid 8 months ago \| past \| 21 comments
		Nowcasting Recession Risk (amazon.science)
		2 points by belter 9 months ago \| past
		A gentle introduction to automated reasoning (2021) (amazon.science)
		2 points by brendanfalk 9 months ago \| past
		A Cloud-Optimized Transport Protocol for Elastic and Scalable HPC (2020) [pdf] (amazon.science)
		1 point by eatonphil 9 months ago \| past
		New tool, dataset help detect hallucinations in large language models (amazon.science)
		2 points by saeedesmaili 9 months ago \| past
		Panda: Performance debugging for databases using LLM agents (amazon.science)
		3 points by l1n 9 months ago \| past
		Real-time anomaly detection under distribution drift (amazon.science)
		3 points by rustoo 10 months ago \| past
		Do large language models need all those layers? (amazon.science)
		178 points by belter 10 months ago \| past \| 82 comments
		More