人工智能软件工程师Devin的开发商Cognition近日宣布完成超过10亿美元的新一轮融资，公司估值达到260亿美元。本轮融资由Lux Capital、General Catalyst和8VC等知名投资机构领投。Devin作为一款AI驱动的软件工程师，已...

在前端开发中，管理浏览器存储（如cookies、localStorage、sessionStorage和IndexedDB）通常需要处理繁琐的API调用和数据序列化问题。Brownies 是一个新兴的开源JavaScript库，旨在彻底简化这一过程。它通过提供统一...

谷歌DeepMind团队推出新系统AlphaProof Nexus，在未依赖公开发表或训练集中可见的标准解法的情况下，自主解决了353个公开埃尔德什（Erdős）问题中的9道，其中有两道难题甚至困扰了数学界56年之久。值得一提的是，每...

AI领域的创新再次加速——xAI公司最新推出了代号为Grok Build的新一代编程智能体与命令行工具（CLI），目前已在SuperGrok与X Premium Plus用户中开启Beta测试。这一工具的最大亮点在于对复杂开发项目的完整支持：用户...

Netflix正借助多模态AI技术，彻底改变其视频搜索与内容管理方式。平台允许编辑人员通过运行多个专门的AI模型（包括角色识别、场景分类、对话分析和物体检测），对数以千计的原始视频素材进行高效检索。其核心技术架...

KanBots 是一款开源、MIT许可证的桌面看板应用，其最大亮点是可以在每一张看板卡片上并行运行 Claude Code 和 Codex 代理。这意味着用户可以将不同的任务分配给独立的AI代理，并行执行代码生成、调试、分析或自动化...

一位资深技术博主在运行其个人博客长达十年后，终于将系统从长期服务版本Ubuntu 16.04迁移到了FreeBSD。这次迁移并非简单的版本升级，而是一次深度的架构切换。博主详细记录了在Hetzner VPS上部署FreeBSD的完整流程...

OpenAI的一个推理模型成功推翻了离散几何学中的核心猜想——“平面单位距离问题”（Planar Unit Distance Problem）。该猜想最早由20世纪著名数学家保罗·埃尔德什于1946年提出，在长达80年的时间里一直未被攻克，是离散...