caesun

2.8K posts

caesun

caesun

@caesun

TKY Katılım Kasım 2010
1K Takip Edilen110 Takipçiler
Andy Stewart
Andy Stewart@manateelazycat·
你们发现没? AI之前程序员为了争论哪个编程语言好,要用什么格式来写代码最美观,用什么IDE或者编辑器写代码最牛逼......争论不休 现在不争了,因为现在大家都开个终端用自然语言编程了 程序员不争论是不科学的,所以,推特上大家都在争论哪个终端好用 到底哪个终端好用?🤣
中文
37
1
64
19.2K
张大勇
张大勇@yesmusk16898·
@Lawrenc09874431 你这就有点胡说八道,那一车原油还不够他妈路上2000公里的油费
中文
3
0
18
2.9K
Lawrence 精卫
Lawrence 精卫@Lawrenc09874431·
巴基斯坦为伊朗开通了6条公路,以便能通过陆路把石油运往中国。巴基斯坦是协调美伊和谈的“中立国”,很讽刺。 一个油轮的运油量,大概需要 1 万辆卡车装载。伊朗与中国之间将出现浩浩荡荡的车队,蔚为壮观!
Lawrence 精卫 tweet media
中文
144
54
419
80K
caesun
caesun@caesun·
@shenshiduoshi @dotey 中国卖欧洲1000美元一发炮弹,然后从俄罗斯买1000美元石油,俄罗斯又用800美元造了2发炮弹打欧洲,200美元给普京小女友发红包
中文
0
0
0
185
Stone
Stone@shenshiduoshi·
@dotey 订单交给中国,一个月搭起生产线,三个月交货,不满意还可以仅退款,半年以后毒刺变毒鞭,威力翻十倍,价格降到十分之一😂
中文
4
0
8
4.1K
宝玉
宝玉@dotey·
转译:西方忘了怎么造东西,现在也快忘了怎么写代码 作者:Denis Stetskov 2023 年,在巴黎航展上,雷神公司的总裁站在台上,讲起他们为了重启“毒刺”导弹(Stinger)生产线,到底费了多大劲。 他们把一批 70 多岁的老工程师请了回来,让这些老人教年轻员工怎么造一枚导弹。图纸还是卡特总统时代画在纸上的老图纸。测试设备已经在仓库里躺了很多年。导弹的鼻锥还得靠手工安装,方法和 40 年前一模一样。 五角大楼已经 20 年没买过新的“毒刺”了。然后,俄罗斯入侵乌克兰,局势一下变了:所有人突然都需要这种导弹。 可生产线早就关了。电子元件已经过时。导引头组件也停产了。2022 年 5 月下的订单,要到 2026 年才能交付。 整整 4 年。 不是因为没钱,而是因为真正知道怎么造它的人,十年前就退休了,而且没人接上。 我在乌克兰带工程团队。我的团队见到的是这个问题的另一面。不是工厂车间,而是战场上接收武器的那一端。 当雷神还在努力根据 40 年前的蓝图重启生产时,美国已经在向乌克兰运送成千上万枚“毒刺”。RTX 首席执行官 Greg Hayes 说,10 个月的战争,消耗掉了相当于 13 年产量的“毒刺”。 这种模式,我太熟悉了。它现在正在我的行业里重演。 一百万发炮弹,没人造得出来 2023 年 3 月,欧盟承诺在 12 个月内向乌克兰提供 100 万发炮弹。 当时,欧洲一整年的炮弹产能只有 23 万发。而乌克兰每天就要消耗 5000 到 7000 发。 任何人拿个计算器算一下,都知道这事根本不可能。 到了最后期限,欧洲只交付了大约一半。马克龙后来称,最初那个承诺太鲁莽。由 9 个国家、11 家媒体联合发起的一项调查发现,欧洲真实的生产能力大概只有欧盟官方说法的三分之一。 那 100 万发炮弹的目标,直到 2024 年 12 月才真正完成,比原计划晚了 9 个月。 问题不是某一个环节卡住了。是每一个环节都卡住了。 法国在 2007 年就停止了国内发射药生产,整整 17 年没有继续做。欧洲唯一一家主要 TNT 生产商在波兰。德国自己的弹药储备只够用两天。丹麦一家 Nammo 工厂在 2020 年关闭,后来不得不从零开始重启。 整个欧洲国防工业,长期以来都被优化成一种模式:生产少量、昂贵、定制化的产品。没人为大规模生产做准备。也没人为危机做准备。 美国也好不到哪里去。 155 毫米炮弹壳主要靠宾夕法尼亚州斯克兰顿的一家工厂;爆炸物填装则依赖爱荷华州的一处设施;美国从 1986 年起就没有本土 TNT 生产了。 后来砸进去几十亿美元,产量依然没达到目标的一半。 要么合并,要么死 这不是偶然。 1993 年,五角大楼告诉国防企业的 CEO 们:要么合并,要么死。 于是,51 家主要国防承包商最终缩成了 5 家。战术导弹供应商从 13 家变成 3 家。造船厂从 8 家变成 2 家。国防工业劳动力从 320 万人降到 110 万人,砍掉了 65%。 弹药供应链到处都是单点故障(single point of failure,指一个环节出问题就会拖垮整个系统)。 155 毫米炮弹壳只有一家制造商,位于加州科切拉,而那里就在圣安德烈亚斯断层上。发射药装药也只有加拿大的一处设施能做。 整个系统被优化到成本最低,却几乎没有任何应急余量。 纸面上看,很高效。 现实里,只差一个坏日子,就会崩。 知识一旦死去,就很难复活 再看 Fogbank。 Fogbank 是一种用于核弹头的机密材料。它在 1975 年到 1989 年间生产,后来生产设施被关闭。 多年后,美国政府为了一个核弹头寿命延长项目,需要重新制造 Fogbank。结果他们发现,自己已经不会做了。 美国政府问责局(GAO)的一份报告指出,几乎所有掌握生产经验的人,要么退休了,要么去世了,要么离开了相关机构。留下来的记录也很少。 经历了 6900 万美元的成本超支,以及数年的失败尝试后,他们终于做出了可用的 Fogbank。 然后,又发现新批次太“纯”了。 原来的生产工艺里,曾经有一种无意中产生的杂质,而这种杂质对材料功能至关重要。可没人知道这件事。 负责复现的工程师不知道。几十年前做出原始材料的工人也不知道。 洛斯阿拉莫斯把它称为原始工艺中的“无意识依赖”(unknowing dependency):这个环节很关键,但当年没人意识到它关键。 一个核武器项目,竟然失去了制造自己发明出来的材料的能力。 更可怕的是,知识并不只是随着人离开而流失。它从一开始就没有被任何人真正完整理解过。 (更正:原文最初版本曾写道,当年制造 Fogbank 的工人知道这种杂质的存在。事实并非如此。他们也不知道。这个依赖关系是无意形成的,这反而让“知识流失”的论点更强,而不是更弱。感谢评论区的 John F. 指出这一点。) 同一套剧本 我读到 Fogbank 的故事时,立刻认出了这个模式。 我说的不是核材料本身,而是那个熟悉的剧本: 花几十年建立起一种能力。 找到一个更便宜的替代方案。 让人才梯队慢慢萎缩。 享受节省下来的成本。 然后,当危机突然要求你拿回那种能力时,看着一切崩塌。 在国防工业里,那个替代方案叫“和平红利”(peace dividend,指冷战结束后减少军费、把资源转向民用经济的收益)。 在软件行业里,它叫 AI。 我之前写过“人才管道崩塌”的问题。招聘数据、初级工程师到资深工程师之间的断层,都已经有很多证据。还有“理解力危机”:人们会让 AI 写代码,却越来越不理解代码本身。 但我之前一直没有找到一个足够贴切的历史类比。 现在我找到了。 而这个类比告诉我们的东西,是招聘数据看不出来的:重建一种能力,到底需要多久。 重建能力永远需要很多年 国防工业里,每一次大规模恢复产能,哪怕是相对简单的系统,也要 3 到 5 年。复杂系统则要 5 到 10 年。 “毒刺”:从下单到交付,至少 30 个月。 “标枪”(Javelin):花了 4 年半,产量还没翻倍。 155 毫米炮弹:投入 50 亿美元,4 年过去仍没达到目标。 法国直到 2024 年才重启发射药生产,而距离它关闭国内生产线,已经过去了 17 年。 钱从来不是最大的限制。 知识才是。 兰德公司(RAND)发现,潜艇设计中有 10% 的技术技能,需要 10 年在岗经验才能培养出来,有时还得建立在博士学位之后。国防工业里的技术工种,学徒期通常要 2 到 4 年;要达到能当主管的水平,则需要 5 到 8 年。 现在,把这套时间线放到软件行业里。 一个初级开发者,需要 3 到 5 年,才能成长为合格的中级工程师。 需要 5 到 8 年,才能成为资深工程师。 需要 10 年甚至更久,才能成为首席工程师或架构师。 这条时间线,不能靠砸钱压缩。 也不能靠 AI 压缩。 METR 做过一项随机对照试验(randomized controlled trial,医学和社会科学中常用的一种严谨实验方法):经验丰富的开发者使用 AI 编程工具后,在真实开源任务上反而慢了 19%。 开始前,他们预测 AI 会让自己快 24%。结果现实和预期之间,相差了 43 个百分点。 研究人员后来想做后续实验时,相当一部分开发者拒绝参加——如果实验要求他们在没有 AI 的情况下工作,他们就不愿意。他们已经无法想象回到不用 AI 的状态。 账单总会来的 软件行业现在正进入同一种“优化”的第三年。 Salesforce 说,2025 年不会再招聘更多软件工程师。LeadDev 的一项调查发现,54% 的工程负责人认为,从长期看,AI 编程助手会减少初级工程师招聘。计算研究协会(CRA)对大学计算机院系的调查显示,62% 的院系报告今年入学人数下降。 我在代码审查里已经看到了这个问题。 现在,审查才是瓶颈。 AI 生成代码很快。 人类审查代码很慢。 于是行业的答案也很可预测:让 AI 去审查 AI 写的代码。 我不会这么做。 我改造了我们的拉取请求模板(pull request template,开发者提交代码变更时填写的说明模板)。现在,每个 PR 都必须说明:改了什么,为什么改,这属于哪类变更,以及修改前后的截图。 也就是说,我们要给审查者提供结构化上下文,不能让审查者靠猜。 我还在每个项目里安排专门的审查人员。更多双眼睛,就有更多机会发现模型漏掉的问题。 但这些仍然解决不了更深层的麻烦。 现在真正需要的能力已经变了。 光有技术能力不够。你还需要能主动负责、能清楚沟通取舍、能反驳机器给出的糟糕建议——哪怕那台机器说话听起来无比自信。 这些其实是领导力。 我们上一轮招聘就能说明这种人有多稀缺:2253 名候选人,2069 人被淘汰,最终录用 4 人。转化率只有 0.18%。 既有技术能力,又有判断力、能看出 AI 什么时候错了的人,在市场上几乎已经不存在了。 我们会记录一切。 Site Books、SDD、RVS 报告、带完整测试覆盖的样板模块……这些今天都有用,因为读这些文档的人,本身具备足够的工程能力,知道该怎么行动。 可如果以后读文档的人不具备这种能力,会怎样? 坦白说,我不知道。 也许 5 年后的 AI 足够强,这些问题就不重要了。也许问题仍然可控。我没法预测 2031 年模型会强到什么程度。 但危机不会提前给你发日历邀请。 没人预料到 2022 年欧洲会爆发全面陆地战争。国防工业有 30 年时间做准备,但它没有。 就连 Fogbank 当年也有记录。只是记录不够。更糟的是,原来的工人甚至没有完全理解自己的工艺。 5 到 10 年后,我们会需要资深工程师。 我们会需要那种真正理解系统全貌的人;需要能在凌晨两点调试分布式故障的人;需要携带着那些代码库里根本不存在的组织知识的人。 可这些工程师现在还不存在,因为我们没有在培养他们。 本该现在学习成长的初级工程师,要么根本没有被雇用,要么正在形成一项由美国国防部资助的劳动力研究称为“AI 中介能力”(AI-mediated competence)的东西。 他们会提示 AI。 但他们说不出 AI 错在哪里。 这就是代码行业的 Fogbank。 当初级工程师跳过调试,跳过那些塑造能力的犯错过程,他们就无法建立隐性知识(tacit expertise,指难以写成文档、只能通过实践积累的经验性能力)。 等我这一代工程师退休时,这些知识不会转移给 AI。 它只会消失。 西方已经犯过一次这样的错误。账单在乌克兰到期了。 我知道这听起来像什么。我也知道,我之前已经写过人才管道的问题。 但国防工业这个例子,不是为了重复同一个论点。它是为了展示:如果行业现在对 AI 的期待落空,会发生什么。 “毒刺”、“标枪”、Fogbank、那一百万发没人造得出来的炮弹——这就是把赌注押在“优化”上,结果赌错之后要付出的代价。 而我们现在,正在软件工程上押下同样的赌注。 也许 AI 会变得足够强,这场赌局最后会赢。 也许不会。 当年的国防工业,也以为和平会永远持续下去。 来源:techtrenches.dev/p/the-west-for…
宝玉 tweet media
中文
37
178
676
134.6K
caesun
caesun@caesun·
@MrGafish shadowrocket太难用了,stash看上去好一些
中文
0
0
0
178
Mr Gafish
Mr Gafish@MrGafish·
我今日最大的迷惑竟然是这个 上次说了我帮我外甥女电脑装了梯子,然后很多人回复问我电脑怎么装梯子。 我脑子有点蒙,我一直以为电脑翻墙和手机翻墙,其实是一回事,没想到每个人的理解还有很大差异。 我的方案是这样的,手机上是Shadowrocket,电脑上是Clash Verge
Mr Gafish tweet media
中文
83
4
93
36.9K
Duius_17
Duius_17@Eizo_999·
@0xMilkRabbit 早期的谷歌浏览器扩展,油猴脚本就能搞定的东西。。。
中文
2
0
5
752
最爱吃兽奶的兔🐰
最爱吃兽奶的兔🐰@0xMilkRabbit·
发现一个 AI 赚钱的新路子 最近有个朋友想让我写代码帮她刷公司的网课(一共几百节), 她的网课很特殊:无法倍速、播放中随机弹窗问答题、并且每节课看完都有考试。 我 debug 后,发现这网课限制很严,不能靠代码实现倍速和连播🧐, 于是想到了 Codex 新出的 Computer Use 功能: 我给 AI 描述了操作步骤, 让它完成:看到弹窗时自动答题 + 看完课自动考试 + 自动播放下节的需求。 为了节省 Token ,我使用了 Codex 的自动化能力, 不让 AI 看完整视频,而是每隔几分钟自动唤起一次判断是否要进行操作。 挂了一天, Codex 已经刷完了一半的课,节省了朋友至少「几十个小时」的时间。 朋友惊了没想到这么快, 说她其他同事也很需要(毕竟成年人的时间都很宝贵),他们都想付费让我帮刷。 我:?小小的脑袋大大的疑惑 惊讶于这也能是个路子?于是我立马去某鱼搜,果然已经有人在提供这项服务了(只不过可能是别的方式), 侧面说明「刷网课这件事有不少受众」…… 想 AI 搞副业的小伙伴可以试试,也不费时间,开几个 Codex 任务就能一起刷了 🤣 其实, 之前刷到 X 上有很多吹 Computer Use 的, 但我只试用几个场景就吃灰了, 因为大部分需要自动化的场景,觉得 AI 操作 GUI 不如写个脚本来的快。 现在第一次感觉到了 Computer Use 的潜力, 尤其对这种需要鼠标「重复交互」+「需要自主判断答题」场景,AI Agent + Computer Use 简直太好用了! AI 时代,果然到处都是路子……
最爱吃兽奶的兔🐰 tweet media最爱吃兽奶的兔🐰 tweet media
中文
53
60
518
81.2K
caesun
caesun@caesun·
@Kunda623270 @qkl2058 @grok 基本真实 实际上,解决的是 Erdős problem #1196(不是1176),这是一个关于“primitive sets”(原始集合)的数论问题,由 Erdős、Sárközy 和 Szemerédi 在大约60年前提出。
caesun tweet media
中文
1
0
1
918
区块链行情研究
区块链行情研究@qkl2058·
一个 23 岁的小伙子,拿 ChatGPT 5.4 Pro 把一道 60 年没人解出来的 Erdős 问题给破了。 而且是一发入魂,一次就成。ChatGPT 花了 1 小时 20 分钟跑出答案。 最有意思的是,解题用到的那个公式,圈内人都知道,但从来没人想过能套在这道题上。 想看完整过程的,我把问题和对话记录放第二条帖子了。
区块链行情研究 tweet media
中文
5
10
73
375.2K
Panex
Panex@yyffzzrr·
@freeman1266 想用我的win本去跑下试试,32g内存,有个3080 laptop显卡不知道够用不
中文
2
0
1
1.5K
老金
老金@freeman1266·
用Mac mini 本地部署了 gemma4 26b 和 qwen 3.6 35b,从速度上看,gemma 4真的是快;问了经典洗车问题,gemma 能回答出开车去,但很啰嗦;qwen 回答不准确。虽然很多人吹 qwen 3.6 多好,但如果是本地模型,我暂时还是会选择 gemma 4
老金 tweet media老金 tweet media老金 tweet media老金 tweet media
中文
48
3
79
31.8K
caesun
caesun@caesun·
@mieweilei1 @XXY177 98年数码相机全世界基本上也只有柯达的几个型号,国内非常少,我那时公司有可以自己拿来玩。
中文
0
0
0
116
滅偽類
滅偽類@mieweilei1·
@XXY177 98年的手機應該已經有拍照的功能 除非這個老兄無手機
中文
22
0
1
17.3K
夏雪宜
夏雪宜@XXY177·
你见过的人间尤物是什么样? 下图是90 年代珠海游戏厅里的一眼惊艳! 晚上逛论坛,无意间看到这张老照片,顿时眼前一亮。 分享这张照片的50岁老哥说,这是他98年去珠海打工,休息时和同事去游戏厅玩,看到的一位美人,籍贯湖南。 老哥说看到的第一眼就心怦怦跳,被她的颜值、身材震撼了小心灵。 那一上午,老哥都心不在焉的玩游戏。总是找到空档就跟她搭话聊天。 去了几回游戏厅后,俩人也算认识了。 后来老哥提了个请求,想给这位湖南美人拍张照。 美人同意后,老哥找主管借了数码照相机,拍下了这张照片,留作纪念。 当时数码相机还是稀罕物,主管舍不得借,担心老哥弄坏了。 老哥请了顿大餐才搞定。 本来老哥是想追这位美人,可后面接触后,发现很多人在追她,其中有些还是大老板。 老哥自觉没戏没实力,后面就放弃了这个念头。 半年后,美人离开了游戏厅。 那时手机也没普及,虽然留了老家地址,可以写信联系。 但老哥写了几封信后,从没收到过回信,就这样和她失去了联系,只留下这张照片。 如今,哪怕老哥早已经成家立业,孩子都上大学了,这张照片也没扔掉。 它夹放在一本书里面。老哥偶尔怀念青春时,会拿出来看看。 我看到这张美人照时,也不由的感慨:没有美颜滤镜,没有 P 图整容,就是实打实的原生好看。 那时候的姑娘,美在自然,美在真实,皮肤的纹理、眼神的灵动,全是生活里长出来的鲜活劲儿。 不像现在很多美女,是整出来的,靠厚厚的粉底化出来的。 这样的美人哪怕放到现在,走在大街上,保证回头率特别高。 说真的,自然美永远是顶流。
夏雪宜 tweet media
中文
200
45
721
283.1K
核斯特酸酸
核斯特酸酸@Rytire1·
@JZhen72937 那问题来了,在不使用计算器的情况下,我怎么快速得出51/7.14的大概值呢?
中文
1
0
2
1.4K
镜月指针
镜月指针@JZhen72937·
小学高阶数学思维 一分钟学会徒手开平方,边听歌边学习的视频我读书时怎么就没有呢?
中文
15
73
996
36.3K
caesun
caesun@caesun·
@astraorsa Excel最新的几个函数很有用啊
中文
0
0
0
46
千草茶
千草茶@astraorsa·
我觉得 Office 十年前就已经死了,从 Office 2016 到现在代号一直是 Office16,这十年除了 UI 基本也没什么变化,靠使用惯性一直维持到现在
中文
64
7
336
107.4K
Endless
Endless@cnpreviwer·
@crypto_daha @leeeboo 有次高铁,一男女让我换后座去,后座那男的脱袜子踩椅子上吃盒饭,地板很脏,然后我要求换回来。再然后,tnnd他们和吃饭的男的换位了……躲都躲不掉,还好过了几站那男的下车了
中文
3
0
0
13.6K
哈哈哥
哈哈哥@crypto_daha·
如果你问我什么时候真真切切的感受到了社会的巨变,大概是今天高铁上,一个女的对我说,"你把我的行李放上去,有点重",没有你好,没有请,没有帮
中文
1K
43
1.6K
459.8K
liqiangdong
liqiangdong@luan59538·
@AriXZone 中国人有几个还记得“钱云惠”的?好像是这个名字。
中文
3
0
0
3.1K
魔都老猿
魔都老猿@AriXZone·
原村支书开铲车当着民警面把人埋了?网友质疑民警未及时制止;山西代县公安局:已向警督部门反馈,正处置。 4月16日,山西代县一卸任村干部因土地纠纷,用铲车推土埋村民,引发关注。 据新京报我们视频4月24日报道,事发4月16日,事发后被埋村民被及时救出,未受伤。驾驶铲车的任某于4月17日被警方刑拘。初步了解,双方因土地问题产生纠纷,目前事件具体缘由,警方正全力调查。
魔都老猿 tweet media魔都老猿 tweet media
中文
20
22
222
61.8K
caesun
caesun@caesun·
@MrGafish 昨天Gemini帮我查了一个Windows异常刷新的问题,写了一堆ps1脚本最后定位成功,国产的模型做不到。
中文
0
0
0
28
Mr Gafish
Mr Gafish@MrGafish·
风向好像又变了,曾经吹捧的 Gemini,现在又被大家嫌弃的一无是处了
中文
729
21
816
596.6K
caesun
caesun@caesun·
@yuashwe 路中心不是实线的话行人无责。
中文
1
0
1
399
老多
老多@yuashwe·
这个责任应该怎么认定 提示一下,女孩骑的是小摩托车,证照保险齐全,没有逆行,这是双车道,没有超速,这条路限速50。过马路男的两颗门牙一掉一断,现在还在住院
中文
23
0
24
10.6K
caesun
caesun@caesun·
@yeahwu404 左边的似乎有剖宫产痕迹?右边的明星腿长啊。
中文
0
0
0
115
七舅姥爷
七舅姥爷@yeahwu404·
为了以后的孩子,选择左边,😁
七舅姥爷 tweet media
中文
13
0
39
9.3K
caesun
caesun@caesun·
@williamlong 对于战争的理解,红警真的是那个年代最好的启蒙教材。
中文
0
0
1
692
William Long
William Long@williamlong·
美伊战争就像双方在打红警,美国只出动海军空军,先把伊朗雷达、防空、船厂、兵工厂炸了,伊朗的兵营猛造防空兵,打了一个月,美国才猛然发觉,怎么伊朗矿车还在大摇大摆地采矿,于是开始打伊朗矿车,伊朗没了矿车,没法再造新建筑,但还不认输,美国于是又威胁要炸发电厂和桥梁。其实,打过红警地都知道,第一波轰炸就该炸发电厂、矿场、船厂、兵工厂、桥梁,使其经济崩溃‌,然后保持空海单位轮番轰炸,防止其恢复生产建造,这才能快速终结战斗。
William Long tweet media
中文
94
9
197
73.2K
caesun
caesun@caesun·
@maoshen 活动件太多,卡死一个全完蛋。 每年要保养,5年全部换一次。露天日晒雨淋太容易坏了。
中文
0
0
2
125
猫神
猫神@maoshen·
这是个好创意,应该优化完善后普及 把防盗窗改造成逃生通道,一旦发生火灾,可以从防盗窗出来
中文
54
8
69
25.8K
YiFeng Su
YiFeng Su@sam51824016070·
我的道德和我的笑點在打架 🤭🙊
日本語
93
101
600
94.8K