On mass-produced math：梳理 OpenAI 批量发布数学预印本后的验证进展与透明度问题，讨论这些成果对数学研究的影响。

OpenAI Math Dump Hits My Home：Hung Le 记录审读图度量嵌入稿件的过程，既批评证明表述过于压缩，也分享理解新方法的收获。

TCS, AI, and the Adults in the Room：Clément Canonne 呼吁资深理论计算机科学研究者明确学科价值，并为年轻研究者争取经费与稳定职位。

Michael I. Jordan 访谈：讨论 AI 的社会作用，以及缺乏现实分析的灭绝风险叙事对年轻人的影响；补充说明也提醒读者谨慎理解媒体标题。

Jelani Nelson 谈加入 Anthropic：长期相识的研究者对模型能力的判断，促使他重新审视自己的预期；在了解多家公司后，他选择加入 Anthropic。他也担心社会尚未准备好应对认知劳动的变化。这是一段个人经历与判断。

Simons 数学与 AI 计划：Simons 基金会联合 Anthropic 与 OpenAI 投入合计 1,500 万美元的资金与资源，支持数学界评估 AI 成果、学习工具并制定使用规范。

Thinking will become a hobby：Diomidis Spinellis 讨论 AI 对认知劳动的影响，以及人们如何在工作之外建立有意义的生活。

Gowers 谈 AI 灭绝风险：梳理相关论证中的假设与不确定性，解释为何数学家值得认真研究这些问题。

Neural Networks Are Already Clean：Nick Cammarata 提出一个工作假说：部分神经元看似混乱，可能源于观察工具、解释方法或训练问题，网络机制或比预想更易理解。

The Beauty of Something Grown：Dean W. Ball 从 Goodfire 的假说出发，讨论神经网络若更易理解，AI 安全与政策争论可能如何变化。

前沿工作者的未来预期：Anthropic 结合内部用工观察与公众调查，讨论接触 AI 的经验与人们对工作、经济的预期之间的关联。

模型 / 智能体 / 科学应用

Muse Wonder：Meta 展示跨对话记忆、持续执行任务与编程等个人和工作助手能力。

Muse Spark Open：Meta 发布面向多模态编程与长程任务的模型权重，并展示在两台 M5 Ultra Mac Studio 上本地运行；权重遵循 Muse Model License。

Span-02：Respan 发布面向决策任务的开放权重模型，可设置推理时间预算，随时停止并返回当前最佳结果。

Microsoft AI 前沿预训练：介绍 MAI-Base-2 的预训练，分享混合专家模型在扩展规律、基础设施与数据管线上的设计。

Gemini 4 Argon for Robotics：Google 展示机器人控制、现实场景转仿真、视频标注与迭代改进等应用。

Research@ 2026：Google 汇总十项研究进展，涵盖地理空间分析、科研助手、技术文档审查、数值预测与医疗 AI。

Heaviside 与 Microsoft Discovery：Arena Physica 将电磁场模型引入 Microsoft Discovery，以快速预测辅助天线、光子器件与半导体设计，最终验证仍使用传统求解器。

Claude 优化量子电路：Anthropic 报告在自动评估器支持下优化八类量子电路，部分任务的资源估算显著下降。

自主湿实验室：Google 介绍连接 AI、实验机器人与真实实验反馈的研究，包括实验室数字孪生、适配体筛选与蛋白结合物设计。

ECDSA 曲线来源：Anthropic 报告 Claude 追溯出多条 NIST 椭圆曲线种子的生成方式，并提供复现代码，回应参数来源疑问。

蒸馏攻击防御：Anthropic 介绍限制未经授权模型蒸馏的措施，报告早期可提取数据量下降约 90% 至 99%，同时指出持续效果和误伤仍需观察。

小模型自主复制评测：通过物联网设备推理实验与简化复制评测，研究小模型在普通联网硬件上自主复制的可能性与障碍。

Scion 版本控制：Anthropic 介绍内部版本控制系统，解释大量 AI 生成代码如何改变超大型仓库的存储、检出与合并需求。

TheoPhysEval：用 50 道可核验的研究级理论物理题，评测自主 AI 智能体的解题能力。

Auto Research：追踪社区提交如何改善 OpenAI 2026 年数学预印本中的关键指标。

数学 / 科研 / 学习

Lean 4 数学教师指南：面向没有编程经验的数学学生，按八个主题介绍形式化证明。

Acorn：用于编写和检查形式化证明的定理证明器。

Prove2Me：协作式 Lean 4 形式化平台，将论文或教材结果拆成可认领的证明任务，并把已证结果发布至 Formalpedia。

RL Handbook：强化学习与序贯决策手册，涵盖多臂老虎机、马尔可夫决策过程、策略梯度、离线及多智能体强化学习。

Stochastic Superoptimization：将无循环二进制程序优化写成随机搜索，以正确性和性能代价驱动 STOKE 搜索。

概率分布图谱：交互展示常见分布的性质、用途，以及特例、极限与变换关系。

Deep Learning Alchemy：斯坦福深度学习课程，通过实验、预测实验结果与分析网络经验现象来培养研究能力。

深度表征学习的原理与实践：中文深度表征学习教材。

Why is Fusion Hard?：以等离子体约束与不稳定性为线索，解释核聚变为何不断遇到新的物理难题。

Introduction to Cosmology：宇宙学讲义，重点介绍大尺度结构、宇宙微波背景各向异性与暴胀。

Concise Research Roadmap（PDF）：Jared Kaplan 于 2021 年 7 月更新的研究路线图，涉及通用 AI 助手、规模扩展与可解释性等方向。

训练性能与激活检查点卸载：机器学习工程性能指南，包含将激活检查点转移到 CPU 内存以减少显存占用的章节。

Quant Wiki：量化金融知识开源与中文化项目。

LLMQuant：聚焦 AI、大语言模型与量化金融的社区，汇集量化 Wiki、论文发现等项目。

编程 / 智能体工具

OpenIntelligentUI：开源生成式界面框架，将对话响应呈现为解释、比较和可交互工具。

OpenUI：供 AI 应用和智能体生成交互界面的开源基础设施，可接入已有组件与设计系统。

REA：利用智能体分析应用行为与原生二进制文件的逆向工程工具。

open-claude-ui：基于逆向分析复现 Claude 桌面端界面的项目。

Mirror：Reflection 团队的编码智能体运行框架。

Earshot：供编码智能体分析、评价与生成声音的开源工具，支持仅用 CPU 运行。

Yomado：为视觉智能体提供 Mac 虚拟屏幕，通过截图与输入操作桌面应用。

Codex++ 2.0.0：Codex 桌面应用调整工具的新版发行页。

Mayoi：用 Go 编写、由 GPU 原生绘制界面的轻量代码编辑器。

ELYTerminal：基于 GPUI 与 Ely 构建的终端模拟器。

MathJax Go：D2 所用 MathJax 3.2.2 TeX 转 SVG 流程的 Go 原生移植。

ManimGX：数学与 3D 视频动画引擎，提供 Manim 的 Python API 和 Rust GPU 核心。

Pele：将 Mermaid 图表渲染为 SVG 的轻量开源库，可通过 CSS 变量定制主题。

设计 / 写作 / 桌面

Anatomy：将概念转成可交互等距机械示意图的 Claude Code 技能。

归藏 PPT Skill：生成 HTML 幻灯片的智能体技能，包含版式、配图提示与演示运行时。

awesome-design-md：汇集知名品牌设计系统的 DESIGN.md 文件，供编码智能体参考。

anti-defensive-writing：删减防御性措辞、让表达更直接的 Codex 写作技能。

UX Writing Skill：面向 Claude 和 Codex，按设计规范撰写界面文案的技能。

Longlist：设计工作室与独立设计师目录，便于寻找合作方或雇主。

Build your slide template：从配色、字体与空白版式建立简洁、可复用的演示模板。

MacSpace：查看和清理 macOS 系统数据与 Apple Intelligence 模型文件。

OpenClean：Mac 清理工具，支持清理垃圾文件、完整卸载应用与查看磁盘占用。

Inua：Hyprland 桌面壳，提供状态栏、启动器、控制中心、通知、Dock 与设置界面。

POND：基于 Arch Linux、使用 Niri 的 Linux 发行版，提供配套桌面与系统配置。

Craft Launcher：用于安装、更新与启动 Craft 应用套件。

v2mac：基于 Xray-core 的原生 macOS 客户端，支持代理订阅、延迟测试、路由与菜单栏控制。

UU 远程 Linux 被控端：网易 UU 远程的非官方 Linux 被控端实现。

UU 远程接入指南：通过 URL Scheme 接入设备绑定与远控能力，附 iOS、Android 示例和错误码。

Epic Games Launcher：Epic Games 的桌面游戏启动器。

Diachronic：以 Kairos 1 探索人类行为建模与评测。

I Quit OpenAI Because Its Culture Is Broken | The Atlantic：David Robinson 解释离开 OpenAI 的原因，批评其安全文化，并主张借鉴其他高风险行业的安全经验。

Introducing Beam | Reflection：Reflection 介绍面向编程、推理与智能体任务的 5010 亿参数混合专家模型 Beam，计划于本月稍后开放权重。

Rho-1: Collapsing the multimodal stack | Reka：Reka 展示 Rho-1 研究预览，在单一模型中整合文本、图像、视频与动作。

Explainability as a form of system closure：作者把解释理解为在人类可掌握变量上建立近似闭合模型，并借混沌系统讨论可解释性的边界。

Introducing Reason Agent 1.0 · Reason Agent：Reason Machines 介绍面向自主软件工程任务的 Reason Agent 1.0。

Introducing TasteVal | P-Zero Research · TasteVal: Measuring the Experimental Research Taste of AI Systems Against Human Experts：用固定研究问题考察模型设计实验与解读结果的能力，以实验计算效率与人类专家比较。

数学 / 科研 / 学习

Practical Parametric Yield | Irrational Analysis：从工艺波动、频率与功耗的关系解释芯片参数良率，并讨论 Cerebras 晶圆级计算面临的取舍。

由 Opus 5.5 制作的黎曼猜想科普视频：上传者介绍由 Claude Opus 5.5 制作视频、Gemini 提供配音的黎曼猜想科普作品。

Two Room-Temperature Antiferromagnetic Semiconductor Candidates | Vals AI：作者报告借助 Claude 智能体找到两种室温反铁磁半导体候选材料，并公开计算与局限，材料性质仍需实验验证。

Presenting a proof of the Kannan-Lovasz-Simonovits conjecture：Bizeul、Klartag 与 Lehec 提出 KLS 猜想的完整证明稿，共 32 页，并披露大部分证明与数学想法来自 ChatGPT。

An $O(1)$ Bound for the KLS Constant：Song 与 Zhang 在第二版预印本中提出 KLS 常数的 $O(1)$ 上界，声称解决完整猜想。

A Dimension-Free Bound on the Poincaré Constant of Isotropic Log-Concave Measures：Balasubramanian 与 Kasiviswanathan 公开另一份声称证明 KLS 猜想的稿件，共 53 页，同样披露了 AI 参与。

Stark units for real quadratic fields and reciprocity laws：作者提出实二次数域中 Stark 单位的互反律，声称回答 Hilbert 第十二问题的这一情形，并推出 Zauner 猜想的所有维数存在性结果。

The Squares Project · n = 11 案例：汇集 11 个单位正方形装入正方形的构造、下界与机器核验记录，项目报告上下界已相合，审阅记录仍待完成。

The Fibonacci Geometry of Eleven Squares（PDF）：用平坦环面与 Fibonacci 几何描述 Trump 的 11 正方形装填，分析其两参数接触族中的唯一最小构型。

Sharing AI progress in mathematics | OpenAI · openai/math：OpenAI 发布 AI 辅助数学研究的论文、证明与验证材料，并说明这些结果仍需数学界审查。

Beyond n log n · Integer multiplication：追踪整数乘法复杂度上界的条件性改进与相关验证材料。

CrocSwap/integer-mult-bounds：围绕 OpenAI 整数乘法结果 #109，研究对指数节省量的条件性改进。

The Mathocalypse | Scott Aaronson：Scott Aaronson 讨论近期 AI 数学成果及其对数学研究、验证与研究者的影响。

What does an improved upper bound on $\omega$ mean | Abbas Mehrabian：解释矩阵乘法指数 $\omega$ 的上界改进意味着什么。

On Matrix Multiplication Algorithms · Fast Matrix Multiplication（PDF）：矩阵乘法算法讲座与综述，介绍快速算法及复杂度研究。

Erich Friedman · Erich’s Packing Center · Cubes in Cubes：Erich Friedman 的数学趣题与几何装箱资料，附立方体装入立方体的记录。

Nopert Polyhedra Explorer：通过旋转、切孔与穿过操作，交互探索 Rupert 问题中的多面体。

Relativity Park: Walking Speed of Light：把光速设为步行速度，在公园场景中观察相对论效应。

Soft-to-Rigid Packing：比较从软形状逐渐变硬的装箱搜索与其他方法，公开实验日志、代码和重放，并说明各自适用范围。

News | Yasuyuki Kawahigashi：河東泰之记录作用素代数研究者对 OpenAI 稿件的反应，以及整理人类可读证明的进展。

A Brief Digest of Some New OpenAI Results | Persiflage：Frank Calegari 评述部分新发布的 OpenAI 数学结果。

Big O Speedrun：追踪整数乘法、傅里叶变换、3SUM 与全对最短路等问题的复杂度上界，区分结果声称与验证状态。

A reaction to the reactions | Balázs Pozsgay：从理论物理研究者的角度回应 AI 数学成果引发的讨论，并思考重新成为学习者的意义。

编程 / 系统 / AI 工具

egoist/godiff：原生 Git 差异审阅器，支持工作区、提交与 GitHub 拉取请求审阅。

sahenjp/rustdsh：用 Rust 编写的 DeepSeek Harness 启动器，提供配置迁移与本地工具。

How fast is Python 3.15? | Miguel Grinberg：用递归与排序程序比较 Python 3.15 候选版和旧版解释器，并测试即时编译与自由线程模式。

sshx：在浏览器中实时共享终端，支持多人协作。

Public testing is beginning | Superlogical：Rex 终端开始邀请公开测试，首批面向 macOS，支持持久会话与远程连接。

egoist/gorex：用 Go 与 MyGo 原生界面实现的 Rex 终端克隆。

ArtCraft Crafting Apps · GitHub · VectorCraft · WordCraft · DeckCraft · CADCraft：用 Rust 构建的开源创作应用系列，覆盖矢量绘图、文档、演示与计算机辅助设计。

palemoky/chinese-poetry-api：中国古诗词检索与 API 服务项目。

Freaction/Aquilum：面向 Windows 的本地 Markdown 知识库，支持实时预览、搜索、关系图、阅读器与模型上下文协议。

solidsf-inc/sfFFT：面向 NVIDIA GB10 的融合 Tensor Core 快速傅里叶变换卷积内核，采用 MIT 许可。

Ely Office · ZacharyZhang-NY/ElyOffice：Ely Office 官网与 Rust / GPUI 桌面办公套件项目链接，仓库链接目前返回 404。

RelayKit | New API：在 OpenAI、Anthropic 与 Gemini 的四种文本协议间转换请求、响应和流式事件的 Go 模块。

Tern | Stencil：用 Rust 构建、兼容 Kitty 的原生终端与多路复用器，支持持久会话和跨设备连接，目前处于封闭测试。

There are many themes, but this one is yours | Earendil：介绍 Pi 如何读取终端颜色并生成系统主题，讨论调色板与界面对比度。

Rewriting Prime Agent in Rust：Prime Intellect 分享借助多智能体将 Prime Agent 从 TypeScript 重写为 Rust 的过程与验证方法。

Tov：面向编码智能体的实验性语言，采用 TypeScript 风格语法，编译为原生二进制，并提供结构化编译错误与修复建议。

设计 / macOS / 其他

RevPDF：支持离线编辑、比较与格式转换的 PDF 工具。

Opus 5.5 视频复现分享 | R：作者分享用 Opus 5.5 回应视频复现挑战的作品。

Paper Mono：免费开源的等宽字体，提供可变字重、编程连字与字符展示。

celve/uvim：在 macOS 的文本输入框中提供 Vim 模态编辑的菜单栏应用。

AIME · 艾么输入法：基于 RIME 的开源 macOS 中文输入法，支持词库更新、常用语以及选中文字的翻译与润色。

Designeer：精选界面设计工具、组件与灵感资源的目录。

alejandrobujan/tendedero：把截图悬挂在屏幕顶部一条线上，方便临时查看的 macOS 原生应用。

Pulse：在一个原生窗口中查看进程、处理器、内存、网络与能耗等系统指标。

Nongfsq/ftop：面向 Apple Silicon Mac 的浮动系统监视面板，显示处理器、内存、网络与进程信息。

Live Training Run · BrushArena：BrushArena 的实时训练展示页。

Introducing Julia 1 | Supersonic Labs：Supersonic Labs 的 Julia 1 官方介绍页。

Introducing Claude Sonnet 5.5 | Anthropic：Anthropic 介绍 Sonnet 5.5 在编程、知识工作与运行成本上的改进。

Introducing GPT-6.1 Sol | OpenAI：OpenAI 发布 GPT-6.1 Sol，介绍编程、计算机操作与专业任务能力的更新。

Exploring Similarity Search with Prompted Subspaces — Jasper Lu：用文本提示构造概念子空间，按颜色、风格或语义调整图像相似度检索。

RL is an evolutionary algorithm：从演化算法的角度讨论强化学习。

Introducing Gemini 4：Google 介绍 Gemini 4 Argon，输出 token 上限提升至 100 万，目前向可信网络防御者与测试者分阶段开放。

ExplorationBench：用可执行的陌生编程与逻辑环境评测 AI 的自主探索能力，通过解释器和证明检查器验证结果。

Grokipedia：Grokipedia 主页。

Cogentic：Cogentic 项目主页。

How many AI agents could we run? | Epoch AI：估算 2025—2027 年出货的高带宽内存在充分部署并分配给相应任务时，全天运行的智能体可提供相当于约 1.4 亿至 7.2 亿名全职人员的周工作时长。

AI chips shipped through 2027 could run tens to hundreds of millions of concurrent frontier-model agents. Running nonstop, these agents would supply as many weekly working hours as about 140–720 million full-time employees.

A model guide for the GPT-6 family | OpenAI：围绕 GPT-6 系列介绍模型选择、指令、上下文与成本管理，以及长任务和生产部署。

Lessons from building an automated research scaffold — LessWrong：分享自动化科研框架的实践：团队提效有限，却暴露了奖励投机、结果解释与审计监控等问题。

What if automating AI R&D triggers an intelligence explosion? — CASP：分析 AI 研发自动化触发智能爆发的可能性、影响与政策应对，并强调其中的不确定性。

Tokenization: A Survey for Modern NLP | alphaXiv · PDF：综述现代自然语言处理中的子词分词方法、局限与替代方向。

Language Model “Shape” | Alex L. Zhang：探讨能否围绕智能体运行框架来设计语言模型的输入与输出结构。

数学 / 科研 / 学习

synthetic-sciences/openscience：开源 AI 科研工作台。

CSAPP 中文阅读：《深入理解计算机系统》的中文阅读页面。

AGMAI：9 月 29 日声明：数学顾问小组汇集社区反馈，提出 AI 数学成果的发布建议，并强调后续的人类理解与审查。

Transformer Explainer：用 GPT-2 small 的交互式可视化解释 Transformer 的内部计算。

AI solves a ‘holy grail’ problem from probability theory | Scientific American：报道 Anthropic 模型提出渗流连续性猜想证明的工作，并讨论其对数学研究的影响。

Apex Leaderboard：Apex 排行榜公告页。

MIT 6.5940 Fall 2026 TinyML and Efficient AI Computing：MIT 2026 年秋季课程，涵盖剪枝、量化、模型服务、分布式训练与端侧部署。

Expenditure Horizon | METR：以人类与智能体的成本收益曲线交点衡量优化能力，并用 NanoGPT 优化作初步实验。

Solving Open Research Problems Together | Meta AI Research：介绍 Muse Spark 与数学家合作研究开放问题，并由独立数学家核查结果的工作。

Learning Forever using Artificial Neural Networks：Shibhansh Dohare 的博士论文，围绕可塑性丧失、持续反向传播与策略崩塌展开。

编程 / 系统 / AI 工具

A shared cache for Cargo builds | mr boxington：通过共享 Cargo 构建缓存减少重复编译。

deepseek-ai/DeepGEMM-Ascend：面向华为昇腾处理器的矩阵乘法内核库。

Introducing cf | Cloudflare：Cloudflare 推出面向智能体的命令行工具，覆盖其完整 API。

Ely · GPUI components：GPUI 组件库展示页。

claude.dev：面向 Claude 开发者的技术博客。

MonoCode：为多种编程智能体提供图形界面。

MyGo：用 Go 构建桌面应用的框架，支持 Web 前端与原生界面。

Pi 1.0 | Earendil：介绍可扩展的智能体框架 Pi 1.0。

Comma：持续运行、处理个人任务的智能体。

Lorca：在本地通过单聊或群聊，让多个 AI 队友处理文件与任务。

I’m Using GPUI For Everything | Freek Van der Herten：推荐 Syntax 团队关于 GPUI 开发体验的视频。

设计 / macOS / 其他

mg-chao/snow-apps：Snow Shot 与 Snow Image Viewer 的开源代码仓库。

辞达：在 Mac 的任意应用中翻译和润色文字。

tornikegomareli/omarchy-spaces：在 Omarchy 状态栏中显示各工作区的应用图标，并支持切换工作区。

Pal-AI-Lab/Coopanion：住在屏幕底边的桌宠 Coo，支持聊天、语音与获准后的电脑操作。

The Making of Cursor’s Icons | Minor Adventures：分享 Cursor 图标的设计过程。

IPPure：检查 IP 地址信息、风险、网络出口与泄露情况。

arXiv：更新投稿限额政策：arXiv 关于更新投稿限额政策的官方公告。

adileo/squirreldisk：用 Rust 编写的跨平台磁盘空间分析器，以旭日图或矩形树图展示占用。

Yab: yet another browser：Yab 浏览器主页。

AI 号探：比较 AI 账号发卡平台的价格与库存。

metasequoiaime/msime-windows：水杉输入法的 Windows 产品仓库，包含输入框架、服务、界面与安装器。

gillesgoetsch/omacvm：在 Mac 虚拟机中运行 Omarchy，并集成触控板手势、音频与键盘等体验。

lxj5820/dsh-boot-animation：用全窗口视频替换 DSH 启动画面，并渐变进入应用。

The bitter lesson for computer vision：Vincent Sitzmann 讨论计算机视觉如何融入端到端的感知与行动循环。

Hadamard MLP：介绍以 Hadamard 变换为起点的通道混合设计，探索减少前馈层参数的方法。

Qwen-Image-2.1：Qwen-Image-2.1 的官方介绍页面。

Tokenizers v1 benchmarks：展示 Tokenizers v1 候选版本的编码、解码与并行性能测试，并提供复现方式。

Grok 4.7：官方介绍 Grok 4.7 在编程与知识工作方面的更新。

KDA Doesn’t Care About the Future：讨论 KDA 内核中的未来依赖舍入效应，并测试模型是否利用这种数值效应。

Halo：面向 Hugging Face 模型的分布式训练框架，支持检查点与多轮强化学习。

Limite 1B — Violetto：Paradigma 发布面向数学推理的十亿参数模型，并介绍训练与推理实现。

MiMo-V2.6 · MiMo-V2.6 技术报告：小米 MiMo-V2.6 系列模型的官方介绍。

HySparse2：提出结合两级键值缓存共享的混合稀疏注意力架构，面向长上下文与多轮智能体任务。

Jesse：solidSF 推理引擎的开放测试服务，提供兼容 OpenAI 格式的接口。

Batch Size Scaling — 腾讯混元 RL Team：腾讯混元团队讨论大语言模型强化学习规模化时，批量大小与训练效果的关系。

Introducing Claude Opus 5.5 | Anthropic：Anthropic 介绍 Opus 5.5 在编程、知识工作、沟通风格与运行成本上的更新。

Introducing GPT-6 Sol and Luna | OpenAI：OpenAI 发布 GPT-6 Sol 与 Luna，介绍模型能力、推理效率与缓存机制的改进。

Qwen Intelligence：Qwen Intelligence 项目主页。

The Generalization Problem | Q：讨论如何结合模型搜索与泛化先验，让学习能力随计算量增长。

Introducing HLE-Diamond：从 Humanity’s Last Exam 中清理、筛选出 1,000 道题，分别考察推理与专业知识。

Computational depth is all you need | Q：研究计算深度与模型表达能力、训练效率的关系，并报告加深语言模型的实验。

模加法 Transformer 的训练可视化 | Sauers · The models just want to learn | Sauers：比较训练 2,000 步与 20,000 步后的输出分布，用环形图展示模加法模型的学习过程。另附作者关于模型学习的分享。

Intelligence Density | Trajectory：以单位推理计算量带来的任务表现讨论“智能密度”。

What my deep model doesn’t know | Yarin Gal · Dropout as a Bayesian Approximation：Yarin Gal 介绍如何利用 dropout 获取模型不确定性信息，附将 dropout 解释为近似贝叶斯推断的论文。

数学 / 科研 / 学习

Khachiyan 常数与 GPT-6 Astra：作者报告使用 GPT-6 Astra 探索 Khachiyan 常数猜想的经历。

Hilbert space: treating functions as vectors：从把函数看作无限维向量的直觉出发，介绍希尔伯特空间。

Memristive singular value decomposition：作者报告在忆阻器存内计算芯片上实现奇异值分解，并讨论图像重建与模型权重分解等应用。

Hamiltonian Neural Network with PyTorch：通过振子系统示例，介绍如何用 PyTorch 训练哈密顿神经网络。

汉字地图第二版 · 汉字地图：Matrix67 对汉字地图第二版的介绍。

Optimization Constants in Mathematics：收集数学优化常数及已知上下界，并链接相关研究来源。

CIS 6270: Discrete Generative Models：宾夕法尼亚大学课程，讲解离散生成模型、扩散、流匹配与最优传输。

MS&E 319: Efficient Generative Language Models：斯坦福课程，围绕有限计算预算下的模型训练、架构与推理算法展开。

Physics in the age of LLMs：Oz Amram 分享大语言模型改变其物理研究工作流程的经历与判断。

Advisory Group on Mathematics and AI · AGMAI：OpenAI 介绍独立数学顾问小组，以及数学成果评审、传播和研究工具方面的合作。

A Proof of the Most Informative Boolean Function Conjecture：作者提出 Courtade–Kumar 猜想的计算机辅助证明，并提供计算验证记录与形式化验证说明。

Dictators are most informative：作者提出 Courtade–Kumar 猜想的证明，研究独裁函数在二元噪声下保留的信息量。

Unsolved problems in mathematics：按数学分支整理公开问题的维基百科索引，可用来继续追踪相关文献。

devol.dev：用交互式工具学习机器人运动学、控制、运动规划与设计。

A Faster Shortest Path Algorithm | Vals AI：作者报告借助 Claude 智能体得到最短路算法 C-HD 及 Lean 证明，在特定图密度范围内改进渐近上界，尚未证明实际运行速度更快。

Quanta Magazine：报道数学、物理、生物与计算机科学研究的科学杂志。

Claude discovers a novel enzyme system | Anthropic · 研究预印本（PDF）：Anthropic 报告 Claude 在序列数据库中识别出带有类似 CRISPR 重复结构的酶系统，并进行了实验研究，其功能仍未确定。

Slava Krushkal’s good-group discovery | Logical Intelligence：Logical Intelligence 报告 Slava Krushkal 与团队借助 AI 推理研究四维流形中的新 good group。

mo271/Zeta5：围绕 $\zeta(5)$ 无理性命题的 Lean 4 形式化项目，仓库报告已完成证明并说明与原预印本的差异。

Interactive Linear Algebra — UBC edition：配有交互演示的线性代数教材，涵盖向量、矩阵、线性变换与特征值等主题。

Headlines and inside stories | Tapio Schneider：Tapio Schneider 在陶哲轩博客撰文，讨论 AI 生成的结果如何转化为可理解、可审查、值得信任的数学与科学知识。

We’re gonna need a lot more mathematicians | Amit Sahai：Amit Sahai 在陶哲轩博客撰文，主张扩大数学研究者群体，以理解 AI 产生的新思想并保留人的参与能力。

Claude computes a nine-loop amplitude | Anthropic：Anthropic 介绍 Claude 计算平面 $N = 4$ 超杨–米尔斯理论九圈六粒子散射振幅的过程与验证。

一个问题：序列 $n + \tan(n),\ n \in \mathbb{N}$ 是否有下界？

编程 / 系统 / AI 工具

GPUI Markdown Studio：基于 WebAssembly 的 Markdown 编辑与预览页面，支持 Mermaid 图表。

LayerFS：为智能体提供隔离的临时文件系统分支，并支持检查点、回退和状态复用。

Cloudflare Quick Tunnels：运行 cloudflared tunnel --url http://localhost:8000，为本地服务生成临时公网地址，方便分享预览和测试。

Eli Bendersky’s website：Eli Bendersky 的技术博客，涵盖编程语言、系统与数学主题。

Reader：开源 macOS 阅读工作区，支持 PDF、EPUB、TXT、标注笔记与 AI 问答。

Tylina：支持直接编辑排版页面的 Typst 编辑器，提供网页与桌面版本及 AI 智能体集成。

The senior engineer death spiral：讨论资深工程师因急于证明自己而陷入过度工作，以及如何保持沟通与交付。

CUDA Matmul 优化记录：从朴素矩阵乘法逐步介绍 CUDA 优化，包括合并访存、共享内存和分块。

幻觉翻译：Mac 文档翻译工具，支持原译文对照阅读，并保留公式、引用与版式。

OpenCode Reloaded：介绍 OpenCode 如何在会话继续运行时热更新配置、工具与插件。

Step Code：运行于终端的编码智能体，支持代码修改、测试、插件、多智能体协作与静态网站发布。

Nowdex：在 Mac、iPhone 和 iPad 上查看多款 AI 工具的剩余额度，支持菜单栏、桌面小组件与 iCloud 同步。

mujocolab/mjlab：使用 MuJoCo-Warp 提供类似 Isaac Lab 的接口，面向强化学习与机器人研究。

iAmCorey/Wake：用 Rust 与 GPUI 构建的智能体会话管理工具，支持浏览、搜索和继续会话。

heypcb · Circuit World：根据自然语言描述生成电路原理图、布局与制造文件，输出可保留的 KiCad 工程。Circuit World 展示用户发布的电路板与开源硬件。

ReShiki：用于绘制分子结构、组织反应式与制作化学图表的工具。

magpie：通过菜单栏与本地网关，为 Codex、Claude Code 等智能体选择不同模型。

Synara：面向 Claude Code、Codex 与 Cursor 的 AI 编程工作空间介绍页。

Empryo：维护代码仓库的动态结构图，在编辑前读取上下文，提供桌面与终端入口。

o8vm/octox：受 xv6-riscv 启发、使用 Rust 编写的类 Unix 操作系统。

AGIdock：面向智能体的云平台，提供运行应用所需的基础设施。

yu1745/wetype-ime-linux：将 WeType 的 Android 输入引擎移植到 Linux，并集成到 Fcitx 5。

Lorca：在自己的电脑上运行 AI 队友，通过单聊或群聊处理文件与任务。

Using Claude Code: Spending your effort | Thariq：结合评测与实际任务，讨论推理 effort 对速度、独立判断和边界情况验证的影响。

kaolti/phantomat：面向 Hyprland 的无限画布窗口管理器，支持缩放浏览窗口布局。

设计 / macOS / 其他

Working Title：面向 Mac 的 Working Title 应用。

Crisp：开源 macOS 显示器管理工具，集中调整缩放、亮度、音量与显示配置。

21st：汇集 React 组件、页面模板与主题，可预览并获取实现代码。

HowToLiveBetter：整理健康、生活与公共服务相关资料，并列出成本、收益和出处。

Powermove：可连接编码智能体的视频编辑器，支持图层、关键帧与自定义扩展。

Inspora：汇集近期视觉设计与创意作品的灵感档案。

shawn.：设计工程师 Shawn 的作品集，展示简洁界面与交互细节。

Opensource UI：可复制使用的 React 与 Next.js 组件库，包含界面控件和设备模型。

quicker.chat：面向 Mac 的聊天收件箱，集中管理私信，并提供对话整理与回复草稿。

MiMo Gallery：以三维展馆形式呈现的 MiMo 作品展示页面。

Top-Conf Figure Gallery：可按会议、年份与视觉模式浏览的论文主图灵感画廊。

鹈鹕骑单车 · Pelican on a Bike：一只鹈鹕沿海岸骑车的实时 3D 演示，包含海浪、昼夜变化与音乐。

Variora：比较不同 AI 模型在同一任务说明下生成的可体验作品。

Designeer：精选界面设计工具、组件库、设计系统与灵感资源。

TinyWeb：面向 Mac 的小型原生浏览器，采用无边框界面，提供垂直标签页与历史搜索。

Search | Office Commun · driceroland/Search：基于 macOS WebKit 的轻量浏览器，强调简洁界面与快速启动。

Lean Browser：使用 Swift 与 WebKit 构建的 macOS 极简浏览器，提供 Zen 模式，项目声明不收集遥测。

Macfolio：精选 Mac 生态中的软件、硬件、工作空间与阅读资源。

Sidekick：为 Mac 增加一条侧边 Dock，集中放置应用、链接、剪贴板历史与实时小组件。

saragordic/rooms：把每个项目的窗口布局保存为一个 room，通过快捷键切换工作环境。

PriceRadar：比较不同地区 App Store 与 Google Play 的下载、内购和订阅价格，并提供价格提醒。

Reward is not the optimization target — LessWrong：讨论强化学习的奖励信号与模型学到的目标之间的区别；作者在更新中承认，奖励可能在经验上成为主要目标，但这并非定义上的必然。

AI Alignment Forum：汇集 AI 对齐研究与讨论的社区。

Bayes’ rule — LessWrong：关于贝叶斯公式及其直觉的入门条目。

LessWrong：关于理性、认知与 AI 的文章和讨论社区。

Dario Amodei — We Must Pace the Frontier：Dario Amodei 讨论如何协调前沿 AI 研发节奏，为安全研究和社会应对留出时间。

GPT 6 Astra 具身策略评测：一份关于 GPT-6 Astra 具身策略的匿名评测报告。

Latest research - Goodfire：Goodfire 的研究目录，关注模型可解释性与内部机制。

Augmented Lagrangian Predictive Coding: training 1000-layer networks without backpropagation：Sakana AI 用增广拉格朗日方法改进预测编码训练，探索不依赖反向传播的深层网络训练。

P(doom) | Armin Ronacher’s Thoughts and Writings：Armin Ronacher 讨论自己对 AI 灾难风险及其概率表达的看法。

The Age of Wonders and Terrors | Scott Aaronson：Scott Aaronson 讨论 AI 进展带来的希望与担忧。

Introducing System One Models & Jev | TypeSafe AI：TypeSafe AI 介绍用于结构化决策的 System One 模型与 Jev。

From Academia to Alignment | Mike Winer：Mike Winer 分享从学术研究转向 AI 对齐工作的经历与思考。

Existential Risk from AI: An Exposition for Mathematicians：面向数学读者解释 AI 的存在性风险与对齐问题。

MiMo-v2.6 RL：小米 MiMo-v2.6 的强化学习介绍页面。

Introducing Arrow 2 and Arrow 2 Telos – QuiverAI：QuiverAI 介绍 Arrow 2 与 Arrow 2 Telos 矢量图生成模型。

Training Search Agents with GRPO — Jasper Lu：通过 GRPO 训练搜索智能体的实践文章。

Helix 2.5: Zero-Shot 30-Home Generalization：Figure 在 30 个未见家庭中评测 Helix 2.5 的三个家务任务，报告整体成功率为 56%；任务仍在其他环境中做过微调。

Cache-to-Cache: Direct Semantic Communication Between Large Language Models：研究通过 KV cache 在大语言模型之间直接传递中间语义表示，减少仅靠文本交流的信息损失。

Pretraining data, not verifiability, is why LLMs are especially good at math (and coding) — LessWrong：文章提出，预训练数据的结构可能比答案可验证性更能解释语言模型在数学和编程上的优势。

Reading a Pretraining Run — Chunyuan Deng：梳理预训练中损失、梯度、激活与评测等监控指标的定义、采样方式和排查优先级。

Qwen3.8-livetranslate：Qwen3.8-livetranslate 的官方介绍页面。

数学 / 科研 / 学习

Stanford CS 312 | Deep Learning Alchemy：斯坦福关于深度学习训练实践与实验方法的课程。

Scaling law tutorial：神经网络缩放规律教程。

A beginning for mathematics · Daniel Litt：Daniel Litt 讨论 AI 时代数学研究的未来，以及理解、交流和新问题的价值。

Professor Bingsheng He：何炳生教授的学术主页。

AI in Science | Google：Google 关于 AI 推动科学研究的报告。

Building Labs that Learn – Periodic Labs：Periodic Labs 介绍让实验室通过实验反馈持续学习的研究路线。

Nature Is Our Learning Environment – Periodic Labs：讨论如何把真实世界的实验反馈用于模型学习。

AI Infrastructure at Periodic – Periodic Labs：介绍支持科学智能体、实验与训练的 AI 基础设施。

Fast math/slow math | Benjamin Antieau：Benjamin Antieau 讨论快速解题与缓慢积累理解这两种数学研究节奏。

Conjectures.io：把开放数学猜想写成精确的 Lean 命题，接受可验证的证明或反例。

数学花园里的一次小小漫步：Matrix67 的数学科普读物《数学花园里的一次小小漫步》。

The Fate of the Riemann Hypothesis: Revisited – Proofs and Prompts：Richard Evan Schwartz 回看自己的黎曼猜想短篇，进一步讨论 AI 对数学研究生态、人才培养与职业的影响。

Top 500 Open Problems by LLM-assessed Importance — ProofAtlas：按大语言模型评估的重要性排列 500 个开放问题，排序不代表数学界的共识。

Sur la destruction des maths par les boîtes d’IA | David Madore：David Madore 关于 AI 公司与数学研究关系的评论。

Solving a Rubik’s Cube with graph theory | The Math Flow：一则用图论解释魔方求解的分享。

An Introduction to Universality | Alessandro Codello：Alessandro Codello 的普适性入门讲义，涵盖分形、渗流、混沌与相变。

Impossible Questions | Scientific American：Scientific American 围绕生命起源、寿命、暗物质、意识与宇宙开端等问题制作的专题。

我把这组文章整理成了中英双语 PDF，分别适配手机和电脑阅读：手机阅读版（PDF，103 页） · 电脑阅读版（PDF，56 页）。

• Finding meaning in the impossible（主编导语）：追「无解题」常意外带出实用发现，意义或许在旅途本身。
• The questions science may never answer：科学给的是不断更新的近似，有些题会因不可观测或观测即改变对象而永远够不着。
• Will we ever know how life began?：生命起源只能复现「可能路径」（代谢优先 vs RNA 世界等），难以证明就是当年那一条。
• Will we ever achieve immortality?：讨论延缓衰老与细胞重编程的可能性；当前寿命纪录不等于不可突破的生物学硬上限，显著延寿仍面临巨大挑战。
• What if we never find dark matter?：支持暗物质的引力证据丰富，但尚未直接确认其粒子本体；或许科学只能预测、得不到「绝对真相」。
• The hunt for reality’s smallest pieces：标准模型 17 粒子之下是否还有弦/时空量子粒？逼近普朗克尺度实验上几乎不可达。
• What if ‘consciousness’ isn’t real?：「意识」未必是好科学概念，对婴儿/蜜蜂/AI 或许该换一套切分方式。
• What came before the big bang?：无边界、大反弹、CPT 镜像宇宙等有可测预言，但「之前」可能无意义或不可直接触及。
• Why we love unexplainable mysteries：访谈 Unexplainable：未知从宇宙起源到「自行车为何不倒」都有魔力，不必气馁。

编程 / 系统 / AI 工具

lulu-loopp/folio-terminal：面向 Windows 和 macOS 的终端，把公式排版、文件预览与智能体等待状态放进工作界面。

zyycn/codex-proxy-rs：基于 Rust 的自托管 Codex 多账号透明代理网关。

看完我的AGENTS.md，你将看到我和不说人话且over-engineering的模型搏斗的这一生：关于用 AGENTS.md 约束模型表达和过度工程化的使用记录。

Why TeX is Slow and How We Rebuilt It in Pure Rust | Leo Liu · leoliu0/ratex：介绍 TeX 的性能瓶颈，以及用 Rust 重写排版引擎的 RaTeX 项目。

MiniMax-AI/minimax-code：由 MiniMax 驱动的开源终端编程智能体。

Ryoku-dev/ryoku-arch：基于 Arch Linux 的桌面发行版，整合 Hyprland 桌面、安装器与系统配置。

The last mile of a long road: faster NumPy in the browser | Notebook.link：介绍让浏览器中的 NumPy 运行得更快的工程工作。

UXSpice：使用 Svelte、WebGPU 与编译为 WebAssembly 的 ngspice 构建的电路仿真器。

设计 / macOS / 其他

青简输入法 Qingjian：在中文输入过程中穿插外语词汇，顺手积累表达。

Design Studio AI：面向智能体的设计工作空间。

The Component Gallery：按组件类型整理真实设计系统，便于对照不同界面的实现。

Libraries.dev：提供可交给编程智能体安装和配置的界面特效库，包括边框光效与液态效果。

saragordic/window-sweaters：给 macOS 窗口加上针织边框的菜单栏应用。

livabble：面向华人数字游民的城市与生活信息指南。

KiwiCanopy/KiwiDesk：macOS 平铺窗口管理器，通过设置界面配置多种布局，并保留原生桌面。

Savant：Savant 项目主页。

jaywcjlove/key-clicker：为 macOS 键盘输入模拟机械键盘与打字机音效。

ObsidianUI：基于 React 与 Tailwind CSS 的组件库。

Compositor：面向 Mac 的图像编辑工具。

设计灵感书签：

• Mobbin：海量真实 App 界面，用来研究设计规律。
• Godly：网站设计灵感画廊，现跳转至 Recent。
• Awwwards：评选执行硬核的网站大奖。
• Cosmos：收藏和组织视觉灵感，支持按颜色与视觉相似度检索。
• Curated Design：按分类精选的网站合集。
• Design Spells：让人眼前一亮的界面细节，逐一归档。
• 60fps：专注交互与高质量动效的网站画廊。
• Supahero：收录网站 Hero 区，快速借鉴灵感。
• Saaspo：SaaS 网站与落地页设计灵感库。
• Layers：设计师作品集。
• Minimal Gallery：人工精选的网站设计画廊。
• MNMM：极简设计档案库。
• Search System：平面与编辑设计档案。
• Rebrand Gallery：品牌重塑案例，带前后对比。
• Seesaw：每日更新的精选网站设计画廊。
• Same Energy：以图搜图，按视觉相似度匹配。
• Spiral：螺旋式视觉信息流，用来发现灵感。
• Game UI Database：按游戏类型归档的游戏 UI 数据库。
• Interface in Game：按元素类型整理的游戏界面。
• HUDs and GUIs：电影和游戏里的未来感界面。
• Pinterest：老牌，依然好用。
• Loadmo：创意移动端网站设计档案。

Astra vs Fable 5.1：Surya 分享两款模型在相同提示词下的输出对比。

Grok Bot Marketplace：Grok Bot 的机器人与技能目录。

Maze Bench — AI Leaderboard：通过迷宫探索比较 AI 智能体，并展示访问房间、收集宝石、token 消耗与运行回放。

Introducing ChatGPT Images 2.5 | OpenAI：OpenAI 介绍图像生成与编辑模型的新版本，强调光照、纹理、参考主体保真与多轮编辑能力的改进。

GPT-6 Astra, Looped Transformers, and Hidden Reasoning：Sebastian Raschka 借 Astra 讨论循环 Transformer 与隐藏推理，文中的架构推测仍未得到官方确认。

DeepSeek V4.1 Flash：更强、更快、更普惠：DeepSeek 发布 V4.1 Flash，介绍模型能力与推理效率的更新，启动！

Introducing SWE-2: Pushing the Pareto Frontier | Cognition：Cognition 介绍用于软件工程的 SWE-2 模型，重点讨论编码能力、速度与成本之间的取舍。

>10x More Efficient Pretraining — Magic：Magic 报告其预训练方法在留出数据损失与训练算力的比较中实现超过 10 倍的效率提升，也是此前发布 100M Token Context Windows — Magic 的团队。

Pacing the Frontier：前沿 AI 公司员工发起的公开声明，呼吁协调 AI 研发节奏，为安全与社会应对留出时间。

AI researchers debate how close we are to recursive self-improvement：围绕递归自我改进的研究者对谈，讨论 AI 自动化研究的进展与瓶颈。

数学 / 科研 / 学习

Robot Learning | ETH Zürich：从模仿学习、强化学习与策略优化讲到视觉—语言—动作模型和机器人基础模型，配有讲义、录像与实践作业。

Moon | Bartosz Ciechanowski：用交互式演示解释月球轨道、潮汐锁定、月相与日月食。

Tristan Buckmaster 的声明：Buckmaster 说明与 Levent Alpöge 借助 LLM 完成的光滑外力下流体方程爆破解果，并讨论研究过程与发表争议；随后 On the Navier–Stokes Millennium Prize Problem | OpenAI 宣布给出光滑外力下三维 Navier–Stokes 方程有限时间爆破的证明与 Lean 形式化，称其满足千禧年问题的 C、D 两种表述。

AlphaGenome | Google DeepMind：从长 DNA 序列预测基因调控相关分子属性，并通过比较变异前后的预测评估变异影响。

The geometry of nonergodic composition — Belief Updates：关于非遍历组合的几何讨论，花里胡哨的，我还没看懂。

Declaration — Math and AI：关于 AI 与数学研究的宣言，强调概念理解、方法传播与研究者培养，并反思以解题数量和速度衡量进展的做法。

编程 / 系统 / AI 工具

datawhalechina/zero-to-sglang：SGLang 与 Datawhale 的双语推理课程，从推理基础、手写 mini-sglang 逐步深入真实项目源码。

FeiZhuLulu/real-api-pricing：以订阅月费除以实际可用 token 比较 API 成本，并整理额度、单价与帕累托图。

CheshireMew/PuppetLoom：把分层角色 PSD 转成可绑定、验证和校准的 2D 动态角色，支持外部智能体通过 CLI 参与制作。

kevinzakka/mjbatch：在 CPU 上并行运行大量 MuJoCo 仿真的 Python 库。

Games | OpenAI Developers：收集使用 OpenAI 工具构建的游戏案例，可浏览作品与开发介绍。

Rapidly scaling online storage to serve over 1 billion ChatGPT users | OpenAI：OpenAI 分享为 ChatGPT 扩展在线存储的工程实践。

设计 / 效率 / 其他

realchendahuang/feedsieve：面向 X 的 Chrome 垃圾账号过滤扩展，标注高置信垃圾账号并支持一键原生拉黑。

The Death Of The Button | Smashing Magazine：讨论 AI 与上下文感知交互如何减少显式界面操作，以及这种设计带来的取舍。

Countering misuse of AI: September 2026 | Anthropic：Anthropic 发布 AI 滥用调查报告，披露其调查的网络攻击、诈骗与违规蒸馏等案例及应对措施。

Design Words：用视觉示例帮助挑选和组合设计词汇，让给 AI 的界面描述更具体。

Quantization-Aware Healing: a compressed, 4-bit model that outperforms its full-precision original：Multiverse Computing 介绍 4-bit 量化感知修复方法，在其报告的 9 项基准中有 7 项超过同架构的 60B BF16 恢复检查点；额外蒸馏训练量并未配平，结果不能简单归因于量化本身。

Introducing the XGBoost Vector-Leaf Model | XGBoost：介绍叶节点输出向量的树模型，用共享树结构处理多目标预测。

[2608.27370] Puro-2B: Poor Lab’s Qwen2-1.5B Trained on RTX 5090 within $5090：探索在 RTX 5090 上低成本训练小型语言模型；v2 最佳模型的训练成本低于 6,900 美元，约 4,400 美元达到 Qwen2-1.5B 水平则来自缩放规律拟合估计。

Training frontier knowledge work agents: A 397B RL training guide with SkyRL | Mercor Blog：Mercor 分享使用 SkyRL 训练 397B 知识工作智能体的工程经验。

chenglou/sotaku, Sotaku v2 solves 99.12% of a 25,000-puzzle Sudoku benchmark with an 800K-parameter looped transformer trained from scratch：用从零训练的约 80 万参数循环 Transformer 解数独，仓库报告 Sotaku v2 在 25,000 道题、FP32 与 1,024 次推理迭代下达到 99.12% 的解题率。

Z1T | Transformer-like models for Z1：为 Z1 概率硬件设计稀疏类 Transformer 模型，探索模型与硬件的共同设计，并公开部分训练配方与权重。

GPT-6 Astra on robot arms | Robocurve：展示 GPT-6 Astra 操作机械臂的实验；看完有点相信 LLM 就能解决一切了，不过演示能做到什么，还是要回到具体任务来看。

Model guidance | OpenAI API 关于 Astra 的使用。

**模型怎么用**
- 走 Responses API，设 `model: "gpt-6-astra"`
- 新能力：异步 tool calling（在工具定义上设置 `async: true`）、中途改指令（WebSocket mid-turn steering）、标准单 agent 请求中可用 `configuration_update` 改 reasoning effort（保留请求级 effort 可维持原提示前缀）
- 不支持 `reasoning.effort: "none"`；欧盟数据驻留下没有 Fast mode

**迁移时注意**
- 原先用 `none` / `minimal` → 先试 `low`
- 工具调用优先 Responses；Chat Completions 虽能用，但 tool calling 要 Responses
- 去掉 `temperature` / `top_p` / `top_logprobs`（及对应 logprobs）
- 从 GPT-5.5 或更早迁移时，缓存：`prompt_cache_retention` → `prompt_cache_options.ttl: "30m"`

**提示词调参（最实用）**
1. **主动性**：默认更爱追问；要它自己干完，就明确写「推断意图、偏向行动、别只承认能力/给半成品」。先做出可审阅结果再问批准。
2. **指令优先级**：对 skill / `AGENTS.md` 更敏感；写明「用户指令优先于 skill」。卡壳时让它引用具体 skill 条款。
3. **文风**：默认爱列表/表格/套话；需要散文就规定段落优先、少嵌套列表，并禁 slop（delve、Bottom Line、X not Y 等）。
4. **子代理**：默认可能委托不够；多代理场景要写清何时并行委托。
5. **测试**：编码时偏过度测试；小改动写明「别为可逆低影响改动写镜像测试」。

我的使用侧重点：把主动执行、文风、并行委托和测试边界写清楚，减少无谓的追问。

X 上的 eric provencher：“Rethinking skills and prompts for GPT-6 Astra” / X：Eric Provencher 关于 Astra 技能与提示词写法的讨论。

数学 / 科研 / 学习

The Math of RL - From Policy Gradients to PPO and GRPO：从策略梯度讲到 PPO 与 GRPO 的强化学习数学文章。

Introduction to Robotics | IRoM-Lab：普林斯顿的机器人学入门课程，覆盖规划、控制、状态估计与机器人学习，并提供无人机项目作业。

[Blog] Estimate Diagonal Hessian：关于 Hessian 对角元素估计的文章。

Axiom：面向数学推理与形式化证明的 AI 项目。

Announcing FrontierMath Erdős | Epoch AI：Epoch AI 发布由 68 道开放 Erdős 问题构成的数学评测，以 Lean 验证证明或反证。

francesco215.github.io/autoregressive_diffusion/uncertainty.html：关于自回归扩散与不确定性的阅读材料。

\[2609.02867v2\] Magnetized accretion onto rapidly spinning binary black holes: mini-disk thermodynamics, magnetic transport, and dual jets：通过数值模拟研究快速自转双黑洞的磁化吸积、迷你盘热力学、磁输运与双喷流。

How Our Data Shaped Neural Architecture Discovery, and How Automation Can Reshape the Future | Core Automation：文章讨论数据与神经网络架构的归纳偏置：随机初始化并冻结的网络也可能提供可用特征，但图中的线性分类器仍经过训练。

这让我想到：能否通过多次随机初始化后的特征质量，提前筛选适合某类数据的架构？这里要区分随机特征本身的质量与后续分类器训练的作用。

一个具有合适归纳偏置的神经网络架构，即使主体权重随机且保持冻结，也可能把输入映射到更容易被简单分类器利用的特征空间；训练会进一步把这种初始结构对齐到具体任务。

Figure. Output probabilities of a (linear) logistic classifier trained on a 10,240-dimensional NRF(Neural Random Feature) representation, extracted from identical, randomly initialized ResNet-18 architectures.

一些相关论文：

• [2410.04368] Algorithmic Capabilities of Random Transformers：冻结随机 Transformer 主体，仍优化嵌入层来激活算法能力。
• [1711.10925] Deep Image Prior：用网络结构作为图像先验，不依赖大型训练集，但仍针对单幅图像优化。
• [1906.04358] Weight Agnostic Neural Networks：搜索在多个共享权重取值下表现良好的网络架构。
• [2206.08464] PRANC: Pseudo RAndom Networks for Compacting deep models：冻结多个随机基网络，学习线性组合系数以压缩模型。

Theory of Mind as a Central Skill for Researchers：把 theory of mind 视为贯穿写作、报告、评审与合作的元技能：先估计受众知道什么、关注什么、可能怎样误读，再决定解释的密度和顺序。

• 做报告时，抽象概念要配上示例；重要的观点反复说；避免大段文字。要考虑场合和受众。
• 写论文时，明确阐明观点；给图表加上较详细的说明；使全文结构易于浏览；尽量少用缩写词，总之是不要加重读者的记忆负担

Arena Physica Thesis：电磁工程的瓶颈不只在求解器，还在 CAE、EDA、测试与现场数据彼此割裂，验证反馈又慢又贵。它提出用 agent 工具链、物理基础模型和真实实验室数据打通设计—仿真—测试闭环。

[2608.29530] The Emergent Symbolic Structure of Artificial Neural Networks：神经网络训练后内部可能隐式蕴含了符号结构，所以符号主义与连接主义可能并非完全对立。相关论文：[2506.21797] Why Neural Network Can Discover Symbolic Structures with Gradient-based Training: An Algebraic and Geometric Foundation for Neurosymbolic Reasoning

Atlas Fields Studio：Arena Physica 的电磁场预测交互演示，可修改几何并观察电场与磁场的预测变化，目前标注为 Beta。

What is a Smith Chart? | Arena Physica：介绍射频工程中的 Smith 圆图。

编程 / 系统 / AI 工具

Your First GPUI App - Building a Desktop UI in Rust | Mrsheerluck Blog：用 Rust 和 GPUI 构建第一个桌面应用的入门教程。

emilkowalski/skills: Skills for Designers and Engineers.：Emil Kowalski 把界面设计与动画经验整理成智能体技能，覆盖动画实现、审阅、交互细节和 UI 原型。

DEEIX-AI/DEEIX-Chat: An enterprise AI workspace for model routing, multimodal chat, files, tools, billing, identity, and operations.：整合模型路由、多模态对话、文件、工具、计费与身份管理的企业 AI 工作区。

Zodex | AI integrated development environment：基于 Rust 和 Tauri 的 AI 开发工作台，将智能体对话、终端、Git 差异与回滚放在一起，可导入本地 Codex、Claude Code 和 Pi 会话。

Skillry - Agent Skills with Taste：精选智能体技能目录，涵盖网页、幻灯片、图像与视频，并提供示例和安装说明。

Polars — Pre-release of Polars 2.0：介绍 Polars 2.0 的首个候选版本，LazyFrame 查询默认采用流式引擎，并收紧类型转换等隐式行为。

get-bb/bb: The agent IDE that builds itself：可通过桌面端、网页、CLI 与 HTTP API 驱动的智能体 IDE，支持实时跟踪和调整任务。

xuanji86/ainiee-translate-skill: 独立、Agent 原生的小说翻译系统：工作方式类似 AiNiee 但不依赖其应用运行，由 Claude Code 充当翻译引擎。：以 Claude Code 为翻译引擎的小说翻译技能，不依赖 AiNiee 应用运行。

mishka-zz/freecad-microwave: FreeCAD workbench for RF and microwave engineering：面向射频与微波工程的 FreeCAD 工作台，仍处于开发者预览阶段，当前可用的仿真后端是 openEMS。

Blueprint - AI Hardware Design Tool：AI 辅助硬件设计工具。

KiCad - Schematic Capture & PCB Design Software：用于原理图绘制与 PCB 设计的开源软件。

American-Embedded/kistack: KiStack is a HUMAN WRITTEN bunch of skills for KiCad：为 KiCad 工作流整理的智能体技能。

TrenTorch：受 Harvard TinyTorch 启发，通过从头构建机器学习框架来学习 PyTorch 的教学项目。

Design Engineer Tools：面向设计工程师的工具目录。

DesEngs: Resources for Design Engineers · Minimal Website Design Directory — DesEngs：设计工程资源与极简网站参考目录。

on.design：面向设计师的资源项目，目前处于候补上线阶段。

whatships.com — Discover startup launch videos · Tools for making launch videos or mockups— whatships.com：收集创业产品发布视频，并整理视频与样机制作工具。

图标与设计素材书签：

• Remix Icon - Open source icon library
• Phosphor Icons
• Tabler Icons
• Blode Icons (GitHub) · Blode Icons
• Iconify · Iconify icon sets
• Untitled UI
• Heroicons
• Keyline Icons
• IconMonstr
• Bootstrap Icons
• Reicon
• Lucide
• Icônes
• icons0
• Mage Icons
• MingCute
• Hugeicons
• Gravity UI
• Central Icons
• Solar Bold Icons
• SVG Repo CC Attribution
• Streamline Pixel Icons
• toools.design
• Silk icons (Wikimedia)
• @huge_icons
• @nucleoicons
• @antfu7

macOS / 效率 / 其他

jurplel/InstantSpaceSwitcher: Native space switching on macOS with no animation：关闭 macOS 原生空间切换动画的工具。

Omakade | Your games, beautifully together：面向 Omarchy 的本地游戏库，汇总 Steam、Lutris、Heroic 等来源的已安装游戏，并交给原平台启动。

Download Codenotch — Vinz：在 Mac 刘海侧边显示 LLM 使用量的小工具。

thisisgm/flea: A fast, keyboard-first file manager for Omarchy: Quickshell front end, Rust backend.：面向 Omarchy、键盘优先的文件管理器，采用 Quickshell 前端与 Rust 后端。

omafiles — the file explorer Omarchy was missing：用 Rust 与 GPUI 实现的 Omarchy 文件管理器，整合搜索、预览与 Git 差异。

Droppy. Your Mac, just way better.：把文件暂存、剪贴板、媒体控制与小组件等集成到 Mac 刘海或悬浮灵动岛。

Tenacity：开源多轨音频编辑与录音工具，支持效果插件、脚本与信号分析。

ChatGPT Training：OpenAI 的分步练习与工作流程教程，帮助使用 ChatGPT Work 和 Codex 完成实际任务。

Which AI Made This?：对比不同模型完成同一 UI 设计任务的作品，并展示启用设计技能前后的差异。

Shortap — Quick tap gestures for your MacBook：通过轻敲 MacBook 机身触发操作的手势工具。

相关开源项目：

• Tapify：对标 Knock 的菜单栏应用，支持单敲至三敲及媒体控制、截屏和启动应用
• Bonk：GPL，最多四连敲，可绑 Shortcuts / shell，还能按 App 区分
• nocnoc：有波形和校准向导
• knocker：可区分左、中、右侧轻敲，提供菜单栏界面
• TapCraft：Python 实现的机身拍击与触控板分区工具，其中加速度计检测需要 sudo，麦克风检测不需要

How Speculative Decoding Makes LLMs Go Brrr：从“草稿—并行验证”流程解释推测解码，并比较独立草稿模型、Medusa、MTP、EAGLE、DFlash 与 DSpark 等技术路线。

Training AI to Paint with Code：Surya Narreddi 团队通过强化学习训练语言模型生成可编辑的 p5.brush JavaScript 绘画，并复盘如何用人工筛选的参考图与成对评判设计审美奖励。

deepManifold：汇集两篇预印本与配套文章，尝试用不动点、堆叠分片流形和边界条件迭代来形式化神经网络的几何、代数与计算。

GPT-5.6 Sol 在 Turing Complete 中运行 Doom：据演示作者与 Tom’s Hardware 报道，GPT-5.6 Sol 在 Turing Complete 中搭建了名为 Codex-R32 的 RV32IM 虚拟 CPU，并让编译自 PureDOOM 的 Doom 在其上运行，但性能尚未达到可玩水平。

Jalapeño 首批测试结果：OpenAI 公布首款定制推理芯片 Jalapeño 的自测结果，称其在 InferenceX 上服务多种大模型时，相较测试对照系统同时改善能效与端到端时延；芯片仍处于生产验证阶段。

GLM-5.3-Flash：Z.ai 发布的 GLM-5 系列首个原生多模态模型，采用 320B 总参数、18B 激活参数以及线性与稀疏注意力混合架构，并通过 IndexPool 降低长上下文索引开销。

Qwen3.8-Flash-Next：开放权重的多模态 MoE 模型，也是 Qwen4 架构的早期预览，引入 GDN 与 QSA 混合注意力、门控残差和 N-gram Embedding。

Hy4 Preview：腾讯混元开放权重的 MoE 旗舰预览模型，总参数量 770B、每 token 激活 49B，支持 1M 上下文，并采用 Gated DSA、IndexCache 与 iHC。

数学 / 科研 / 学习

Proswit — Interactive Math Articles：汇集概率论、分析与基础数学主题的交互式文章，涵盖贝叶斯定理、中心极限定理、布朗运动和傅里叶级数等内容。

Could a Neuroscientist Understand a Microprocessor?：Jonas 与 Kording 将神经科学常用分析方法应用于模拟的 MOS 6502 微处理器，发现这些方法虽能产生类似神经科学研究的模式，仍不足以揭示处理器已知的层级结构与功能机制。

Symbolica：面向 Python 与 Rust 的高性能计算机代数库，可操作大型符号表达式、执行模式匹配并生成优化的数值代码；其源码可查看，但再分发和专业使用受许可证约束。

s2 CLI and Skill：Hugging Face 开发的只读 Semantic Scholar CLI 与智能体 Skill，可查询论文的参考文献、被引记录和学术图谱搜索，并用于 Papers with Code 的聊天界面。

You Are NOT Dumb, You Just Lack the Prerequisites：作者结合个人经历反思学习困难，认为理解数学等复杂主题时的障碍常来自前置知识缺口，并建议回到基础逐步补齐。

Palomar：公开、可搜索的 Lean 形式化数学注册表，会固定源代码版本、用 Lean 检查证明，并公开精确陈述、依赖与审查意见。

编程 / 系统 / AI 工具

GPUIX：提供基于 Zed GPUI 的 React 与 TypeScript 绑定，让组件通过 Metal、DirectX 或 Vulkan 直接渲染原生 GPU 桌面界面，无需 Electron 或 WebView。

Scrollbar but Cooler：重新设计网页滚动条的前端实验，尝试在保留位置提示与拖动功能的同时摆脱浏览器默认外观。

Lody：面向团队的编码智能体共享工作区，可通过 ACP 接入现有智能体与机器，并从桌面、手机、网页或 CLI 共享会话和分派任务。

Archify：供编码智能体使用的 Node.js 图表生成与校验系统，可将类型化 JSON 中间表示确定性编译为架构、工作流、时序、数据流和生命周期图的自包含 HTML/SVG。

Gribouille：面向 Typst 的声明式 Grammar of Graphics 绘图库，设计受 R 的 ggplot2 与 Python 的 plotnine 启发。

Markdown Graphs：一套可通过 shadcn 安装并嵌入 React/MDX 的等宽字体图表与表格组件，其中部分组件同时提供可粘贴到 README 的 ASCII 版本。

Fresh：强调零配置和熟悉交互的终端文本编辑器，提供鼠标、菜单、命令面板、LSP、多光标、集成终端及基于 Git worktree 的任务编排功能。

Backend from First Principles：一套从 HTTP、路由、认证和数据库延伸到缓存、并发、可观测性、部署、测试与事件流的后端工程公开笔记和代码示例。

How Hugging Face Inference Endpoints, Jobs, and Buckets Power Search on Papers with Code：Hugging Face 详解 Papers with Code 的混合搜索架构：用 Jobs 离线生成论文向量、Buckets 交接产物、Inference Endpoints 处理在线查询与增量更新，再以 RRF 融合 PostgreSQL 全文检索和 pgvector 语义检索。

macOS / 效率 / 其他

omacosy：面向 macOS 26 与 Apple Silicon 的 Omarchy 风格桌面配置，组合 AeroSpace 或 OmniWM、Karabiner 与自编 Swift 工具，提供 dwindle 平铺、Super 键、状态栏、焦点跟随和工作区手势等功能。

OmniWM：受 Niri 与 Hyprland 启发、面向 macOS 26 及 Apple Silicon 的开源平铺窗口管理器，提供 Niri 与 Dwindle 布局、工作区总览、命令面板及可选 IPC/CLI。

Try Omarchy：将预配置 Omarchy Quattro 的 ARM64 Arch Linux 镜像、基于 Apple Hypervisor Framework 的 QEMU 与 Swift/AppKit 启动器封装成 macOS 应用，让 Apple Silicon 用户直接以虚拟机方式体验 Omarchy。

AeroSpace Guide：AeroSpace 的官方完整指南，系统说明这款 macOS 平铺窗口管理器的安装、TOML 配置、布局、工作区、快捷键、CLI 与多显示器行为。

Workout Guide：开放健身插图库，收录 302 个动作和 906 张透明 SVG 帧，可按器械、肌群与动作类型检索，代码采用 MIT、素材采用 CC BY-SA 4.0。

蓝色大肥鱼档案馆：非官方的鲸鱼娘 DeepSeek 同人表情收藏页，提供表情墙、原图预览、复制和下载功能。

math-ai-org/mathcode：集成 Lean 的终端数学编程 agent，可检查证明目标、搜索声明、验证候选证明并交互式完成形式化证明。

Cua：为 computer-use agent 提供 GUI 沙箱与可扩展计算机集群，支持本地及托管部署。

Introducing Delta：Zed 推出的多人 agent 编程与审查环境，将代码、对话和工作树实时同步，让人类与 agent 共享开发上下文。

PyTorch: a reference language：提议将 PyTorch 保留为可执行参考规范，由 LLM 生成显式前向与反向实现并验证二者等价，也引出了 LLM 编写反向传播能否在部分场景取代自动微分的问题。

wibus-wee/cradle-app：桌面优先的 AI agent 管理平台，可统一运行 agent、跟踪任务与会话、协调工作流并接入多个模型提供商。

Building a distributed training framework from first principles：Umar Jamil 从基本原理出发讲解如何构建分布式模型训练框架；此处仅依据公开视频标题与作者信息概括。

Ornith-1.5: From Self-Scaffolding to Self-Improvement：让模型自行生成训练任务、任务脚手架和解题轨迹，再通过强化学习形成持续自我改进闭环。

Famous Deep Learning Papers：按时间梳理深度学习经典论文，并概括每篇论文的核心问题与历史影响。

CS 8803 - LLM：Georgia Tech 2026 春季大语言模型课程主页，汇集预训练、推理、对齐等主题的讲义、论文与学生报告。

Papers with Code：按任务浏览机器学习论文、代码实现与基准结果的索引页。

CopilotKit/openbot：开源 AI 同事平台，为每个 agent 提供独立浏览器、文件与工具环境，并记录其决策和操作。

Machine Studying：提出让 agent 仅从文档语料自主形成领域专长的“Machine Studying”，并以 StudyBench 探索和衡量这一能力。

Hot Take: LLM can ‘jump’：主张互联知识可让模型沿不同于人类直觉的推演路径实现科学跃迁，并讨论安全与持续学习影响。

[2608.08003] The Spectral Neuron：通过仿射矩阵的特征值引入显式非线性，在模型表达力、系数透明度与形状约束之间寻求折中。

Learn Inference：以交互方式讲解生成式 AI 的生产推理工程，从注意力 kernel 延伸到多云容量规划。

The Year in AI Papers: Essential Research from 2025–2026：按主题、实验室、引用、代码和日期整理 2025–2026 年重要 AI 论文及简明摘要。

Marin 训练启动：Harrier K40 数据概览展示 23.11T token 在 40 个语义领域与 5 个质量桶中的分布；535B-A23B 18T Token Hero Run 报告与公开跟踪议题记录模型规格、缩放阶梯、训练动力学和风险监测方案。

数学 / 科研 / 学习

Fanout：汇集 AI 研究、系统设计与机器学习数学课程、路线图、论文解读及交互实验的技术学习平台。

Awesome Physics of AI：按学习动力学主题整理利用物理学原理理解、预测和解释深度学习的论文与研究脉络。

[2608.16884v1] Improving the matrix multiplication exponent with modern optimization and AlphaEvolve：结合优化问题重构、机器学习算法与 AlphaEvolve，将矩阵乘法指数的已知上界从 2.371339 改进至 $\omega < 2.371177$。

Classic Patents：开源历史技术专利博物馆，提供校验后的专利文本、原始 PDF、工程解析和交互式 3D 物理模拟。

How to Read a Technical Paper：建议先限时略读再精读，并边读边用自己的话记录、质疑和构想拓展；LLM 可辅助总结及检索后续评价，具体推敲仍应由读者完成。

Lean formalization of bounded gaps between primes：用 Lean 4 形式化验证有无穷多对相邻素数满足 $p_{n+1} - p_n \leq 246$ 的有界素数间隔定理。

CS229 Course Notes：Stanford CS229 的机器学习课程讲义，系统覆盖监督学习、学习理论、无监督学习与强化学习等基础。

[2608.16753] Mathematics in the age of AI：陶哲轩讨论研究级 AI 到来后，数学共同体应如何重新审视数学研究的目标与价值。

VibeMathed：社区整理此前无人解决、后来由 AI 参与证明或证伪的数学问题，并附可核验来源与验证标签。

形式化数学平台：lemma.ing记录数学问题、推导与研究进展，Halmos由 Lean 内核核验用户提交的证明，TheoremDB保存开放问题、证明、失败尝试与贡献归属，ProofAtlas提供定理解释、Lean 陈述和源码，Proof.Fail则用失败案例刻画 LLM 数学能力的边界。

编程 / 系统 / AI 工具

cneuralnetwork/oplogs：面向机器学习与 agent 的本地优先实验追踪工具，可记录指标、制品、系统遥测和 LLM 调用链，无需账号或云服务。

Latias94/merman：用 Rust 实现的无头 Mermaid 解析、布局与渲染引擎，可输出 SVG、PNG、JPEG 和 PDF 等格式。

AIcss：提供可复制使用的 AI agent 界面组件，覆盖思考状态、工具调用、流式文本、代码差异及结构化输出。

lassejlv/gpui-starter：精简的 GPUI 桌面应用起始模板，示范 Zed GPUI、主题配置、原生程序入口和基础交互。

huacnlee/omarchy-mihoro：为 Omarchy 增加 Mihoro 状态栏面板，可监控代理、切换运行模式并管理多个订阅。

Omarchy Plugins：Omarchy Quattro 的独立社区插件目录，可浏览源码并复制安装命令；核对时页面尚未收录插件。

kenneth’s gitea：Kenneth 自托管的 Gitea 实例，用于公开托管和浏览 Git 仓库。

[2608.13759] GPU Offload in Rust: Portable, Safe, and Fast：提出内置于 rustc 与 LLVM 后端的多厂商 GPU 编译框架，在保留 Rust 内存安全的同时取得接近 CUDA、HIP C++ 的 kernel 性能。

如何在 Rust 中开始使用 CPU 和 GPU：面向 Web 开发者、通过 Rust 代码讲解 CPU 与 GPU 工作原理的日文开源教材。

Linux Fundamentals：免费 Linux/Unix 基础教材，覆盖命令行、文件系统、进程、网络和 Shell 等核心知识。

VibeHub：用通俗语言和可视化方式解释 Vibe Coding 中前端、后端、技术栈及 AI 等常见术语。

Mojo 全面开源 · Mojo Manual：Mojo 以 Apache 2.0 许可证全面开源；官方手册系统介绍语法、类型、内存与异构硬件编程，也适合作为比较 Mojo、Triton、CUDA 与 TileLang 定位的起点。

OJO：由多个 AI 设计 agent 协作的产品工作台，可从自然语言需求推进到研究、UI、交互原型、代码及开发交付。

任意规模的 Git：Cursor 回顾大规模 Git 托管的存储与一致性难题，并介绍以 S3 写前日志为核心的 Continuity 架构。

Computer History Preview：Cua Driver 的实验性功能，会加密记录操作元数据，并允许获授权的 agent 只读查询最近历史。

cathrynlavery/diagram-design：面向 Claude Code、Codex 等编程 agent 的编辑风格制图技能，可生成多类自包含 HTML 与 SVG 图表并套用项目品牌样式。

fx：用 Zig 编写的轻量开源 coding agent CLI，强调约 6 MB 体积、快速启动、低上下文开销和可嵌入性。

Ladybird：由非营利组织支持、独立开发浏览器引擎与完整 Web 技术栈的开源浏览器项目。

Zellij.online：直接把 Zellij 终端会话分享至网页，无需 SSH、端口转发或额外网络配置。

Briq：面向 Windows 11 的原生 agent 辅助开发工作区，用于并行管理多个 coding agent。

OpenLogi：Rust 编写、本地优先的 Logitech Options+ 替代品，可通过 HID++ 重映射按键并控制 DPI 与 SmartShift，无账号和遥测。

terminal-code · zenbu-labs/terminal-code：把 VS Code 工作区带入终端的开源开发工具。

debpalash/VoiceStudio：完全本地、开源的 ElevenLabs 替代品，支持声音克隆、配音、听写、转录和有声书制作等功能。

Subdomain Enumeration via Certificate Transparency：利用公开 Certificate Transparency 数据被动枚举域名的已知子域，并给出首次出现日期。

fross100/omaplug：独立 Omarchy 插件管理器，可启停、更新、安装和移除插件。

lijiawei0305-pixel/omarchy-mihomo-plugin：为独立 mihomo 内核提供状态栏显示的 Omarchy 插件。

Omarchy Manual 中文版：Omarchy 官方手册的社区中文翻译，覆盖安装、配置、快捷键与系统使用说明。

macOS / 效率 / 其他

McanKul/offpdf：提供编辑、合并、转换、压缩和 OCR 等 23 项完全本地运行的开源 PDF 工具，不上传文件且可离线使用。

ddlmanus/MacOptimizer：基于 SwiftUI 的 macOS 系统优化与应用管理工具，包含资源监控、软件卸载、垃圾清理和大文件查找等功能。

AeroSpace Guide：AeroSpace 的完整使用指南；它是一款面向 macOS、操作方式类似 i3 的平铺窗口管理器。

Hammerspoon：连接 macOS 系统 API 与 Lua 的自动化工具，可编排窗口、应用、键鼠、剪贴板、网络和硬件事件。

Cap：集录屏、截图、编辑和视频托管于一体的开源工具，支持接入自己的 Google Drive 或 S3 保存录制内容。

Inkdrop：面向开发者的跨平台 Markdown 笔记应用，支持端到端加密同步，并允许 Claude Code 等 MCP 客户端检索笔记上下文。

How things win：Steph Ango 从生物与商业案例中归纳 80 种建立优势、形成护城河并长期存续的策略。

Departure Mono：Helena Zhang 设计的复古像素风等宽字体，以 SIL Open Font License 免费发布。

Design bookmarks：Anthony Hobday 按主题整理的网页与视觉设计参考书签库。

Arcotype：用于发现非泛用字体的精选目录，收录字体均可按 SIL Open Font License 免费使用。

Tuval：将安卓平板变成电脑数位板的开源工具，支持压感、倾斜、悬停、低延迟传输及画面镜像。

starcat-app/Starcat：原生 macOS GitHub Stars 管理器，通过标签、笔记、全文与语义搜索、AI 摘要等功能把收藏仓库整理成个人知识库。

Metalterm：面向 Apple Silicon 的原生 macOS 终端，使用 Metal 3 完成 GPU 渲染，并提供命令块、快速搜索和命令面板。

missuo/herdrm：herdr 的原生 macOS 控制台，可汇总本机与远程设备上的 coding agent 状态，并接入各自的实时终端。

Writer：免费开源、轻量且本地优先的 macOS Markdown 编辑器，支持 Mermaid、表格、HTML、YAML Frontmatter 和多窗口工作区。

Pulse：原生 macOS 菜单栏股票行情工具，可快速查看自选标的价格与市场动态。

Normal Tools：无需账号和下载、直接在浏览器运行的 193 个计算器、转换器、检查器、生成器与硬件测试工具。

Product Now：每日策展 AI、设计、生产力等领域新数字产品的发现站。

Look：键盘优先的 macOS 启动器，专注快速执行本地操作。

@@ for Mac：在 macOS 任意文本框中调用 AI agent 的原生工具。

byrencheema/airstats：低占用的 macOS 菜单栏系统监视器，展示 CPU、内存、GPU、网络、磁盘、电池与温度。

Learning more about Claude’s mathematical capabilities：Anthropic 介绍未发布的 Claude 研究模型如何把已验证满足黎曼猜想的零点比例下界从 41.6% 提高到 67.2%，并给出论文与 Lean 形式化结果。

Dyna-2: A 1-Million-Hour Scaling Law for World-Action Models：Dyna Robotics 介绍以超过 100 万小时人类视频预训练的世界—动作模型，并研究其在人类与机器人任务上的尺度规律。

[2608.09867] Stealing Reasoning Traces from Proprietary LLM APIs：论文展示跨会话复用加密推理块可能泄露专有模型的推理内容，并讨论提示注入风险与缓解方案。

Introducing Unsloth Desktop：跨 Windows、macOS 与 Linux 的开源桌面应用，用于本地运行、训练、导出和部署多类 AI 模型。

MiniMaxAI/MiniMax-Music3 · Hugging Face：MiniMax 发布的音乐生成模型及权重页面。

Training AI Scientists to Replicate Research · Inherent：介绍 Faraday：以复现论文图表为任务、经长时程强化学习训练的 27B AI 科研 agent。

Measuring Autonomous AI Research：报告在 nanoGPT 优化器速跑任务上对 18 个前沿模型进行 153 次自主运行的评测。

SlimeBoyOwO/LingChat：带情感表现、桌宠、日程与互动剧情模块的 AI Galgame 聊天应用。

数学 / 科研 / 学习

Problems · TheoremDB：收录数学与理论计算机科学问题的数据库，可按领域、解决状态与 Lean 验证状态筛选。

[2606.03953] Introduction to stochastic gradient methods：系统介绍确定性与随机一阶优化方法，涵盖光滑性、凸性、PL 条件、收敛率与方差缩减。

ComfyResearch: See How Learning Happens：用可组合图节点表示数据、模型、训练和观测，帮助研究者可视化并比较神经网络的学习动态。

Hadamard Matrix of Order 668 | Epoch AI：FrontierMath 的 668 阶 Hadamard 矩阵构造问题；页面记录了一个由三名研究者与 Claude 协作得到的候选解。

Matrix Calculus：可计算向量、矩阵与张量表达式导数并导出 Python 或 LaTeX 的在线符号工具。

• [2010.03313] A Simple and Efficient Tensor Calculus for Machine Learning：提出基于 Einstein 记号的张量求导算法，兼顾自动微分表示与高阶导数计算效率。
• Computing Higher Order Derivatives of Matrix and Tensor Expressions：提出直接计算矩阵与张量高阶导数的框架，支持符号、前向和反向自动微分。

GENO：通过建模语言描述优化问题，并自动生成可在 CPU 或 GPU 上运行的 Python 求解器。

• [1905.13587] GENO — GENeric Optimization for Classical Machine Learning：介绍由声明式问题描述自动生成求解器的 GENO 框架及其在经典机器学习优化问题上的表现。
• [2203.16340] Optimization for Classical Machine Learning Problems on the GPU：将 GENO 扩展到 GPU 约束优化，并比较多类经典机器学习问题的求解效率。

How to keep thinking：讨论频繁审阅 LLM 输出对慢思考习惯的影响，并建议通过亲自写作和阅读高密度书籍保持深度思考。

Free eBooks | Project Gutenberg：以美国版权已到期的旧作品为主、可在线阅读或下载的免费电子书库。

酒井科协暑培 2026：2026 年暑期培训课程主页，用于集中发布准备材料、讲义与作业。

ChapterPal — AI-assisted reading and note-taking：提供上下文问答、主动回忆与渐进阅读功能的 AI 辅助阅读和笔记工具。

数译 · Math Translations：公开保存、分享和共同维护中文数学译本、讲义与术语表的社区。

Algorithm Wiki：按领域、问题、算法家族与变体组织算法资料的知识库。

编程 / 系统 / AI 工具

jcode：Rust 编写的开源终端 coding agent，强调低资源占用、多会话并行以及可审计、可定制的运行环境。

QwenLM/Qwen-MM-Plugins：为 Qwen 模型与多种 agent 框架提供图像、视频、OCR、搜索、媒体编辑和 CAD 等多模态插件。

Optimising fp32 GEMM on A100：逐步讲解并基准测试 NVIDIA A100 上 fp32 GEMM 的 Tensor Core、PTX、共享内存、异步加载与流水线优化。

lidge-jun/opencodex：在本地把 Codex、Claude Code 等客户端协议转换到多种 LLM provider，并支持流式输出、工具调用与账户路由。

duolahypercho/codex-router：把 Anthropic、Kimi、DeepSeek 等外部模型接入 Codex 原生模型选择流程的本地路由器。

PI from Scratch · 创造属于你的 pi-agent：从零构建个人 pi-agent 的中文教程；页面当前无法访问，此处仅依据其公开题名描述。

lassejlv/gpui-starter：基于 Zed GPUI、带基础主题与交互示例的最小 Rust 桌面应用模板。

Beautiful UI — Crafted primitives for AI-native interfaces：提供面向 AI 原生界面的可复制组件范例，覆盖流式状态、审批、工具调用、任务、diff、表格与聊天交互。

raullenchai/Rapid-MLX：面向 Apple Silicon 的本地模型服务引擎，提供 OpenAI 与 Anthropic 兼容接口，可供 coding agent 和其他客户端调用。

Waku — one native app for all your coding agents：以 Rust 与 GPUI 构建的本地原生应用，在一个界面管理多个 coding agent 的会话、工具活动和 Git 检查点。

pytorch-training-recipe · ml-training · pytorch-lightning：三项面向训练工作流的 agent skill，覆盖 PyTorch 复现、通用机器学习训练检查与 PyTorch Lightning 工程组织。

DeepSeek Harness：DeepSeek 开源的 agent 运行框架，采用“一切皆插件”的架构，目前处于开发者预览阶段。

Package Catalog · Pi：Pi coding agent 的扩展、skill、提示模板与主题目录，内容来自 npm 包。

zhu1090093659/dsh-web-ui：DeepSeek Harness Web UI 的社区插件与皮肤集合，包含任务看板、Git 图、移动端远程界面等功能。

kenn-io/agentsview：本地优先的 coding agent 会话搜索、分析与 token 使用统计工具。

Zeron：从其他设备实时查看和控制本机 Claude Code、Codex、Grok、Hermes 与 Pi。

DannyMac180/grok-plugin：通过 MCP 与 xAI OAuth，让 Claude Code 或 Codex 把任务及代码审查委派给 Grok 的插件。

xiaobright/dsh-anchored-standard：社区实验性 DeepSeek Harness 预设，通过分阶段工具目录控制会话初始轨迹与后续工具开放。

dshfind：聚合 DeepSeek Harness 插件，并提供插件指标、课程与论文解读的中文社区。

blader/humanizer：用于减少文本中常见 AI 生成写作痕迹的 agent skill。

Maximizing the value of your Claude Code sessions：Anthropic 提供的 Claude Code 会话实践建议，重点讨论如何更有效地利用 token。

Home | mise-en-place：统一管理项目开发工具版本、环境变量与任务的多语言 CLI。

GPUI Component：基于 Rust GPUI 构建跨平台桌面应用的 UI 组件库。

Welcome to Omarchy! — The Omarchy Manual：基于 Arch、Hyprland 与 Quickshell 的 Omarchy Linux 发行版官方手册。

ast-grep：面向多种编程语言的快速结构化代码搜索、lint 与批量重写工具。

macOS / 效率 / 其他

Tinycast：以 SwiftUI 与 AppKit 原生实现的轻量 macOS 启动器，集成应用启动、快捷键、剪贴板历史和片段。

美股编年史｜美股百年走势、估值与回撤：以交互式图表汇总标普 500、纳斯达克等美国股市的长期走势、收益、估值与回撤。

VibeCleaner：本地扫描并按安全等级展示 Xcode、包管理器、Docker、Ollama 等开发缓存的 macOS 原生工具。

学生教育优惠项目导航：汇总软件、购物、娱乐与 AI 工具的学生优惠及教育邮箱认证入口。

metedata/Remarc：在 Mac 上通过文字、截图、网页元素或语音留下反馈，并经 MCP 交给 agent 处理。

Savant：面向 Mac 与 iPhone 的笔记应用，目前处于早期 alpha 阶段。

小语文稿 - Moeka：强调流畅、高性能编辑体验的 Markdown 编辑器。

前 OpenAI 推理负责人 JT 与 Gemini pretrain 负责人 Rohan：Continue learning 的未来：围绕持续学习、预训练后的知识更新与模型长期适应能力展开的访谈。

(Some of) The Models, They Just Don’t Want to Learn | Tilde：讨论推理模型的潜在递归深度与训练难题，并通过 One Layer Deeper 竞赛探索架构、优化器和目标函数的协同设计。

Maple-Preview Model Card — DeepGrove：DeepGrove 的开源 20B-A1B 三值权重推理模型，面向高速端侧推理与适配。

Xiaomi-Robotics-1：小米机器人基础模型，以超过 10 万小时的无本体操作轨迹预训练，再用真实机器人数据完成本体与指令对齐。

Lattice: an 8 MB static retriever that embeds Wikipedia in 7 minutes：介绍约 8 MB 的静态检索模型及纯 Rust 运行时，可在 8 核 M2 MacBook Air 上约 7 分钟嵌入 640 万篇英文 Wikipedia 文章。

[2606.12683] From AGI to ASI：梳理从 AGI 走向 ASI 的四条可能路径：规模扩展、范式转移、递归改进与大规模多智能体集体。

What are AI robots? A complete introductory guide to 2026：面向入门者介绍 AI 机器人、核心组件、常见类型与应用场景。

Evolution Strategies at the Hyperscale：提出 EGGROLL，以低秩结构化扰动提升进化策略的 GPU 算术强度；作者报告其在十亿参数、大种群设置下较朴素 ES 获得约百倍吞吐提升，并用于纯整数 RNN 预训练与 RWKV 推理后训练。

数学 / 科研 / 学习

The Daily Diff：按日汇集值得阅读的论文、技术文章与讨论，并提供推荐信号和简短导读。

TensorTonic：通过从零实现机器学习算法、CUDA kernel 与经典论文来学习 ML 的交互式练习平台。

Interactive Machine Learning — Prof Richard Xu：以交互式内容讲解机器学习概念与算法的在线课程。

Inference in Statistical Modelling and Machine Learning：统计建模与机器学习推断教材的配套站点，提供完整 PDF、习题解答、课件及 Python / R notebooks。

Inference Engineering：从 GPU、CUDA kernel 到量化、KV cache、并行与生产部署的 AI 推理交互式指南。

Kurate.org — AI Paper Rankings：由三个 LLM 共同评判机器人、经济学、物理等领域预印本潜在影响力的论文排行站。

AI Settles a 25 Year-old Problem We Left Behind：讨论 MIMO 最大似然检测对应的二值整数最小二乘问题，以及 AI 辅助推进相关理论问题的案例。一般形式的精确求解仍是 NP-hard；多项式时间通常指松弛或近似检测方法。目标问题为：

JoseDeFreitas/awesome-youtubers：按 Web 开发、计算机科学、机器学习、游戏开发与安全等主题整理的技术 YouTube 频道清单。

编程 / 系统 / AI 工具

jcode：Rust 编写的开源终端 coding agent，强调低资源占用、并行会话、长任务持续执行与可审计性。

VisualTeX：可视化编辑并实时预览 LaTeX 公式的在线工具。

Peezy：面向真实项目的终端 coding agent，可在统一界面切换多种模型与 OpenAI-compatible provider。

Diffs, from Pierre：基于 Shiki 的开源代码与 diff 渲染库，支持分栏 / 统一视图、批注、冲突处理和交互式接受或拒绝改动。

yetidevworks/drydock：用一个 Rust TUI 查看多个仓库中未提交、未推送、落后远端与待发布状态。

Canario：基于 Rio 引擎的 macOS 终端，提供空间分组、分屏、命令面板、标签预览与全局快速终端。

Local Studio：本地 AI 工作台，将模型、推理运行时、硬件监控、文件、终端与 agent 放在同一界面，并统一接入 vLLM、SGLang、MLX 和 llama.cpp。

CNB：腾讯的云原生开发平台，以 Everything as Code 管理构建环境、缓存、插件与弹性算力。

SteveSuv/remix-words-funny：使用 React Router v7、tRPC、Drizzle、PostgreSQL、HeroUI 与 Docker 构建的全栈英语单词学习项目。

codecast-sh/codecast：统一记录、检索并远程调度 Claude Code、Codex、Cursor 与 Gemini 会话，支持团队记忆和代码行级 agent 归因。

macOS / 效率 / 其他

Tahul/space-rabbit：移除 macOS Spaces 切换动画，缩短桌面切换等待时间。

Vorssaint · vorssaint/vorssaint-utils：免费开源的模块化 macOS 菜单栏工具箱，覆盖防休眠、硬件监控、音量、网络、磁盘与常用系统开关。

Side Screen：通过 USB-C 或 Wi-Fi 将 Android 平板变成 Mac 的扩展显示器，支持硬件加速与触控输入。

migsilva89/imark：原生 macOS Markdown 阅读器，可跟随文件保存实时刷新；批注直接写入 Markdown 的 HTML 注释中，文件无需上传云端。

moonshotai/Kimi-K3 · Hugging Face：Moonshot 发布的 Kimi K3 模型权重与模型卡。

X 上的 ali：“22580: From GPT2 to Kimi3, Explained”：从 GPT-2 到 Kimi K3 的架构演进串讲。

cneuralnetwork/smol-kimi-k3：约 49M 参数的 Kimi K3 风格小模型，可在单卡 8GB GPU 上训练。

cneuralnetwork/smol-glm-5.2：约 50M 参数的 GLM-5.2 架构研究，含 MLA、DSA、IndexShare、sparse MoE、shared MTP 与 Muon Split。

Exclusive | Nvidia Invests in Sutskever’s Safe Superintelligence AI Lab - WSJ：Nvidia 投资 Ilya Sutskever 的 SSI，以扩展算力与合作触达。

Compression and Intelligence — Ryan Greene：讨论压缩、智能与 LLM 之间的关系。

Physics of Language Models：Allen Zhu 等的语言模型“物理”研究系列：从架构与训练机制解释 LLM 行为。

解构 Scaling Law：优化、架构、数据的三重奏 - 科学空间：从优化、架构与数据三方面拆解 scaling law 的形成与约束。

MinghuiChen43/awesome-deep-phenomena：持续更新的深度学习有趣经验现象与论文列表。

AI Explorables | PAIR：Google PAIR 的交互式 AI 概念探索页，用可视化帮助理解模型机制。

Looped Transformer | alphaXiv：Looped Transformer 相关论文合集。

Towards Looped Models Done Right：讨论如何正确设计与训练 looped / 循环式模型。

Explorative Modeling — Unlocking a Third Pretraining Axis and End-to-End Generation | Alexi Gladstone：提出探索式建模作为预训练的第三条轴。核心思路示例：

losses = []
for i in range(K):
    generation = model.generate()  # e.g., from a different random noise
    losses.append(loss_fn(generation, data))
min(losses).backward()  # only the best generation gets gradients

若把 $\min_{i} \mathcal{L}_{i}$ 推广为更一般的 $f(\mathcal{L}_{1},\dots,\mathcal{L}_{K})$，会得到怎样的优化动力学？

[2604.22951] The Power of Power Law: Asymmetry Enables Compositional Reasoning：论证自然语言的幂律不对称分布有助于组合推理，而非应被均匀化。

Enigma: Robots that feel right：Enigma 介绍其机器人系统：理解环境并做出“体感正确”的动作。

maka-agent/maka-agent：本地优先的 AI 桌面助手。

ArXivIQ | Grigory Sapunov | Substack：人工精选 ML 论文 + AI 生成深度解读；每日 TLDR 与架构笔记。

Blog - Ulam · Research - Ulam：AI 研究与 DeepAlgebra 等相关项目。

Home | CSE 234：CSE 234 Machine Learning Systems 课程主页。

数学 / 科研 / 学习

Mathematics in the age of AI：Terence Tao 在 ICM 2026 相关场合的幻灯片。

What Is the Inverse Covariance Matrix?：从统计与几何视角解释精度矩阵（逆协方差）的含义与用途。

[2607.21716] A Defense of the Quadratic Model：为优化理论中的二次模型辩护：在可处理性与真实 loss landscape 之间权衡。

AI Agents for the Working Mathematician：面向工作中数学家的 AI agent 使用经验与工作流。

Prompting Toward a Conjecture - Guanyang Wang：多一句“检索文献”如何改变 GPT-5.6 Sol Ultra 在 Feige $1/e$ 猜想上的成功率。

用 LLM 生成证明并完成形式化验证 - Guanyang Wang：LLM 生成证明 + Lean 形式化验证的工作范式；以 1997 KTV 猜想二元矩阵情形为例。

Ten advances in mathematics and theoretical computer science | OpenAI：OpenAI 汇总的十项数学与理论计算机科学进展。

UnsolvedMath：开放数学问题仓库。

Home | Open Problem Garden：数学开放问题目录与社区园地。

Optimization Online：优化及相关主题的 Eprint 仓库。

Trouble in High-Dimensional Land - Dibya’s Blog：高维几何与概率中的反直觉现象。

faridrashidi/cnsplots：面向 Cell / Nature / Science 风格的出版级绘图工具包。

编程 / 系统 / AI 工具

Herdr: one terminal for the whole herd：Agent multiplexer，一个终端管理整群 agent。

Shuffle - A fast, native file manager for macOS：免费开源的 macOS 原生文件管理器（Rust + GPU 渲染），双栏、标签、命令面板与终端模式。

Tinycast — a tiny, native macOS launcher：轻量原生 macOS 启动器，模糊搜索、计算器、剪贴板历史与全局快捷键。

Rust Vs C++ - LLM coded model conversion from PyTorch：用 LLM 将 PyTorch 模型转换逻辑在 Rust 与 C++ 间对照实现。

icebird1998/drawio-scientific-illustrator：通过 MCP 逐步控制 draw.io 画布，做科学插图。

zeronsh/chat：统一接入 Claude、OpenAI、Gemini 等多模型的 AI 聊天应用。

terminal-browser：直接运行在终端里的真实浏览器。

Codex Reset — Last Reset Tracker & Live Forecast：Codex 用量重置时间追踪与 24h/48h 预测。

GPU Glossary：Modal 维护的 GPU 术语表。

ascend-ai-coding/awesome-ascend-skills：华为昇腾 NPU 开发知识库，按分布式 Agent Skills 组织。

豆包搜索 Custom 版：火山引擎豆包搜索文档；每月免费 500 次。

iv-org/invidious：YouTube 替代前端。

设计 / 写作 / 其他

://argon.red：设计师 blog；相关讨论见 X 上的 Alpha Argon。

Soofi S — Sovereign German-English Foundation Model：Soofi Project 的德英双语基础模型预训练报告。

Learning from experience instead of curated datasets · Oak Lab：讨论智能体如何从经验而非人工整理的数据集中学习。

Inkling: Our Open-Weights Model：Thinking Machines Lab 发布的开放权重模型。

Kimi K3：智能的新前沿：Kimi K3 相关解读与介绍。

对 Physical Intelligence 柯丽一鸣的四小时访谈：涉及 PI 的开源模型研究、机器人领域的发展脉络与主要参与者。

Have Chinese AI Models Caught Up to the US Frontier?：从基准与能力差距估计出发，讨论中国模型是否已追上美方 frontier。

智能体蜂群与新的模型经济学：Cursor 对 agent swarm 及其模型经济学的讨论。

从“会说”走向“会创作”｜Seed Audio 1.0 音频创作模型发布：字节 Seed Audio 1.0 音频创作模型发布说明。

[2607.10252] One Token Is Enough: Fingerprinting and Verifying Large Language Models from Single-Token Output Distributions：仅用单 token 输出分布对 LLM 做指纹识别与身份核验，应对不透明的 API 供应链路。

Introducing Laguna S 2.1：Poolside 发布 Laguna S 2.1，强调更长 horizon 与更有效的推理使用。

Macaron-V1-Preview: 749B MoL Agent Model post-trained from GLM5.1：基于 GLM5.1 后训练的 749B MoL Agent 模型预览。

[2507.09369] A Taxonomy of Omnicidal Futures Involving Artificial Intelligence：对 AI 可能导致几乎全人类消亡的场景做 taxonomy 与举例（非必然，而是可能性梳理）。

Scaling Video Pretraining with Imagination Models：Induction Labs 在 5.75 亿帧计算机使用数据上从头预训练 Photon-1，并在 latent 空间中进行自回归训练。

[2607.20548] SOAP, Muon, and Beyond: Pushing LLM Pretraining Scales · NVIDIA-NeMo/Emerging-Optimizers：在大规模预训练中适配与增强 SOAP、Muon 等更高阶优化器；附 NVIDIA NeMo 相关实现。

How to train a frontier-level world model · next-state/open-dreamer：使用 JAX 实现的开源 Dreamer。

Causal Video Models Are Data-Efficient Robot Policy Learners：Rhoda AI 的 DVA：把机器人策略重写为视频生成，以提升数据效率与长上下文能力。

What is the purpose of interpretability?：讨论可解释性研究究竟要解决什么问题、服务什么目标。

数学 / 科研 / 学习

DSPIllustrations.com：通过交互式图示理解数字信号处理。

Wireless Pi：无线通信与信号处理学习资料。

intro-to-dl：深度学习入门课程。

[1708.09093] Memories of a Theoretical Physicist：Joe Polchinski 的理论物理回忆录式文稿。

[2607.11664] Lecture Notes: Convex Optimization：Graz 大学凸优化课程讲义，覆盖预备知识、存在性与算法基础。

关于 Jacobian 猜想三维映射的讨论：原帖给出一个 $\mathbb{C}^3 \to \mathbb{C}^3$ 映射并宣称构成反例；结论仍需以正式论文和同行检验为准。

PyTorch internals：PyTorch 内部机制导读。

OpenResearch：研究资源与工具入口。

Byrne’s Euclid：Oliver Byrne 彩色版《几何原本》的在线版本。

2026 年菲尔兹奖相关介绍：关于获奖者邓煜、王虹及其工作的解读。

Python Tutorials – Real Python：高质量 Python 教程与实战文章站点。

[2607.20732] librla: Randomized Linear Algebra Library：面向中等规模矩阵（约至 $10^4$ 维）的随机线性代数库介绍。

编程 / 系统 / AI 工具

Synara：集成 Claude Code、Codex、Gemini 与 Cursor 的开发工具。

ChatCut ChatGPT/Codex Plugin：面向 ChatGPT / Codex 的插件，辅助剪裁与整理对话上下文。

xai-org/grok-build：开源的 coding agent harness 与全屏 TUI。

ZacharyZhang-NY/Kigi-CLI：基于 Grok Build 的非官方 Kimi Code CLI 社区版本，使用 Rust 开发。

tldraw offline · nn-digits.tldraw 示例：可由 AI 操作的桌面白板。

petersolopov/yace：不到 2 KB、支持插件的浏览器代码编辑器。

ayghri/i-have-adhd：约束 Claude Code 输出、突出答案的 Agent Skill。

mesamirh/MovieBox-Tui：使用 Rust 开发的 MovieBox 终端界面。

ChatGPT Table of Contents：为 ChatGPT 对话生成目录的浏览器扩展。

marcelroed/gigatoken：面向 GB/s 吞吐量的语言模型 tokenizer。

Tangent：一款强调工作流与空间组织的浏览器。

Why I chose Tauri, and what it cost me：Tabularis 选择 Tauri 的经验与代价。

CaliCastle/skills：其中 Signal Geometry Skill 用精确几何、低对比哑光色块和克制的空间关系，将单一概念转化为稀疏抽象插画或海报。

nexu-io/codex-slides：运行在 Codex 中的开源 AI 幻灯片工作室，支持研究、提纲、渲染、编辑、演示和导出。

Minibase：将网页转换为适合 Claude、ChatGPT 与 Obsidian 使用的 Markdown。

l0ng-ai/tty7：使用 Rust 与 Zed GPUI 开发的终端工作台，集成 shell、持久会话、SSH 和 coding agent；项目称其吞吐量约为 Alacritty、Ghostty 或 Kitty 的两倍。

设计 / 写作 / 创作

NameThat：UI 视觉词典，适合查找不熟悉的界面元素名称，也便于更准确地向 AI 描述设计需求。

Arjun Kocher：个人作品集网站。

Making Software: How to make a font：字体制作教程。

Vercel Design System · Dark：完整的颜色 token、字体、间距、圆角、组件、动效与文案规范；核心原则是让颜色传达信息，而非仅作装饰。

Feldar · Marker · Ornata · Ishmael：几款强调专注、思考或长篇写作的应用。

Attune：强调专注与节奏感的个人计算 / 写作类应用。

pixgel：可导出平滑 SVG 的液态像素画编辑器。

blakeshao/a-psychos-gd-tool：节点式图形设计工具。

You’re relatively right!：仅凭用词风格比较不同 LLM 写作相似度的热力图。

Sticker Forge：交互式贴纸制作工具。

Canvas UI：创意画布与 WebGL 组件库。

设计灵感与资料索引：

• posts.design：社交帖子设计
• noiced.com：每日网页设计灵感
• mnmm.xyz：极简网站目录
• ogpedia.xyz：OG 图片设计
• deck.gallery：演示文稿设计
• logosystem.co：标志设计案例
• visualjournal.it：品牌与编辑项目
• brandguidelines.net：品牌指南库
• recent.design：近期设计作品

资讯 / 生活 / 其他

赛博鸡蛋：数字产品与优惠信息。

Electroagenda：电子音乐活动日历。

jobleap：网申求职信息工具。

Eli Bendersky’s website：编程、计算机科学与技术文章。

Scenic Relaxation · Jacob Adler · Relaxation Film：自然风景与放松影像频道。

There Is No Avenue of Communication Between You and God：一篇关于人与神之间不存在直接沟通渠道的随笔。

GPT-5.6: Frontier intelligence that scales with your ambition | OpenAI：OpenAI 新一代 frontier 模型发布页。

Ethan Knight on X：GPT-5.6 Sol Ultra 与 Cycle Double Cover Conjecture：称用 64 个子 agent 在约一小时内给出 CDC 猜想证明；proof · prompt。

多 Agent 搜索式证明的可用流程：

1. 定义清楚问题，完全形式化，明确：输入对象、允许的结构、输出形式、不变量、边界情况与验收条件等。
2. 阐明目标，分为正面和反面，什么结果算正确？什么结果不算正确？
3. 对于未解决的问题，Assume a complete affirmative proof exists，但这意味着可能会将已有内容解释为正确，因此需要对抗性审查。
4. 多 Agent 搜索不同方向的思路，除非有确定性把握，否则不要告诉 AI 你的偏好思路。
5. 分别维护进度，规范输出内容格式。
6. 交付内容必须可检验。
7. 主管 Agent 进行汇总，维护全局状态，反复 loop，禁止失败就停止。
8. 禁止搜索直接相关内容，只能搜索基础性内容。

对应原则：

1. Specification before reasoning：先精确定义目标、对象和失败条件；
2. Diversity before consensus：先保持独立多样，再分享和融合；
3. Mechanisms, not narratives：只接受可验证的引理、构造、方程与反例；
4. Optimistic exploration, adversarial verification：搜索时大胆，验收时残酷；
5. Manage the search, not just the answers：记录路线、识别重复、冻结死路、动态分配算力。

Prompting | ChatGPT Learn：ChatGPT 官方 prompting 文档。

30 papers · The reading list Ilya Sutskever gave John Carmack：Ilya 给 Carmack 的 30 篇论文阅读清单站。

AI 2040: Plan A：面向 2040 的 AI 路线规划材料。

[2607.01233] Measuring the Gap Between Human and LLM Research Ideas：量化人类与 LLM 研究 idea 之间差距的论文。

优化 / 机器学习 / 数据

[2607.04033] OmniOpt: Taxonomy, Geometry, and Benchmarking of Modern Optimizers：现代优化器的 taxonomy、几何视角与 benchmark 框架。

J-lens CKA explorer：CKA / representation similarity 相关可视化探索器。

LAION Dataset Explorer：LAION 嵌入空间数据浏览器。

PolymathicAI/the_well / The Well：约 15TB 物理仿真数据集集合。

数学 / 理论 / 开放问题

AI Math Open Problems：面向 AI / 数学交叉的开放问题列表（矩阵积分不等式、压缩凸泛函、MVI 张量方法下界、信息几何与图论等多类问题）。

Frank Nielsen | Information Geometry, divergences, and diversities：信息几何、散度与多样性的资源地图。

Algorithms by Jeff Erickson：Jeff Erickson 算法教材（免费在线）。

thatmagicalcat/txm：终端数学渲染引擎。

编程 / 系统 / 工具

The CUDA Handbook — Chapters：CUDA 编程手册章节。

Cloudflare Drop：无需登录，直接在 Cloudflare 上传文件部署临时站点，约一小时有效。

Mounting Cloudflare R2 into macOS Finder：把 Cloudflare R2 挂进 macOS Finder 的实践笔记。

Harbofly · understand your storage, recover space safely：磁盘占用分析与安全释放空间工具。

johnfactotum/foliate：Linux 上风格干净的电子书阅读器。

哲学 / 出版 / 其他

History of Philosophy - Summarized & Visualized：哲学史交互可视化与摘要。

Explore · PubPub：开放出版与知识社区浏览入口。

Manggo：Pot 不再维护后，作者推出的新翻译工具。原 Pot 仍可作为迁移背景参考。

opendatalab/Sciverse-Agent-Tools：面向 Sciverse Open Platform 的 agent 工具 schema 与 SDK，把检索能力整理成 LLM agent 可调用的标准工具。

Terax：terminal-first 的 AI-native dev workspace，偏向把 AI 开发工作流放回终端环境。

Gitlawb/zero：强调本地、自主、可控的 coding agent，口号是你的模型、机器和规则由你决定。

Tiktokenizer：在线 tokenizer 观察工具，适合快速看文本如何被 token 化。

偷懒工具：一组在线小工具集合，偏日常效率场景。

UniClipboard：local-first、P2P、端到端加密的跨设备剪贴板同步工具，不依赖账号和云端中转。

机器学习 / 优化 / 课程

Random Reshuffling Dominates Stochastic Gradient Descent：证明在光滑凸优化中，合理步长下 random reshuffling 在任意有限 epoch 后都优于 SGD，回答了一个长期开放问题。

Orca: The World is in Your Mind：world model 方向论文页面，关注模型内部世界表征与预测能力。

Reinforcement Learning of Large Language Models：大语言模型强化学习课程材料。

DSC 243: Convex Quadratics：高级优化课程中关于凸二次函数的讲义。

Pen and Paper Exercises in Machine Learning / GitHub：机器学习纸笔练习集，适合作为概念推导和考试型训练材料。

Presentations：Michael Gutmann 的统计机器学习相关 presentation 集合。

Machine Learning Visualized：机器学习概念可视化材料。

IClimbTrees：AI 与机器学习课程集合。

信号 / 雷达 / 音频

How I built a mmWave material classification radar：毫米波材料分类雷达的个人项目记录，包含硬件、信号与实验实现。

AudioMass：在线音频编辑器，适合轻量剪辑和波形处理。

计算机基础 / 理论 / 工程文章

CS-Fundamentals：面向求职准备的计算机基础资料，覆盖 DSA、计算机网络、DBMS / SQL、OOP、操作系统、系统设计与软件工程。

Respect the P v NP Problem：Computational Complexity 博客关于 P vs NP 问题的评论文章。

(Quite) A Few Words About Async：关于异步编程的长文，适合回看 async 的设计动机和复杂性来源。

设计 / 插图 / 图像资源

Open Peeps：手绘人物插图库。

Old Book Illustrations：公共领域旧书插图资源库。

Online image vectorizer：在线位图转矢量工具。

中国传统纹样图鉴 Wenyang：中国传统纹样资料站。

信息源 / 资讯 / 生活工具

Hatnote Listen to Wikipedia：把 Wikipedia 编辑活动转成实时声音和视觉反馈的项目。

Data Science Weekly Newsletter：数据科学周刊。

FiNews 美股日报：美股新闻日报。

Showpaw / 妙搜云 / 小云搜索 / 小狐搜搜：影视、学习资料、软件和公开网盘资源搜索工具。

躺平城市指南：面向自由职业者与远程工作者的城市选择参考。

folia-major：本地音乐 / Navidrome / 第三方网易云播放器相关项目，主打绚丽歌词动画效果。

Depo | AI Harness tools / Depo - Curated Tools, Skills & Resources：面向 AI agent 与开发工作流的工具目录。

rebel0789/codexpro：通过 MCP 把 ChatGPT Developer Mode 接成本地 coding agent。

Waishnav/devspace：把 ChatGPT 接入 Codex 式开发空间的项目。

caezium/Burrow：Mole CLI 的原生 macOS GUI，覆盖清理、卸载、优化、磁盘分析与 MCP。

loops! | Pre-built agent loops：预制 agent loop 集合。

Oak ｜ 你和智能体共享的 AI 知识库：面向人与智能体协作的知识库产品。

JerryZLiu/Dayflow：本地优先的自动工作日志，把屏幕活动整理成时间线。

Aside | The browser built to do real work for you：强调代理式工作的浏览器。

HuntScreens - 发现值得一试的新 AI 工具：AI 工具发现站。

Codex 雷达：Codex 相关动态聚合。

Previewing GPT-5.6 Sol: a next-generation model | OpenAI：OpenAI 的模型预览文章。

Agent Mail — QQ 邮箱为 Agent 打造的专属邮箱：面向 Agent 的邮箱产品。

编程 / 开源工具 / 系统

Lore | 下一代开源版本控制系统：新一代开源版本控制系统。

Otty — A native, beautiful terminal app：原生终端应用。

renatoworks/oh-my-reddit：在终端中阅读 Reddit threads 的工具。

l0ng-ai/papr：快速、原生的桌面 RSS 阅读器。

ReLaTeX - Copy & Render AI Equations：复制与渲染 AI 生成公式的浏览器扩展。

cool-japan/trustformers：Rust 实现的 Hugging Face Transformers 推理/部署相关项目。

baidu/Unlimited-OCR：长文档 OCR / 解析项目。

Blind 75 - LeetCode Problems with Video Solutions：Blind 75 刷题清单与视频讲解。

数学 / 机器学习 / 视觉

Michael-Jetson/Robotics_Tutorial：体系化机器人教学文档，覆盖数学基础、C++、规划控制与 SLAM。

Algebrica | A Mathematical Knowledge Base / antoniolupetti/algebrica：强调清晰结构的数学知识库项目。

Taxonomy of Principal Distances & Divergences：常见距离与散度的分类整理。

Natural Number Game：Lean 风格自然数证明游戏。

A Self-Learner’s Roadmap Through 30+ Great Math Books：数学自学书单路线。

How To Scale Your Model：JAX / ML scaling 相关教材。

Alisa’s book of LLMs / math notes：LLM 与数学笔记合集。

Deep-ML | Practice Machine Learning：机器学习练习平台。

Foundations of Computer Vision：MIT 计算机视觉教材。

X 上的 deep Manifold：“Neural Network Learnability and Discoverability 神经网络的学习性与发现性”：关于神经网络可学习性与可发现性的讨论线索。

所有数学的分支中，复分析最接近艺术：复分析学习与审美相关长文。

LLM Visualization：交互式 LLM 结构可视化。

MLE is not intuitive：关于最大似然估计直觉的文章。

plugyawn/Megaprop：面向 MoE 训练的预条件优化器实现，支持 MuP、FSDP Muon 与 Megatron-LM。

产品 / 设计 / 阅读

Product Design Psychology by Wouter de Bres：产品设计心理学资料。

行业求职笔记 — Notes on the Industry Job Search：行业求职经验笔记。

不想看片 / kanpianer/bxkp.org：影视资源导航站与开源仓库。

Orthogonal — Greg Egan：Greg Egan 的《正交》三部曲入口。

4K原盘免费下载：4K 原盘资源站。

Codex 重置雷达：跟踪 Codex 重置节奏的小工具。

Making Software：关于软件构建、工程判断和产品实践的文章站。

Alignment Science Blog：Anthropic 的对齐科学博客。

galilai-group/stable-worldmodel：面向 world model 研究与评测的可复现实验平台。

WeightWatcher：无需训练数据的深度学习模型诊断工具。

NEKOparapa/AiNiee：面向游戏、小说、字幕、PDF、Word 等复杂长文本的一键 AI 翻译工具。

Building a hill-climbing machine：Microsoft AI 关于 MAI 模型系列的发布文章。

arXiv 2605.23901: LLMs as Noisy Channels：Seed 团队从 Shannon noisy channel 角度理解模型容量与 scaling law。

Is Frontier Asynchronous RL Solved?：Luke Huang 对前沿异步强化学习问题的梳理。

On the Legacy of Linear Transformers in Positional Embeddings：从 linear transformer 视角回看 positional embedding。

arXiv 2605.27365: LocateAnything：并行 box decoding 的视觉语言 grounding 方法。

asgeirtj/system_prompts_leaks：收集多类 AI 工具系统提示词快照。

Phistory / WEIFENG2333/phistory：Agent CLI 系统提示词版本差异归档。

iAmCorey/kooky：面向 AI coding 的本地终端，含工作区侧栏、分屏和 agent 启动。

CarSmallGuo/deveco-code：DevEco Code 相关项目。

编程 / 系统 / 开发工具

microsoft/coreutils：面向 Windows 的 Coreutils 安装与打包项目。

Introduction - Rust for Python Programmers：给 Python 程序员看的 Rust 入门材料。

Grit: rewriting Git in Rust with agents：GitButler 关于用 Rust 和 agent 重写 Git 的文章。

nkzw-tech/codiff：快速本地 diff 查看器。

lbq110/weread-exporter：基于 Playwright 与 Canvas Hook 的微信读书全本导出工具。

qianchd/SnapTeX：LaTeX / 公式截图相关工具。

philexohf/transformer-zh-en：PyTorch 原生 Transformer 中英翻译实现。

数学 / 统计 / 信号处理

统计学自学指南：统计学自学路径与资料。

主页 · 蒲公英书系列：NNDL / 蒲公英书系列入口。

Math Curve Loaders：数学曲线加载动画集合。

Keith Conrad’s Home Page / Bob Gardner’s Courses：数学课程与讲义资源入口。

Towards Compositional Steepest Descent：Tilde 关于 Compositional Muon / steepest descent 的文章。

如何通俗理解 MCMC 方法？：MCMC 的通俗解释。

深度学习笔记：中文深度学习笔记。

xiyin137/QFT：量子场论相关仓库。

GNU Radio 教程 / btfz-sdr/gnuradio_demo：GNU Radio 教程与示例工程。

热爱代数无比厌恶概率论尤其是数理统计这对吗?：关于代数、概率论与数理统计学习偏好的讨论。

Fermat’s Library：带注释的经典论文与数学文本阅读站。

学术写作 / 论文与知识库

Vide - 主页：PASCAL Lab 的 VIDE 项目入口。

LocoWiki：在线 Wiki / 知识库项目。

Wikigraph：图结构化浏览 Wiki 的工具。

机器翻译学术论文写作方法和技巧：机器翻译论文写作讲义。

How the Open Knowledge Format can improve data sharing：Google Cloud 关于 Open Knowledge Format 与数据共享的文章。

PP-OCRv6：PaddleOCR v6 模型集合。

设计 / 视觉 / 阅读

文明6百科：文明 6 百科。

OPENAI(ChatGPT) 短信价格对比：ChatGPT / OpenAI 短信接码价格对比。

Browse the Collection — Storied Colors：按历史故事整理的颜色资料库。

Ogden’s Basic English · 850 词学习手册：Basic English 850 词学习资源。

CS294/194-280 Advanced Large Language Model AgentsUC Berkeley 的高级 LLM Agent 课程，适合系统学习 Agent 架构、评测和实践。

Large Language Model AgentsLLM Agent 课程主页，覆盖工具调用、规划、记忆和多智能体等基础主题。

9Router - Free AI Router | Smart Fallback for Claude, Codex & More一个大模型网关，集成了 RTK 和 Caveman Mode，节省 token。

AI 要跨越盧比孔河了嗎？自我成長的 AI 離我們多遠？ - YouTube李宏毅教授关于 AI 自主进化的介绍。

WebBridge - Let Kimi Agent Drive Your Browser | KimiKimi 版浏览器操作插件。

memohai/Memoh: ✨ Self hosted, always-on AI agent platform run in containers. Create multiple bots with long memory, and connect them to Telegram, Discord, Feishu(Lark), Matrix, etc.自托管的常驻 AI Agent 平台，强调长记忆和 IM 集成。

yetone/native-feel-skill: An Agent Skill for designing cross-platform desktop apps that feel native — distilled from Raycast’s 2.0 deep-dive and reverse engineering of Raycast Beta.app. Eight architectural tenets, four-layer architecture, WebKit/WebView2 survival guide, 75-item ship audit.面向跨平台桌面应用的 Agent Skill，用来约束“原生感”设计和发版检查。

lishix520/academic-paper-skills: Systematic framework for planning and writing academic papers using Claude Code. Includes strategist (planning) and composer (writing) skills with quality checkpoints.一组论文规划与写作技能，把选题、结构和成稿拆成可检查流程。

a9gent/mindfs: Access your personal AI agents and workstation data anywhere, anytime through MindFS.把个人 Agent 和工作站数据暴露为可远程访问的文件系统接口。

Mousedo — The most powerful computer-use agent for MacMac 上的 computer-use agent，自带光标执行点击、输入、切换应用等操作。

Helio — the AI-native team workspace面向团队协作的 AI-native 工作空间。

Hive — 在浏览器里造一座 Agent 蜂巢浏览器里的多 Agent 工作台，用来组织多个 Agent 协同完成任务。

Cumora — Where agent teams gather面向 Agent 团队协作与编排的产品主页。

AIHOTAI 动态聚合站，会按模型、产品、论文、技巧等维度精选高价值内容。

nexu-io/html-anything: ✨ The agentic HTML editor — your local AI agent writes the HTML, you ship it. 🚀 75 Skills × 9 Surfaces (magazine · deck · poster · XHS / tweet · prototype · data report · Hyperframes) 🛡️ Sandboxed preview · 📤 1-click to WeChat / X / Zhihu / HTML / PNG 🔑 Zero API key — Claude Code / Cursor / Codex / Gemini / Copilot / OpenCode / Qwen / Aider.本地 Agent 驱动的 HTML 创作工具，覆盖海报、卡片、deck、原型和数据报告等输出形态。

google/agents-cli: The CLI and skills that turn any coding assistant into an expert at creating, evaluating, and deploying AI agents on Google Cloud.Google Cloud 面向 Agent 创建、评测与部署的 CLI 和技能集合。

An OpenAI model has disproved a central conjecture in discrete geometry | OpenAIOpenAI 关于模型推翻离散几何核心猜想的案例文章。

Open-Less/openless: Hold a key, speak, release — AI-polished text appears at your cursor in any app. Open-source voice input for macOS & Windows. (按住快捷键说话，松开即得润色后的文字)开源语音输入工具，按住快捷键说话后把润色文本直接插入当前光标位置。

FuJacob/tabby: tabby is local AI autocomplete for your entire Mac. Open source. On device. Everywhere you type.本地运行的全局 AI 自动补全工具，面向 macOS 上所有可输入场景。

Inference InfrastructureLLM 推理基础设施长文，适合梳理服务端推理、调度与性能优化。

Dictation354/paper-fetch-skill: Fetch papers as agent-ready markdown — DOI/URL/title in, structured full text out. CLI · MCP · Skill.把论文抓取成 Agent 友好的结构化 Markdown，支持 DOI、URL 和标题输入。

阅读 / 电子书 / 写作

双语电子书翻译器 — Philo Li如题，支持 epub 和 PDF。

yihong0618/bilingual_book_maker: Make bilingual epub books Using AI translate也是一个双语电子书制作工具，支持 epub 格式，可以将单语电子书翻译成双语版本。

Standard Ebooks: Free and liberated ebooks, carefully produced for the true book lover一个免费电子书网站，提供了各种经典文学作品的电子版，格式多样，适合电子阅读器。

Welcome to the Purdue OWL - Purdue OWL® - Purdue University一个关于写作的资源网站，提供了各种写作指南和格式规范，非常适合学术写作。

📚 电子书下载宝库 - Ebook Treasure Chest电子书下载索引站，汇总多类中文电子书资源。

Github：jbiaojerry/ebook-treasure-chest: 欢迎来到电子书下载宝库，一个汇聚了各类电子书下载链接的地方。无论你是喜欢阅读经典文学、经管励志、终身学习、职场创业、技术手册还是其他类型的书籍，这里都能满足你的需求。 该库涵盖了帆书app(原樊登读书)、微信读书、京东读书、喜马拉雅等读书app的大部分电子书。配套 GitHub 仓库。

SaberOnGo/public-domain-books-translation: Public domain books translation project公版书翻译项目，适合关注经典文本的双语化和再出版流程。

macOS / 效率 / 终端

Espanso - A Privacy-first, Cross-platform Text Expander非常好用的文本扩展工具，检测关键词自动替换，支持 shell command 等众多功能，跨平台。

Obsidian CommunityObsidian 推出的新插件社区。

Genymobile/scrcpy: Display and control your Android device控制安卓设备。

pranshuparmar/witr: Why is this running?一个查看当前运行进程的 TUI。

Lakr233/SafariYYDSSafari 增强相关项目，适合收集 Safari 生态工具。

ThaddeusJiang/SafariYYDS-jsSafariYYDS 的 JavaScript 版本或相关实现。

rockorager/comview: the best diff viewer ever made命令行 diff 查看器，适合更舒服地浏览代码差异。

Supermac - Superpowers for your MacMac 原生启动器和效率工具，强调本地优先、隐私和快速搜索。

Shaihai Studio∫aihai Studio 主站，放科普/实验性视频项目和相关入口。

学术 / 数学 / 工程资源

zhuyidao.com注意力计算器，自动注意到例如 $\pi > 3.14$ 这样的积分构造证明。

SciPy FFT vs NumPy FFT: 2.3x Speed Gap at 50kHz – TildAliceSciPy 的 FFT 模块比 NumPy 快很多，尤其是在大规模数据上。

liuskywalkerjskd/Control-Note: A concise and intuitive control theory lecture note, designed for engineering applications, in both Chinese and English.一个控制笔记。

AnyMath - AI 动画生成器 | 在线创建数学动画在线数学动画生成器，可用于快速制作教学演示。

Wing900/PlotKityCatPlotKityCat 是一个面向数学教学可视化的桌面应用，基于 Wails + Vue + Go + Python Runtime 构建。

Theorems of the 21st century记录和介绍 21 世纪重要数学定理的博客。

机器人工程师学习计划 - 知乎机器人工程师方向的学习路线参考。

机器人工程师本科学习计划（试读版） - 知乎本科阶段机器人学习计划试读版。

机器人工程师本科学习计划（试读版） - 飞书云文档上面机器人学习计划的飞书文档版本，便于在线阅读和协作。

Exorust/TorchLeet: Leetcode for PytorchPyTorch 练习题项目，用 LeetCode 风格训练张量操作熟练度。

Polypad – The Mathematical Playground交互式数学白板，适合几何、代数和课堂演示。

PyTorch vs TensorFlow Syntax: 15 Operations Side-by-Side – TildAlicePyTorch 与 TensorFlow 常用操作语法对照。

retikz面向 Web 的 TikZ/流程图绘制工具文档。

Github：Pionpill/retikz: 使用 react，d3 实现 tikz 绘制流程图retikz 的源码仓库。

guchuanv-alt/SimART面向 6G ISAC 的真实多模态仿真平台，整合机器人仿真、射线追踪和无线评估。

WLJS Notebook基于 Wolfram Engine 的开源 notebook 界面。

WLJSTeam/wljs-notebook: Open-source notebook interface for Wolfram EngineWLJS Notebook 的开源仓库。

Erdős planar unit-distance关于 Erdős 平面单位距离问题的讨论记录。

【【解线性方程组】的现代姿势：为什么不应该求逆矩阵？】 介绍数值计算中为什么解线性方程组通常不应显式求逆矩阵。

終 · 一步到位的张量指标运算 - 知乎关于张量指标记号和张量运算的长文。

万字全景：超声波雷达和毫米波雷达的强劲对手——UWB近场感知技术 - 知乎关于 UWB 雷达的介绍。

RCFSRobotics Codes From Scratch，机器人最优控制和轨迹优化示例工具箱。

学术平台 / 论文 / 博客

MLOps Community | Learn, Meet & Grow in Real-World MLOpsMLOps 社区，包含文章、活动和真实工程经验分享。

Discover AI/ML SOTA papers with code and benchmarks - WizwandAI/ML 论文、代码和 benchmark 发现平台。

Papers with Code论文、代码和任务榜单聚合平台。

AzimuthJohn Baez 的数学、物理和复杂系统博客。

Distill — Latest articles about machine learning机器学习可视化解释文章网站，适合收藏经典长文。

Awesome Architecture架构学习资源导航。

Gregory Gundersen一个博客，有很多关于统计的内容。

A History of Large Language ModelsGregory Gundersen 关于大语言模型历史的文章。

设计 / 创作 / Web 工具

SiriusFzh/NovaForge: 锻造你的知识体系 | 考研·考公·专业课·科研·项目·竞赛通用笔记模板。LaTeX+Markdown双版本，7步模块化结构，5种场景模板，一键换色，开箱即用。通用知识体系与笔记模板，覆盖考试、科研、项目和竞赛场景。

ianho7/maptoposter-online: ✨❤️‍🔥Turn the cities you love into stunning designs把城市地图生成海报的在线设计工具。

be5invis/Iosevka: Versatile typeface for code, from code一个可定制的等宽字体，适合编程和数学排版。

LaTeX Theme EditorLaTeX 主题和配色在线编辑工具。

kocurvik/beampptx: Convert LaTeX Beamer slides to PowerPoint with flawless vector graphics and embedded video support.把 LaTeX Beamer 幻灯片转换成 PowerPoint，重点支持矢量图形和嵌入视频。

图床 / 媒体托管

图床和媒体托管合集，适合临时分享图片、视频或做外链备选。

• SM.MS https://sm.ms/：常见免费图床服务。
• Streamja https://streamja.com/：视频托管与分享服务。
• 路过图床 https://imgtu.com/：中文图片上传与外链服务。
• 聚合图床 http://tool.mkblog.cn/tuchuang/：多图床聚合上传工具。
• 聚合图床-免费无限图片上传 https://www.superbed.cn/：聚合图床服务。
• Upload.cc 免費圖片上傳網 https://upload.cc/：免费图片上传与分享服务。
• Postimages https://postimages.org/：图片上传和论坛外链常用服务。
• 多图片上传 https://yytu.xyz/：多图上传服务。
• 云转码 https://v.superbed.cn/：媒体转码与托管相关服务。
• 笑果图床 https://imagelol.com/：图片上传与外链服务。
• 小鹿快传 https://deershare.com/send：文件快传服务。
• LskyPro https://www.lsky.pro/：开源图床程序，可自建图片托管。
• 即刻图床 https://jiketuchuang.com/：中文图片上传与外链服务。
• 图壳 https://imgkr.com/：图片上传与外链服务。
• 老王图床 https://www.gejiba.com/：图片上传与外链服务。
• Mikupics https://mikupics.cn/：图片托管服务。
• Imgur The magic of the Internet https://imgur.com/：国际常用图片托管与分享社区。
• Streamvi Video Sharing Made Simple https://streamvi.com/：视频上传与分享服务。
• 去不图床 https://7bu.top/：图片上传与外链服务。
• 图床导航 http://imgdh.com/：图床服务导航站。
• Z4A图床 https://www.z4a.net/：图片上传与外链服务。
• ImageHub https://www.imagehub.cc/：图片托管服务。
• IMG. 全球CDN免费图床 https://img.：疑似未补全链接，后续可清理。
• 老王图床 https://img.gejiba.com/：老王图床的图片上传入口。
• 图林 https://imglink.org/：图片链接与托管服务。
• ImageOss-免费图片存储空间 https://www.imageoss.com/：图片存储和外链服务。
• 图片存储 https://pic.xywm.ltd/：图片上传与存储服务。
• 幻域图床 https://tc.rpgsky.net/：图片上传与外链服务。
• 跬步图床 https://img.kuibu.net/：图片上传与外链服务。
• QQ.TC http://qq.tc/：短链接或图片外链服务入口。
• 小波图床 https://www.tuchuangs.com/：图片上传与外链服务。
• 麦克图床 https://macimg.com/：图片上传与外链服务。
• imgsha https://imgsha.com/：图片托管服务。
• ImgBB https://imgbb.com/：国际常用图片上传与托管服务。
• StreamSB-VideoPlatformForYou https://streamsb.com/：视频托管平台。
• 最图床 https://z.photos/：图片上传与外链服务。
• MBA图床 https://pic.mba/：图片上传与外链服务。
• Imagecache & resize service https://images.weserv.nl/：图片缓存、代理与尺寸处理服务。

字体 / 排版配置

vscode 单独为语言设置字体，让 Markdown / LaTeX / TeX 使用更适合阅读的衬线字体。

{
  "editor.fontFamily": "'JetBrains Mono', 'SF Mono', Menlo, monospace",
  "editor.fontSize": 14,
  "editor.lineHeight": 1.45,

  "[markdown]": {
    "editor.fontFamily": "'New York', 'Songti SC', 'LXGW WenKai Screen', serif",
    "editor.fontSize": 16,
    "editor.lineHeight": 1.65,
    "editor.wordWrap": "bounded",
    "editor.wordWrapColumn": 88
  },

  "[latex]": {
    "editor.fontFamily": "'New York', 'Songti SC', 'LXGW WenKai Screen', serif",
    "editor.fontSize": 16,
    "editor.lineHeight": 1.65,
    "editor.wordWrap": "bounded",
    "editor.wordWrapColumn": 88
  },

  "[tex]": {
    "editor.fontFamily": "'New York', 'Songti SC', 'LXGW WenKai Screen', serif",
    "editor.fontSize": 16,
    "editor.lineHeight": 1.65,
    "editor.wordWrap": "bounded",
    "editor.wordWrapColumn": 88
  }
}

hydropix/TranslateBooksWithLLMs: Translate full-length books and documents with Ollama, OpenAI (comptatible), Gemini, Mistral, Poe or OpenRouter. Preserves formatting. Resumes where you left off. No file size limits.翻译整本书。

rbc33/Ghostbar: Free macOS-native Cluely alternative. AI chat invisible to screen sharing. Ollama, OpenAI, Claude. Swift. No Electron. No subscription.录屏时隐藏 AI 聊天窗口的工具。

yetone 做的 AI 编程桌面宠物。

• Website：Confirmo
• Gallery：Confirmo Sprites - Share Custom Characters

Codex 宠物 Gallery：

• Codex PetsCodex Pets
• Petdex — 适用于 Codex 的动画伙伴

OpenPets - desktop pets for coding agents

huggingface/nanowhalenano deepseek-v4

一个强化学习教程。

• Github：walkinglabs/hands-on-modern-rl: 🚀 An open-source, hands-on curriculum bridging the gap from basic RL concepts to LLM alignment, RLVR, and advanced Agentic systems.
• ebook： https://walkinglabs.github.io/hands-on-modern-rl/

小米开源音色克隆 TTS 模型 OmniVoice，支持 600 多种语言。

• 公众号：超600种语言，一个模型全搞定! 小米开源 OmniVoice 多语言语音克隆 TTS
• Github：k2-fsa/OmniVoice: High-Quality Voice Cloning TTS for 600+ Languages

陪读蛙沉浸式翻译开源替代。

Coding/Token Plan 简览（付费） - 文档共建 - LINUX DOCoding Plan 盘点。

GitHub - liliMozi/openhanako: A personal AI agent with memory, personality, and autonomy — built on Electron. · GitHub一个配色还不错的 agent，基于 pi，Electron 开发。

别让 AI 工具每次重新认识你 — neuDrive Github：agi-bar/neuDrive

esengine/DeepSeek-Reasonix: DeepSeek-native AI coding agent for your terminal. Engineered around prefix-cache stability — leave it running.专为Deepseek打造的终端 AI 编程助手，支持前缀缓存稳定性。

最近使用 ChatGPT 5.5 Pro 的体验 | Gowers 的博客 — A recent experience with ChatGPT 5.5 Pro | Gowers’s Weblog

QingJ01/DeepSeekCode: 基于 Claude Code 代码库改造的本地 CLI 编程代理

ml1301215/vibe-proving-math: Math reasoning & proof-assist stack: GVR loop, citation checks via TheoremSearch, streaming API + web UI.

macOS / 效率工具

Sanyam-G/switch: A keyboard-driven window switcher for macOS. Notarized. Free.macos 窗口切换工具。

duongductrong/Snapzy: An open-source native macOS screenshot and screen recording app. A CleanShot X alternative.

marsmay/UsageBoard: macOS menu bar app for aggregating API usage quotas via plugin scripts一个新的 code usage 监控工具，支持插件脚本，macos 菜单栏应用。

AndDrive - Android in Finder, Mirroring, and Clipboard Sync on Mac

研究 / 数学 / 优化

guofei9987/scikit-opt: Genetic Algorithm, Particle Swarm Optimization, Simulated Annealing, Ant Colony Optimization Algorithm,Immune Algorithm, Artificial Fish Swarm Algorithm, Differential Evolution and TSP(Traveling salesman)

MATLAB&SIMULINK AI Toolkits:

• matlab/matlab-agentic-toolkit: The MATLAB Agentic Toolkit brings trusted MATLAB capabilities to AI agents, making engineering and scientific workflows agent-ready.
• matlab/simulink-agentic-toolkit: The Simulink Agentic Toolkit gives your AI agent both the tools and the expertise to work effectively with Simulink and Model-Based Design.

张量网络注意力 — Tensor Network Attention其中也介绍了张量网络运算，在thomasahle/tensorgrad: Machine Learning with Symbolic Tensors中的 tensorbook 里也有，对应的 Python 库可以做符号张量计算。这篇论文有具体介绍：arxiv.org/pdf/1603.03039还有一个可视化工具：Tensor Graph Visualizer

Learning Beyond Gradients作者提出了 Heuristic Learning(启发式学习)

Ryan Tibshirani: Teaching一些优化，统计学习，数据科学方面的课程。

【硬核科普】WiFi是怎么传递信息的？把信息装进电磁波有多难？ - YouTube感觉讲的不错，就是配音太难听了。

【漫士】你看这个世界的每一眼，都在进行着深刻的运算 - YouTube非常好视频。

有哪些算法惊艳到了你？ - 北冥有鱼的回答 - 知乎介绍牛顿迭代法。

Think Linear Algebra — Think Linear Algebra

ChenLiu-1996/figures4papers: My Python scripts to make high-quality figures for publications in top AI conferences and journals.一个博士生分享的绘图 scripts。

Aurora：面向矩形矩阵的杠杆感知优化器 | Tilde — Aurora: A Leverage-Aware Optimizer for Rectangular Matrices | Tilde一个新的优化器 Aurora，解决 Muon 会导致部分神经元/参数 dead 的问题。

学术资源 / 文献平台

SciPost Homepage

anonymous github匿名开源平台，提供匿名提交功能。

高校名录数据可视化可能适合高考时填报志愿使用。

Web / 开发 / 创作工具

1001 个在线小工具，好像没看到过比这个数量更多的。

• Website：WebUtils - 纯前端工具集
• Github：chicogong/html-tools: 🛠️ 1001+ 纯前端在线工具集 | 单文件·零构建·可离线·隐私优先 | Pure HTML Tools - Single file, Zero build, Offline-ready, Privacy-first

one-ea/Monolith: ⚡ A premium serverless edge-native blog — Cloudflare Workers + Hono + React + pluggable storage adapters一个 blog 框架。

DimensionDev/Flare: Browse Mastodon, Bluesky, X, Misskey, Nostr and RSS all in one app. One timeline, all your accounts, cross-post everywhere.一个支持 Mastodon、Bluesky、X、Misskey、Nostr 和 RSS 的社交媒体聚合应用。

Cicada一个网页白板工具。

How LLMs Work — A Visual Deep Dive

fgruler 宏包可以在页面前景绘制标尺。示例中使用：

\usepackage[type={alledges,alledgesT}, color=blue]{fgruler}

其中 alledges 表示在页面四边绘制标尺，alledgesT 表示四边带“T”方向的标尺样式，color=blue 将标尺颜色设为蓝色。

音乐下载

• CharlesPikachu/musicdl: Musicdl: A lightweight music downloader written in pure python. (轻量级无损音乐下载器，支持数十个音乐/有声读物平台，例如网易云音乐，QQ音乐，酷狗音乐，酷我音乐，咪咕音乐，千千静听，汽水音乐，Bilibili，街声，喜马拉雅，懒人听书，荔枝FM，蜻蜓FM，JOOX，TIDAL，YouTube，Apple Music，Spotify，Qobuz，SoundCloud等主流音乐平台)
• MrsEWE44/musicDownload

GitHub - datalab-to/chandra: OCR model that handles complex tables, forms, handwriting with full layout. · GitHub自动处理layout的OCR模型。

GitHub - uutils/coreutils: Cross-platform Rust rewrite of the GNU coreutils · GitHub使用Rust编写的 CoreUtils。

控制理论算法仿真模拟器。 Control Theory Simulator GitHub - cool-koala/Control-Theory-Simulator · GitHub

魔方维基和谜题 - Ruwix.cn如题。

GitHub - mmulet/term.everything: Run any GUI app in the terminal❗ · GitHub

Scientific & Scholarly Research Database | Scilit一个文献数据中心。

AI & Tech Blog | Guides, Reviews & Insights | Dupple一个关注AI的博客。

HeyBlog Console一个基于友链爬取所有博客的网页。

MathArena大模型数学能力测评榜单。

GitHub - atuinsh/atuin: ✨ Making your shell magical · GitHub终端历史搜索增强。

【漫士】“我证明了黎曼猜想，AI说我是对的” - YouTube

1. up 主团队构建了一套对标高考难度的试题，且设计了容易让 ai 掉入陷阱的题目，测试了各家大模型的能力，国外主要是 gemini gpt claude 领先，国内则是 seed 和 deepseek 领先。
2. 当前AI的数学能力处于一种矛盾状态。它擅长“大力出奇迹”，能用强大的算力和已有的知识库解决极其复杂的计算与分类讨论；但在面对需要纯粹灵感、简洁优雅直觉的数学领域（如极值构造、组合数学），AI依然难以胜任。创造全新的数学理论，对目前的统计语言模型而言，仍是一座难以跨越的高山。

Aibijia — AI 订阅，一键比价收集了第三方AI订阅的价格。

TokenNav - AI API 中转站导航AI中转站导航。

Telegram Themes在这里可以创建Telegram的自定义主题。下面是我做的几个：

• Rose-Pine-Dawn for Android
• Rose-Pine-Moon for Android
• Rose-Pine-Dawn for Mac
• Rose-Pine-Moon for Mac

PaperPlotHub — Open marketplace for paper plot scripts科研绘图资源。

搜集了一些Windows和Mac上的Git客户端。

• gitextensions/gitextensions: Git Extensions is a standalone UI tool for managing git repositories. It also integrates with Windows Explorer and Microsoft Visual Studio (2015/2017/2019).
• DetachHead/rebased: A git client based on the IntelliJ platform
• GitHub Desktop | Simple collaboration from your desktop
• Sourcetree | Free Git GUI for Mac and Windows
• SourceGit - Opensource & Free Git Gui Client
• TortoiseGit – Windows Shell Interface to Git
• GitKraken Legendary Git Tools | GitKraken
• GitButler

Xiaomi MiMo 100TXiaomi MiMo 百万亿 token 创造者激励计划，申请有机会获取 token。

点点小红书的AI Chat。

Dokobot - AI Agent 的浏览工具一个从浏览器获取信息的CLI工具。

GitHub - rossant/awesome-math: A curated list of awesome mathematics resources · GitHub如题，Awesome Math。

Linear Algebra Cheat Sheet by gustavhelms - Download free from Cheatography - Cheatography.com: Cheat Sheets For Every OccasionLinear algebra Cheat Sheet，这个网站还有其他的各种各样的Cheat Sheet。

Introducing talkie: a 13B vintage language model from 1930一个根据1930年以前的资料训练的13B语言模型，非常的返璞归真。

GitHub - warpdotdev/warp: Warp is an agentic development environment, born out of the terminal. · GitHubWarp 开源了。

Introducing Laguna XS.2 and Laguna M.1 — Poolside两个新模型。

GitHub - caojiaolong/spaces-index: 本项目自动抓取并索引科学空间的文章元数据，按研究主题进行规则分类，方便在 GitHub 上快速浏览并跳转到原文。 · GitHub苏剑林老师的科学空间文章索引。

GitHub - Hmbown/DeepSeek-TUI: Coding agent for DeepSeek models that runs in your terminal · GitHub一个美国佬开发的 deepseek-tui。

Command Code - AI coding agent with taste提供一刀的套餐。

这周五一假期头疼了整整五六天，看多了屏幕左边眼睛不适，感觉眼睛后面一跳一跳的疼，有东西牵拉，应该是肌肉疲劳。我猜测是最近电脑屏幕看多了，包括熬夜。整个假期几乎都在床上睡觉，什么也没干，还是要注意身体，注意用眼，注意休息，干什么都难受，只能睡觉真的很难受，每天起床之后，过不了多久头就开始痛。我决定从现在起，逐渐养成良好的作息。每天按时睡觉、按时起床、科学用眼、少看屏幕。多增加户外活动。健康饮食。

本周真是热闹的一周，deepseek-v4，gpt-5.5, qwen3.6-max, kimi-k2.6, MiMo-V2.5, HY-3.0都相继发布了。

deepseek_v4_rolepaly_instruct/README.md at main · victorchen96/deepseek_v4_rolepaly_instruct · GitHub deepseekv4 角色扮演指南。

ZCode - Simple, Fast, Vibe‑Ready智谱的 zcode 从 tauri 改成了 electron，笑死了。

飞搜 - 飞书文档搜索引擎 | AI智能搜索飞书知识库、教程与干货资源飞书文档搜索引擎，AI 驱动搜索飞书知识库、教程与干货资源。

AI Coding / Agent 平台

pi-gui — A native desktop for AI coding agentsPi 的 GUI，类似 Codex App 吧。

GitHub - multica-ai/multica: The open-source managed agents platform. Turn coding agents into real teammates — assign tasks, track progress, compound skills. · GitHub开源 Agent 管理平台，将编码 Agent 转变为真正的队友。

GitHub - golutra/golutra · GitHub又一个 Agent 编码平台。

Slock - Where humans and AI agents collaborate人类与 AI Agent 协作平台。

Kollab多 Agent 协作编码平台。

GitHub - mindfold-ai/Trellis: The best agent harness. · GitHubAgent 编排框架。

Mercury — Soul-Driven AI Agent with Permission Guardrails | Cosmic Stack一个新的 24/7 Agent。

Introducing Parallel Agents in Zed — Zed’s BlogZed 编辑器支持多 Agent 并行视图，提升 AI 辅助编码效率。

AI 工具

Introducing Arrow 1.1, a step forward in SVG generation – QuiverAISVG 生成模型。 可以在官网体验。 转向量图示例： 画一个应用的 icon 图标：

GitHub - mnfst/manifest: Smart Model Routing for Personal AI Agents. Cut Costs up to 70% 🦞👧🦚 · GitHub模型路由，自动决定什么任务使用什么模型，节省成本。

Euphony: Visualize Chat Data in Your BrowserCodex 官方社区插件，查看你对话的数据。

研究与论文

Literature | SigSep关于音乐分离的综述，还有一个对应的 Github 开源仓库

\[2604.10780\] LIDARLearn: A Unified Deep Learning Library for 3D Point Cloud Classification, Segmentation, and Self-Supervised Representation LearningLIDARLearn，点云分类、分割和自监督表示学习的统一深度学习库。 GitHub - said-ohamouddou/LIDARLearn: LIDARLearn: A Unified Deep Learning Library for 3D Point Cloud Classification, Segmentation, and Self-Supervised Representation Learning · GitHub

13+ Attention Mechanisms You Should Know盘点了 13 种注意力机制对应的论文。

MathNet: A Global Multimodal Benchmark for Mathematical Reasoning and RetrievalMIT 发布的全球多模态数学推理与检索基准。

GitHub - NawfalMotii79/PLFM_RADAR: Open-source, low-cost 10.5 GHz PLFM phased array RADAR system · GitHub一个开源的，10.5GHz。线性调频相控阵雷达实现，包含硬件与 FPGA 实现，不过流程是最基础的 FFT 和 CAFR 检测。

学术与学习资源

LeanSearch-Find theorems in Mathlib4 using natural language queryLean4 定理搜索引擎，用自然语言查询 Mathlib4 中的定理。

Matlas 是一个数学语义搜索引擎，可以通过自然语言查询来搜索数学定理和证明。Blog：Matlas: A Semantic Search Engine for Mathematics | FrenzyMath

互联网学术档案互联网档案馆推出的学术论文搜索引擎。

Type Words 官网 - 词文记 | 单词跟打 · 文章跟打 · 电脑上背单词一个背单词的网站，感觉做的很不错

https://linux.do/t/topic/1417107 linuxdo 一位用户整理的 ai 科研帖子

ickma.dev – ∇ ickma.dev一个个人博客，写了一些课程的笔记。

终端 & CLI

GitHub - AnalyseDeCircuit/oxideterm: All-in-one terminal workspace — local shells, SSH, SFTP, remote IDE, AI agent, and file manager in a single native binary. Built with Tauri 2 and pure Rust SSH (no OpenSSL). Smart reconnect, MCP, RAG, plugins, 30+ themes, 11 languages. · GitHubSSH 客户端，tauri 实现。

GitHub - vercel-labs/wterm: A terminal emulator for the web · GitHubVercel 开源的 Web 终端模拟器。

MUX0 — a terminal that knows your agent又一个侧边栏终端，基于 libghostty 二开。

开发工具

GitHub - PerryTS/perry: A native TypeScript compiler written in Rust. Compiles TypeScript directly to executables using SWC and LLVM. · GitHub用 Rust 写的原生 TypeScript 编译器，直接编译 TS 为可执行文件。

GitHub - indaco/malt: A Homebrew client in Zig. Warm installs in milliseconds. post_install scripts that actually run. · GitHub一个用 Zig 写的 Homebrew。

Sionna Documentation — Sionna 2.0.1sionna 更新了 pytorch 版本，不是原来的 tensorflow了。

Home | D2 Documentation类似 mermaid 的文本绘图语言，github： https://github.com/terrastruct/d2

The Rattler BookRust 实现的 Conda 包管理器库，用于构建跨平台包管理工具。

GitHub - LordAizen1/git-newspaper: Generate a Victorian broadsheet newspaper from any git repository’s history · GitHub将 git 仓库历史生成为维多利亚风格报纸。

Python tools for data visualization — PyViz 0.0.1 documentation一个开源 Python 可视化工具的导航网站。

The PyViz.org website is an open platform for helping users decide on the best open-source (OSS) Python data visualization tools for their purposes, with links, overviews, comparisons, and examples.

设计与工具

Paper – design, share, ship在线设计与分享平台。

GitHub - tw93/Kami: 👩‍🚒 Good content deserves good paper. · GitHub tw93 的文档设计 skill

• 网页介绍： https://kami.tw93.fun/
• 一键安装：npx skills add tw93/kami

landppt在线 PPT 生成工具。

editbanana在线文本编辑工具。

macOS 工具

Pica, a MacOS font management appmac 端字体管理软件，nice。

浏览器

GitHub - caffienerd/startpage: Professional Terminal Start Page is a sleek, customizable browser start page built around an interactive terminal. It combines productivity tools like semantic AI routing, Gemini integration, real-time weather, and network utilities with a premium aesthetic and multiple themes. Designed for speed and flexibility. · GitHub浏览器主页，终端风格，很干净。 可以在这里体验： https://caffienerd.github.io/startpage/

GitHub - dd3v/favbox: 🔖 FavBox is a local-first experimental browser extension that enhances and simplifies bookmark management without cloud storage or third-party services. · GitHub一个浏览器书签管理插件。

笔记 & 其他

Tolaria — A second brain for the AI eraAI 时代的第二大脑笔记工具。

GitHub NextGitHub 官方的前沿项目与技术预览。

查看 IP 最近Torrent下载的内容通过 IP 查看最近 Torrent 下载的内容。

The AI Timeline又一个 AI 资讯 newsletter。

AI Coding / Agent 平台

GitHub - EKKOLearnAI/hermes-web-ui: Web dashboard for Hermes Agent — multi-platform AI chat, session management, scheduled jobs, usage analytics & channel configuration (Telegram, Discord, Slack, WhatsApp) · GitHubHermes Agent 的 Web 仪表盘，支持多平台 AI chat、会话管理、定时任务和用量分析，已接入 Telegram、Discord、Slack 和 WhatsApp。

GitHub - CodebuffAI/codebuff: Generate code from the terminal! · GitHub一个开源 code agent 免费版本：Freebuff — the free coding agent

https://github.com/zhukunpenglinyutong/desktop-cc-gui Claude Code 的 GUI 客户端，面向开发者的 Vibe Coding 平台。

GitHub - getpaseo/paseo: Orchestrate coding agents remotely from your phone, desktop and CLI · GitHub和之前的 lody.ai 类似。

多 Agent 聚合平台收集，真是仙人之兮列如麻。 Depo | AI Harness tools Lex’ Notes of Multi-Agent Coding tools 最近这类工具都特别多，我自己也尝试了一些，感觉都很鸡肋，不如直接使用官方 CLI 或者 Codex App，或者试试 Warp。Warp Terminal也支持垂直标签页了，还支持了通知以及远程控制，不赖。

AI 使用监控

监控你的 AI Coding Plan 使用情况，目前我推荐第三个，即 OpenUsage。

1. GitHub - tddworks/ClaudeBar: A macOS menu bar application that monitors AI coding assistant usage quotas. Keep track of your Claude, Codex, Antigravity ,and Gemini usage at a glance. · GitHub
2. GitHub - steipete/CodexBar: Show usage stats for OpenAI Codex and Claude Code, without having to login. · GitHub
3. GitHub - robinebers/openusage: Burning through your subscriptions too fast? Paying for stuff you never use? Stop guessing. OpenUsage is free and open source. · GitHub
4. GitHub - Four-JJJJ/AI-Plan-Monitoring: macOS menu bar app to monitor AI plan limits, relay balances, and local Codex accounts · GitHub
5. GitHub - nguyenphutrong/quotio: Stop juggling AI accounts. Quotio is a beautiful native macOS menu bar app that unifies your Claude, Gemini, OpenAI, Qwen, and Antigravity subscriptions – with real-time quota tracking and smart auto-failover for AI coding tools like Claude Code, OpenCode, and Droid. · GitHub

Codex 使用

GitHub - Dailin521/codex-provider-sync: Synchronize Codex session provider metadata across rollout files and SQLite state. · GitHub如果你同时使用官方订阅以及第三方 API 的话。那么 Codex 的历史对话可能会不显示，原因就是因为标识符好像不一样。这个工具可以进行统一同步，然后就能完美看到历史对话了。

然后如果你使用官方订阅的话，需要开 tun 模式才不会出现 reconnecting。但是如果你又不想开 tun 模式呢，你可以在 ~/.codex 目录下新建一个 .env 文件，加入以下的代理配置：

HTTP_PROXY="http://127.0.0.1:your-proxy-port" # clash好像默认 7897 
HTTPS_PROXY="http://127.0.0.1:your-proxy-port"
NO_PROXY="localhost,127.0.0.1"

Agent Skills

GitHub - labarba/sciwrite: Agent Skill for AI-assisted manuscript writing review, based on Dr. Kristin Sainani’s “Writing in the Sciences” methodology. · GitHub基于 Kristin Sainani《Writing in the Sciences》方法论的科学写作审阅 Skill。

GitHub - lewislulu/html-ppt-skill: HTML PPT Studio — AgentSkill with 24 themes, 31 layouts, 20+ animations for building professional HTML presentations · GitHubHTML PPT Studio Skill，24 主题、31 布局、20+ 动画。

GitHub - ZreadAI/zread-skill: Zread Skill · GitHubZread 发布了 Skill，可以让 ai 调用本地 zread 生成的仓库 wiki，不过好像也没有太多必要，不过可以解耦，不用让你的 agent 专门去读仓库了。

研究与论文

\[2604.12968\] Evolution of Optimization Methods: Algorithms, Scenarios, and Evaluations优化方法综述，涵盖算法、场景与评估方法。 \[2604.01472\] The Newton-Muon OptimizerMuon 优化器实际上是一种隐式的 Newton 方法。

GitHub - SensRad/vegvisir: A Combined SLAM and Localization System for both RADAR and LiDAR · GitHub同时支持 RADAR 和 LiDAR 的 SLAM 与定位系统。

学术与学习资源

GitHub - JabRef/jabref: Graphical Java application for managing BibTeX and BibLaTeX (.bib) databases · GitHub一个开源的文献管理工具，支持 BibTeX 和 BibLaTeX 数据库。

The world’s largest collection of open access research papersCORE，全球最大的开放获取论文集合。

Stanford CS336CS336 2026 版本

Raspberry Pi 树莓派 (官网26年04月更新)

LibreCommons教材资源库，提供免费开放的教材、课程和学习资源，涵盖多个学科领域。

终端 & CLI

GitHub - muxy-app/muxy: A macOS terminal multiplexer built with SwiftUI and libghostty · GitHub又一个垂直标签页终端，和之前的 cmux 等类似。

GitHub - thegdsks/awesome-modern-cli: A curated list of modern alternatives to classic command-line tools. Faster, prettier, smarter replacements for the Unix utilities you use every day. · GitHub现代 CLI 工具合集，收录 Unix 经典工具的更快、更美、更智能的替代品。

Numbat - scientific calculator一个带单位的计算器。

开发工具

GitHub - indragiek/GHFS: Mount GitHub repositories as a virtual read-only macOS filesystem · GitHub可以将 GitHub 仓库挂载为 macOS 的虚拟只读文件系统

将 SSH 服务器的文件系统挂载到本地，直接在本地编辑和管理远程服务器上的文件，效率会更高一些。 GitHub - libfuse/sshfs: A network filesystem client to connect to SSH servers · GitHub https://github.com/winfsp/sshfs-win

GitHub加速下载代理 - 快速访问 GitHub 文件Github 镜像加速，还提供 Docker 以及 SourceForge 镜像加速，以及还有一个开发者工具箱： https://tool.gh-proxy.com/ 或 https://ittool.wort.uk/

GitHub - lra/mackup: Backup and keep your application settings in sync. · GitHub同步与备份应用设置，换机必备。

chezmoi - chezmoi跨机器管理 dotfiles 的工具。

GitHub - floccusaddon/floccus: :cloud: Sync your bookmarks privately across browsers and devices · GitHub浏览器书签同步插件，支持 Firefox和 Chrome，还有手机 app。

dmcheck - 域名查询

笔记 & 博客

GitHub - Shpigford/clearly: Markdown editor and knowledge base for Mac · GitHubMacOS 纯 Swift 编写的 markdown 编辑器。 https://clearly.md/

Bear Blog极简博客平台，无 JS、无追踪、无广告。

macOS 工具

Mac Menubar Apps - Curated list of the best menubar apps for your life

The Google app for desktopGoogle 的 Windows App。

设计与主题

Premium Interactive Web Sections高质量交互式网页组件库，适合现代网页设计。

Something beautiful, Rose Pine theme Rose Pine 主题配色，还有很多软件工具等主题的社区适配，非常不错。然后下面这些是类似的其他主题。

• Dracula Theme for 400+ apps
• Tokyo Night Website
• Everforest
• Nord
• Catppuccin

GitHub - pbakaus/impeccable: The design language that makes your AI harness better at design. · GitHub 一个 AI 设计工具，提供了一套设计语言，可以让你的 AI 工具更擅长设计。作者一看就是懂设计的，网站设计的很优雅： https://impeccable.style/

GitHub - KurtGokhan/tegaki: Handwriting animation for the web. Supports any font or text. · GitHub手写动画库，支持任意字体和文本。

字体与排版

What’s Trending in Type · Typewolf追踪网页字体使用趋势。 Fonts In Use - Fonts In Use字体实战案例库。 Butterick’s Practical TypographyButterick 的实用排版指南。 Font.icu - 字体预览与下载

图片与录屏

长图拼接工具在线使用_垂直水平无缝拼接_聊天记录截图长图在线长图拼接工具，支持垂直与水平无缝拼接，适合处理聊天记录截图。

GitHub - blueberrycongee/CursorLens: Create stunning screen recordings for free. Open-source, no subscriptions, no watermarks, and free for commercial use. An alternative to Screen Studio. · GitHub又一个开源录屏工具，之前分享过一个 Recordly，好像还有个 Open Screen。

资源社区

SeedHub | 影视&动漫分享影视与动漫资源分享站。

Depo | A curated collection of resources一个偏向开发的资源收集网站。

Cuflow – AI-Powered Study & Productivity ToolAI 驱动的学习与效率工具。

mossMarkdown Workspace.

GitHub - gunnargray-dev/unicode-animations: Unicode spinner animations as raw frame data · GitHubunicode-animations，提供 unicode 字符动画。npx unicode-animations --web

GitHub - jgraph/drawio-mcp · GitHubdraw.io MCP，提供多种方式接入 AI，比如直接：https://mcp.draw.io/mcp

Coding Plan Benchmark国内 Coding Plan 测评。 Coding Plan 对比 - GLM/MiniMax/Kimi/qwen 等国内 AI Coding Plan 套餐横评国内 AI Coding Plan 对比。

GitHub - ztx888/HaloWebUI: 基于官方OpenWebUI，汉化界面提高中文使用体验，增加了模型计费和用量统计 · GitHubOpenWebUI 二开。

GitHub - scipenai/tylax: A bi-directional converter between Typst and LaTeX. Available as both a CLI tool and a Web interface. · GitHubTypst 和 LaTeX 相互转换。

GitHub - Jermic/awesome-aiart-pics-prompts: 🎨 精选 3000+ Gemini Nano Banana Pro 高质量提示词与生成案例 | 涵盖摄影、设计、艺术、营销等多领域 | 双语支持 | JSON 格式 · GitHub网页： https://aiart.pics/

一道初中数学极值题的多种解法：柯西不等式、几何法、函数法详解 | Long Luo’s Life Notes初高中数学不等式最大值问题，作者刷短视频多次看到，便写下了这篇文章。

Murfy, Free Online LaTeX Editor & Overleaf AlternativeAI LaTeX 在线编辑器，免费权益好像也还可以，比 Overleaf 好。

GitHub - stablyai/orca: Orca is the next-gen IDE for building with coding agents · GitHub一个 agent ide。

GitHub - opendatalab/MinerU-Document-Explorer · GitHubMinerU 出品知识库文档 Wiki 工具，提供 mcp。

zhangmeishan.github.io/teaching.html大模型课程，来自 HIT 一位老师。

GitHub - gsd-build/get-shit-done: A light-weight and powerful meta-prompting, context engineering and spec-driven development system for Claude Code by TÂCHES. · GitHub也适用于除 claude code 外的其他 agent。

iFixit：免费修理手册免费维修手册，有点意思

BuildCores: 3D PC Builder and Part Picker在线装机，有点意思

Hermes Agent — An Agent That Grows With You类似 OpenClaw 的Agent。 hermes-agent/skills/creative/manim-video at main · NousResearch/hermes-agent · GitHubhermes 推出的 manim Skill，可以让 ai 做演示视频，manim 就是3blue1brown 视频的制作工具。

GitHub - Ataraxy-Labs/opensessions: bring your own multiplexer — terminal session manager with agent status, git branches, and instant switching · GitHubtmux 侧边栏

GitHub - alibaba/Logics-Parsing · GitHub阿里新的 OCR 模型

开源录屏工具

• GitHub - siddharthvaddem/openscreen: Create stunning demos for free. Open-source, no subscriptions, no watermarks, and free for commercial use. An alternative to Screen Studio. · GitHub
• Recordly - Open-source app for incredible screen recordings.

GitHub - Wangnov/uv-custom: 一个 uv 公益镜像，提供国内的 uv 和 uv python runtime 高速下载 · GitHubuv 国内镜像。

\[2604.02176\] Adam’s Law: Textual Frequency Law on Large Language Models大模型应该更关注相同含义文本中出现频率更高的。

\[2604.04771\] MinerU2.5-Pro: Pushing the Limits of Data-Centric Document Parsing at ScaleMinerU 新模型。

David Noel Ng聚焦于大语言模型（LLM）的底层机制、AI安全与对齐、生物物理与硬件工程的博客。总结： https://chatglm.cn/share/PF1kUqbD

GitHub - microsoft/VibeVoice: Open-Source Frontier Voice AI · GitHub微软开源语音模型，包含 TTS 和 ASR。

预训练经验 - Linsight的文章 - 知乎

GitHub - whwangovo/pyre-code: A self-hosted ML coding practice platform. 68 problems from ReLU to flow matching — attention, training, RLHF, diffusion, and more. Instant feedback in the browser. · GitHub和之前的 torchcode 类似。

Helium 浏览器更新支持更丰富的紧凑外观，垂直标签页，zen 模式，类似 safari等，准备全面使用 helium，这才是我爱的浏览器。

Superconductor一个多 Agent 聚合平台，纯 RUST 打造。

GitHub - MiniMax-AI/cli · GitHubMinimax CLI。

In-Place Test-Time Training | alphaXiv测试时自动调整一部分权重。 Neural Computers | alphaXiv神经计算机，有点意思。

AlgoMaster Newsletter | Ashish Pratap Singh | Substack一个关于算法的 newsletter。比如LeetCode was HARD until I Learned these 15 Patterns这篇文章总结了 15 个常见的 LeetCode 模式，前缀和、双指针、滑动窗口、快慢指针等。

git-stargithub 仓库排行榜，按照 star 数量排名，提供各种语言和分类的排行榜，可以看看哪些项目比较火。

GitHub - casey/just: 🤖 Just a command runner · GitHub起初是我想找到一个替代 Make 的工具，然后问了 AI 然后就发现了这样一个比较热门的工具。

MiniMax 语音：让灵感声声悦耳Minimax 新的音乐生成模型。

竞赛发现 - 数据科学与AI竞赛聚合平台 | Competition Discovery如题，可以订阅邮件接收新竞赛通知。

GitHub - hitmux/HitCC: Complete reverse-engineering documentation of the full logic of Claude Code CLI Node.js version v2.1.84 · GitHubClaude Code 逆向。

GitHub - ayaka-notes/overleaf-pro: A web-based collaborative LaTeX editor, @Ayaka-notes Pro Edition. QQ Group: https://qm.qq.com/q/sHJevaAPFC · GitHub根据开源 Overleaf 构建的在线 LaTeX 编辑器，支持闭源版本的很多功能，例如 Git。

GitHub - Yousa-Mirage/Tufted-Blog-Template: Tufte 风格博客网站模板，基于 Typst。A beautiful blog template using the Tufte style, powered by Typst. · GitHub使用 Typst 来制作你的个人网站。

GitHub - iOfficeAI/OfficeCLI: OfficeCLI is the world’s first and the best Office suite designed for AI agents.It is a free, open-source command-line tool for AI agents to read, edit, and automate Word, Excel, and PowerPoint files. Single binary, no Office installation required. · GitHubOffice CLI，让 AI Agent 帮你制作 Office 文档。

智谱和 Qwen 的国际站，都比国内的简洁，目前还未收费。 Z.ai - Free AI Chatbot & Agent powered by GLM-5 & GLM-4.7智谱 GLM 国际站，有 chat 和 agent 模式，agent 模式可以接入 IM，目前支持飞书、微信 、Telegram和 Discord。 Qwen Chat阿里千问国际站。

• 在终端实现 LaTeX 渲染的插件，适合在 Obsidian 中使用。 GitHub - MaxwellsEquation/LaTerM-obsidian: LaTeX enabled terminal emulator plugin for Obsidian AI workflows · GitHub GitHub - MaxwellsEquation/LaTerM: Xterm LaTeX renderer for AI workflows · GitHub

GitHub - e10nMa2k/cc-mini: mini cc · GitHub又一个claude-code 的实现。

Metis — Curator Dashboard自动从 GitHub trending 和 Product Hunt 等渠道自动发现新项目。

GitHub - zai-org/GLM-skills: Official skills for the GLM family of models. · GitHub智谱发布了 GLM5v 模型，同时还开源了一些 Skills。

GitHub - onyx-dot-app/onyx: Open Source AI Platform - AI Chat with advanced features that works with every LLM · GitHub

GitHub - AnalyseDeCircuit/oxideterm: All-in-one terminal workspace — local shells, SSH, SFTP, remote IDE, AI agent, and file manager in a single native binary. Built with Tauri 2 and pure Rust SSH (no OpenSSL). Smart reconnect, MCP, RAG, plugins, 30+ themes, 11 languages. · GitHub

kexue.fm/archives/11693中位数简介，描述了平均数实际上是 $\ell_{2}$ 范数最小化，而中位数是 $\ell_{1}$ 范数最小化。

浅谈一下 World Model：一个被叫烂了、但其实定义很清楚的词（锐评版） - dung defender的文章 - 知乎关于世界模型。

Zread CLIZread CLI，可以使用智谱 coding 订阅或者自己的 API 来分析本地仓库。

Lisette — Rust syntax, Go runtime

Slock - Where humans and AI agents collaborate

AI Coding Agents

• ccg-gateway: 为 Claude Code、Codex、Gemini CLI 提供网关和配置管理，适合服务商不稳定、需要频繁切换的场景。
• Quotio: AI coding assistant 的 command center。
• 你不知道的 Agent：原理、架构与工程实践: 一篇偏工程化的 Agent 长文。
• autoresearch: 自动研究流程的探索，适合闭环实验类任务。
• Harness Engineering — Agent 不好用，也许不是模型的问题: 强调 harness 设计对 Agent 可用性的决定性作用。
• Codex use cases: OpenAI官方codex使用场景集合。
• Understand large codebases | Codex use cases: 面向大仓库理解与改造流程的实践建议。
• Codex Plugins: Codex 插件系统。
• Claude Code Cheat Sheet: 常用指令速查。

Developer Tools

• liteparse: 开源文档解析工具。
• type4me: macOS 中文语音输入开源项目，支持识别与文本优化。
• Zed text alignment update: 特定字符对齐功能，提升代码可读性。
• Stitch: Google 的 AI 设计工具，偏 Figma 工作流。
• storage.to: 文件转链接分享工具。
• OpenCLI Hub: CLI 工具目录。
• GitWatt: 新上线的开源项目社区。

Research & AI

• MinerU-Diffusion (arXiv:2603.22458): 将文档 OCR 视作逆渲染问题。
• visual-attention-variants: Attention 变体综述。
• ml-visuals: 机器学习论文图示模板。
• Neural-Network-Architecture-Diagrams: 神经网络结构图工具。

Infra & APIs

• BlazeAPI: 免费 AI API Gateway（每日额度1000次适合测试）。
• NetEase skills: agent skills 集合。
• entropic: 开源项目关注。

Math & Reading

• 矩阵方程 AX+XB=C 的解怎么表达？: 从向量化到 LU/QR/迭代法都有覆盖，最后还提到了积分表达。
• range 为什么是左闭右开？: 语言设计细节讨论。
• 如何评价 DeepSeek V3.1 token 被替换为「极」？: 本条与上一条当前是同一链接，后续可替换为正确来源。
• 5000 页拓扑学教材 PDF: 超大体量参考资料。

Life

• HealthTick: macOS 菜单栏久坐提醒工具。
• 杀戮尖塔2 百科: 游戏百科站点。

Agent Platform

• Emdash: 多 coding agent 并行协作平台。
• t3code: coding agent 聚合平台。

Rendering

• RaTeX: Rust 原生 KaTeX 兼容渲染引擎。

goal-driven/readme_cn.md at main · lidangzzz/goal-driven · GitHub 一个 AI 代理框架，通过目标分解和执行来实现复杂任务。

CLI 工具

GitHub - jackwener/opencli 利用 playwright mcp 提取网页信息，将任意网站变成命令行界面。

GitHub - LeoYeAI/openclaw-master-skills 收录了 339+ 优质 OpenClaw skills 的合集，涵盖 AI、开发、生产力、营销等领域。

npx tokscale@latest 查看本地 agent 使用情况，追踪 token 消耗。

rtk — Make your AI coding agent smarter | CLI proxy 过滤终端命令行输出，节省 token，提升 AI 编码效率。

vPhone 虚拟手机

GitHub - 34306/vphone-aio 一键脚本运行虚拟手机环境。 GitHub - Lakr233/vphone-cli 命令行版本的虚拟手机工具。

设计工具

GitHub - open-pencil/open-pencil AI 原生的设计编辑器，开源版 Figma。 Ardot 腾讯推出的在线协作设计工具，类 Figma 体验。

AI 资讯

何夕2077的AI资讯 | 精选AI新闻与工具 精选 AI 新闻与工具，洞悉 AI 前沿动态。 AI资讯速览 AI 资讯一站式速览。 imjuya.github.io/juya-ai-daily/ 每日 AI 资讯汇总。 linux.do人工智能技术日报 Linux.do 论坛 AI 技术日报。

学习资源

操作系统原理 (2026 春季学期) 南大操作系统课程，老师也挺有意思的。

LLM Cookbook LLM 实战 cookbook，系统学习大语言模型。 100 Papers with Code – Learning Note 100 篇 AI 经典论文学习笔记，同样该作者还有 100 paper 项目，目前已经更新了 10 篇。

MicroGPT explained interactively | growingSWE 交互式理解 MicroGPT 架构。 ScalingOpt - Optimization at Scale 大规模优化相关研究社区。

LLM Architecture Gallery | Sebastian Raschka, PhD Sebastian Raschka 的 LLM 架构图鉴，图文并茂讲解各种模型结构。

隐私搜索

SearXNG instances SearXNG 公开实例搜集，self-hosted 搜索引擎。

录屏工具

Recordly - Open-source app for incredible screen recordings. 开源录屏软件，支持高质量屏幕录制。

PDF 处理

GitHub - opendataloader-project/opendataloader-pdf PDF 解析工具，让 PDF 数据可供 AI 使用。

AI 服务编排

Lody AI CLI 服务聚合平台，通过 ACP 协议，支持多端同步。 Alma - Elegant AI Provider Orchestration 优雅的 AI 提供商编排工具。

字幕与翻译

GitHub - buxuku/SmartSub 「妙幕」跨平台字幕工具，支持批量生成字幕并翻译，支持百度、火山、openai、ollama、deepseek 等多家翻译。 Bob 简洁高效的翻译工具。 GitHub - pot-app/pot-desktop 跨平台划词翻译和 OCR 软件。

按键显示

录屏时显示按键操作的神器：

• Keyviz - 开源免费，拥有流畅美观的动画效果和高度自定义的显示样式
• KeyCastOW - 老牌经典的开源工具，体积极小，专注于稳定清晰地显示按键
• Kling - 轻量无广告，界面简洁直观，支持快速上手使用
• KeyCastr - macOS用户的经典开源选择，功能强大且可自定义显示样式
• Key Display - Chrome浏览器专用插件，仅在浏览器内显示按键操作
• Keylume - mac 在桌面显示虚拟键盘，方便录屏演示

模型运行检查

CanIRun.ai 查看自己机器能跑哪些模型。 GitHub - AlexsJones/llmfit 命令行版本，一个命令找出硬件能跑的模型。

学术写作

Academic Phrasebank | The University of Manchester 汇总学术写作的常用语句，可以让 AI 好好学习，然后写自己的文章。

PPT 生成

GitHub - hugohe3/ppt-master AI 从文档生成精美 PPT，15 个示例，229 页。

Skill 管理

仅支持 mac，不过感觉还是直接用 npx skills 更好：

• GitHub - Shpigford/chops 浏览、编辑、管理 Claude Code、Cursor、Codex 等 AI 助手的 skills。
• GitHub - tddworks/SkillsManager 发现、安装 AI 编程助手的 skills。

CLI 转 API

把各种 CLI 工具包装成 API 服务：

• GitHub - router-for-me/CLIProxyAPI 将 Gemini CLI、ChatGPT Codex、Claude Code 等包装成 OpenAI/Gemini/Claude 兼容的 API。
• GitHub - lieeew/sub2api 一站式开源中转服务，Claude、Openai、Gemini 统一接入，支持拼车共享。

• arxiv-daily-researcher - Arxiv 论文每日摘要推送，支持多期刊论文更新
• aha - Rust 编写的高性能 AI 模型推理库，支持多种主流视觉和语言模型
• llm-from-scratch - CS336 课程作业实现，帮助理解 LLM 训练原理
• AutoClaw - 智谱推出的 OpenClaw 套壳应用，集成在 IM 中的 AI 工作空间

学术与研究工具

• alphaxiv-paper-lookup - alphaxiv 官方 Skill，快速获取结构化论文数据
• aminer-open-skill - 智谱 Aminer 官方 Skill，支持论文和学者查询（含 38.8 赠金）
• BERTopic - 基于 Transformer 的主题建模工具，支持语义理解和自动主题发现
• markdown-tex - Markdown 与 LaTeX 双向转换库，借助 AST 语法树中转

Claude Code 技能与工具

• skills.sh - Vercel 官方 Skill 目录，支持 npx skills add 一键安装，推荐首选
• Find awesome Agent Skills - 精选的 Agent Skills 发现平台
• awesome-claude-skills - 社区整理的 Claude Skills 精选列表
• SkillHub - Claude Skills 交易市场
• Tencent SkillHub - 腾讯出品的 Skills 社区，专为中国用户优化
• claude-health - Tw93 写的 Claude Code 项目健康检查 Skill
• CCometixLine - Rust 编写的 Claude Code 状态栏工具
• MATLAB Skills / MATLAB MCP - MATLAB 官方 MCP Server 和 Skill 集合
• Learn Claude Code - 从零构建类 Claude Code Agent 的教程，每次只加一个机制
• PaddleOCR Skills - PaddleOCR 官方 Skill，支持 OCR 文字识别，每天 1w 页额度。

代码仓库智能分析

• Code Wiki - AI 驱动的代码仓库 Wiki 生成工具
• DeepWiki - 可对话的 AI 文档，支持任意代码仓库
• Zread - AI 代码阅读助手，生成仓库知识图谱
• GitNexus - 浏览器端代码知识图谱生成器，支持 Graph RAG 探索
• 阿里的 Qoder 好像也有仓库 Wiki。

开发工具

• Bruno - 开源 API 测试 IDE，Postman/Insomnia 的轻量替代品
• Yaak - 直观的桌面 API 客户端，支持 REST/GraphQL/WebSocket/gRPC
• BrowserOS - 开源 Agentic 浏览器，ChatGPT Atlas/Perplexity Comet 的替代品
• Hello Claw - Datawhale 出品的 OpenClaw 指南，包含原理和实现

网页内容提取

• defuddle / 在线版 - Obsidian CEO 出品的网页转 Markdown 工具，已经内置在官方剪藏插件了。在线版里可以直接拖拽到书签栏，点击即可抓取和复制。
• markdown.new - Cloudflare 驱动的 URL 转 Markdown 服务
• pure.md - LLM 与网页之间的全局缓存服务（收费）
• Jina Reader - 在 URL 前加 r.jina.ai/ 即可提取内容
• create360.ai - 类似 Jina Reader 的网页内容提取服务
• agent-fetch - 为 Agent 优化的网页抓取工具

实用工具

• 容器镜像监控 - Docker 镜像加速节点状态监控
• 轩辕镜像 - Docker 镜像高效稳定拉取服务
• Thaw - macOS 菜单栏管理工具，Ice 的继任者
• delphitools - 实用小工具集合：单位换算、符号计算、PDF/文本处理等
• terraink - 地图海报生成引擎，创建独特可定制的 cartographic poster
• Slidev - 基于 Web 的开发者演示工具，支持 CLI 和 AI Skill
• snowshot / better-shot - 截图美化工具
• ekphos - 终端版 Markdown 研究工具，灵感来自 Obsidian

学习资源与可视化

• Sorting algorithms - Simon Willison 制作的排序算法可视化交互页面
• Principles of Sensing for Autonomy - Stanford 自主系统感知原理课程

趣味项目

• WorldEnd.ai - AI 生成的世界末日场景

macOS 技巧：Skim 高亮快捷键

为 Skim PDF 阅读器添加选中即高亮功能，模拟 Sumatra PDF 的 a 键体验：

tell application "Skim"
    activate
    tell document 1
        set theSel to (get selection)
        set theNote to make note with data theSel with properties {type:highlight note, color:deep pink}
    end tell
end tell

保存至 /Users/用户名/Library/Application Support/Skim/Scripts/highlight.scpt，然后在 系统设置 > 键盘 > 键盘快捷键 > App 快捷键 中为 Skim 添加 Ctrl+A 快捷键绑定。

注：在 mac 上使用 OrbStack 代替 Docker Desktop 时，镜像加速配置建议直接在 OrbStack 设置中添加，而非 ~/.docker/daemon.json，也可配置于 ~/.orbstack/config/docker.json

WiFi DensePose → RuView

• GitHub - ruvnet/wifi-densepose

将 WiFi 信号转化为实时人体姿态估计、生命体征监测和存在检测——无需任何视频画面。通过分析信道状态信息（CSI）扰动，结合信号处理和机器学习重建人体姿态、呼吸频率和心跳。

💡 观察：这个项目突然爆火到 15k star，看了掘金上的分析才发现主要是 vibe coding 出来的。现已改名 RuView，README 很精美（估计全用 Claude Code 写的）。AI 时代需要提升分辨能力，多自己思考。

ACE Music

• acemusic.ai

阶跃星辰的音乐生成模型。

开发工具与平台

Obsidian CLI 支持

笔记软件 Obsidian 新版本支持 CLI，更方便 Agent 进行笔记管理。同时支持拖拽图片右下角调整大小，不再需要第三方插件。

TorchCode

• GitHub - duoan/TorchCode

PyTorch 版 LeetCode——练习从零实现 softmax、attention、GPT-2 等，支持即时自动评分。基于 Jupyter，可自托管或在线使用。

Agent Skill 工具生态

通用安装：npx <工具> add <技能仓库> --all --global

AI-digest

• GitHub - jackwener/AI-digest

自动总结今天使用 Agent 的情况。

Readout

• readout.org

Agent 开发环境仪表盘。

文档与学术工具

SJTU TeX

• GitHub - sjtug/SJTUTeX

上海交通大学的 LaTeX 模板，包含学位论文、文章和报告模板，有不少不错的特效。可以作为 LaTeX 模板制作参考，或去掉 SJTU 元素变成自己的模板。

AI 论文简报

• ai-brief.liziran.com

每天精选几篇论文，支持 RSS 订阅。

Somark

• somark.tech

文档智能引擎，又一个类似 Doc2x、MinerU 的 OCR 平台，效果不错。

创意工具与可视化

Now I Get It!

• nowigetit.us

Paper2Galgame

• paper2gal.top

将论文转化为视觉小说的 AI 论文阅读器。

深度阅读与学习资源

Neural Scaling Laws Trilogy

• Yizhou Liu 的博客

关于表示、变换和训练的缩放定律三部曲。

msgsxj’blog 归档

• msgsxj.cn/archives

聚焦机器学习、统计学习与优化算法的技术博客，累计 33 篇技术日志，围绕机器学习、信号处理、统计分析中的核心算法与理论。有几篇不错的文章，不过已几年没更新。

矩阵计算课程

• 高级大规模矩阵计算教程
• 矩阵计算 (ECNU)

AI & Machine Learning

Models & Frameworks

• xAI 发布了Grok4.2，四个 Agent 同时工作，具有很强的搜索能力。
• Gemini 3.1 Pro: Announcing our latest Gemini AI modelGemini 3.1 pro 发布！
• GitHub - fishaudio/fish-speech: SOTA Open Source TTS文本转语音和声音克隆。
• GitHub - stepfun-ai/NextStep-1: \[🚀 ICLR 2026 Oral\] NextStep-1: SOTA Autogressive Image Generation with Continuous Tokens. A research project developed by the StepFun’s Multimodal Intelligence team.阶跃星辰的自回归图像生成模型 NextStep-1。

Papers & Research

• GitHub - MaximeVandegar/Papers-in-100-Lines-of-Code: Implementation of papers in 100 lines of code.使用精简的代码来复现 AI 领域经典的 Paper。
• 如何评价anthropic在可解释性方面工作？ - 旷野的回答 - 知乎一文梳理 Anthropic 的可解释性研究，挺有意思的。
• \[2602.15322\] On Surprising Effectiveness of Masking Updates in Adaptive Optimizers一个新的优化器Momentum-aligned gradient masking (Magma)
• GitHub - ResearAI/AutoFigure-EditAutoFigure: Generating and Refining Publication-Ready Scientific Illustrations, ICLR2026.

AI Hardware

• Taalas | The model is The Computer又一家 AI 推理芯片公司
  • The path to ubiquitous AI | Taalas超快的 AI 推理芯片 HC1，在 LLAMA 3.1 8B 上推理速度约为 17k token/s。
  • 对话体验入口：chat jimmy

AI Agents & Tools

• LobsterAI - 有道 AI Agent 产品网易有道出品的开源 AI Agent 客户端，类似于 Cowork、Openclaw等产品
• GitHub - RightNow-AI/openfang: Open-source Agent Operating System又一个类似于 OpenClaw 的 Agent 产品。
• GitHub - 1rgs/nanocode: Minimal Claude Code alternative. Single Python file, zero dependencies, ~250 lines.一个 Python文件制作一个最小化的 Code Agent。
• [GitHub - minorcell/memo-code: A lightweight coding agent that runs in your terminal.] 网站：Memo CLI - AI Coding Agent for Terminal作者在为什么 Memo Code 先做 CLI：以及终端输入框到底有多难搞 中介绍了终端输入的难点。
• Happy - Claude Code Mobile Client支持在手机上远程操作电脑上的 Claude Code 和 Codex，不过个人感觉不是那么好用。
• GitHub - qwibitai/nanoclaw: A lightweight alternative to Clawdbot / OpenClaw that runs in containers for security. Connects to WhatsApp, has memory, scheduled jobs, and runs directly on Anthropic’s Agents SDK
• GitHub - shareAI-lab/claw0: 0 - 1 learn OpenClaw: sections to build an claw-AI agent from scratch
• GitHub - Panniantong/Agent-Reach: Give your AI agent eyes to see the entire internet. Read & search Twitter, Reddit, YouTube, GitHub, Bilibili, XiaoHongShu — one CLI, zero API fees.让 Agent 访问社交媒体、流媒体等平台。

Development Tools

IDEs & Editors

• GitHub - GCWing/BitFun: BitFun is an Agentic Development Environment (ADE，AI IDE) featuring a cutting-edge Code Agent system with four modes — Agentic, Plan, Debug, and Review. Extensible via MCP, Skills, custom Agents and Rules. Built with Rust + TypeScript for an ultra-lightweight, fluid cross-platform experience.
• Markdown Now — Fast, Lightweight Native macOS Markdown Editor使用 Rust 和 GPUI 制作的 markdown 编辑器，目前还很简陋。
• {clarity}一个支持 LaTeX 和 Typst 的在线编辑器。

Terminals

• 三个支持垂直标签页的终端
  • ghostree — Worktree-Aware Terminal for Ghostty
  • cmux — The terminal built for multitasking
  • Supacode

Utilities

• GitHub - debugtheworldbot/keyStats: Keyboard & Mouse Stats for macOS/Windows一款记录分析键盘和鼠标使用记录的 app，支持 MacOs 和 Windows。
• GitHub - caomengxuan666/WinuxCmd: Lightweight, native Windows implementation of Linux commands | 900KB only | AI-friendly在 Window 终端使用 Linux 命令。
• GitHub - xxnuo/MTranServer: Offline translation model server with low resource consumption, fast speed, and private deployment capability. 低资源占用速度快可私有部署的离线翻译模型服务器本地离线翻译，如果在无网或受限环境需要用到翻译，可以试试。
• GitHub - tonyantony300/alt-sendme: Send files and folders anywhere in the world without storing in cloud - any size, any format, no accounts, no restrictions.多端文件传输工具，不依赖中转。

Web & Browser

Web Services

• Mockdown — ASCII Wireframe Editor是一款无需注册安装、完全在线运行的免费ASCII线框编辑器，可帮助用户快速绘制低保真UI原型、文本风格示意图，支持导出Markdown格式成果。
• Scour是一款基于语义匹配的个性化内容聚合器，能从 Hacker News、Reddit、arXiv 及数千个博客中挖掘符合你描述的兴趣（无论多小众）的"隐藏宝石"文章。初步使用下来体验不错，还支持 RSS 订阅。
• LazySo 懒人去水印去除 AI 生成图片的水印，支持 gemini、NotebookLM、豆包、即梦、可灵等
• markdown.new - Markdown for Agents | Cloudflare-Powered URL to Markdown将网页内容转换为 markdown，免费哦，可以集成到自己的网站。
• Wispbyte - Free 24/7 Hosting提供一个免费的 24/7 服务器。
• Reactive Resume — A free and open-source resume builder在线生成简历。
• Trendshift发现受欢迎的开源项目和开发者。
• Presearch - Private search engine. No Tracking.一个去中心化搜索引擎，有 NSFW 模式。

Browser Extensions

• FoxyTab – Get this Extension for 🦊 Firefox (en-US)跟浏览器打开的 Tab 有关的插件，例如批量复制 Tabs 的 URL。

RSS & News

• GitHub - WCY-dt/MrRSS: A modern, cross-platform, and free AI RSS reader. 一个现代化、跨平台且免费的 AI RSS 阅读器.又一个不错的 RSS 客户端，支持跨平台，目前功能支持不错，有打算放弃使用 NetNewswire 使用 MrRSS 的念头了，感觉 UI 和交互还差了一点意思，不过快捷键比较像 Vim，这一点很舒服。
• GitHub - IronsideXXVI/Hacker-News: A native macOS client for Hacker News, built with SwiftUIMac 原生 Hacker News 客户端

Research & Learning

Educational Resources

• 这大概是我读过关于AI大模型最全面、好读又易懂的文章了 - 腾讯技术工程的文章 - 知乎这篇文章以"怕被AI甩在身后"的个人焦虑为切入，用通俗易懂的语言从神经网络基础讲起，系统拆解了大模型的推理、训练、GPU基础设施新要求，以及通过Agent使用大模型的方式，为普通读者绘制了一幅清晰完整的AI大模型全景图。
• CS146S: The Modern Software Developer - Stanford University斯坦福开设的现代软件开发课程，结合现在的 LLM Coding。
• Master the Math – Your Friendly Guide to the Rigorous Mathematics of Artificial Intelligence, Machine Learning, and Data Science

Research Tools

• ArxivLens - Discover Breakthrough Research Instantly - Arxivlens支持以下内容：
  • ArXiv: Preprints in physics, mathematics, computer science
  • PubMed: Peer-reviewed biomedical and life science literature
  • BioRxiv: Biology preprints and life sciences research
  • MedRxiv: Medical, clinical, and health sciences preprints
• GitHub - bienz2/BibChecker: Analyzes IEEE and ACM format bibliographies for correctness. Only to be used as a first pass. Anything that cannot be found automatically should be checked by hand.分析论文引用格式的正确性，不依赖 AI 工具。
• GitHub - karakeep-app/karakeep: A self-hostable bookmark-everything app (links, notes and images) with AI-based automatic tagging and full text search自托管的浏览器书签收集整理工具，也支持笔记和图片，如果你也像我一样有囤积癖，收藏了大量书签而不想整理，可以试试。

Mathematics & Algorithms

• GitHub - neyof03/linear-algebra-3blue1brown-notes: 📥 Access comprehensive lecture notes for 3Blue1Brown’s Essence of Linear Algebra in English and Persian, covering key concepts in a clear format.3Blue1Brown 的线性代数笔记。
• 电梯怎么决定先去几楼？——从日常等电梯到磁盘调度算法 - 我没有三颗心脏的博客讲解了几种电梯调度算法，简单易懂，并拓展至磁盘调度等操作系统里的应用。
• Gaussian Mixture Models 假设数据是由多个高斯分布混合而成，是一种概率模型，我们需要估计每一个数据点属于其中一个高斯分布的概率，模型由三类参数定义：1. 每个高斯分布的占比多少；2. 每个高斯分布的均值；3. 每个高斯分布的协方差矩阵。可以用于聚类、密度估计、异常检测(如果一个数据点属于任意一个高斯分布的概率都很小，则很有可能是噪声点)等应用。

Design & Media

Design Tools

• Framer中文网 2026 | 免费Framer模板、组件库 | Framer教程 | 让设计稿直接发布为网站
• GitHub - lukilabs/beautiful-mermaid将 Mermaid 渲染为 SVG 和 ASCLL 字符画，由 Craft 团队打造，他们还做了一个 AI Agent 客户端Craft Agent。
• GitHub - BIT-DataLab/Edit-Banana: Edit Banana: A framework for converting statistical formats into editable.将 AI 生成的图片转换为可编辑内容，以支持 PPT 和 draw.io，方便快速制作流程图，论文示意图等。