FORZGC 开发者利用 AI 辅助为微软 Lumia 640 开发新应用
开发者 FORZGC 在 AI 辅助下为微软 Lumia 640 开发新应用，利用 AI 扒取网站 API 打包成 Windows Phone 系统可用应用，实现简单浏览功能。微软 CEO 萨蒂亚·纳德拉曾承认放弃 Windows Phone 是错误决定。
#开源/仓库
#开源/仓库
今日 0 条IT之家AI 评分2525 IT之家精选AI 评分6060 OpenAI CEO 奥尔特曼谈 AI 研究成果发布与数学家挑战
OpenAI CEO 萨姆・奥尔特曼表示，OpenAI 将继续公布具有重要价值的科学发现，并承认此前公布数学研究成果的方式存在需要改进之处。他还讨论了 AI 对数学研究的影响和 OpenAI 在数学问题研究上的投入。
推荐理由：OpenAI CEO 对 AI 研究成果的发布方式和数学家面临的挑战进行了深入讨论，读者可以从中了解 AI 研究的最新动态和行业趋势。
爱范儿AI 评分4545 腾讯发布TAI智能体和AI组织效能解决方案，推动汽车行业智能化转型
腾讯发布TAI智能体，涵盖座舱助手、出行服务、内容娱乐等场景，实现任务自动化；同时推出AI组织效能解决方案，助力汽车企业提升效率；腾讯云智能驾驶云业务规模增长超300%，助力车企降低智能化适配成本。
IT之家精选AI 评分8585 小米开源 0.8B 参数 OCR 小模型：打通文档解析与视觉问答，支持 Markdown 与 JSON 输出
小米开源了 0.8B 参数的 OCR 小模型 Xiaomi-OCR-0，支持文档解析、关键信息抽取与 OCR 视觉问答，可用于智能体系统集成。模型基于 Qwen3.5-0.8B-Base 构建，已在 Hugging Face 和 GitHub 上发布。
推荐理由：小米开源了 0.8B 参数的 OCR 小模型，支持文档解析与视觉问答，可用于智能体系统集成。
Show HNAI 评分3535 zpq 0.5.0：零依赖的Parquet引擎在Zig语言中的实现
zpq 0.5.0 是一款基于Zig语言的Unix工具，用于查询、过滤、聚合和重写Parquet文件。它支持从本地磁盘或S3直接读取文件，并以NDJSON、CSV或Parquet格式输出。在464个基准查询中，zpq在438个查询中速度最快，平均速度是竞争对手的0.56倍。
Show HNAI 评分4545 I Am Wallet v0.2：AI智能体在比特币Z上私密交易
I Am Wallet v0.2版本允许AI智能体在比特币Z上进行私密交易，通过MCP协议实现，支持创建钱包、发送比特币Z、发送加密消息等功能，交易过程无需人工干预，安全性由代码保证。
Show HNAI 评分55 Cursedy macOS 菜单栏悬浮挑战游戏 V1.0.0 发布
Cursedy 是一款 macOS 菜单栏悬浮挑战游戏，玩家需抵御不断增多的悬浮光标，挑战时长和数量可记录成绩，提供三种辅助道具，完全免费，支持一次性付费支持开发者。
Show HNAI 评分3535 Send21 – 智能体创建但无法支出的加密支付链接
Send21 允许智能体通过 API 或 MCP 创建和跟踪支付草稿，但不能支出。用户需在个人钱包中支付，草稿确认后才进行转账。测试网络仅用于演示，账户草稿使用实时网络。创建免费账户即可使用，支付费用低廉。
Show HNAI 评分3535 Wayther – iOS 路行天气应用
Wayther 是一款针对路行天气的 iOS 应用，提供沿途各点的天气预报，并可根据预计到达时间调整出发时间。该应用支持比较不同路线，并考虑雨、风、能见度和温度等因素对驾驶的影响。Wayther Plus 版本允许用户使用自定义起点和目的地规划行程。
Show HNAI 评分2020 "Post-quantum signatureless authorization with recursive verification 研究论文及代码发布"
"研究人员发布了一篇关于后量子签名无授权和递归验证的论文及代码，旨在提高量子计算环境下的安全性。"
Show HNAI 评分55 Reduce：一款每日谜题游戏
开发者为妻子和自己制作了一款每日单词游戏，获得了朋友和家人的积极反馈，现分享给更多人，希望他们也能从日常谜题中获得乐趣。
Show HNAI 评分3535 Stackapella：开源网络应用，学习声乐和声
Stackapella 是一款开源网络应用，用户可以通过浏览器免费学习声乐和声。该应用提供从基础到高级的教程，包括不同声部的学习，并支持用户录制和分享自己的和声作品。即将推出的功能包括与声乐教练合作学习。
Show HNAI 评分3535 Anime Text Datasets for LLMs Training 数据集发布
Muqeet 发布了大型动漫文本数据集，包含 35,766 部独特动漫作品，适用于 LLM 微调、RAG、问答、实体链接等，提供 30% 的免费数据用于 LLM 训练。
Show HNAI 评分4545 LeanCIL – 使用 Lean 4 验证编译后的 .NET 代码属性
LeanCIL 利用 Lean 4 验证编译后的 .NET 代码属性，支持从 C#、F# 等语言提取 CIL 并验证证明，可证明输入满足合同、循环终止、内存访问条件等，支持组合已证明的方法合同，不展开辅助体。LeanCIL 支持 4.35.0 版本，通过 elan 和 .NET SDK 10.0.403 安装。
Show HNAI 评分55 AppDoesIt – 155个免费浏览器工具，无需注册，全部客户端运行
AppDoesIt 提供了155个免费浏览器工具，无需注册即可使用，所有工具均在客户端运行，支持多种帧时间捕获工具，提供详细的性能分析。
Show HNAI 评分3030 JoinJSON – 在浏览器中合并、比较和转换 JSON 文件
JoinJSON 是一个在线 JSON 文件合并工具，允许用户在浏览器中合并、比较和转换 JSON 文件。用户可以上传 JSON 文件或从 URL 加载文件，然后通过简单的界面合并它们。该工具支持深度合并，允许用户自定义合并规则，例如合并对象或数组。合并完成后，用户可以下载合并后的 JSON 文件。
Show HNAI 评分3535 Tyrtulia 论坛：无密码、终端专属的无头论坛
Tyrtulia 论坛是一款无密码、专为终端用户设计的无头论坛，旨在提供更安全、便捷的交流体验。
Show HNAI 评分3535 NotchMetrics – MacBook缺口中的收入仪表盘
NotchMetrics v0.4.2支持Apple硅芯片和macOS 14+，提供7天免费试用。它将收入、MRR和订阅者数据直接显示在MacBook的缺口中，支持多种尺寸的tile，并使用Swift编写，无Dock图标、窗口或菜单栏。每月9美元或每年49美元，保留55%的收入。
Show HNAI 评分55 Molfar – AI会议中多个模型同时回答的Android应用
Molfar是一款Android应用，支持多个AI模型同时参与会议问答，提升会议效率。
Show HNAI 评分55 Mktero – 将 Zotero PDFs 转换为 Markdown 的工具
Mktero 是一款将 Zotero 中的 PDF 文档转换为 Markdown 格式的工具，方便用户在文档中添加链接回原始页面。
Show HNAI 评分4545 SpecDeck – 将编码智能体决策回归到规范中
SpecDeck 是一款将产品决策转化为可审查规范的工具，为团队和智能体提供完整上下文，支持 Claude Code Codex、OpenCode、OpenClaw 等智能体。通过内置助手，产品同事可在线草拟需求、捕捉冲突决策和优化规范，提高智能体工作效率。此外，SpecDeck 还支持团队升级付费计划并添加座位，无需联系支持。
SolidotAI 评分3535 LibreOffice 代码分析发现使用 LLM 标记
LibreOffice 项目代码分析发现至少三处提及使用 LLM，包括 Claude 和 GitHub Copilot，尽管 The Document Foundation 表示不鼓励使用 LLM，并要求贡献者披露使用情况。
Ask HNAI 评分55 Ask HN：推理世界中的推理引擎和KV卸载引擎使用情况及原因探讨
推理工程师在构建与推理相关的工作时，对大公司使用的推理工具进行了探讨，包括标准解决方案如vLLM和LMCache，以及Mooncake和vllm native等额外工具的使用情况。
InfoQ中文AI 评分4545 SREAgent 3.0：垂类Agent公司如何提升长期竞争力
贝联珠贯创始人毕玄分享，SREAgent 3.0通过自然语言描述需求生成Skill，降低数据接入门槛，并强调垂类Agent公司需专注于专有数据采集、处理、业务建模和模型持续迭代能力，以提升长期竞争力。
开源中国AI 评分3535 2026上海开源软件应用创新大赛总决赛圆满落幕
2026上海开源软件应用创新大赛总决赛在上海张江人工智能创新小镇举行，共收到766个报名项目，40余家合作企业和开源社区参与，角逐总价值100万元的奖池。
InfoQ中文AI 评分4545 模力工场：极客邦科技助力AI落地，连接供需双方
极客邦科技推出模力工场，旨在解决AI应用落地中的供需双方信任问题。通过AI工具预测项目时间和预算，推荐靠谱团队，并帮助双方建立信任，推动AI在企业中的应用。
Ask HNAI 评分55 AI万圣节糖果分发器：接触式感应与3D打印糖果女巫
一款使用红外传感器的非接触式糖果分发器被提及，同时还有一款可3D打印的会说话的糖果女巫。此外，还讨论了可能具有面部识别和可识别指标数据库的糖果分发器，用于分配糖果。
Ask HNAI 评分3535 Jules 2026年12月31日停止服务
Jules，谷歌的异步编码智能体实验项目，将于2026年12月31日停止服务。用户至11月11日可完成现有会话，之后Jules将转为只读模式至年底。Jules的实验成果将影响谷歌包括Google Antigravity在内的多个产品开发。
Ask HNAI 评分55 Orca 模型：协作多智能体平台
Orca 模型是一个协作多智能体平台，支持用户与多个智能体（如 GPT）协同工作，旨在提高工作效率。
Ask HNAI 评分55 Claude 自定义工作流程与定制化工具使用情况探讨
用户在2026年发现构建自定义工具（harness）以实现 Claude 工作流程变得简单，并已将其作为日常使用，引发对自定义工具使用频率及其持续性的讨论。
Ask HNAI 评分55 Ask HN：推理世界中的推理引擎和KV卸载引擎使用情况及原因探讨
推理工程师在构建与推理相关的工作时，对大公司使用的推理工具进行了探讨，包括标准解决方案如vLLM和LMCache，以及Mooncake和vllm native等额外工具的使用情况。
量子位精选AI 评分7070 英伟达开源 MiniMax H3 视频增强方案，支持 4K 重生成
英伟达与麻省理工学院团队开源了基于 MiniMax H3 的视频增强方案 Open-H3-Regenerate-2K，支持 2K 和 4K 重生成，并已在 Hugging Face 发布模型权重和推理代码。
推荐理由：英伟达团队开源了基于 MiniMax H3 的视频增强方案，支持 4K 重生成，读者可以了解其开源细节和应用潜力。
开源中国AI 评分3030 CloudCanal v6.6.0.0 发布，Kudu 同步能力升级
ClouGence 公司发布 CloudCanal v6.6.0.0，一款支持多种数据库数据迁移同步工具，新增 Kudu 同步能力，支持 60+ 款流行数据库。
开源中国AI 评分3030 qData 数据中台开源版 v1.6.5 发布：Doris 数据源适配增强，新增演示数据清除脚本
qData 数据中台开源版 v1.6.5 发布，增强 Apache Doris 数据源适配，新增演示数据清除脚本，提升使用体验。
IT之家AI 评分4545 华为擎云 2026 鸿蒙办公产业峰会定档 11 月 5 日：首款鸿蒙台式机即将亮相
华为宣布 2026 鸿蒙办公产业峰会将于 11 月 5 日举行，将介绍首款鸿蒙台式机——华为擎云 HM650 系列，预计搭载麒麟 X90 芯片。
IT之家AI 评分4545 华为 WATCH Ultimate 2 系列 HarmonyOS 7.0.0.116 版本更新，新增通知摘要、翻腕手势等功能
华为 WATCH Ultimate 2 系列智能手表升级至 HarmonyOS 7.0.0.116 版本，新增通知摘要、翻腕手势等功能，优化系统界面和健康应用，支持更多运动类型和健康检测。
IT之家AI 评分2525 华为鸿蒙 HarmonyOS 7 更新“3D 动态日历”功能，Mate 90 等机型可用
华为鸿蒙 HarmonyOS 7 系统更新后，日历 App 新增“3D 动态日历”功能，支持空间感系列壁纸，左右滑动切换月份时呈现 3D 动态效果；目前华为 Mate 90、Mate 80、Mate 70、Pura 90、Pura 80、Pura X 等系列机型支持使用此功能。
少数派AI 评分3535 「该吃药了：服药提醒」App：iPhone 小组件助力轻松服药
「该吃药了：服药提醒」App上线App Store，支持iPhone小组件和Apple Watch，提供服药计划、提醒和记录功能，旨在帮助用户轻松管理服药时间，提高服药依从性。
开源中国AI 评分2020 HarmonyOS 7 新特性探讨 | 鸿蒙开发者沙龙天津站圆满落幕
HarmonyOS 7 新特性与工具在天津鸿蒙开发者沙龙中探讨，60余位开发者参与，共话鸿蒙生态繁荣。
36氪AI 评分4545 百度全新升级搜索AI API，覆盖170余种场景，搜索结果页GUI互动场景提升5倍
百度全新升级搜索AI API，覆盖170余种场景，搜索结果页GUI互动场景提升5倍，接入政务、民生、央行等超50亿数据资源。