豆包输入法低调上线，主打语音输入体验。实测显示其语音识别准确率显著优于传统输入法，尤其擅长捕捉小声说话，让用户能放心"说完就发"。虽然安装包体积达139M，但界面设计极简，去除了常见的皮肤商店和广告位。目前存在打字延迟和键盘选择少的问题，但核心的语音功能表现突出。值得关注的是，这种基于大模型的语音输入技术成本较高，未来商业化路径尚不明确。这款产品为长期停滞的输入法市场带来了新的

作者发现当前AI生成PPT存在明显缺陷，如HTML堆叠导致尺寸不一、导出时素材丢失、文字处理风格怪异等问题。为解决这些痛点，作者正在开发WebSlideAi专业网站，采用"AI大纲生成-用户修改-模块化填充"的创新流程，通过飞书链接征集投票支持。该方案旨在平衡AI创意与实用性，突破现有AI生成PPT在编辑性和稳定性方面的局限。

摘要：Antigravity最新支持Skills功能，允许用户将任务规范写入SKILL.md文件供AI按需调用。作者分享使用体验：Skills能提升AI输出的稳定性和规范性，但单独使用时效果有限，建议与Workflow配合使用以明确执行流程。目前存在全局Skills读取bug等问题，期待后续版本改进。该功能虽处于早期阶段，但通过"Workflow+Skills"的组合能显著优化

本文摘要：知识型智能体通过内部知识表征进行推理，涉及命题逻辑、逻辑连接词（如与、或、蕴含）和真值模型检查。推理方法包括模型枚举（计算复杂度高）和定理证明（如Modus Ponens、归结法）。一阶逻辑（FOL）引入常量符号、谓词符号和量词（全称、存在），扩展了命题逻辑的表达能力。文章还以游戏（如《妙探寻凶》）为例说明逻辑编码的应用，并讨论了合取范式转换和归结推理等关键技术。

本文介绍了基于知识的智能体（Knowledge-Based Agents）及其逻辑推理的核心概念。主要内容包括： 基本定义：基于知识的智能体通过内部知识表示进行推理和行动，核心概念包括语句（Sentence）、命题符号（Propositional Symbols）和五种逻辑连接词（¬, ∧, ∨, →, ↔）及其真值表。 关键概念：模型（Model）表示可能世界，知识库（KB）存储已知事实，蕴含（

最近，我对算卦很感兴趣，因此闲暇用百宝箱平台搭建了一个简单的采用掷硬币进行占卜的AI。要来试一试吗？

我推荐最强Ai编程工具cursor😋

摘要：Antigravity最新支持Skills功能，允许用户将任务规范写入SKILL.md文件供AI按需调用。作者分享使用体验：Skills能提升AI输出的稳定性和规范性，但单独使用时效果有限，建议与Workflow配合使用以明确执行流程。目前存在全局Skills读取bug等问题，期待后续版本改进。该功能虽处于早期阶段，但通过"Workflow+Skills"的组合能显著优化

我接触 NotebookLM 其实挺晚的。毕竟说起笔记类工具，我一直用的是飞书云文档的知识库，存储和整理都够用了。身边零零散散开始有人在用 NotebookLM 的时候，我也就随便点进去看了看——布局很简单，功能也很简单，上传笔记文件，然后 AI 问答，或者在 Studio 里点几个生成按钮。起初我并不知道 Studio 能玩出什么花样，只知道选中文件后点一下生成。直到我真正用它来复习一门需要背的

开源应用PromptKey发布，帮助用户高效管理常用prompt，告别重复复制粘贴的烦恼。这款本地化工具支持prompt分类存储、热键快速调用和自动注入目标窗口，采用Rust+Tauri开发，确保数据隐私安全。适用于产品经理、文案、开发者等多种场景，能显著提升工作效率。3步即可完成安装配置，支持Windows系统，开源代码可自由审计和贡献。PromptKey让用户从机械操作中解放，将更多时间留给创