Course announcement: SMT Solving and Solver-Aided Systems: http://composition.al/blog/2019/08/31/course-announcement-smt-solving-and-solver-aided-systems/ …
-
-
I think it's so cool that it actually works
-
I found STOKE useful as sort of a guide to give me a rough idea of the best way to do something, which I then implemented manually. There’s more work to be done before I’d be comfortable actually shipping the generated code verbatim.
- 5 more replies
New conversation -
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.