HackerTrans
TopNewTrendsCommentsPastAskShowJobs

seekdeep

no profile record

Submissions

Cirrus Labs to join OpenAI

cirruslabs.org
282 points·by seekdeep·3 माह पहले·144 comments

Meta is set to pay its top AI executives almost a billion each in bonuses

msn.com
49 points·by seekdeep·3 माह पहले·29 comments

ThinkPad X1 Carbon 14: Light on Weight, Heavy on Intelligence

lenovo.com
2 points·by seekdeep·3 माह पहले·0 comments

China and Taiwan: Are changes coming?

news.az
2 points·by seekdeep·3 माह पहले·0 comments

Breakthrough in AI Solving Math Conjectures: Peking Univ. Team's Exploration

chinaresearchcollective.substack.com
2 points·by seekdeep·3 माह पहले·2 comments

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

poe.com
1 points·by seekdeep·5 माह पहले·3 comments

comments

seekdeep
·3 माह पहले·discuss
https://github.com/libprima/prima/issues/291
seekdeep
·3 माह पहले·discuss
Earlier post:

https://news.ycombinator.com/item?id=47704497
seekdeep
·3 माह पहले·discuss
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
·3 माह पहले·discuss
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
·3 माह पहले·discuss
The paper on aXive:

https://arxiv.org/abs/2604.03789
seekdeep
·3 माह पहले·discuss
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
·5 माह पहले·discuss
> 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
·5 माह पहले·discuss
What Does AI Think about the Kung Fu Robot Show in the Chinese New Year Gala?

https://news.ycombinator.com/item?id=47072626
seekdeep
·5 माह पहले·discuss
What Does AI Think about the Kung Fu Robot Show in the Chinese New Year Gala?

https://news.ycombinator.com/item?id=47072626
seekdeep
·5 माह पहले·discuss
What Does AI Think about the Kung Fu Robot Show in the Chinese New Year Gala?

https://news.ycombinator.com/item?id=47072626
seekdeep
·5 माह पहले·discuss
Also https://copilot.microsoft.com/shares/D2XX3nQVghn2KpU8BGt4x
seekdeep
·5 माह पहले·discuss
@neowang3106

4 hours ago

BBC: But at what cost?

China: At lower cost... Thank you for your attention to this matter