Viewing profile — lambdasgr

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, Pytho…

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 …

"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 langu…

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 th…

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