Skip to content

Amazon Science company blog

A gentle introduction to automated reasoning

amazon.science published 2021-12-01

Meet Amazon Science’s newest research area.

Read on amazon.science → Discuss on HN (51) Archived copy

Points: 160
HN comments: 51
Submissions: 2
Cited by: 0 commenters

AI & Machine Learning Math & Algorithms 2022

On Hacker News

Submitted	Title on HN	Points	Comments
Feb 19, 2022	A gentle introduction to automated reasoning by mooreds	160	30
Feb 12, 2024	A gentle introduction to automated reasoning by yathaid	79	21

More from Amazon Science

All 14 posts →

Prime Video Uses WebAssembly

2022428 points247 commentscited by 4Web & Frontend details

Amazon's ML University is making its online courses available to the public

2020426 points48 comments AI & Machine Learning details

DynamoDB 10 years later

2022252 points216 comments Databases & Data details

Better-performing “25519” elliptic-curve cryptography

2024218 points89 comments Security & Privacy details

Do large language models need all those layers?

2023178 points82 comments AI & Machine Learning details

Amazon releases 51-language dataset for language understanding

2022166 points43 comments AI & Machine Learning details

Related posts from the same era

Bing: “I will not harm you unless you harm me first”

Simon Willison20233,363 points1,673 commentscited by 6 details

Building a Virtual Machine Inside ChatGPT

Jonas Degrave20222,029 points908 commentscited by 16 details

ChatGPT Plugins

OpenAI Blog20231,875 points1,106 commentscited by 14 details

Whisper – open source speech recognition by OpenAI

OpenAI Blog20221,705 points481 commentscited by 5 details

Twitter's Recommendation Algorithm

Twitter Blog20231,700 points1,187 comments details

A GPT in 60 Lines of NumPy

Jay Mody20231,563 points146 commentscited by 10 details