Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
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
Search: