This is very interesting. I'm going to be excited to see what neat things can be... | Hacker News

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

		mattst88 on May 15, 2023 \| parent \| context \| favorite \| on: Basic SAT model of x86 instructions using Z3, auto... This is very interesting. I'm going to be excited to see what neat things can be done with it.

garganzol on May 15, 2023 [–]

Count me in. Any kind of formalization is empowering, but what practical applications can it have? I'm sure there are quite few of them, but what are they?

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