sometimes also known as superoptimization, which many of them also use SMT solve... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		mshockwave 8 months ago \| parent \| context \| favorite \| on: A leap year check in three instructions sometimes also known as superoptimization, which many of them also use SMT solvers like Z3 mentioned in the article

tylerhou 8 months ago [–]

Yes, sorry, superoptimization is the correct term.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact