4 ms·
Mykel Kochenderfer is a coauthor on the book and the PhD advisor to Tim. The video [1] below describes how Kochenderfer came to be using Julia (it's faster tha
by chrispeel 8y ago
Mykel Kochenderfer is a coauthor on the book and the PhD advisor to Tim. The video [1] below describes how Kochenderfer came to be using Julia (it's faster than Python, and has an AST that the formal verification guys like).
[1] http://www.youtube.com/watch?v=rj-WhTL_VXE&t=16m9s http://www.youtube.com/watch?v=rj-WhTL_VXE&t=16m9s