CNMan AvantGarde

7.4K posts

CNMan AvantGarde banner
CNMan AvantGarde

CNMan AvantGarde

@chaocz

#ChinaNewMasculinityAvantGarde 国男新风 #DataScience #SystemAnalyst #TU_DARMSTADT

Kenya Katılım Aralık 2008
735 Takip Edilen159 Takipçiler
CNMan AvantGarde retweetledi
骆逸
骆逸@royxy·
我给deepseek充了一百块钱,比较高强度的用了一个月了(写小说,写稿件,做研究,生成动态网页),非常好用,刚才看余额还有35块,梁圣的恩情真是比海深啊。
中文
148
10
503
74.8K
CNMan AvantGarde retweetledi
曹山石
曹山石@caolei1·
消费股溃不成军
曹山石 tweet media
中文
191
62
468
172.7K
CNMan AvantGarde retweetledi
Max For AI
Max For AI@MaxForAI·
美团一直在裁员啊 之前劝退了一帮不愿意全栈的研发 现在人的任务就是CR来自Agent的代码
中文
22
2
103
45.3K
CNMan AvantGarde retweetledi
Andy Stewart
Andy Stewart@manateelazycat·
萝卜快跑集体趴窝的事情已经过去快2个月了🥲但影响似乎还未彻底结束。 真别说,路上看不见苕萝卜,还有点想呢🤡 这些电车在这儿放几个月,电掉光了就真趴窝了吧🤣
Andy Stewart tweet media
中文
30
8
134
61.6K
CNMan AvantGarde retweetledi
好家伙🦅
好家伙🦅@wjf110·
山寨名头的拼多多居然成为国内电商之首了! 至于原因道友分析的还是有道理的: 1)京东赌的是国家经济越来越向好,然后中产家庭越来越多,京东客户也就越多 2)淘宝赌的是贫困人口会逐渐减少,网购人群会不断扩大,同时发展了一个天猫用于服务高端群体 3)拼夕夕赌的是贫困人口越来越多,消费不断降级。 结果竟然让拼多多赌对了
中文
253
109
1.9K
337.2K
少个分号
少个分号@shaogefenhao·
东亚文化最大的特点是欲望羞耻 + 过度责任心。 恰好这两个都对身心健康不利。
中文
112
209
2K
131.4K
CNMan AvantGarde retweetledi
Andy Stewart
Andy Stewart@manateelazycat·
缸中大脑🤡 这是美国吗,好吓人呐 评论区有链接,我英文不好,你们帮我翻译翻译,他们在干啥🥺
Andy Stewart tweet media
中文
27
3
18
7.1K
CNMan AvantGarde retweetledi
AB Kuai.Dong
AB Kuai.Dong@_FORAB·
Intel 的改革,可能证明狼性文化还真的有效。 近期 Intel 的新华人 CEO 陈立武,在摩根大通会上透露,内部正在推行一种文化,即如果内部研发新的芯片,最多只能接受跑两版测试,否则就要直接走人。 在过去 Intel 内部如果研发出了新的芯片,前后可能要改十几个版本,如从一开始的 A 版本,一路改到 C、D、E,才能修得差不多,并真正量产。 而现在,新 CEO 正要求内部,第一版本就是目标,而改到第二版本还可以接受,研发人员的饭碗还在,但到了第三版本 C、第四版 D,相关负责人必须给走人。 这种文化,正在让 Intel 重回芯片领域的领先梯队,因为过去每多改一版芯片,就意味着多花钱、多浪费时间,产品晚上市,从而竞争力下降。 而这项改革,也确实正在奏效。
AB Kuai.Dong tweet mediaAB Kuai.Dong tweet media
Minato-ku, Tokyo 🇯🇵 中文
179
51
499
173.8K
CNMan AvantGarde retweetledi
莫小白 Monica
莫小白 Monica@monicawhite0913·
印度也是牛B的,居然想对苹果罚380亿美元,这次印度专门为了罚款修改法律,把基数改成全球营业额,这种操作闻所未闻 苹果2025年在印度营收才90亿美元,净利润仅3.6亿美元,却面临380亿的罚单,相当于要白干105年才能赚回来 苹果被指控的”苹果税”问题在欧盟、美国、韩国同样面临类似指控,并非印度独有的打压,印度这次借势收割属实牛B plus~
中文
282
45
933
435.1K
CNMan AvantGarde retweetledi
CNMan AvantGarde retweetledi
iGeekbb
iGeekbb@igeekbb·
一定要多交几个福建兄弟
iGeekbb tweet media
中文
241
96
1.2K
201.6K
CNMan AvantGarde retweetledi
简律(私信互关)
我们是不是见证了一个失传媒体的诞生?
简律(私信互关) tweet media
中文
117
25
1.4K
196.8K
CNMan AvantGarde retweetledi
Max For AI
Max For AI@MaxForAI·
笑死我了,OpenAI前两天专门发blog吹的牛逼 原来Google DeepMind早搞定了🤣 Google DeepMind做了一个叫AlphaProof Nexus的形式化证明搜索框架,让LLM不断生成Lean证明草稿,再交给Lean编译器检查。 编译不过,就把错误反馈给模型继续改。 最后只接受没有sorry、能被Lean机械验证通过的证明。 论文把这个系统拿去跑已经被形式化进Lean的开放问题。 他们最强的agent在353个已经形式化的Erdős开放问题里,解决了9个,其中有两个问题已经开放了56年。 单个问题的推理成本大概是几百美元。它还证明了44/492个OEIS开放猜想,并被用到组合数学、优化、图论、代数几何、量子光学等研究里。 最有意思的细节反而在agent设计上。 他们做了一个basic agent: LLM生成证明,Lean验证,报错后继续改。 然后又做了full-featured agent: 多个子agent并行搜索,用进化算法维护一堆证明草稿,还用Elo评分挑更有希望的草稿,必要时调用AlphaProof。 这说明一个很朴素的事情: 强模型+可验证反馈,可能已经足够打开一部分研究级数学问题。 复杂agent架构当然有用,尤其是在难题上省钱。 但不是让模型像数学家一样说服人。 而是让模型不断生成候选证明,再交给形式化系统筛掉废话。 人类数学家负责定义问题、检查形式化是否忠实、理解证明背后的结构。 AI负责大规模搜索那些人类不想手工试的路径。
Max For AI tweet media
中文
28
11
149
27K
CNMan AvantGarde retweetledi
Tz
Tz@Tz_2022·
继 OpenAI 宣布他们用 AI 解决了一道Erdos 数学难题后,Google DeepMind 团队今天宣布他们又解决了9道 Erdos 数学难题。。。 AI 之间的竞争,开始进入人类未知领域了。。。
Tz tweet media
Przemek Chojecki | PC@prz_chojecki

Another 9 open Erdos problems solved, this time by DeepMind team. Interesting loop of LLM - Lean agents working autonomously, and only after it's verified formally, going through human review.

中文
67
20
213
86.3K
CNMan AvantGarde retweetledi
xsser
xsser@xsser_w·
陆奇还是太强了, 1年前让我做沙盒/容器安全,我没意识到啥意思,现在看看 真的。。。我太傻逼了 他还有很多远见, 其中很多都是现在被验证了。我了个去😀 放到现在来看 做harness 的核心就是沙盒和验证 你在沙盒里可以看到一切轨迹和边界的探测,能观测整个reward hacking过程。
中文
18
17
312
61.6K
CNMan AvantGarde retweetledi
陳威廉
陳威廉@williamlab·
硅谷员工疯狂吐槽团队里几乎全是中国人,哈哈哈哈哈他写的太好笑了。 鸠占鹊巢了属于是。
陳威廉 tweet media陳威廉 tweet media
Jeremy Bernier@jeremybernier

At Meta, 90% of my coworkers were Chinese, and non-Chinese were routinely excluded, disadvantaged, and targeted for layoffs. 6 out of the 7 layoffs I observed targeted non-Chinese despite non-Chinese being the vast minority. Certain orgs like ads and MRS are notorious for being Chinese dominated. I think Americans would be outraged if they knew that their own citizens were getting marginalized and laid off at their own companies, while Chinese promote themselves up, conquer entire orgs, and reap millions. Imagine if Huawei in Shenzhen had entire orgs and leadership chains completely dominated by Japanese people who brazenly spoke Japanese at work without a care in the world that their Chinese coworkers don't understand, imposed their own work culture without respecting Chinese culture, excluded the Chinese, and laid off Chinese people while promoting their own. I imagine Chinese citizens would be outraged, and never allow that to happen in the first place. The most blatant and obvious way that non-Chinese are excluded is that Chinese primarily speak Mandarin at work. I'm not talking about one-off conversations, I'm talking about every single conversation. Loudly and brazenly with no respect for others. 10+ teammates and leaders having a group conversation in Mandarin while the 2 non-Chinese don't understand and feel excluded from the team. Although everyone at least has the decency to speak English during formal meetings with a non-speaker present, it was common that right after the meeting ended everyone would immediately switch to Mandarin. Funny I'm in Korea right now and was just on a double date with 3 other Koreans, and I was shocked that when the conversation would split into two, the other couple would speak to each other in English in my presence just out of respect. A Korean couple on a double-date had the courtesy to speak to each other in English in front of me even though I'd never expect that from them, but my Chinese coworkers did not. Lunch was another place where non-Chinese were blatantly excluded. Recall that the team I joined was an all Chinese team with only one other non-Chinese person. The Chinese would always get lunch together and never invite us (except for one of them who occasionally would, though at some point stopped). Me and the non-Chinese person would invite them, they'd always refuse, and then shortly after they'd disappear and get lunch together. As a result, it was usually just the two of us getting lunch. (caveat, some of the newer Chinese who joined afterwards also experienced similar treatment. So it's moreso a clique thing than a Chinese vs. non-Chinese thing, though 100% of the clique was Chinese) On Wednesdays and Fridays I'd often be the only non-Chinese person on my team in the office, and they'd all get lunch together without inviting me. It was depressing, and made me not want to come into the office on those days. One team dinner we went to a Korean BBQ. I arrived with a non-Chinese coworker and the first table was full, so we sat at one end of the next empty table. Shortly after one of the Tech Leads walked in, and sat at the complete opposite end of our table, alone and not in talking distance to anyone. We invited her over, and she declined. Later another Tech Lead came in and sat across from her. Non-Chinese and Chinese at opposite ends of a long table at a team dinner, and they refused to sit with us. Eventually more people came and the TLs joined our side because I guess maybe it was too obviously anti-social, and they spent the entire dinner speaking speaking Chinese to each other. These were our tech leads. I could not understand how Meta could have "Tech Leads" that so blatantly excluded teammates. I thought Tech Leads were supposed to uplift the team, and that Meta would hold tech leads to a higher standard. Now someone might say that it's just lunch or a one-off team dinner, who cares? To that I vehemently disagree. Lunch is extremely important for team bonding, and so much information is transferred through informal socializing. I'm not saying that everyone needs to get lunch together everyday, but if a minority of people are excluded from getting lunch with the rest of the team, and especially the most tenured and senior employees, then naturally that minority is going to feel alienated, disadvantaged, and excluded from opportunities. And the very fact that they're excluded from lunch is reflective of being excluded in general. When 90% of an org and the entire leadership chain is dominated by one ethnicity, naturally their work culture is going to spill through. Chinese culture is completely different from American work culture, and learning to navigate that was a huge obstacle for me. For example I'm the type that tends to question everything and isn't afraid to challenge a "superior", but I quickly realized that my TL seemed to take offense to that, and would punish/retaliate me for it. I want to make it clear - I have nothing against Chinese people. Most of them are very kind (strong correlation between kindness and not engaging in the kind of exclusionary behavior I mentioned above), and I have many good friends who are Chinese. I get that some barely speak English (though I question how they got hired). I do genuinely believe that most are good people, and not deliberately trying to exclude others. But regardless of intent, the result is that non-Chinese get excluded. The fact that 6 of the 7 layoffs I observed were not Chinese in a 80-90% Chinese dominated org is testament to this. The fact that 90% Chinese dominated orgs even exist in the first place is testament to this. I might not even be posting about this given the sensitivity of the topic if not for the fact that I've seen and/or heard stories of some very toxic people who I do not believe would otherwise survive if not for their ability to exclude others, throwing others under the bus for the next layoff. The same people do this over and over again, and get away with it because they're part of the "clique" that essentially has immunity. I think the company needs to take this more seriously. Some ideas would be enforcing English at the office (I've heard of other teams that do this), raising leaders to a higher bar when it comes to team inclusivity (eg. under the "People" axis), investigating potential discrimination cases (eg. layoffs and/or mistreatment disproportionally affecting certain groups) and having a zero tolerance policy around that, having a zero tolerance policy around injustice in general (eg. lying or deliberately throwing somebody under the bus), ensuring more diverse teams, etc. But to be honest, I don't have faith that much would change so long as the entire leadership chain up to the VP level is dominated by the same ethnicity, language, and culture. Nor does it seem that leadership even remotely cares given that this has been happening in the HQ for probably at least the last decade, and is obvious to anyone who's stepped foot in the office.

中文
224
122
1.1K
729.2K
CNMan AvantGarde
CNMan AvantGarde@chaocz·
@imwsl90 当年疫情的时候冲了一波政治正确,结果还是没有赚钱能力
中文
0
0
0
1.5K
卫斯理
卫斯理@imwsl90·
腾讯文档大裁员... 看了好几条消息,没细看 腾讯这个产品挺烂的,居然能苟活到现在,也是奇迹!
中文
96
2
195
72.1K
CNMan AvantGarde retweetledi
timekey.eth🌊RIVER Moss🌶️
有人可能觉得Qwen只是又一个国产模型……但Qwen3.7-Max这次的数据,我不说一声良心过不去。 阿里昨天(5月20日)发的Agent旗舰,直接在编程智能体、推理、长周期自主执行上全面屠榜: · Terminal Bench 69.7 — 超越DS-V4-Pro Max的67.9 · SWE-Pro 60.6 — 多文件工程闭眼过 · GPQA Diamond 92.4 — 接近人类专家水平 · MCP-Atlas 76.4 — 工具调用能力第一 最离谱的是那个35小时全自主内核优化实验: 0人工干预,1,158次工具调用,在真武M890 PPU上干出10.0x加速比。GLM 5.1才7.3x,V4-Pro只有3.3x。 用法: ① 阿里云百炼API,模型名 qwen3.7-max ② 兼容OpenAI和Anthropic两套API协议 ③ 128K~1M上下文,Chat直接当Agent用 做AI Agent开发、自动化流程、复杂代码生成的,这波不试你亏了。 来源: Qwen blog (qwen.ai/blog?id=qwen3.7), HN 593pts/236 comments, 2026-05-20 #AI #Agent #Qwen #OpenSource
中文
25
9
99
44.2K
CNMan AvantGarde retweetledi
Dr.Hash“Wesley”
Dr.Hash“Wesley”@CryptoApprenti1·
🚨 FBI 亲手发了一个假加密货币,挂上 Uniswap,雇做市商把价格拉起来,然后把所有点头答应配合的人全部抓了。 这大概是加密史上最离谱的一次执法行动。 FBI 在以太坊上真的部署了一个 ERC-20 代币,叫 NexFundAI——1000 亿枚总量、一个做得很专业的官网、白皮书里还写着"用 AI 投资实现被动收入"。它看起来和市面上任何一个加密项目一模一样——而这正是 FBI 要的效果。 卧底探员假扮成项目创始团队,主动去联系那些专业做市公司,开门见山地说:"我们需要你们帮我们刷交易量。" 结果每一家公司都答应了。 以下是 FBI 录下来的内容: Gotbit——老板是个 26 岁的俄罗斯人,2019 年还公开吹嘘自己靠刷交易量做成了生意。他的团队内部表格里,列名直接就写着"假交易量"和"真实交易量"两栏。当被问到能多快把 NexFundAI 的日交易量刷到 100 万美元时,他们的回答是:"6 小时,成本大概 200 美元。"——200 美元,就能伪造 100 万美元的日成交。 MyTrade——老板自称"操盘大脑",还对着镜头把这套骗局的心理学讲得明明白白:"我们要把 K 线做成一条很漂亮的过山车,人们就会在那时候冲进来。我们必须让他们亏钱,我们才能赚钱。"——这话是他在被 FBI 录像的视频通话里亲口说的。 CLS Global——一家迪拜公司,它的机器人贡献了 NexFundAI 全部交易量的 98%。当 FBI 问他们能不能把假交易量的爆发和假新闻发布的时间点同步起来时,他们说:完全没问题。 ZM Quant——机器人通过几十个钱包,每分钟执行 10 到 20 笔交易,就为了让成交看起来"很自然"。 所有人都清楚这是欺诈,所有人还是照做了,而所有过程都被录了下来。 而买单的"客户"比做市商更夸张: Saitama——一个曾经冲到 75 亿美元市值的 meme 币。创始人在私密 Telegram 群里协调买盘,一边发"拉盘"表情包一边操纵价格,最后把筹码全砸给散户。75 亿美元的市值完全建立在假交易量之上——里面每一分真金白银,都来自那些以为行情是"自然走出来"的散户。 其中一个创始人离开 Saitama 后又搞了 Robo Inu,继续找 Gotbit;另一个人又发了 VZZN,同一套剧本。 Lillian Finance——创始人自称是给国会做过陈述的国防承包商,宣传这个币是为了给儿童医院筹款,结果钱全进了自己口袋。 FBI 收网那天,单日就查扣了 2500 万美元,在美国、英国、葡萄牙三地共起诉 18 人。Gotbit 的 CEO 在葡萄牙被捕并引渡,最终判 8 个月,外加 2300 万美元罚没。 但真正让人懵掉的是下面这段—— 居然有真实用户去买了 NexFundAI。 这个 FBI 造的假币,没有任何实际用途、没有真实开发者、纯粹是为抓罪犯而生——可它还是吸引了真实散户,因为那些假交易量把 K 线做得"很看涨"。 当 FBI 撤掉流动性、结束这次行动时,这些人是真的亏了钱——亏在一个"政府发行"的代币上。FBI 最后不得不专门搭了一个赔付通道把钱退给他们。 还有更荒诞的: 司法部刚宣布完这次钓鱼行动,24 小时内就有人照搬了 FBI 那份智能合约,发了个山寨币,蹭着这波热度,单日就赚了 12.7 万美元——用的正是 FBI 刚刚抓了 18 个人的那套操纵手法。 然后到了 2026 年,FBI 又干了一次。新币叫 Lexobit,又抓了 10 个人,其中包括从新加坡引渡回来的操盘者。 IRS 的取证还显示:某家做市公司的交易里,连续 1221 笔交易中有 1209 笔直接回流到了该公司自己控制的钱包——99% 是自循环的左手倒右手。 FBI 用这两次行动,证实了整个加密圈一直怀疑、却没人能拍板说死的事: 交易量是假的,K 线是画出来的,所谓的"动能"是人为制造的。 每一次你因为"K 线看起来很看涨"而买入一个币——你可能正是别人出货的接盘侠。
中文
93
136
618
156.9K