solomon

[solomon @solomon_hn]

rust 最大的问题是，没有一个大型公司选他当主流语言。java 本身就 Oracle 旗下的语言，还是阿里的主流语言。c/c++是腾讯等一些列公司的主流语言，go 是字节的主流语言。
codex 现在的开源版本中大部分是 rust 写的，openai 是 rust 最大的指望了。但极有可能通过不需要 rust 工程师的方式，推广 rust

[tison @tison1096]

Rust 有门槛绝对是宣传口出现了偏差 ... 就跟函数式编程常用的理念都非常直观，但你上来是“自函子范畴上的幺半群”，你也不懂。

我得说 Rust 大部分时候你都不需要关心生命周期问题，大不了就先 Clone，该 Arc 的时候 Arc，但是确实不能暴力 Mutex，也不要随便定义 trait ..

这样来，简单的很。

[solomon @solomon_hn]

大家都以为孙割被爱情割了，殊不知这是孙割主动交的投名状，在这种的危机时刻，主动曝光自己的花边新闻，证明自己是有价值且愿意合作的。

[supermao @buaaxhm]

孙哥毕业论文都没有学会使用 LaTex
却因为白月光景田学会了

足见爱情之伟大

[solomon @solomon_hn]

消费主义就是这么把大家的积蓄骗出来的吗？

[哈哈哥 @crypto_daha]

如果你年轻时花一万块去喜欢的地方旅游一个月，这一万块产生的记忆红利会整整持续60年。

[solomon @solomon_hn]

"We can barely maintain our sustained leadership in models through continued scaling up" -＞ we temporarily slowed……

[Greg Brockman @gdb]

we temporarily slowed scaling of our frontier training, including our largest planned frontier RL, to strengthen security and monitoring. we believe confidence in safety will increasingly set the pace of AI development:

[solomon @solomon_hn]

我也不反对卡拉 ok，今天就去卡拉ok

[陈以六😎 @ChenyiliuA]

努力学习

[Kalshi @Kalshi]

JUST IN: Berkshire Hathaway was a buyer of stocks last quarter for first time in 3 years

[solomon @solomon_hn]

Can someone explain to me what kind of impact it will exert on the world once this is proven？

[Sebastien Bubeck @SebastienBubeck]

yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model.

We're releasing 10 such Astra proofs, complete with lean certificates and CoT walkthroughs for each of them. The results are wide-ranging, from von Neumann algebras (disproof of Connes' Rigidity Conjecture) to better bounds for high dimensional sphere packing, for circuit complexity, for monochromatic triangles in multicolored graphs, and more.

More thoughts here: https://t.co/8SjXONeh38

[solomon @solomon_hn]

@ElliotGlazer Can you explain to me what kind of impact it will exert on the world once this is proven

[solomon @solomon_hn]

true

[Jen Zhu @jenzhuscott]

The real Open AI of the world.

[solomon @solomon_hn]

@fankaishuoai 豆包的联网搜索能力还是非常强的，装个codex然后开启memory会是一个比较好的选择

[solomon @solomon_hn]

@ixiaowenz 只是退货吗？竟然没有假一赔三？

[solomon @solomon_hn]

@craigweiss who's taking control ?

[solomon @solomon_hn]

where is gpt5.6?

[solomon @solomon_hn]

这个背后引出了一个问题，OpenAI/Anthropic 对于他们的模型权重的保护做到了什么程度？

毕竟Sam/Dario 以及他们的核心员工都有足够的金钱可以住在足够安全的地方，以及雇佣保镖团队，但假如暴力集团直接对他们的服务器动手呢？

[solomon @solomon_hn]

我比较好奇一件事情，如果未来模型真的非常厉害（达到了能够替代人工作），并且是现在这种以固定参数，真实的应用场景仅需要做推理。而推理又一定要部署在算力机器上。
这个时候暴力集团直接介入抢夺算力机器，获得固定参数的模型，闭源模型花了那么大价钱训练的模型不就白白送人了？

[solomon @solomon_hn]

我比较好奇一件事情，如果未来模型真的非常厉害（达到了能够替代人工作），并且是现在这种以固定参数，真实的应用场景仅需要做推理。而推理又一定要部署在算力机器上。
这个时候暴力集团直接介入抢夺算力机器，获得固定参数的模型，闭源模型花了那么大价钱训练的模型不就白白送人了？

[solomon @solomon_hn]

我把埃及vs阿根廷的一颗争议球发给了ChatGPT Pro，它是一个合格的足球裁判吗？

[solomon @solomon_hn]

@aronhouyu 这个日活和月活数据不太对得上

[solomon @solomon_hn]

@hd_nvim 你这个题目都是用翻译工具翻译的，append only ……，有点搞笑

[solomon @solomon_hn]

@cxjwin 这个语言风格已经有ai的味道了，人类反而被ai进行了sft