来源: oschina.net
44
6月3日，José Valim签发了Elixir v1.20。这个版本的意义不在新函数或新模块，而在一件事：Elixir正式成为一门渐进式类型（Gradually Typed）语言。从今天起，即使你一行类型注解都不写，编译器也能推断出类型并报出潜在错误；而当你愿意标注类型时，检查精度会进一步提升。 渐进式类型的核心承诺是零注解也有收益。传统渐进类型语言...
来源: oschina.net
58
海南中小学智慧教育基础环境建设项目二期中标结果刚出炉，麒麟软件拿下超过 3.2 万套，整体占比 94.30%。其中桌面操作系统中标率 100%，触控一体机 OPS 操作系统中标 2700 余套。加上一期 3 万余套，两期合计已超过 6 万套银河麒麟操作系统进入海南中小学课堂。 数字本身足够醒目，但更值得关注的是：6 万套国产操作系统怎么在一省范围内批量...
来源: oschina.net
45
如果你用过旧版 CodeForge，印象大概停留在"选个语言，贴一段代码，点运行"——一个方便但单薄的在线执行器。v26.0.0 把这个定位彻底翻掉了：多标签、文件树、就地运行、AI 助手一齐落地，CodeForge 现在更像一个能真正写项目的轻量 IDE，而不是一个 REPL 网页。 这次更新量很大，挑几个对日常开发影响最直接的来说。 旧版 Code...
来源: oschina.net
50
Anthropic 工程团队最近公开了他们在三款 Claude 产品中构建 Agent 安全隔离的完整思路。这不是一篇泛泛而谈的"安全最佳实践"——它直接回答了一个工程难题：同一个模型，跑在不同风险等级的产品里，隔离策略该怎么分层设计？ 三款产品分别是面向普通用户的 claude.ai、面向开发者的 Claude Code、面向企业协作的 Claude...
来源: oschina.net
48
GitLab 上月宣布了一轮幅度不小的重组——裁减约 350 名员工，占全员 14%。这不是一次单纯的成本缩减。CEO Bill Staples 在电话会议上明确表示，公司同时要退出 22 个国家市场、压缩管理层级，并把资源集中到基础设施扩建和研发上。驱动这一决策的核心变量是 AI 工作流——GitRunner 和 CI/CD 管道正在承接越来越多的大...
来源: oschina.net
50
Build 2026 上，微软软件工程副总裁 Chris Anderson 说了一句开发者等了多年的话："我们无意构建新框架。"伴随这句话落地的还有一个更直观的变化——WinUI 3 的品牌名称正式被放弃，今后只叫 WinUI。 少一个数字，多一份确定性。 过去几年，Windows 原生 UI 框架的命名一直在变：WinUI 2 是 UWP 时代的 X...
来源: oschina.net
49
做视频的人大概都踩过字幕的坑——编码乱码、格式不兼容、时间轴偏移几秒整段对不上。Subtitle Edit 从 2001 年就开始啃这些问题，4.0.16 是这条路上的又一个维护版本。虽然更新日志看起来平淡（翻译更新、小修复），但工具本身值得重新认识，尤其是它覆盖的八种字幕格式和编码处理能力。 Subtitle Edit 支持的字幕格式覆盖了从早期 D...
来源: oschina.net
47
山西网安部门近期集中曝光了 5 起利用 AI 技术制造传播网络谣言的典型案例。其中一起尤为典型——某网民为博流量，用 AI 生成了一段"大同车间爆炸"的视频文案，声称"伤者面部烧伤面积 100%"，引发大量关注。经查，涉事企业根本没有发生此类事故。 这不是孤例。5 起案例的共同特征很清晰：低成本生成 + 高情绪刺激 + 快速扩散。AI 把造谣的门槛从"...
来源: oschina.net
58
Uber 近期给内部工程师的 AI 编码工具定了一条硬规矩：每人每工具每月上限 1500 美元。Cursor、Claude Code 这类 Agent 编码软件各自独立计算额度，互不挤占——同时用两款，月预算天花板就是 3000 美元。这条政策看似只是内部管控，实际上为整个行业提供了一个难得的锚点：企业到底愿意为单个工程师的 AI 辅助编码付多少钱？ ...
来源: oschina.net
109
Angular v22 正式落地。这次更新最大的信号是：多个此前标记为"实验性"的特性正式摘帽，进入生产就绪状态。对日常写业务代码的开发者而言，最直接的冲击来自 Signal Forms——一套彻底重构的响应式表单 API，它把过去两套割裂的表单方案揉合成了声明式、可组合的新形态。同时，Angular Aria 让无障碍支持不再依赖手动堆属性，而面向 ...