Very serious question: Are there AWS services that you think are missing? What new infrastructure, security, or data service would you most like to see us build? Here's why I'm asking ...
-
-
Give me a lambda function that solves arbitrary Z3 queries!
-
I’ve joked about making a Z3 lambda runtime that runs SMT-LIB. Should be pretty easy now that anyone can write their own runtime without the shenanigans we used to need to do
- 1 more reply
New conversation -
-
-
Old tweet, but I'd love to hear if anything is happening with this. I would love a SMT-as-a-Service service....
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Internal wiki, look up "The Beast". It may be applicable here. Mind you, my thinking has come a long way since I built it. Maybe I will return one day to finish it ;) It needs an overhaul. But damn it's fast.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.