lambdasgr

4 ms·

1. 1.▲
   by lambdasgr 5y ago

   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, V
2. 2.▲
   by lambdasgr 9y ago

   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.
3. 3.▲
   by lambdasgr 12y ago

   "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
4. 4.▲
   by lambdasgr 12y ago

   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 the
5. 5.▲
   by lambdasgr 12y ago

   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