seekdeep

vor 3 Monatendiscuss

https://github.com/libprima/prima/issues/291

vor 3 Monatendiscuss

Earlier post:

https://news.ycombinator.com/item?id=47704497

vor 3 Monatendiscuss

This does raise some concerns in major open-source projects:

https://github.com/scipy/scipy/issues/24990

https://www.postgresql.org/message-id/3ydjipcr7kbss57nvi67no...

seekdeep

vor 3 Monatendiscuss

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, ...

seekdeep

vor 3 Monatendiscuss

The paper on aXive:

https://arxiv.org/abs/2604.03789

seekdeep

vor 3 Monatendiscuss

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

seekdeep

vor 5 Monatendiscuss

> 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.

seekdeep

vor 5 Monatendiscuss

What Does AI Think about the Kung Fu Robot Show in the Chinese New Year Gala?

https://news.ycombinator.com/item?id=47072626

seekdeep

vor 5 Monatendiscuss

What Does AI Think about the Kung Fu Robot Show in the Chinese New Year Gala?

https://news.ycombinator.com/item?id=47072626

seekdeep

vor 5 Monatendiscuss

What Does AI Think about the Kung Fu Robot Show in the Chinese New Year Gala?

https://news.ycombinator.com/item?id=47072626

seekdeep

vor 5 Monatendiscuss

Also https://copilot.microsoft.com/shares/D2XX3nQVghn2KpU8BGt4x