请启用 JavaScript 应用范畴论课程 约翰·拜尔兹（John Baez） 本课程基于方（Fong）与斯皮瓦克（Spivak）所著的《组合性七讲：应用范畴论导引》（Seven Sketches in Compositionality: An Invitation to Applied Category Theory），由约翰·拜尔兹授课，并由西蒙·伯顿（Simon Burton）制作为精美网页。 欲了解更多详情，请直接进入并查看第一讲。 第 1 章：序集 第 2 章：资源理论 第 3 章：数据库 第 4 章：协同设计 © 2018 约翰·拜尔兹
每日HackerNews RSS
抱歉。
**ContextCodeCache (CCC)** 是一款开发者工具，可将项目索引为紧凑、机器可读的 `.ccc` 目录。它通过扫描源代码（Rust、Python、JS/TS、Go）生成高层级映射，内容包括常量、函数、返回类型、文档摘要、文件内调用图以及标记注释（TODOs/FIXMEs）。 **主要功能：** * **AI Agent 优化：** 为大语言模型（LLM）提供轻量且实时更新的项目索引。 * **验证机制：** 包含 `check` 命令，用于 CI 流水线，确保缓存与源代码保持同步。 * **Token 化：** 可选将缓存预编码为 Token 流（`tokens.bin` 和 `tokens.json`），实现高效、低延迟的 Agent 集成。 * **自动化：** 支持 GitHub Actions，可通过拉取请求（Pull Request）自动重新生成和更新缓存文件。 **使用方法：** * `ccc scan`：重新生成项目映射。 * `ccc check`：验证缓存时效性（适用于 CI）。 * `ccc install`：将二进制文件快速添加到您的 PATH。 CCC 使用 Rust 和 tree-sitter 构建，旨在成为 AI Agent 可靠的“真理来源”，确保它们无需重复扫描整个代码库即可维持准确的上下文。
抱歉。
请启用 JavaScript 和 Cookie 以继续。
Show HN：更新了我的落地页，采用了 Fable（复古像素风格） Show HN: Updated my landing page with Fable (retro pixel style)
19 天前
**Guildly** 是一个由人工智能驱动的管理平台，旨在让你经营一家由 AI 专业员工组成的公司。它专为个人创始人和团队设计，是一个集中的工作空间，其中的智能体（Agents）可以充当你的营销、产品和软件部门。
无需在分散的 AI 工具之间来回切换，Guildly 提供了一个统一的环境，让智能体能够共享“同一个大脑”、具备上下文感知能力的项目历史，并与你现有的工具栈（GitHub、Slack、Linear、Notion 等）直接集成。你只需提供宏观方向并进行审批，具体的执行工作则由智能体负责。
**核心功能包括：**
* **共享工作流：** 智能体可以在对话线程中沟通，在共享看板上追踪任务，并遵循标准的开发流程。
* **审批式执行：** 智能体在执行任务前会先草拟计划供你审阅，确保你始终掌控全局。
* **自动驾驶模式：** 让你的团队独立工作，即便在你休息时，也能完成代码合并请求（PR）、原型设计和营销文案等任务。
Guildly 可接入你当前的工具，无需“推倒重来”。它能将你的项目愿景转化为持续、自动化的交付周期，从而提升产出效率。适用于 Mac、Linux 和 Windows 系统。
工业界和政府将人工智能与大型数据中心的快速、政府支持型扩张视为国家战略的必然要求。然而，本报告认为，所谓的“人工智能竞赛”是一场由投资者主导的炒作周期，它将企业利润置于公共福祉、社会稳定和生态可持续性之上。
联邦政府通过大规模补贴和税收漏洞助推了这一繁荣，使 Alphabet、亚马逊和 Meta 等公司能够规避数百亿美元的现金储备税，并大肆削弱环境与反垄断监管。这种国家与资本的伙伴关系将关键的能源和经济资源引向监控、军国主义和自动化带来的劳动力技能贬值，而非投入到公共基础设施中。
报告强调，这些发展往往导致生态破坏、电网紧张以及用户成本上升。报告提倡转向“绿色经济民粹主义”，敦促对经济进行民主化重组。拟议的解决方案包括：
* **民主规划：** 通过联邦暂停令和公有制来放缓行业的过度建设。
* **公共优先：** 将电网投资导向社会需求，而非数据中心扩张。
* **劳动尊严：** 实施联邦就业保障，以抵消人工智能带来的劳动力流失。
* **监管改革：** 提高企业税，并对人工智能技术实施严格、独立的监管。
本期探讨了就业市场中“大材小用”的困境，并提供了一份配置本地 LLM 驱动编程环境的技术指南。
**“大材小用”的困境：**
招聘经理往往因为主观风险而非能力不足拒绝“大材小用”的候选人。常见顾虑包括：
* **留任率：** 担心你一有更好的机会就会离职。
* **团队协作：** 担心你表现出“自以为是”的态度或对常规工作流程缺乏耐心。
* **期望过高：** 如果职位无法提供成长空间或更高级别的职责，可能会产生挫败感。
**配置本地编程智能体：**
为构建私有的本地编程环境，本指南概述了如何将开源终端智能体 **OpenCode** 与 **Ollama** 结合使用：
1. **安装 OpenCode：** 使用提供的脚本，并配置 `~/.config/opencode/opencode.json` 以管理读取、写入和执行命令的权限。
2. **配置模型：** 使用 Ollama 下载特定编程模型（如 `qwen3-coder`），并创建一个扩展上下文窗口（64k+）的变体，以处理复杂任务。
3. **集成：** 更新 `auth.json` 和 `opencode.json`，将智能体连接到本地 Ollama API，从而完全在自己的硬件上运行 AI 辅助开发。
E Excited Pixels 博客 · 2026年7月1日 ↗ 纪念 Om Malik，Leona Kruczkowskiego 与耶路撒冷大道，华沙，2026。我从未见过 Om，但我追随他的文字已有几十年，他的摄影作品也长期以来一直激励着我。我等待了许多年，终于报名参加了一个在威尼斯举办的摄影工作坊：正是他在那里的影像，让我领略了摄影在那座城市所能展现的魅力。他的作品吸引我跨越了海洋，因此在今年晚些时候，我将有机会亲眼看看威尼斯，同时也将受到他……的启发。
将 Oak 与 Git 的基准测试对比显示，Oak 在快照、状态检查及大文件操作的 p50 延迟方面明显优于 Git。在处理大量小文件、大型二进制文件以及庞大的脏工作树等多种场景下，Oak 均实现了 90% 到 95% 的性能提升。它在开发者“内循环”任务（如重构、代理设置和并行工作流操作）中表现同样出色，而这些任务的运行速度对日常工作流程至关重要。 尽管 Oak 在长时间运行的代理会话中表现出巨大优势，但在初始冷启动和进程生成阶段，其性能会有所下降，比 Git 慢 43% 到 188%。 归根结底，Oak 旨在优化开发周期中重复且高频的操作。尽管初始设置存在微小的固定成本，但对于在大型或复杂代码库中频繁进行快照和状态检查的开发者而言，它带来了显著的效率提升。用户可在 oak.space/oak/benchmarks 验证这些结果或提供反馈。
抱歉。
个人项目曾经只是简单的周末消遣，用来学习知识，如今已演变得复杂且要求严苛。在智能体 AI 快速发展的推动下，这些副业不再仅仅是单纯的爱好，它们已变成了雄心勃勃、高风险的尝试，模糊了个人探索与产品开发之间的界限。 现代的“业余开发者”现在处理的想法，曾几何时需要整个团队和预算才能实现；他们更多是在驾驭强大的 AI 工具，而不是从零开始编写代码。这种转变虽然令人振奋，但也产生了一种新的疲惫感。创新节奏之快——伴随着不断的工具更新、订阅费用以及对职业被淘汰的恐惧——已将构建项目变成了一种高压追求。 我们正在远离传统的工程学，转向一种更广泛、更抽象的技艺，这让许多人不禁怀疑我们的基础技能是否正面临风险。尽管存在倦怠、不确定性以及技术最终可能取代我们角色的潜在担忧，但创造的动力依然存在。我们仍在继续创造，不知道自己究竟会变成什么样，也不知道这种不断变化的局面会将我们引向何方，仅仅因为这项工作本身已让人无法抗拒。
抱歉。
```Kagi 更新日志（7 月 2 日）：Heads、Tails 及 AI 开关``` Kagi Changelog (July 2): Heads, tails, and an AI toggle
19 天前
Kagi 宣布对其多项服务进行更新，旨在优化用户选择权与浏览器性能。
**Kagi Search：** 用户现可通过设置菜单完全禁用 AI 功能。此外，新增的自定义选项允许用户开关特定小组件，例如新加入的抛硬币与多面骰子功能。
**Orion 浏览器：** macOS 版 Orion 1.1 的发布是一次重大更新，引入了自定义界面、用于增强隐私及多账号支持的标签页“容器”功能，以及为 Orion+ 订阅者提供的可高度自定义的个性化浏览器边框。
**服务调整：** 由于高昂的运营成本，Kagi 已暂时限制了 Kagi Translate 和 Kagi News 的使用。翻译服务正在向订阅模式转型，并将很快恢复。
Kagi 强调了其对用户自主权、隐私及可持续发展的承诺，并感谢社区在工具优化过程中持续提供的反馈与耐心。