Hacker News new | ask | show | jobs
by zvrba 445 days ago
Check out work by Microsoft research. Examples: Z3 solver, project Orleans.