最新科技资讯 第4页
聚合 AI、科技、商业、硬件与开发工具的最新内容，按时间顺序查看第 4 页精选文章。
Rust 立项废弃 Pin:Move trait 真正解决的是析构时序,不是移动本身
Rust 项目组把「Immobile types and guaranteed destructors」列入 2026-2027 路线图,拟加入 Move、Destruct、Forget 三个新 trait,目标是废掉 Pin。这次改动补的不是移动语义,而是地址稳定性和析构时序两个此前靠补丁维系的漏洞,落地速度要看内核验证和 RFC 进度。
钥匙可以当天给,国籍却要等14个月——一个土耳其工程师的德国九年
土耳其工程师Mert Bulan用九年时间从汉堡实习生变成德国公民:2025年5月提交入籍申请,历时约14个月,2026年7月领证,并按德国2024年新规保留了土耳其国籍。他笔下最动人的是钥匙直接交手、公交车永远不查票这类信任细节,但真正决定他能不能留下的,从来是审批周期和长期合同这类硬制度。
别再把Claude的话原封不动甩给我
科技博主Niklas Gruhn提出“meat proxy”一词，批评人们把Claude的回复原封不动转发到Slack、PR评论和群聊里；核查发现这个说法目前还没进社区热议榜，但它精准点破了一个正在发生的事——转发者省了时间，验证的活儿却甩给了下一个人。
AI迁移COBOL到Java,论文说91.90%覆盖率——剩下的8%才是真问题
一篇讲COBOL迁移到Java如何做确定性验证的工程论文,被外部标题包装成'AI迁移惹祸';论文核心其实是一套双运行环境+witness search+parity校验的方法,内部生产级案例上跑出91.90%分支覆盖率。问题是,这套'用AI验证AI'的工具本身只有3个样本、且未见第三方复现,离真正可信还有距离。
ssh.place无需注册,但你的SSH密钥正在被悄悄记录
ssh.place用一条ssh命令和SSH公钥指纹搭出一个免安装、免注册的协作画布,把r/place搬到终端里。但技术细节显示,它的三层限流理论上可被绕过,可选的事件日志也把每次落子和密钥、网络信息绑在一起,和它宣传的“无账号”并不完全对得上。
'Qwen3.8-Max'刷屏,阿里官方渠道却查无此模型
一篇自称阿里云官方发布的'Qwen3.8-Max'博客称模型达2.4万亿参数并将开源权重,但qwen.ai和GitHub官方渠道均查不到这个名字,唯一对应的真实型号Qwen3-Max在参数、训练数据和开源策略上都与文章描述不同。在权威信源确认之前,文章里那些具体数字都不宜直接采信。
苹果老将解雇案查无案号，IMEI隐私指控该信几分
苹果一名16年老兵称因拒绝向AT&T发送客户IMEI而被解雇，起诉苹果及两名经理，审判定于2027年11月，但公开法院记录目前查不到与之匹配的案号。指控仍停留在原告单方陈述阶段，IMEI是否构成受法律保护的个人信息，本身也是一道没有统一答案的题。
兼容性做到100%,却连一块硬盘都读不了:CP/M-386的早期悖论
GitHub项目CP/M-386把这套1970年代的操作系统搬进了386保护模式,BDOS兼容率对老版本CP/M做到100%,但目前没有任何存储和网络驱动。工程验证做得极其扎实,实际可用性却几乎为零,这个落差本身比项目功能更值得琢磨。
人工审核也换不来OSM的写入许可
独立开发者Andrea Grandi原计划让Book Corners把用户提交、审核通过的图书角数据回写进OpenStreetMap,调查后发现这会同时撞上Import Guidelines和Automated Edits两套治理规则,最终无限期搁置。这不是他一个人过度谨慎,OSM社区论坛上早有几乎同构的先例给出过同样答案。
一款存在一年半的小工具，为什么现在才敢发1.0
独立开发者Simon Willison给用了一年半的小工具condense-json发布1.0版本，靠字符串去重压缩LLM工具的SQLite日志体积。它和gzip、CBOR这类通用压缩方案的定位完全不同：省的不是磁盘，而是让日志在不解压的情况下就能被直接查询。
允许两年后突然翻脸：俄亥俄州博览会海报赛2027年起禁AI
俄亥俄州博览会公布了2026年海报大赛前五名获奖者，同时宣布这项自2024年创办起允许AI辅助创作的比赛，2027年将全面禁用AI。官方给出的理由只是'AI变化太快'和'感谢观众反馈'，却没有交代任何具体触发事件，这本身就是一个值得读者警惕的信息空白。
心智是计算机?这场哲学官司还没判完,硅谷已经拿它当结论用了
斯坦福哲学百科关于“计算主义心智理论”的词条从2015年写到2024年底仍在改，取代了2003年的旧版本，说明“心智是不是图灵机”从来不是定论。围绕它的“平凡性”反驳、中文屋、具身认知三路质疑至今没有答案，而当下判断大模型是否“理解”的直觉，用的正是这套没打赢的旧论证。
一个自称“内存不安全”的终端模拟器，凭什么说自己更快
开发者pg83发布C++23终端模拟器shitty，用一组100MB cat基准测试宣称跑赢Alacritty、Kitty、Ghostty，卖点却是公开放弃内存安全。这组数字测的更像是PTY吞吐而非真实渲染质量，而“内存不安全”放在终端解析恶意转义序列的场景里，分量比自嘲口号听起来重得多。
给转轴配上老木门声之后，更该问的是这个角度数据到底从哪来
一个用 Rust 写的整活项目 creakwork12，能让 Framework Laptop 12 的转轴开合时发出老木门吱呀声，靠的是每75毫秒读一次转轴角度、做速度滤波再合成音效。但它顺带戳中一个悬而未决的问题：Framework 在 Linux 下到底给不给连续角度数据，还是只有二元的合盖开关。
这篇乐评迟到了四年,专辑却没有变旧
The Verge这篇乐评标注2026年发布,专辑却是2022年就已发行,正文近乎空白;真正的信息量在于Rachika Nayar用颗粒合成和降速叠层把吉他打碎重建,以及Pitchfork与Resident Advisor对情绪过载截然不同的判断。
MacBook Air没有真断货，只是悄悄涨了$200
关于MacBook Air供应吃紧的报道背后，真正坐实的不是断货，而是苹果6月已经официально涨价200美元；这轮AI抢内存潮里，苹果靠涨价加囤货扛住冲击，Windows阵营却在悄悄砍掉入门配置。
改两个字节绕开X11认证报错，跨主机转发却藏着一个陷阱
开发者Dobrowolski展示了一招二进制补丁：把.Xauthority里的family字段从0100改成ffff（FamilyWild），就能解决容器、chroot、SSH场景下常见的X11认证报错。这招确实比xhost +更克制，但用在SSH跨主机转发时，很多人改的其实是SSH生成的临时代理cookie，而不是本地真实凭证。
奥特曼呼吁控制 AI 开发节奏，但 OpenAI 还没有给出减速承诺
TechCrunch 播客 Equity 讨论了萨姆·奥特曼呼吁行业控制 AI 开发速度的表态。它说明头部实验室开始承认“速度”本身也是安全变量，但没有触发条件、暂停期限和问责机制，这仍是一种立场表达。企业客户和开发者暂时不必据此调整预算或工具链，更该盯住发布延期、模型评估和版本支持是否真的发生变化。
14个模型都能生成 SVG，但这只“哈布斯堡下巴青蛙”还算不上 AI 基准
一项个人测试要求 14 个 AI 模型生成“长着哈布斯堡下巴的青蛙”SVG，现有材料称 42 次输出均得到合法 SVG。但合法文件不等于画对题目；缺少模型版本、运行参数、视觉评分和原始存档，这更像一场有启发性的压力测试，而不是可用于选型的正式基准。
从郁金香到Token：AI泡沫不在技术，而在透支承诺
大模型已经形成按Token计费的真实生意，但市场常把局部能力提前折算成通用智能、机器意识和稳定利润。FSD的监督要求、数据中心的电力成本都在提醒投资者和买家：AI并非没有价值，真正需要折价的是未经验证的承诺。
Fender CEO把乐队比作AI,新闻的信源却先站不住
Fender CEO被曝把翻唱和乐队协作说成「analog AI」,这两天在吉他圈疯传,配的标题一个比一个损。但往回查会发现,这条新闻建立在转述而非逐字引语之上,连说话的人是不是现任CEO都存疑——比起争论AI像不像乐队,更该先问这句话到底是谁、在哪说的。