Hacker News: seekdeep

New comment by seekdeep in "Cirrus Labs to join OpenAI"

seekdeep — Sun, 12 Apr 2026 12:38:41 +0000

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

New comment by seekdeep in "Cirrus Labs to join OpenAI"

seekdeep — Sun, 12 Apr 2026 01:55:33 +0000

Earlier post:

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

New comment by seekdeep in "Cirrus Labs to join OpenAI"

seekdeep — Sat, 11 Apr 2026 14:24:12 +0000

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

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

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

New comment by seekdeep in "Cirrus Labs to join OpenAI"

seekdeep — Sat, 11 Apr 2026 13:56:07 +0000

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

Cirrus Labs to join OpenAI

seekdeep — Sat, 11 Apr 2026 13:01:34 +0000

Article URL: https://cirruslabs.org/

Comments URL: https://news.ycombinator.com/item?id=47730194

Points: 280

# Comments: 142

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

seekdeep — Sat, 11 Apr 2026 12:25:02 +0000

Article URL: https://www.msn.com/en-my/news/other/meta-is-set-to-pay-its-top-ai-executives-almost-a-billion-each-in-bonuses-if-they-hit-their-targets/ar-AA1ZszqA

Comments URL: https://news.ycombinator.com/item?id=47729975

Points: 49

# Comments: 28

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

seekdeep — Sat, 11 Apr 2026 07:30:14 +0000

Article URL: https://www.lenovo.com/us/en/p/coming-soon/lenovo-thinkpad-x1-carbon-gen-14-aura-edition-14-inch-intel/len101t0159

Comments URL: https://news.ycombinator.com/item?id=47728360

Points: 2

# Comments: 0

China and Taiwan: Are changes coming?

seekdeep — Wed, 08 Apr 2026 13:49:42 +0000

Article URL: https://news.az/news/china-and-taiwan-are-changes-coming

Comments URL: https://news.ycombinator.com/item?id=47690213

Points: 2

# Comments: 0

New comment by seekdeep in "Breakthrough in AI Solving Math Conjectures: Peking Univ. Team's Exploration"

seekdeep — Wed, 08 Apr 2026 11:31:12 +0000

The paper on aXive:

https://arxiv.org/abs/2604.03789

New comment by seekdeep in "Breakthrough in AI Solving Math Conjectures: Peking Univ. Team's Exploration"

seekdeep — Wed, 08 Apr 2026 11:04:23 +0000

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

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

seekdeep — Wed, 08 Apr 2026 11:01:34 +0000

Article URL: https://chinaresearchcollective.substack.com/p/a-new-breakthrough-in-ai-solving

Comments URL: https://news.ycombinator.com/item?id=47688483

Points: 2

# Comments: 2

New comment by seekdeep in "Martial arts robots at 2026 Spring Festival Gala [video]"

seekdeep — Thu, 19 Feb 2026 14:57:35 +0000

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

New comment by seekdeep in "Kung Fu Robots Deliver 'Knockout' Performance at Spring Festival Gala [video]"

seekdeep — Thu, 19 Feb 2026 14:29:05 +0000

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

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

New comment by seekdeep in "Robots Perform Kung Fu at China's Spring Festival Gala"

seekdeep — Thu, 19 Feb 2026 14:25:38 +0000

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

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

New comment by seekdeep in "Martial arts robots at 2026 Spring Festival Gala [video]"

seekdeep — Thu, 19 Feb 2026 11:21:24 +0000

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

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

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

seekdeep — Thu, 19 Feb 2026 11:19:38 +0000

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

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

seekdeep — Thu, 19 Feb 2026 11:18:51 +0000

Article URL: https://poe.com/s/PSuM9UlCSlNtWTmnHQEh

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

Points: 1

# Comments: 3

New comment by seekdeep in "Kung Fu Robots Deliver 'Knockout' Performance at Spring Festival Gala [video]"

seekdeep — Mon, 16 Feb 2026 21:22:54 +0000

@neowang3106

4 hours ago

BBC: But at what cost?

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

GitHub Username Squatting

seekdeep — Fri, 11 Apr 2025 06:32:52 +0000

Article URL: https://github.com/orgs/community/discussions/23495

Comments URL: https://news.ycombinator.com/item?id=43651059

Points: 5

# Comments: 1

First official release of LLVM Flang

seekdeep — Wed, 12 Mar 2025 06:37:55 +0000

Article URL: https://blog.llvm.org/posts/2025-03-11-flang-new/

Comments URL: https://news.ycombinator.com/item?id=43340487

Points: 92

# Comments: 26