Automated Theorem Proving

2023-05-16

Apollo: Automatic Detection and Diagnosis of Performance Regressions in a DBMS [pdf]

2023-05-16

Smart Placement speeds up apps by automatically moving code close to the data

2023-05-16

Robin AI: Integral Health's New Sidekick for Automated PR Reviews

2023-05-16

Let GitHub automatically make screenshots of all your websites

2023-05-16

Show HN: Free startup finance tools – SAFE conversion impact

2023-05-16

Show HN: Dyrector.io: API and UI for Kubernetes and Docker Deployments

2023-05-16

Show HN: AI-Powered Mailroom Automation in Microsoft Teams

2023-05-16

Show HN: ChatGPT Figma Plugin – Translate, summarize or simply create new text

2023-05-16

Ask HN: Is it just the jobs at risk or the companies too?

2023-05-16