
今日精选
OpenAI 推理模型突破 80 年数学难题:单位距离问题被推翻
OpenAI 的通用推理模型自主破解了存在 80 年之久的离散几何难题——单位距离问题,推翻了 Erdős 猜想,展示了 AI 跨学科组合创新的能力。

今日精选
OpenAI 的通用推理模型自主破解了存在 80 年之久的离散几何难题——单位距离问题,推翻了 Erdős 猜想,展示了 AI 跨学科组合创新的能力。
GitHub 内部约 3800 个仓库因员工安装恶意 VS Code 扩展而泄露,黑客 TeamPCP 正以 5 万美元起拍价叫卖数据。事件暴露了 VS Code 插件权限过大、开发者生态中信任与权限失控的结构性风...
PhoneClaw 是运行在 iPhone 上的本地 AI Agent,无需联网即可完成推理与工具调用,完全离线、私密。内置 Gemma 4 和 MiniCPM-V 等模型,支持图片理解、语音交互、健康数据查询、日...
文章指出AI不会取代程序员,而是放大开发者之间的能力差距:对专家是效能倍增器,对初学者则可能制造大量技术债。核心在于开发者自身是否具备定义“好”的标准和深厚的技术底蕴。
Dolphin 是 DataoceanAI 与清华大学联合研发的多语种、多任务语音识别模型,支持 40 种东方语言和 22 种中国方言,训练数据超 21 万小时,可同时完成语音识别、语音活动检测、分段和语种识别。项...
按时间排序,聚焦近期更新。
Pyrefly 是 Facebook 开源的 Python 类型检查器与语言服务器,单秒可处理 185 万行代码,内置 IDE 功能,支持 Pydantic、Django 等框架,已在 Instagram 2000...

dotnet/skills 仓库为 Copilot、Claude Code 等 AI 工具提供官方精选技能插件,覆盖 .NET 数据访问、性能诊断、MSBuild 构建、NuGet Core 及 .NET 11 新...

oh-my-pi 是一个集成开发能力的终端工具,支持40+模型、32种内置工具、LSP代码智能、真实调试器、浏览器操作、子代理并行及GitHub一体化读写。它提供哈希锚点编辑、结构化AST重构、持久化沙箱等功能,支...

微软发布 Agent Governance Toolkit,为自主 AI Agent 提供策略执行、零信任身份、执行沙箱和合规审计,覆盖 OWASP Agentic Top 10 风险。支持五种语言及 20+ 主流...

JustHireMe 是一款开源的本地桌面应用,通过自动抓取多源职位、使用确定性规则与向量匹配进行评分,并一键生成定制简历与求职信,简化求职流程并保护隐私。基于 Tauri + React + Python Fas...

通过标签快速进入细分技术话题。