Are Latent Reasoning Models Easily Interpretable?1 - 对两种连续潜在推理模型的干预实验显示，多数逻辑题并不依赖隐藏推理步，但真正依赖时，正确样本的推理轨迹有 65% - 93% 可被解码。
全文 ↓今日重点 · Today's Highlights
cactus-compute/needle4 - 45M 参数、CQ2 量化后约 14 MB 的端侧工具调用模型，以字节级语法约束和工具检索缩小推理开销。
全文 ↓
Kvcachescope5 - 直接观测 PagedAttention 的块表、引用计数和前缀结构，可把显存总量背后的状态分歧与僵尸块暴露出来。
全文 ↓论文 · Papers
2 项 · 论文本期重点Are Latent Reasoning Models Easily Interpretable?1arxiv.org原文 ↗
论文用提前终止和轨迹解码检验 Coconut、CODI 一类连续潜在推理模型，区分隐藏状态“存在”与它是否真的改变答案。多项逻辑任务中，移除潜在推理步几乎不影响最终输出；当任务确实依赖这些步骤时，正确预测样本的金标准推理轨迹有 65% - 93% 能从隐藏表示中恢复。作者还在没有金标准轨迹时验证出，多数正确答案能找到可信轨迹，而错误答案只有少数能通过同样检验，这让可解释性具备了结果校验价值。局限也很明确：结论来自两种模型和逻辑任务，不能直接外推到开放式推理。
–
Simplifying and Refactoring Introductory Calculus6arxiv.org原文 ↗
arxiv.org
这篇教学论文重新组织初等微积分的定义与推导，目标是用更少的基本概念覆盖传统课程中彼此相似却分别讲授的计算流程。全文 13 页，贡献在课程结构和符号负担的“重构”，而非提出新的微积分定理。它提供了一套可讨论、可落地的课程设计方案，但学习效果仍需要课堂实验或对照数据支撑。
–
开源 / 项目 · Projects
15 项 · 开源 / 项目
ThoughtDAG7chenxiachan.github.io原文 ↗
ThoughtDAG 把每轮问答作为节点，把连线本身变成下一次请求的上下文边界；某节点只接收其上游祖先，删边会真实移除后续提示中的那段历史。它支持分支、合并、逐节点选择模型，以及带页码引用的本地 PDF，并把图和内容存进 IndexedDB。与传统聊天界面的区别不只是可视化：用户能直接编辑模型看到的因果路径；当前仍属早期原型，源码可用，但 Docker 交付尚未成熟。
–
Tess's Android Wayland Compositor11github.com原文 ↗
github.com
TAWC 试图让 Android 设备在无需 root 的条件下运行 Linux 命令行和图形程序，并通过原生图形栈提供硬件加速。仓库由 tawcroot 的 PRoot 替代层、Wayland 合成器和界面组成，重点是把 Linux 用户空间接到 Android 显示与输入环境。它比单纯终端容器多解决了一层桌面集成，适合作为移动设备本地开发环境的实验底座。
–
RPC-Triage12github.com原文 ↗
github.com
RPC-Triage 在没有符号文件的 Windows 二进制上做 RPC 静态分析，先筛出真正注册 RPC 的样本，再沿 MIDL 结构和分发表恢复 UUID、opnum、端点、NDR、注册标志及安全回调。工具以“可达性”和“处理复杂度”两条轴打分，最后映射为 0 - 100 的风险等级，并保留推导依据。它把原本依赖人工逆向的初筛变成可审计清单，尤其适合从大批服务中确定后续动态分析顺序。
–
Agent Desktop13github.com原文 ↗
Agent Desktop 是 Rust 编写的原生桌面自动化 CLI，通过辅助功能树定位控件并返回稳定引用，不依赖截图或像素匹配。README 列出 58 个命令名，其中 54 个已经可运行；渐进式 skeleton 输出据称能减少 78% - 96% 的上下文消耗，Chromium 应用还可转用 CDP。它把 Playwright 式“检查后操作”延伸到系统界面，不过当前平台要求是 macOS 13 及以上，跨平台能力尚未形成。
–
Tracepaper14github.com原文 ↗
Tracepaper 把 agent 的 HTML 设计输出和人的画布批注接入同一条反馈回路：agent 通过 MCP 推送页面，人直接在浏览器标注，agent 再轮询评论。服务以单进程运行 MCP stdio、HTTP 画布、SQLite 和事件总线，默认监听 `127.0.0.1:4321`，也能借 Cloudflare Tunnel 分享。它专注反馈交接，减少截图、聊天转述和版本对照之间的往返成本。
–
本期重点Kvcachescope5github.com原文 ↗
Kvcachescope 钩住 vLLM、SGLang 的 PagedAttention 分配器，记录请求块表、虚拟 token、引用计数以及前缀缓存的 radix tree。`nvidia-smi` 只能报告显存占用，这个工具则能指出状态分歧、未释放引用和僵尸块，并以 10 Hz WebSocket 更新界面。它还提供“零僵尸块”的 CI 断言和 Perfetto 导出，使 KV cache 问题可以从临场观察进入回归测试。
–
行业动态 · Industry News
12 项 · 行业动态Firefox is now the last major browser that still supports uBlock Origin21pcworld.com原文 ↗
pcworld.com
Chrome 系浏览器完成向 Manifest V3 迁移后，功能完整的 uBlock Origin 所依赖的 Manifest V2 接口被淘汰，Firefox 因继续支持相关扩展能力而成为主要浏览器中的例外。Chrome 150/151 计划在 2026 年 6 月底前后关闭剩余绕过路径，用户在 Chromium 上只能使用能力受限的 uBlock Origin Lite。这里真正的分歧是扩展能否动态、细粒度地控制请求，而不只是“有没有广告拦截器”这个产品名称。
–
Google is making private AI practical with homomorphic encryption22blog.google原文 ↗
blog.google
Google 介绍用全同态加密让服务端直接处理密文，使 AI 计算过程中无需先解开用户数据。这个安全模型把“谁能看到输入”从访问控制问题推进到密码学约束，但密文运算的计算量、模型算子的可表达性和端到端延迟仍决定它能否落到常用产品。文章的工程意义在于把长期停留在研究语境的私密推理，推向可部署的性能讨论。
–
Bluesky Protocol Services23atproto.com原文 ↗
atproto.com
Bluesky 将其运营的 AT Protocol 基础设施整理为 Protocol Services，面向开发者提供托管能力，减少从零维护协议服务的成本。它处在完全自托管与直接依赖单一社交应用之间：应用仍按开放协议构建，同时把部分重运维组件交给 Bluesky。服务边界、迁移能力和定价将决定这是否真正降低生态门槛，还是形成新的集中依赖点。
–
GenRec: Towards LLM-Native Recommendation at Netflix24netflixtechblog.com原文 ↗
netflixtechblog.com
Netflix 的 GenRec 分两阶段训练：先把开源 LLM 适配到 Netflix 数据，再用排序样本、标签和奖励做后训练。第二阶段把数千个工程特征改写为用户历史与场景的文本表达，并采用受成本约束的 prefill-only 路径；大规模 A/B 测试取得统计显著收益，同时减少了所需标签和输入信号。实质变化发生在推荐表示层：分散的特征工程被迁移到生成模型可读的统一序列中。
–
Maximizing the value of your Claude Code sessions25claude.com原文 ↗
Anthropic 把 Claude Code 的效果问题落到会话管理：观察上下文和用量，在任务边界压缩历史，必要时 rewind，并用子任务隔离无关信息。官方工作流还强调先给验证目标和环境约束，再让 agent 执行，避免长会话积累的旧假设继续支配新步骤。文章把上下文窗口视为需要主动预算的工程资源，而非越长越可靠的历史仓库。
–
Debian has begun voting on the future of AI/LLM contributions26lists.debian.org原文 ↗
lists.debian.org
Debian 启动 General Resolution 投票，讨论 LLM 生成内容能否进入项目以及应满足什么条件。较宽松方案强调许可兼容、归属、质量和提交者责任；禁令方案则覆盖源代码包、Debian 自有软件、文档、翻译和网站等直接贡献。两种方案的实质分歧落在维护责任：项目能否验证来源、版权和可维护性，并让提交者承担与人工贡献相同的责任。
–
RustDesk now supports true unattended remote access on Wayland27rustdesk.com原文 ↗
rustdesk.com
RustDesk 宣布在 Wayland 下支持真正的无人值守远程访问，目标是消除每次连接都需要本地用户确认门户授权的限制。Wayland 远程桌面通常借助 xdg-desktop-portal 与 PipeWire 捕获画面，再用 uinput 注入输入；会话权限和活跃桌面一直是自动接入的难点。若这条链路能在重启和登录界面持续工作，它补上的是 Linux 远程运维的关键能力，而不只是多一个桌面协议。
–
Thunderbird's Desktop Calendar Visual Redesign28blog.thunderbird.net原文 ↗
blog.thunderbird.net
Thunderbird 公开桌面日历的视觉重设计过程，从目标、原型到多轮迭代说明界面如何收敛。日历是高密度信息工具，改版需要同时处理层级、时间可扫读性、事件状态和跨视图一致性，单纯换配色或圆角并不足以改善使用。把未采用方案和取舍过程一并展示，使这篇记录更像可审查的产品设计案例，而非发布宣传。
–
Racket v9.329blog.racket-lang.org原文 ↗
blog.racket-lang.org
Racket 9.3 汇总语言实现、工具链和库的版本更新，延续该语言把编程语言研究能力与日常开发环境一起发布的节奏。升级价值应落在具体兼容性、性能和库变化上，现有工程仍需按发布说明检查依赖，而不能只依据主版本号判断。对语言实现观察者而言，这类发行说明也是追踪宏系统、运行时和教学工具如何同步演进的入口。
–
The Ploopy A+ Trackball Is Here30blog.ploopy.co原文 ↗
blog.ploopy.co
Ploopy 发布 A+ 开源轨迹球，继续以可维修和可定制作为硬件设计前提。开放机械结构与固件意味着滚轮、按键映射、传感器调校乃至损坏部件都能由用户检查和替换，而不是被封装成整机报废。它代表一种与消费电子轻薄化相反的取舍：牺牲部分工业一体感，换取长期维护权和改造空间。
–
TreasuryDirect: Prepare for ID.me31treasurydirect.gov原文 ↗
treasurydirect.gov
美国 TreasuryDirect 通知用户准备把账户登录迁移至 ID.me，国债账户的身份验证将由外部身份平台承接。迁移可能统一验证和账户恢复流程，也把可用性、隐私与服务中断风险集中到新的身份提供方。对公共金融系统来说，关键不止登录界面是否更新，还包括旧用户如何过渡以及没有顺畅验证条件的人能否继续访问资产。
–
Brazilian election filter in X For You timeline32github.com原文 ↗
github.com
X 公布的 `brazil_2026_election_filter.rs` 是一份约 1,532 行、39.9 KB 的静态过滤实现，用 `FxHashSet` 保存相关账户 ID。代码注释说明，适用的推荐服务需从特定结果、频道和向巴西选举法院报告的资料中排除这些账户及其内容，付费 boosting 例外。公开源码让外界能看到合规规则如何进入推荐流水线，但静态名单本身仍无法解释名单形成、更新与申诉机制。
–
博客文章 · Blog Posts
15 项 · 博客文章
Auto-research with Codex: How I achieved a 232x Faster Kernel33sankalp.bearblog.dev原文 ↗
作者让 Codex 连续提出、实现和基准测试 QR 分解 kernel，在 14 天和 1,500 多次提交后，把执行时间从约 419,000 微秒降至 1,805 微秒，较基线快 232 倍，并在 183 名参赛者中排第 12。最终方案 `qr_v2` 使用批处理的紧凑 Householder 表示，以 blocked Householder/WY 形式把尾部更新转成 GEMM；103 次刷新最佳成绩把耗时从 108,803 微秒继续压低 98.34%。文中也记录了维护 3 - 5 个候选的 beam 如何跳出局部最优，说明自动优化的瓶颈同时在搜索策略、正确性门禁和硬件测量噪声。
–
AI Isn't Outthinking Mathematicians. It's Out-Remembering Them34davidepiffer.com原文 ↗
davidepiffer.com
文章把模型在数学题上的强表现拆成模式记忆、相似题检索与已有证明重组，质疑它已形成独立数学洞见的说法。这个判断提醒读者区分答案难度与问题新颖度：训练语料中存在邻近结构时，漂亮推导未必意味着模型发现了新的论证。论点的检验标准应是模型面对真正分布外定义、缺少现成模板时，能否稳定提出并验证中间引理。
–
Working with AI Feels More Like Leadership Than Coding35allen.bargi.org原文 ↗
作者认为 AI 辅助开发更接近带团队：人负责设定目标、划清边界、拆任务和审结果，模型承担局部执行。类比的价值在于解释为何提示词技巧不能替代验收标准，也解释了模糊授权为何会生成表面完整、方向偏离的代码。它仍有边界，agent 没有组织责任或长期动机，因此“领导”主要描述工作编排，而不是把软件判断移交出去。
–
Going Dark, and the Era of Law Enforcement Hacking36blog.cryptographyengineering.com原文 ↗
blog.cryptographyengineering.com
文章分析端到端加密削弱传统通信截取后，执法能力会从链路监听转向终端入侵。目标设备在解密后必然持有明文，所以漏洞利用、取证工具和植入软件会成为更直接的取证路径，但同时扩大零日漏洞囤积、跨境授权和无关数据获取的风险。安全争论因而从是否保留加密后门，转为政府应在何种程序和透明度下使用攻击性工具。
–
RISC-V: They Should Have Known Better37dmitry.gr原文 ↗
dmitry.gr
文章从指令编码、扩展组合和实现复杂度批评 RISC-V 的若干架构选择，认为“开放”并不自动带来技术上的简洁。扩展一旦争夺有限编码空间并形成相互依赖，硬件、编译器与操作系统就要共同承担组合爆炸的验证成本。它适合作为对架构营销的反向材料，不过评价仍需区分基础 ISA 的设计目标与后来生态扩张造成的负担。
–
Writergate: Zig I/O Interface Overhaul38alexrios.me原文 ↗
alexrios.me
Writergate 梳理 Zig I/O 接口重构引发的兼容性争议，焦点落在 writer 抽象、调用方式和迁移成本，而非简单的语法偏好。底层语言的 I/O API 会穿透标准库和大量第三方包，一次抽象调整即使改善性能或可组合性，也可能把成本转嫁给整个生态。文章把具体接口变化放回维护者沟通与稳定性承诺中审视，因而比单看破坏性变更列表更完整。
–
Building an AI Text Detector From Scratch39magazine.sebastianraschka.com原文 ↗
magazine.sebastianraschka.com
Sebastian Raschka 以小型语言模型搭建 AI 文本检测器，逐步展示数据、分类头、训练与评估如何组合，而不是把检测器包装成不可解释的在线分数。实现过程有助于看清此类系统实际学习的是训练分布里的统计差异，因此换模型、改采样参数或轻微编辑都可能使边界漂移。它最适合用来理解检测机制和实验设计，不能据此把单次分数当作作者身份的确定证据。
–
GLM-5.3: How Chinese Labs Keep Stride with the Frontier40interconnects.ai原文 ↗
interconnects.ai
文章评述 GLM-5.3 的公开表现，并把模型进步放进中国实验室的数据获取、训练组织和快速迭代体系中分析。讨论越过单个榜单名次，转向资源受限环境下，团队如何通过工程密度和发布节奏缩小前沿差距。判断这类“追平”叙事仍要结合可复现实验、推理成本和真实负载，避免把精选评测直接等同于全面能力。
–
Don't Classify. Hallucinate!41simonwillison.net原文 ↗
simonwillison.net
方案先让语言模型自由生成一个语义标签，再用向量相似度把它映射到受控标签库，而不是把成千上万个类别一次性塞进提示词。这样既保留生成模型概括新表述的能力，又让最终输出落回已知枚举，尤其适合类别集合过大、不断增长的场景。误差被清楚地分成两段：模型可能概括错，检索也可能把合理概括配到邻近但错误的正式标签。
–
llm-gemini 0.3342simonwillison.net原文 ↗
simonwillison.net
`llm-gemini` 0.33 为 Simon Willison 的 `llm` 工具补充多个 Gemini 模型、embedding 接口和 reasoning trace 支持。更新把生成、向量化与推理过程访问放进同一命令行插件，便于脚本复用已有密钥和模型别名。reasoning trace 的可见性不应被当成答案正确性的证明，但对调试请求配置、比较模型行为和记录实验上下文很有用。
–
How Is Compression Prediction?43lukefleed.xyz原文 ↗
lukefleed.xyz
文章从概率模型解释压缩与预测的等价：能给下一个符号分配更准确概率的模型，也能用更短码长表示它。负对数概率把预测损失直接转换为编码成本，因此压缩率成为不依赖自然语言主观评分的模型检验。这个视角同时揭示限制：擅长捕捉统计规律足以改善压缩，却不自动证明模型理解了数据所描述的现实。
–
How 2004 RuneScape Fit a Multiplayer RPG into 56k Dial-Up44jkm.dev原文 ↗
jkm.dev
文章拆解 2004 年 RuneScape 如何在约 5 KB/s 的拨号带宽和 600 ms 游戏 tick 下同步多人世界。一次行走请求只需 7 字节，路径点用 2 字节增量代替 4 字节坐标；40 名静止玩家的状态仅占 48 bit，即 6 字节，新进入视野的玩家位置也从常规 32 bit 压到 10 bit。它展示了协议如何利用“多数对象没有变化”和局部坐标范围，把产品约束转化为逐 bit 的编码设计。
–
My Comment Section Is Static HTML45jva.lol原文 ↗
jva.lol
作者把评论预先生成进静态 HTML，使页面读取不依赖客户端脚本和实时数据库。写入仍可通过独立入口完成，但发布后的评论成为可缓存、可归档、随页面一起部署的内容。代价是审核与更新不再即时，这种设计适合低频讨论，也直观说明静态站点可以通过异步构建获得有限的动态能力。
–
NSA and IETF, Part 946blog.cr.yp.to原文 ↗
blog.cr.yp.to
这篇连载继续整理 NSA 与 IETF 密码标准制定中的文档、人物和决策记录，尝试从可追溯材料复原机构影响的具体路径。它把关注点放在提案如何进入标准、反对意见如何处理以及哪些参与者掌握信息，而不是用单一阴谋叙事概括复杂过程。历史材料的价值在于为当下的参数选择、利益披露和标准治理建立更高的证据要求。
–
Improving System Safety with Temporal Logic of Actions47depot.dev原文 ↗
Depot 团队让 agent 把 Go、SQL 和 S3 组成的实现翻译成 TLA+ 模型，再由工程师审查抽象与不变量；模型检查了 14,290,224 个不同状态，耗时约 21 分钟，覆盖 10 条安全属性和 2 条活性属性。检查发现一个垃圾回收竞态：相同摘要在 MySQL 引用检查与 S3 删除之间被重新推送时，仍在使用的 blob 可能被删。修复使用 S3 version ID 作为删除栅栏，只删除检查过的确切版本；案例也表明 agent 能加速形式化建模，但状态抽象和性质选择仍是人的核心责任。
–
GitHub 热门 · GitHub Trending
13 项 · GitHub 热门本期重点newton-physics/newton2github.com原文 ↗
Newton 是基于 NVIDIA Warp 的开源 GPU 物理仿真引擎，由 Disney Research、Google DeepMind 和 NVIDIA 发起并进入 Linux Foundation。它覆盖机器人、布料、绳索、MPM、传感器、逆运动学和多物理场，MuJoCo Warp 是当前重点后端，同时保留 OpenUSD、可微分计算和扩展接口。广泛示例说明其目标是成为研究与训练共享的仿真底层，而不是只优化单一机器人基准。
–
exo-explore/exo48github.com原文 ↗
github.com
exo 把 Mac、Linux 主机及其他本地设备自动发现为推理集群，并按内存、算力与链路拓扑切分模型，让总参数量可以超过任一单机容量。项目支持基于 Thunderbolt 5 的 RDMA，并声称可降低 99% 通信延迟，也能在网络条件不同的节点间动态安排工作。它把闲置设备内存聚合成可用资源，但实际吞吐仍会受最慢节点、互连带宽和模型并行策略约束。
–
deepseek-ai/awesome-deepseek-agent49github.com原文 ↗
协议与互操作编码
该仓库集中维护 DeepSeek-V4-Pro、Flash 等模型接入编码 agent 的安装、配置与首次运行指南。覆盖对象包括 Claude Code、Codex、Cline 等多种工具，作用是把端点、模型名和兼容参数差异整理成可执行步骤。它是集成索引而非 agent 框架，实用性取决于文档能否跟上模型接口和客户端版本的快速变化。
–
本期重点denoland/celld3github.com原文 ↗
github.com
celld 实现可自托管的分布式 Durable Objects：每个对象对应一个 SQLite 数据库，活动节点通过对象存储的条件写入取得单一所有权。节点只借 S3 或 GCS 协调，没有独立控制面或共识集群；数据库副本持续写回 bucket，空闲对象几乎不占常驻计算资源，也能从远端恢复。设计以对象级串行性换取简单运维，真正需要验证的是所有权切换、存储一致性和故障恢复时的尾延迟。
–
rustdesk/rustdesk50github.com原文 ↗
github.com
RustDesk 是 Rust 与 Flutter 构建的开源远程桌面，可使用公共基础设施，也能自托管 ID 与 relay 服务。仓库以 AGPL 发布，覆盖主流桌面平台，并把连接建立、画面传输和控制客户端保留在可审查代码中。相较闭源远控，它给组织更多网络与数据控制权；上线仍需认真配置证书、访问策略、升级和中继暴露面。
–
NVIDIA-NeMo/Switchyard51github.com原文 ↗
Switchyard 是 Rust 实现的 LLM 代理与库，可在 OpenAI Chat/Responses、Anthropic Messages 之间转换，并把请求送往 vLLM、NIM、Ollama 等后端。路由既可随机，也可用模型分类、阶段编排或失败升级策略；Prometheus 指标覆盖请求、错误、延迟、token 和代理开销。统一协议与路由逻辑能减少应用侧适配，但仓库明确处于 pre-alpha，尚不适合作为无防护的生产网关。
–
本期重点cactus-compute/needle4github.com原文 ↗
Needle 面向手机、可穿戴设备和嵌入式硬件执行工具调用，模型只有 45M 参数，CQ2 二进制约 14 MB，运行内存约 28 MB。它用字节级 grammar 约束函数与参数格式，以置信度头决定是否调用工具，并先检索最相关的 5 个工具；256-token 滑动窗口把工具定义固定为 KV sinks。与通用小模型相比，它把容量集中在受约束动作生成上，代价是开放问答能力和复杂长上下文并非设计重点。
–
jlcodes99/cockpit-tools52github.com原文 ↗
cockpit-tools 用桌面界面管理 AI IDE 与编码助手的多个账号、实例、配额重置和唤醒任务。README 列出 16 个平台和 18 种界面语言，目标是让频繁切换服务与并行会话的状态集中可见。它解决的是账户运营和工具启动层的问题；由于涉及多套本地凭据，存储方式、更新来源与权限范围应成为采用前的首要审查项。
–
ilya-zlobintsev/LACT53github.com原文 ↗
github.com
LACT 为 Linux 上的 AMD、NVIDIA 和 Intel GPU 提供信息查看、监控、功耗上限、风扇控制、超频与降压。配置可按进程或 GameMode 自动切换，遥测还能输出到 OpenTelemetry；核心系统服务独立于 GUI 和显示会话，因此也可用于无头机器。多厂商统一界面减少脚本碎片，但任何功耗和电压调整都应服从具体硬件的安全范围。
–
OpenHands/OpenHands54github.com原文 ↗
OpenHands 当前把自身定位为 Agent Canvas，一套可自托管的开发控制中心，可统一运行 OpenHands、Claude Code、Codex、Gemini 及遵循 ACP 的 agent。它支持本地、Docker、VM 和云环境，并能由 Slack、GitHub、Linear、定时器或 webhook 触发自动化。重点已从单个编码 agent 转向执行环境、会话和外部事件的编排，随之增加的也是权限隔离、密钥管理与任务审计责任。
–
upscayl/upscayl55github.com原文 ↗
github.com
Upscayl 是跨 Linux、macOS 和 Windows 的开源 AI 图像放大桌面应用，当前仓库标注 v2.15。它把模型选择、批处理和输出设置包装成图形界面，但本地推理要求兼容 Vulkan 的 GPU，硬件支持决定实际可用性。对需要离线处理图片的场景，它提供了比云服务更可控的路径，同时应避免把像素生成误解为原始细节恢复。
–
pacifio/atlas56github.com原文 ↗
Atlas 为并行编码 agent 提供本地源码控制与共享记忆，从 `.atlas/knowledge`、`CLAUDE.md`、`AGENTS.md`、Git 历史和会话记录建立可查询上下文。它能按文件、符号、提交和会话检索，输出 Markdown、JSON 或 JSONL，并用被 Git 忽略的 SQLite 保存 checkpoint。与单纯记录 diff 相比，它试图保留“为什么改”和各 agent 知道什么；长期效果取决于索引更新是否可靠，以及敏感会话能否得到明确治理。
–
ToolJet/ToolJet57github.com原文 ↗
github.com
ToolJet 是构建内部工具、工作流、仪表盘和 agent 应用的开源低代码平台，社区版提供 60 多个组件、内置无代码数据库和 80 多种数据源连接。应用支持多页面、多人协作以及 JavaScript、Python 扩展，并可自托管，敏感配置采用 AES-256-GCM 保护。它适合快速拼装运营界面和数据动作，但企业 AI 能力与社区版边界需要按实际许可和部署需求核对。
–
引用来源 · References
57 条 · 引用- 1 Are Latent Reasoning Models Easily Interpretable?. arXiv:2604.04902https://arxiv.org/abs/2604.04902 ↩ 回到正文 · back to text
- 2 newton-physics/newton. GitHubhttps://github.com/newton-physics/newton ↩ 回到正文 · back to text
- 3 denoland/celld. GitHubhttps://github.com/denoland/celld ↩ 回到正文 · back to text
- 4 cactus-compute/needle. GitHubhttps://github.com/cactus-compute/needle ↩ 回到正文 · back to text
- 5 Kvcachescope. GitHubhttps://github.com/brian-mwirigi/kvcachescope ↩ 回到正文 · back to text
- 6 Simplifying and Refactoring Introductory Calculus. arXiv:1811.03459https://arxiv.org/abs/1811.03459 ↩ 回到正文 · back to text
- 7 ThoughtDAGhttps://chenxiachan.github.io/thoughtdag/ ↩ 回到正文 · back to text
- 8 Velorn. GitHubhttps://github.com/VelornLabs/velorn ↩ 回到正文 · back to text
- 9 GeoLint. GitHubhttps://github.com/jajego/geolint ↩ 回到正文 · back to text
- 10 HyperSAE. GitHubhttps://github.com/vishal-dehurdle/hypersae ↩ 回到正文 · back to text
- 11 Tess's Android Wayland Compositor. GitHubhttps://github.com/wmww/tawc ↩ 回到正文 · back to text
- 12 RPC-Triage. GitHubhttps://github.com/talha-nazeef-ahmed/RPC-Triage ↩ 回到正文 · back to text
- 13 Agent Desktop. GitHubhttps://github.com/lahfir/agent-desktop/tree/main ↩ 回到正文 · back to text
- 14 Tracepaper. GitHubhttps://github.com/caffeinum/tracepaper ↩ 回到正文 · back to text
- 15 Gogc98. GitHubhttps://github.com/MichaelMure/gogc98 ↩ 回到正文 · back to text
- 16 Dictata. GitHubhttps://github.com/AntoineChatry/Dictata ↩ 回到正文 · back to text
- 17 Wevna. GitHubhttps://github.com/wevna/wevna ↩ 回到正文 · back to text
- 18 Hopsum. GitHubhttps://github.com/kuzand/hopsum ↩ 回到正文 · back to text
- 19 NexusMem. GitHubhttps://github.com/yaminbkk/NexusMem ↩ 回到正文 · back to text
- 20 Supervice. GitHubhttps://github.com/rodmena-limited/supervice ↩ 回到正文 · back to text
- 21 Firefox is now the last major browser that still supports uBlock Origin. PCWorldhttps://www.pcworld.com/article/3212428/firefox-is-now-the-last-major-browser-that-still-supports-ublock-origin.html ↩ 回到正文 · back to text
- 22 Google is making private AI practical with homomorphic encryption. Google Security Bloghttps://blog.google/security/how-google-is-making-private-ai-practical-with-homomorphic-encryption/ ↩ 回到正文 · back to text
- 23 Bluesky Protocol Services. AT Protocolhttps://atproto.com/blog/introducing-bluesky-protocol-services ↩ 回到正文 · back to text
- 24 GenRec: Towards LLM-Native Recommendation at Netflix. Netflix TechBloghttps://netflixtechblog.com/genrec-towards-llm-native-recommendation-at-netflix-f20be6f643e3 ↩ 回到正文 · back to text
- 25 Maximizing the value of your Claude Code sessions. Claude Bloghttps://claude.com/blog/maximizing-the-value-of-your-claude-code-sessions ↩ 回到正文 · back to text
- 26 Debian has begun voting on the future of AI/LLM contributions. Debianhttps://lists.debian.org/debian-devel-announce/2026/08/msg00002.html ↩ 回到正文 · back to text
- 27 RustDesk now supports true unattended remote access on Wayland. RustDesk Bloghttps://rustdesk.com/blog/unattended-remote-access-wayland/ ↩ 回到正文 · back to text
- 28 Thunderbird's Desktop Calendar Visual Redesign. Thunderbird Bloghttps://blog.thunderbird.net/2026/08/desktop-calendar-a-design-journey/ ↩ 回到正文 · back to text
- 29 Racket v9.3. Racket Bloghttps://blog.racket-lang.org/2026/08/racket-v9-3.html ↩ 回到正文 · back to text
- 30 The Ploopy A+ Trackball Is Here. Ploopy Bloghttps://blog.ploopy.co/the-aplus-is-finally-here-499 ↩ 回到正文 · back to text
- 31 TreasuryDirect: Prepare for ID.me. TreasuryDirecthttps://www.treasurydirect.gov/savings-bonds/idme-one-month/ ↩ 回到正文 · back to text
- 32 Brazilian election filter in X For You timeline. GitHubhttps://github.com/xai-org/x-algorithm/blob/main/home-mixer/filters/brazil_2026_election_filter.rs ↩ 回到正文 · back to text
- 33 Auto-research with Codex: How I achieved a 232x Faster Kernelhttps://sankalp.bearblog.dev/autoresearch/ ↩ 回到正文 · back to text
- 34 AI Isn't Outthinking Mathematicians. It's Out-Remembering Themhttps://davidepiffer.com/p/ai-isnt-outthinking-mathematicians ↩ 回到正文 · back to text
- 35 Working with AI Feels More Like Leadership Than Codinghttps://allen.bargi.org/notes/working-with-ai-feels-like-leadership/ ↩ 回到正文 · back to text
- 36 Going Dark, and the Era of Law Enforcement Hackinghttps://blog.cryptographyengineering.com/2026/08/14/everything-is-about-to-go-dark/ ↩ 回到正文 · back to text
- 37 RISC-V: They Should Have Known Betterhttps://dmitry.gr/?r=06.%20Thoughts&proj=12.%20RV ↩ 回到正文 · back to text
- 38 Writergate: Zig I/O Interface Overhaulhttps://alexrios.me/blog/writergate/ ↩ 回到正文 · back to text
- 39 Building an AI Text Detector From Scratchhttps://magazine.sebastianraschka.com/p/ai-detector-from-scratch ↩ 回到正文 · back to text
- 40 GLM-5.3: How Chinese Labs Keep Stride with the Frontierhttps://www.interconnects.ai/p/glm-53-how-chinese-labs-keep-stride ↩ 回到正文 · back to text
- 41 Don't Classify. Hallucinate!https://simonwillison.net/2026/Aug/14/dont-classify-hallucinate/ ↩ 回到正文 · back to text
- 42 llm-gemini 0.33https://simonwillison.net/2026/Aug/13/llm-gemini/ ↩ 回到正文 · back to text
- 43 How Is Compression Prediction?https://lukefleed.xyz/posts/compression/ ↩ 回到正文 · back to text
- 44 How 2004 RuneScape Fit a Multiplayer RPG into 56k Dial-Uphttps://jkm.dev/posts/how-2004-runescape-fit-a-multiplayer-rpg-into-56k-dialup/ ↩ 回到正文 · back to text
- 45 My Comment Section Is Static HTMLhttps://jva.lol/weblog/my-comment-section-is-static-html/ ↩ 回到正文 · back to text
- 46 NSA and IETF, Part 9https://blog.cr.yp.to/20260814-update.html ↩ 回到正文 · back to text
- 47 Improving System Safety with Temporal Logic of Actions. Depothttps://depot.dev/blog/tla-verification ↩ 回到正文 · back to text
- 48 exo-explore/exo. GitHubhttps://github.com/exo-explore/exo ↩ 回到正文 · back to text
- 49 deepseek-ai/awesome-deepseek-agent. GitHubhttps://github.com/deepseek-ai/awesome-deepseek-agent ↩ 回到正文 · back to text
- 50 rustdesk/rustdesk. GitHubhttps://github.com/rustdesk/rustdesk ↩ 回到正文 · back to text
- 51 NVIDIA-NeMo/Switchyard. GitHubhttps://github.com/NVIDIA-NeMo/Switchyard ↩ 回到正文 · back to text
- 52 jlcodes99/cockpit-tools. GitHubhttps://github.com/jlcodes99/cockpit-tools ↩ 回到正文 · back to text
- 53 ilya-zlobintsev/LACT. GitHubhttps://github.com/ilya-zlobintsev/LACT ↩ 回到正文 · back to text
- 54 OpenHands/OpenHands. GitHubhttps://github.com/OpenHands/OpenHands ↩ 回到正文 · back to text
- 55 upscayl/upscayl. GitHubhttps://github.com/upscayl/upscayl ↩ 回到正文 · back to text
- 56 pacifio/atlas. GitHubhttps://github.com/pacifio/atlas ↩ 回到正文 · back to text
- 57 ToolJet/ToolJet. GitHubhttps://github.com/ToolJet/ToolJet ↩ 回到正文 · back to text