1
SMT Solving on an iPhone
Why buy an expensive desktop computer when your iPhone is a faster SMT solver?
I'm a Principal Applied Scientist at Amazon Web Services, where I work on the Amazon S3 object storage service. My research spans formal methods, programming languages, and systems.
Visit homes.cs.washington.edu/~bornholt → On Hacker News Jul 2018 – Nov 2018
Software Engineering 2Tools & Productivity 1AI & Machine Learning 1
Why buy an expensive desktop computer when your iPhone is a faster SMT solver?