Loading...
在过去十年里，代码托管平台经历了从开发工具向基础设施的演化。不仅仅是开发者日常协作的载体，更成为支撑科研、产业、信创工程和开源生态建设的根本平台。随着国家数字化战略的深入推进，“代码平台是否自主可控”这一问题，已从技术议题上升为现实战略问题。平台的稳定性、安全性、治理权，决定了其能否承担长期、关...
字节视觉大模型负责人今日内部官宣“暂时休息”
根据网易科技的独家报道，7月17日上午，字节跳动豆包大模型视觉多模态生成方向负责人杨建朝在公司内部宣布“暂时休息”，相关工作已完成交接，其职务由周畅（花名“时光”）接手。周畅所在架构为“多模态交互与世界模型”部门，向Seed基础研究负责人吴永辉汇报。此次人事变动原因未明确，有知情人士称是“家庭因素”，...
谷歌高管澄清 Chrome OS 合并到 Android 的报道
谷歌Android生态系统负责人SameerSamat最近确认，谷歌计划将ChromeOS与Android合并为一个统一平台，未来Chromebook和Android平板电脑将运行基于Android的桌面优化版本，从而提供跨设备的无缝体验。不过，Samat随后在社交媒体上澄清表示，他只是重申了2024年谷歌博客中的公告，即ChromeOS将基于...
Python 核心开发者对 Rust 的期望
PyO3维护者DavidHewitt在2025年Python语言峰会上探讨了对Rust的期望。DavidHewitt指出：“根据对PyPI上传包中原生扩展的统计估算，有约1/4到1/3的新项目选择Rust实现本地扩展。”他展示了PyO3如何简化Python中的Rust使用，并讨论了Rust在支持Python自由线程方面的优势，以及在GCC后端...
《自然》网站：中国 AI 模型“又一个 DeepSeek 时刻”
英国《自然》杂志网站16日发表文章说，中国人工智能（AI）模型KimiK2发布后引发轰动，世界迎来“又一个DeepSeek时刻”。中国在6个月内推出第二款令人印象深刻的模型，表明这一成功并非偶然。文章摘要如下：继今年1月DeepSeek-R1震惊世界之后，全球研究人员对中国推出的第二个强大的AI模型越来越感到兴奋。北京月之暗面...
QuestDB 9.0 正式发布，高性能开源时序数据库
QuestDB是一款开源的时序数据库，提供了超低延迟、高吞吐量和多层存储引擎，支持多种协议（如InfluxDB行协议、PostgreSQL协议、RESTAPI），并与许多工具和语言集成，非常适合金融市场数据、实时分析等场景。QuestDB近日发布重大版本9.0，增加了N维数组、日历感知的物化视图(materializedviews)、提高了数据去...
Anthropic 估值飙升至 1000 亿美元，年收入增长四倍
据知情人士透露，Anthropic的最新估值已突破1000亿美元，较四个月前的580亿美元几乎翻了一番。这一估值的提升，主要得益于Anthropic近期向部分投资者披露的财务表现，尤其是其年化收入在2023年上半年增长了四倍，已超过40亿美元。为了支持这一增长，Anthropic在3月完成了35亿美元的股权融资，并计划在今年总计融资5...
Firefox 141 在 Windows 平台正式支持 WebGPU
MozillaGfx团队宣布，在即将发布的Firefox141中，会面向Windows平台正式发布对高性能WebAPIWebGPU的支持。WebGPU赋能网页高性能图形和计算，将有效提升游戏、3D可视化、AI本地推理等场景的体验。WebGPU是由W3CGPUfortheWeb社区组所发布的规范，目标是允许网页代码以高性能且安全可靠的方式访问GP...
四川某科技公司未落实网安保护义务致数据泄露被罚
四川网安部门近日在工作中发现，成都某科技公司开发的购票管理系统因未落实网络安全防护要求，致使系统内部分数据发生泄露，被不法分子利用实施违法犯罪活动。经查，该公司作为涉案信息系统的开发主体及实际运营单位，负有网络安全保护工作的法定职责，但未依法履行《中华人民共和国网络安全法》规定的网络安全保护义务...
OpenCV 4.12.0 发布
OpenCV2025年的夏季更新现已发布。此次更新涵盖了Core、Imgproc、Calib3d、DNN、Objdetect、Photo、VideoIO、Imgcodecs、Highgui、G-API、Video和HAL模块，以及Python、Java和JavaScript语言绑定等众多内容。此次更新的亮点包括：imgcodecs添加了对GIF的编解码支持显著提升了PNG和AnimatedPNG文件的处理能...
AI 编程工具 Windsurf 重新上线 Claude Sonnet 4 模型
AI编程工具Windsurf宣布，Anthropic官方支持的ClaudeSonnet4模型已在该平台重新上线。Pro和Teams用户现在可以使用该模型，在限时折扣期间，每次请求消耗2个积分，相当于每月可进行250次请求。就在上个月，Anthropic在几乎没有预先通知的情况下切断了Windsurf的API访问权限。根据Windsurf的声明...
MiniMax Agent 全栈开发功能正式发布
国产AI公司MiniMax正式发布Agent全栈开发功能，允许用户通过自然语言对话一键构建包含前端和后端的完整应用。该功能支持Supabase后端托管、Stripe支付集成、cronjob定时任务和长链接维持等技术，能够实现API调用、实时数据处理、支付、LLM集成、定时任务和用户认证等复杂操作，且无需人工编写代码。Minimax提供的一个...
月之暗面回应 Kimi K2 API 速度慢：访问量大+模型体积大，正全力优化
月之暗面Kimi官方近日回应了KimiK2API速度慢的情况。月之暗面表示，主要问题是访问量大+模型体积大。月之暗面正在全力优化推理效率，也在加卡加机器。预计这几天内速度会有明显提升。同时，KimiK2是完全开源的，大家也可以通过其他模型供应商接入使用（比如硅基流动、无问芯穹等），欢迎自行部署。模力方舟现已上线...
Scale AI 裁员14%、终止 500 名承包商
彭博社报道称，美国数据标注初创公司ScaleAI正面临重大调整，宣布裁员约14%（约200人），同时终止与500名全球承包商的合作。此次调整正值高层人事巨变之后——上月，Meta以143亿美元的估值聘请了ScaleAI原首席执行官亚历山大·王（AlexandrWang），引发外界对其公司未来走向的猜测。现任临时CEOJasonDroeg...
Zadig 支持 Microsoft Teams 集成，实时通知触手可及
在现代开发流程里，实时掌握系统状态与接收通知，是保障团队高效协作的关键要素。Zadig作为功能强大的DevOps平台，如今已支持与MicrosoftTeams进行集成，开发者可以通过Teams实时获取Zadig的工作流动态，团队成员能够实时掌握最新信息，进而提升整体协作效率。
:tada: 对标 Coze 和 Dify，Java 开发的 AIFlowy v1.1.1 发布
AIFlowyv1.1.1正式发布了！:tada:如果你也在使用AIFlowy，欢迎为我们点个Star支持一下:star2:：:link:Gitee地址：https://gitee.com/aiflowy/aiflowy你的每一个Star都是对我们最大的鼓励，也是让更多人看到AIFlowy的关键一步！我们的愿景始终如一：:small_blue_diamond:成为中国最具影响力的人工智能品...
LinkAndroid v0.7.0 系统兼容性提升，底层基础库优化
在日常工作与生活中，频繁在安卓手机与电脑间切换操作是不是让你感到头疼不已？文件传输繁琐、应用管理不便、投屏体验不佳……这些困扰，LinkAndroid帮你统统解决！作为一款强大的连接工具，LinkAndroid致力于轻松连接安卓与电脑，为大家带来投屏、文件管理、应用管理、截屏、录屏、安装应用等一站式便捷体验，全面...
前 OpenAI 工程师长文回顾工作一年经历
CalvinFrench-Oven是前OpenAI工程师，曾参与开发编程Agent「Codex」项目，三周前从OpenAI离职。近日，Calvin通过一篇博客长文回顾了自己在老东家工作一年的经历，包括为了打造编程产品Codex而经历的高强度开发过程。French-Owen强调，他离职并非因为任何“内部矛盾”，而是因为他希望重新踏上创业之路。在入...
Browserless —— 将没有 UI 界面的浏览器部署在 Docker 中
Browserless允许远程客户端连接并执行headless工作，所有这些都在docker内部完成。它支持标准的、未分叉的Puppeteer和Playwright库，并提供基于REST的API用于数据收集、PDF生成等常见操作。
AI 操作系统 NeuralOS 开源，完美模拟 Windows 界面
来自华人团队的开源AI操作系统NeuralOS已经开源发布。这一系统的设计灵感源于著名科学家卡帕西对未来图形用户界面（GUI）的大胆预言，令人瞩目的是，它能够实时预测并模拟Windows操作界面，甚至能准确显示每个用户的操作反馈。在线体验地址：https://neural-os.com/在NeuralOS中，用户只需轻松移动鼠标、点击图...
AI 写代码导致开发者效率下降 19%
一项由非营利性AI研究机构METR完成的随机对照实验（RCT）发现，经验丰富的开源开发者在使用AI编程工具（如CursorPro或AnthropicClaude）时，实际完成任务的时间比不使用AI工具时平均增长了19%。尽管开发者预期AI工具能节省24%的时间，甚至事后仍认为AI工具提高了20%的效率，但实际数据表明AI工...
孙正义对话 Altman：AI 需求没有尽头，将部署 10 亿个智能体
据彭博社报道，软银集团创始人孙正义(MasayoshiSon)与OpenAICEO萨姆·奥特曼（SamAltman）周三在对话时表示，AI的需求永无止境，因此必须持续扩充算力。奥特曼通过视频连线的方式出席了软银SoftBankWorld2025活动，并与孙正义对话。这两位合作伙伴表示，AI的进步将催生出一些目前还难以想象的新工作岗位，机器人技...
黄仁勋演讲实录：夸赞“中国开源AI已成为世界进步催化剂”
7月16日，黄仁勋身着唐装出席了第三届链博会。这是黄仁勋今年的第三次中国行，而在链博会前，他已经提前到达北京，并与小米创始人雷军进行了合影。昨日，黄仁勋还接受了媒体采访。期间，他宣布了两个重要进展：一是，美国已批准H20芯片销往中国。黄仁勋表示：“美国政府已经批准了我们的出口许可，我们可以开始发货了，...
MiniMax 完成近 3 亿美元融资，估值超 40 亿美元
近日有消息称，人工智能大模型企业MiniMax已接近完成新一轮近3亿美元的融资，当前汇率折合约21.52亿元人民币。此轮融资完成后，该公司估值将超过40亿美元，约合286.96亿元人民币。根据现有公开资料，目前国内大模型企业中，达到这一估值水平的包括MiniMax和智谱两家公司。MiniMax曾在2023年底完成一轮融资，当时的估...
智谱清影 AI 视频生成功能全面升级
智谱清言宣布旗下清影AI视频生成功能全面升级。官方介绍，相比前一版本，升级后的清影AI视频可生成多样的场景风格视频，画面主体更稳定，表现更清晰自然。具体亮点如下：极致的画面表现：画面清晰度更加，毛发更细腻，色彩更合理；流畅的动态效果：人物、动物的动作更流畅，肌肉走向更合理；稳定的画面主体：画...
🔥造物分享：赛博蚊香，驱蚊还是驱人？
赛博蚊香是一款融合了前沿科技与传统功能的智能驱蚊设备；它通过释放特定频率的数字脉冲波，精准干扰蚊虫的感知系统；同时配备环境监测模块，自动调节驱蚊强度以适应不同空间需求。
Firefox 工程师：哪个地方出现高温天气，我看一眼日志就知道
MozillaFirefox浏览器工程师GabrieleSvelto近日表示，他通过查看浏览器的崩溃报告，可以大致判断哪些地区（如欧盟或美国）正在经历热浪，因为这些崩溃报告主要来自搭载英特尔RaptorLake（第13/14代酷睿）CPU的系统。他指出，RaptorLake架构存在已知的时序/电压问题，这些问题会随温度升高而恶化（即VminS...
字节跳动 Seed 最新强化学习配方 POLARIS 开源
字节跳动Seed团队携手香港大学与复旦大学，共同推出了创新的强化学习训练方法——POLARIS。该方法通过精心设计的ScalingRL策略，成功将小模型的数学推理能力提升至与超大模型相媲美的水平，为人工智能领域的小模型优化提供了新路径。实验结果显示，采用POLARIS训练的40亿参数开源模型Qwen3-4B，在AIME25和AIME24数学测...
Blender 4.5 LTS 正式发布
Blender4.5LTS已正式发布，提供两年更新支持。与「Dogwalk」联名的全新启动画面新版本带来多项重大改进：完全支持Vulkan后端（默认未启用，可通过偏好设置激活），性能显著提升。动画与索具方面，骨骼视口显示模式可自定义覆盖，驱动编辑器支持独立捕捉设置切换，新增“复制形态键”和“从对象更新”操作符简化...
2025 年 7 月中国数据库排行榜：前三阵营稳占高位，达梦破浪高歌回前五
7月国产数据库热度持续攀升，技术演进与市场竞争双线加速。最新一期墨天轮中国数据库流行度排行榜正式出炉，本月共有187款数据库产品参与排名，榜单结构进一步精简，竞争愈发聚焦。
Cloudflare 1.1.1.1 于 7 月 14 日出现严重故障
2025年7月14日，Cloudflare的1.1.1.1公共DNS解析器服务（包括相关IPv4和IPv6前缀）于21:52UTC开始全球不可用，直到22:54UTC恢复，持续约62分钟，导致全球用户无法通过1.1.1.1解析域名，进而影响几乎所有互联网服务的使用。事故原因是内部配置错误：6月6日，为准备未来DLS服务的配置变更中，误将1.1.1.1解析器服务的前...
深度剖析 Claude 4 的系统提示词
本文作者获取了Claude4完整的系统提示词，并进行了迄今为止最深入的拆解分析。文章不仅揭示了Anthropic在对话风格、安全控制、工具调用等方面的创新设计思路，更重要的是提供了一套可直接借鉴的系统提示词工程最佳实践框架。
OpenAI 前首席技术官 AI 初创公司融资 20 亿美元
OpenAI前首席技术官MiraMurati在社交平台发文称，其创立的AI初创公司ThinkingMachinesLab已完成20亿美元融资，本轮融资由a16z领投，英伟达、AMD等参投。ThinkingMachinesLab发言人称，这轮融资对公司的估值为120亿美元（现汇率约合861.51亿元人民币）。英伟达、AMD、Accel、ServiceNow、思科以及...
Linux 桌面环境 KDE Plasma 6.4.3 发布
KDE发布了Plasma6.4.3，这是Plasma6.4系列的第三个bugfix更新。此次更新改进了Plasma的多个组件，包括Discover（应用管理工具响应性增强）、PlasmaAddons（窗口切换器行为优化）、KWin（窗口管理器稳定性提升，修复了与平板事件处理相关的崩溃问题、窗口激活和面板交互问题）、Wayland支持（修复了弹出窗口...
Mistral AI 开源 AI 音频模型系列 Voxtral
MistralAI宣布推出其首个针对企业的音频模型系列Voxtral。包含两种规模：适用于生产规模应用的24B版本，以及适用于本地和边缘部署的3B版本。两个版本均基于Apache2.0许可证发布。公告称，Voxtral解决了开发者需要在低成本的开源系统和高效但封闭的解决方案之间做选择的问题。该模型以不到同类API一半的价格...
秘塔 AI 搜索上线“深度研究”功能
秘塔AI搜索在“浅度研究”上线五个月后，正式推出可公开免费使用的“深度研究”功能，通过任务拆解和可视化“问题链”提升中文场景的搜索准确率与透明度。据官方文章称，秘塔通过把整体任务拆成多个子任务、分段强化学习等“笨办法”，在降低GPU消耗的同时，把中文场景的准确率做到优于最新WebSailor等模型。此外，...
苹果 MLX 框架新增 CUDA 支持
苹果公司近日宣布其专为AppleSilicon设计的机器学习框架MLX正在新增对英伟达CUDA的支持。这一更新将使得开发者能够在AppleSiliconMac上利用MLX开发应用，并顺利导出至CUDA环境运行。之前，由于MLX框架深度集成于苹果的Metal平台，开发者在macOS系统之外无法进行相关操作，因此常常需要额外购买硬件...
:fire:无代码流程引擎 FlowLong 飞龙 1.1.14 发布
开源地址：https://gitee.com/aizuda/flowlong开源地址：https://github.com/aizuda/flowlong官网文档：https://flowlong.aizuda.com支持全流程操作监听，仅8张表实现整个流程引擎（更符合中国人的思维模式设计），截至当前近300家企业自用登记接入使用。300多家企业包括，国家计算中心，电信等国企已上车，你还...
北京人形发布高保真铰接物体数字资产 ArtVIP
该数据集实现了对高复杂度铰接物品的高精度仿真，在还原物品视觉外观的同时，以高保真度复现了物品物理特性，并且开源了6个支持全场景交互的虚拟机器人训练场。除开源已有场景提升行业模型训练效果外，北京人形同时可针对不同场景不同物品提供定制化建模服务，为具身智能快速落地提供平台支撑。
Blender Studio 发布 Dogwalk：基于开源引擎 Godot 的免费游戏
BlenderStudio发布了一款名为「Dogwalk」的免费游戏，旨在演示开源3D建模软件Blender和开源游戏引擎Godot的协同工作流程，展现完全使用开源软件的可能性。该游戏是一款短小、温和的单人游戏，玩家扮演一只可爱的小狗，带着小孩在冬日景色中探索，寻找堆雪人的材料。在短暂的旅程中，你要探索雪林、冰冻的池塘...
K2 编译器热点：2025.1 中的高采用率、更少的 Bug 和重大改进
IntelliJIDEA2025.1默认采用K2编译器，本文将概要介绍K2编译器的当前状态，分享其采用指标，重点介绍2025.1中的改进，并预告下一步的计划。以下内容来自：K2模式热点：2025.1中的高采用率、更少的Bug和重大改进我们建议您更新到最新的IntelliJIDEA版本，享受最佳的K2模式体验。采用目前采用K2模...
APKLab —— VS Code 的 Android 逆向工程工作台
APKLab是一款开源Android逆向工程和恶意软件分析工具。它是VSCode的扩展，使用TypeScript编写。APKLab旨在集成该领域现有的开源工具，并为常见的逆向工程任务提供更简洁的用户体验。
PHP 社区正在讨论变更许可证
PHP社区近日就变更许可证发起了提案：PHP在自定义开源许可证方面有着长期的混淆、担忧和争议，而涵盖Zend/目录中源代码的ZendEngine许可证，加剧了这种混淆并进一步复杂化了问题，因为它不是OpenSourceInitiative批准的许可证。本RFC提议对PHP许可证进行务实的简化，以消除这种混淆，保留所有PHP贡献...
亚马逊发布全新 AI IDE「Kiro」
亚马逊宣布推出AI编程工具Kiro，这是一款集成开发环境（IDE），旨在通过“规范驱动开发”（Spec-DrivenDevelopment）革新软件开发模式，解决“氛围编码”（VibeCoding）带来的混乱和低效问题。Kiro借助AI智能体与开发者协作，在编写代码前自动生成需求文档、系统设计图和任务清单，并基于这些规范生成代码、测试用例...
Lua 5.5.0 发布首个 Beta 版本
Lua5.5.0Beta版本已发布。Lua官方尚未公布5.5.0的正式变更日志（beta版也还没给出完整清单）。不过根据开发邮件列表与源码仓库的commit历史，已合并或高度确认的新特性主要包括以下几点（在beta→final过程中仍可能被调整或删除）：新运算/表达式•//整数除法运算符：向下取整的除法，结果总是整数。...
YouTrack 自 2025 年 10 月起开始实行新价格
JetBrains宣布将对YouTrack价格做出一些调整，新价格将于2025年10月1日生效。保持不变的方面YouTrack对最多10个用户的团队仍然免费。帮助台项目对最多3位支持人员的团队仍然免费，报告者数量不受限制。YouTrack订阅将继续免费提供全套功能、支持和AI辅助。发生改变的方面所有有效的升级和支持订阅...
维基框架发布 1.0.11 至中央仓，深化国产化 DevOps 生态整合
一、核心事件：维基框架1.0.11正式入驻中央仓库维基框架（Wiki-Framework）作为国产全场景Java企业级开发框架，于7月9日正式发布v1.0.11版本至中央软件仓库（MavenCentral），标志着其正式纳入全球主流开发工具生态。本次发布聚焦安全增强与云原生适配：安全升级：集成OAuth2.1协议，修复CVE-2025-0113等5项高危漏...
Meta 宣布全球首个 1GW+ 能耗超级计算机集群即将上线
Meta首席执行官马克·扎克伯格通过社交媒体宣布，公司正加速推进人工智能基础设施建设，计划上线全球首个功耗超过1吉瓦（GW）的超级计算机集群“Prometheus”，预计于2026年投入使用。同时，Meta正在规划另一个名为“Hyperion”的超大规模集群，未来几年内功耗将达到5GW，规模堪比曼哈顿。Meta的“Prometheus”超级计...
特朗普将宣布 700 亿美元 AI 与能源投资计划
美国总统特朗普将于本周二在宾夕法尼亚州匹兹堡郊区宣布一项高达700亿美元的人工智能与能源领域投资计划。据一位不愿透露姓名的政府官员透露，该投资涉及数据中心建设、电力基础设施升级、AI人才培训与学徒项目，来自多家私营企业的支持也将共同推动该战略落地。根据计划，投资项目包括多个新建数据中心、电力生产扩张与...
Roo Code 3.23 发布，支持 Grok-4 模型
RooCode发布了v3.23版本，将代码库索引转为稳定功能，并推出全新的任务待办列表，同时新增对xAIGrok-4模型的支持及多项体验优化。RooCodev3.23版本将代码库索引（CodebaseIndexing）功能从实验性阶段转为稳定功能，并引入了全新的任务待办列表（TaskTodoList）。代码库索引功能现已成为RooCode的核心部...
