Location: Texas Remote: OK Willing to relocation: yes Resume/CV: www.linkedin.com/in/ritchie-cai-33536a10 E-mail: ritchiecai at r2labs.org Technologies: Clojure, C/C++, CUDA, Python, Linux/Unix, Bash, Matlab, Git,…
That's odd, I was able to compile both bazel and tensorflow from source since early spring 2016 on RHEL 6.5 (not that it was straight forward ...), so it should work for centOS as well.
"Oh my god, it's such a big project, nobody should do it alone". It's very obvious, isn't it? 500+ pages of abstract proofs need to be expressed into some kind of programming language. Not to mention, the worst case is…
He probably should try to use Coq proof assistant. If Coq proves his proof, then mostly like it's correct. Of course, it's easier to say than to do, not a trivial work, and he's the only one who can do it, since he's…
LaTeX. Here are some custom latex classes I uses for different purpose. Some are created by me, some are I get from elsewhere: https://github.com/malloc82/latex_classes
Location: Texas Remote: OK Willing to relocation: yes Resume/CV: www.linkedin.com/in/ritchie-cai-33536a10 E-mail: ritchiecai at r2labs.org Technologies: Clojure, C/C++, CUDA, Python, Linux/Unix, Bash, Matlab, Git,…
That's odd, I was able to compile both bazel and tensorflow from source since early spring 2016 on RHEL 6.5 (not that it was straight forward ...), so it should work for centOS as well.
"Oh my god, it's such a big project, nobody should do it alone". It's very obvious, isn't it? 500+ pages of abstract proofs need to be expressed into some kind of programming language. Not to mention, the worst case is…
He probably should try to use Coq proof assistant. If Coq proves his proof, then mostly like it's correct. Of course, it's easier to say than to do, not a trivial work, and he's the only one who can do it, since he's…
LaTeX. Here are some custom latex classes I uses for different purpose. Some are created by me, some are I get from elsewhere: https://github.com/malloc82/latex_classes