"Post-quantum signatureless authorization with recursive verification 研究论文及代码发布"
"研究人员发布了一篇关于后量子签名无授权和递归验证的论文及代码，旨在提高量子计算环境下的安全性。"
全部智能工具动态
全部动态
今日 81 条Show HNAI 评分2020 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 评分00 Show HN：初级职位入门指南
Show HN 发布了初级职位入门指南，为求职者提供职业发展建议。
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 还支持团队升级付费计划并添加座位，无需联系支持。
IT之家AI 评分3535 微软 Windows 11 26H2 启用包仅约 174KB，23H2 用户升级需下载约 6.5GB
微软 Windows 11 26H2 功能更新安装包大小取决于系统版本，24H2/25H2 用户只需下载约 174KB 的启用包，而 23H2 用户需下载约 6.5GB 完整更新补丁。升级过程通常只需几分钟，启用包可减少下载量、缩短安装时间。
36氪AI 评分1515 奥精医疗：第三季度报告披露时间延期至2026年12月31日前
奥精医疗原定于2026年10月31日披露第三季度报告，因数据核算工作量较大，相关自查核实及财务数据影响测算尚未完成，预计无法在法定期限内披露，披露时间延期至2026年12月31日前。
36氪AI 评分55 现货白银价格跌破50美元/盎司大关
现货白银价格自1月份高点回落约59%，跌破50美元/盎司大关。
IT之家AI 评分1515 B社《上古卷轴6》下月公布，以落锤省为背景
B社计划下月公布《上古卷轴6》，游戏背景设定在落锤省；微软XBOX首席执行官曾试玩，新作有望提升XBOX业务表现；XBOX硬件收入同比下降29%，新作公布可能改善现状。
SolidotAI 评分3535 LibreOffice 代码分析发现使用 LLM 标记
LibreOffice 项目代码分析发现至少三处提及使用 LLM，包括 Claude 和 GitHub Copilot，尽管 The Document Foundation 表示不鼓励使用 LLM，并要求贡献者披露使用情况。
36氪AI 评分2020 上交所向晶科科技下发监管工作函
上交所就晶科科技购买境外土地租赁产权等关联交易下发监管工作函，明确监管要求，涉及上市公司、董事及高级管理人员。
36氪AI 评分2020 上交所就*ST航图退市风险及定期报告下发监管工作函
上交所针对*ST航图退市风险及定期报告信息披露问题，向上市公司及董事、高级管理人员下发监管工作函。
36氪AI 评分3030 金融监管总局：稳妥推进中小金融机构改革化险、减量提质，积极支持配合化解房地产和地方政府债务风险
金融监管总局召开会议，强调以高质量党建引领金融监管，稳妥推进中小金融机构改革化险，积极支持化解房地产和地方政府债务风险，坚持严监管，推动行业改革转型，提升金融服务适配性。
36氪精选AI 评分6565 Mistral发布新一代AI模型ML4，瞄准企业网络安全市场
Mistral发布新一代AI模型ML4，具备编程和网络防御能力，可部署在企业计算机和服务器上运行。模型参数量达1.05万亿，每次执行任务时实际激活参数约为520亿，性能业界领先。
推荐理由：原文给出了能力变化和开放入口，读者可以据此判断它会怎样改变现有工作流。
Ask HNAI 评分33 HN 应该有一个反对理由区域
HN 提议为特定用户提供反对按钮时，应要求其提供反对理由，以避免群体行为和缺乏论据的反对。
Ask HNAI 评分55 Ask HN：推理世界中的推理引擎和KV卸载引擎使用情况及原因探讨
推理工程师在构建与推理相关的工作时，对大公司使用的推理工具进行了探讨，包括标准解决方案如vLLM和LMCache，以及Mooncake和vllm native等额外工具的使用情况。
InfoQ中文AI 评分4545 SREAgent 3.0：垂类Agent公司如何提升长期竞争力
贝联珠贯创始人毕玄分享，SREAgent 3.0通过自然语言描述需求生成Skill，降低数据接入门槛，并强调垂类Agent公司需专注于专有数据采集、处理、业务建模和模型持续迭代能力，以提升长期竞争力。
IT之家AI 评分3535 极空间 Z4Air 四盘位 NAS 发布：搭载海思 Hi3781V730 八核芯片，首发 1899 元
极空间推出全新四盘位 AI NAS 产品 Z4Air，搭载海思 Hi3781V730 八核芯片，支持 4 个机械硬盘 + 1 个 M.2 SSD 存储，最大可扩容至 136TB。Z4Air 搭载自研 ZOS 操作系统，支持多种平台接入，首发价格为 1899 元。
36氪AI 评分3535 科翔股份：35亿元投资建设年产50万㎡AI算力印制电路板项目
科翔股份计划投资35亿元，建设年产50万平方米的AI算力印制电路板项目，预计年产值45亿元，年纳税2.21亿元。项目预计在土地交付后3个月内动工，18个月内竣工，24个月内投产。
IT之家AI 评分3535 荣耀 MagicOS 系统 11 月升级预告：新增双卡信号堆叠等特性
荣耀发布 MagicOS 系统 11 月升级预告，新增双卡信号堆叠、流畅效果优化、通透模式效果增强开关等特性，覆盖 MagicOS 11 及 10/9 系统的机型，预计 11 月上旬逐步推送。
开源中国AI 评分4545 DeepSeek 千亿融资名单曝光，国资占比大幅提升
DeepSeek 完成第二轮融资，获得1055亿元人民币，腾讯和宁德时代为主要投资者，国资占比从2%提升至27%。
开源中国AI 评分3535 2026上海开源软件应用创新大赛总决赛圆满落幕
2026上海开源软件应用创新大赛总决赛在上海张江人工智能创新小镇举行，共收到766个报名项目，40余家合作企业和开源社区参与，角逐总价值100万元的奖池。
36氪AI 评分3030 国家能源局：前三季度电网企业固定资产投资超6000亿元
国家能源局发布，前三季度我国电网企业固定资产投资累计超过6000亿元，显示电力供应充足，用电负荷创历史新高。
36氪AI 评分3535 英伟达拟为Nscale提供数十亿美元债务担保，支持Anthropic数据中心建设
英伟达计划为新兴AI云服务商Nscale提供数十亿美元债务信用担保，用于建设一座460兆瓦数据中心，该中心将供Anthropic使用。这笔交易尚未签署，但体现了英伟达对新型云厂商的金融支持。
IT之家精选AI 评分6060 我国首型舰载察打一体隐身无人机在两栖攻击舰上成功起降
我国首艘076型两栖攻击舰四川舰成功进行首型舰载察打一体隐身无人机“攻击-21”的起降试验，标志着我国海军在无人机技术方面取得重要突破。
推荐理由：我国首型舰载察打一体隐身无人机在两栖攻击舰上成功起降，标志着我国海军在无人机技术方面取得重要突破。
IT之家AI 评分3535 网易《逆水寒：新世界》4.2.1版本更新，新增月见岭场景、正传剧情及多项玩法
网易《逆水寒：新世界》手游4.2.1版本更新，新增月见岭场景、正传剧情，并推出菠萝农场、个人主页、逆水侠棋等玩法，同时优化拍照系统和宠物系统，为玩家带来全新游戏体验。
InfoQ中文AI 评分4545 模力工场：极客邦科技助力AI落地，连接供需双方
极客邦科技推出模力工场，旨在解决AI应用落地中的供需双方信任问题。通过AI工具预测项目时间和预算，推荐靠谱团队，并帮助双方建立信任，推动AI在企业中的应用。
IT之家精选AI 评分6565 地平线与比亚迪合作模式变化，天神之眼B方案搭载地平线芯片和HSD软件栈
地平线与比亚迪合作，天神之眼B方案将搭载地平线芯片和HSD软件栈，预计11月首批车型上市。
推荐理由：地平线与比亚迪的合作模式发生变化，从芯片供应扩展到软件栈，这可能会对辅助驾驶行业产生影响。
36氪精选AI 评分8585 临界点发布OmniGlove Pro数采手套，填补触觉数据采集缺口
临界点发布OmniGlove Pro数采手套，旨在解决触觉数据采集难题，提高灵巧手操作精度和效率。
推荐理由：原文介绍了OmniGlove Pro数采手套的发布，该产品旨在解决触觉数据采集的难题，对于需要触觉反馈的灵巧手应用具有重要意义。
IT之家AI 评分3535 天马推出全球首款14" WQXGA 1~120Hz MFD分区多频显示屏
天马微电子推出全球首款14英寸WQXGA分辨率、1~120Hz刷新率的MFD分区多频显示屏，采用氧化物TFT背板技术，支持动态刷新率调节，兼顾流畅与节能。
IT之家AI 评分3030 沐曦股份2026年前三季度净利润扭亏为盈，营收同比增长128.45%
沐曦股份2026年前三季度实现营业收入28.24亿元，同比增长128.45%，归母净利润达6.39亿元，同比扭亏为盈；三季度营业收入15亿元，同比增长367.12%，归母净利润2652.71万元。
Ask HNAI 评分1515 Ask HN：如何将AI应用于个人生活？
用户通过AI完成了城市再规划流程，并成功获得15项请求批准；利用AI制作青少年小组课程幻灯片，提高效率。