seekdeep
Joined 1 year ago
Karma
211
Submissions
23
Member since
Mar 10
Recent submissions
Comment · 6 months ago
https://github.com/libprima/prima/issues/291
Comment · 6 months ago
Earlier post:
Comment · 6 months ago
This does raise some concerns in major open-source projects:
https://github.com/scipy/scipy/issues/24990
https://www.postgresql.org/message-id/3ydjipcr7kbss57nvi67no...
Comment · 6 months ago
A pity. Cirrus has been providing quite decent CI facilities, for free. One of the advantages (among many) compared to GitHub Actions is the large variety of runner images, e.g., Debian, Fedora, Alpine, FreeBSD, ...
Comment · 6 months ago
The paper on aXive:
Comment · 6 months ago
Detailed information, paper links, and open-source code for all work discussed in this article can be found on Professor Dong's personal homepage (faculty.bicmr.pku.edu.cn/~dongbin/) and the project blog (frenzymath.com). Key links for the Anderson Conjecture solution and open-source tools are below:
Technical report: https://frenzymath.com/blog/conjecture/
Rethlas (open source): https://github.com/frenzymath/Rethlas
Archon (open source): https://github.com/frenzymath/Archon
Formalization results: https://github.com/frenzymath/Anderson-Conjecture
Comment · 8 months ago
> there is reason why in those 5 minutes you see them together in same shot with audience only 2 times and only for few seconds
Reason: otherwise, you will be asking what happens when the shot is switched between the stage and the audience.
Comment · 8 months ago
What Does AI Think about the Kung Fu Robot Show in the Chinese New Year Gala?
Comment · 8 months ago
What Does AI Think about the Kung Fu Robot Show in the Chinese New Year Gala?
Comment · 8 months ago
What Does AI Think about the Kung Fu Robot Show in the Chinese New Year Gala?