YHacker Newsscreenshots

amazon.science on Hacker News

8 stories on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of amazon.science: Developing provably correct Rust code with Verus

Developing provably correct Rust code with Verus (amazon.science)

146 points by Betelbuddy 1 month ago | 42 comments

Screenshot of amazon.science: Why don't machine learning research agents overfit?

Why don't machine learning research agents overfit?(amazon.science)

129 points by Betelbuddy 1 month ago | 70 comments

Screenshot of amazon.science: When LLM judges agree, should we believe them?

When LLM judges agree, should we believe them?(amazon.science)

43 points by Betelbuddy 1 month ago | 26 comments

Screenshot of amazon.science: Better-performing “25519” elliptic-curve cryptography

Better-performing “25519” elliptic-curve cryptography (amazon.science)

199 points by lemaudit 2 years ago | 78 comments

Screenshot of amazon.science: Forecasting with Trees (2021)

Forecasting with Trees (2021)(amazon.science)

57 points by tosh 2 years ago | 18 comments

Screenshot pending…

A gentle introduction to automated reasoning (amazon.science)

69 points by yathaid 2 years ago | 17 comments

Screenshot of amazon.science: Do large language models need all those layers?

Do large language models need all those layers?(amazon.science)

155 points by belter 2 years ago | 72 comments

Screenshot of amazon.science: Bringing code analysis tools to Jupyter notebooks

Bringing code analysis tools to Jupyter notebooks (amazon.science)

18 points by saeedesmaili 3 years ago | 5 comments