最新科技资讯 第77页
聚合 AI、科技、商业、硬件与开发工具的最新内容，按时间顺序查看第 77 页精选文章。
Ghostel:借来的引擎,给 Emacs 终端换了个内核
Ghostel 用 Ghostty 同款引擎 libghostty-vt 替代 libvterm,补上 Kitty 图形、OSC 8 等 vterm 和 eat 都没有的协议能力。首次使用会自动下载原生模块,免去本地编译,但把信任成本换了个地方。长期维护落在第三方项目而非 Ghostty 官方,能不能跟上引擎迭代还是未知数。
62岁女工获救背后：官方通报里,那个『55年』其实没写清楚
巴西福塔莱萨一名62岁女工被曝自7岁起为同一家族服务55年、未获分文报酬，联邦警察等多部门于6月下旬联合解救；但『55年』这一耸动数字目前只见于媒体推算，官方通报并未直接确认，案件更像是巴西稽查体系近两年明显收紧后浮出水面的又一例。
陶哲轩为什么敢让AI裸写代码,却不敢让AI裸写证明
陶哲轩用AI编程代理几小时内复活了自己1999年写的24个Java applet,还顺手做出当年放弃的时空图可视化工具。真正值得琢磨的不是AI又立功了,而是他对AI的信任是分层的:证明环节死磕Lean验证,可视化教具却直接裸信AI生成的代码。
96亿美元买下海鹰队,NFL却把控制权写给了他的妻子
Vinod Khosla家族以约96亿美元买下卫冕冠军西雅图海鹰队,但签在控制人位置上的是他的妻子Neeru Khosla,而不是身家更高的Vinod本人。这笔交易目前仍待8月NFL球队主投票,尚未真正落地。
这滴油拉断时,发出了玻璃碎裂的声音
Drexel研究者在与ExxonMobil合作的实验中,发现一种几乎无弹性的碳氢化合物液体在拉伸时像玻璃一样脆性断裂,直接挑战了流变学里“弹性才是液体断裂前提”的三十年共识。目前这更像是打开了一个新问题,而不是给出了最终答案。
Goeteia 用自己编译自己首页，但这条路上 Google 已经放弃过一次
开发者 guenchi 发布了自举 Scheme 编译器 Goeteia，官网标题动画本身就是在浏览器里实时编译成 WebAssembly 跑出来的。但这条“Scheme 编译到浏览器”的路此前已经有 Google 的 Schism 半途而废，Goeteia 目前除了官网自述外几乎没有独立验证，社区反响也只停留在一条 Reddit 帖子。
Grok编程CLI实测:让它别读文件,它照样打包上传整个仓库
安全研究者抓包发现,xAI官方编程CLI Grok Build在明确被告知“不要读取任何文件”的情况下,依然把整个代码仓库连同一个密钥文件打包上传到未被文档化的GCS存储桶,关闭训练开关也拦不住。这暴露的不是AI工具会读你代码的老问题,而是上传通道和模型是否读取彻底脱钩的架构设计。
长新冠胃黏膜神经密度腰斩:12人研究给出首个结构性证据
一项意大利团队的12对8小样本病例对照研究首次用胃黏膜活检证实长新冠患者存在胆碱能神经纤维密度下降，并发现其与心率变异性、心脏应激指标相关。这为长期被质疑“查无实据”的长新冠自主神经症状提供了一块组织学拼图，但样本量极小、标记物选择存在争议，距离改变临床实践还很远。
换个显示器就治好了坞站唤醒病?这套因果经不起推敲
一位长期被Thunderbolt坞站唤醒失败折磨的用户说,换了台显示器后问题彻底消失,但他自己也说不清原因。翻查Intel的认证条款、Lenovo的官方文档和这款新显示器的用户反馈会发现,这个因果链其实站不住脚,更像是一次没被戳穿的巧合。
AI审issue、人类捉bug:sqlite-utils维护者的新工作流
Simon Willison发布sqlite-utils 4.1,新增六项CLI与API能力,其中STRICT表迁移功能看似是亮点,实则STRICT本身早在更早版本就已支持,4.1真正补的是SQLite自己都做不到的'表结构搬家'。更值得记的是发布过程本身:issue优先级由Codex筛选,代码由AI生成,而两个真实bug是Willison要求AI跳出自动化测试、手动敲代码验证边界情况才被揪出来的。
募资2亿冲3.5亿:乔布斯之子的肿瘤基金,故事讲得比钱到得快
Reed Jobs不愿多谈姓氏,更想聊他三年来打造的肿瘤专项基金Yosemite,但真正值得核实的是数字:二期基金目标3.5亿美元,目前只募到过半;所谓AI+肿瘤+慈善的混合叙事,同行其实早已在做。
官司大概率打不赢，竞业协议照样能拴住你
OECD对15国逾3万名工人的调查显示，竞业禁止条款早已下沉到低收入、低教育的普通员工身上，近一半人一分钱补偿都拿不到，却依然让人不敢跳槽——因为条款靠的是让人相信会被起诉，而不是真打赢官司。美国想一次性禁掉它却被法院叫停，欧洲式精细审查更稳健，但慢，也未必解决问题的根子。
小鼠举铁完胜跑步,但这个结论到人身上打了折扣
弗吉尼亚理工团队用一套自制的小鼠举重装置做了8周对照实验,发现抗阻训练在减脂、改善糖耐量和胰岛素抵抗上全面优于跑步,但优势成因不明。人体既有证据显示有氧与抗阻效果相近、联合训练才最优,这个小鼠结论离写进运动处方还有距离。
399美元双缸雪泥机走红,但那个'48盎司'的说法没说全
Ninja新款双缸冷冻饮品机Slushi Twist售价399.99美元,能同时做两种不同口味的冷饮,TechCrunch编辑称其为热浪救星。但官方标注的72盎司容器容量与48盎司建议加注量存在表述差异,加上399.99美元卡在349.99美元初代与249.99美元CREAMi之间,这台机器到底值不值,比一篇好评测复杂得多。
闲置GPU拼成云主机？iroh的Mesh LLM，自报数字先打了自己的脸
iroh发布开源项目Mesh LLM，把用户自有的多台GPU设备用P2P协议连成一个mesh，对外暴露成统一的OpenAI兼容接口，还给出了一组亮眼的加载速度和吞吐优化数字。但这些数字全部来自项目自报、未经第三方验证，官方博客里的模型数量和GitHub仓库地址都能查出前后不一致，说明这个项目现在更接近一份精心打磨的说明书，而不是可以放心接生产流量的成熟产品。
开源掌机RISCBoy：芯片比Analogue Pocket小六倍，却连GBA游戏都玩不了
开发者Wren6991在GitHub发布RISCBoy，一个从RISC-V指令集到PCB布线全部自己画的开源掌机项目，目标是塞进仅7680个逻辑单元的iCE40-HX8k FPGA——不到商业掌机Analogue Pocket所用芯片的六分之一。它不能玩GBA游戏，更接近一份手把手的全栈造机教材。
已经问过Claude了，专家却还是说“去问Claude”
科技博主Yael Grauer在博客String Literal撰文，讲述自己两次带着已被Claude折腾数小时仍未解决的难题去请教资深从业者，得到的回复却是“去问Claude”。这暴露的不是AI能力问题，而是专家免费咨询劳动正变得稀缺、“去问AI”正在成为新一代最体面的推脱说辞。
两强跌破80%：印度UPI月流水227亿笔背后的裂缝
2026年6月印度UPI单月交易量达227.2亿笔，稳坐全球实时支付第一，但支撑其App层的PhonePe与Google Pay合计份额首次跌破80%，寡头格局出现裂缝。所谓“全球最大”的对比证据其实停留在三年前，而Pay与Collect两种支付方式里PIN授权时机的差异，才是普通用户更该看懂的风险点。
Nopia合成器“基本完工”了,官网却说价格和发售日“尚未公布”
The Verge称走红两年的Nopia和弦合成器“基本完工”,但官网自己写着价格和发售日都“尚未公布”,团队口径是“完成开发、进入测试”。“基本完工”离“马上能买”还有一段没人说清的距离。
冷启动5.4毫秒碾压Node/Deno/Bun,这条Show HN帖却查无实据
Ant自称从零手写JS引擎Ant Silver,单文件9.1MB、冷启动5.4毫秒全面压制Node、Deno、Bun,还宣称100%通过WinterTC兼容测试,但检索不到任何第三方复测、社区讨论,连对应的Hacker News讨论串都找不到。造引擎这件事历史上鲜有独立团队走到生产级完整度,眼下这些数字只能算自证。
俄军卡车刷斑马纹:这层迷彩专骗AI,不骗人眼
俄军卡车最近开始刷上黑白条纹,这层涂装骗不过人眼,却专门用来干扰无人机的机器视觉系统。它是俄乌战场'多光谱伪装'军备竞赛的一个缩影:躲避对象已经从人的眼睛,变成一层层叠加的传感器和识别算法,而这门手艺的实战效果目前主要来自厂商自述。