Gawain:强制 Python 所有变量都带类型标注
Gawain 是一个新的 Python 类型标注检查工具,要求变量、参数、返回值和类属性全部带类型注解,通过后再调用 ty 或 pyrefly 做类型检查。相比 ruff 的 ANN 规则和 flake8-annotations 只管函数,它把检查范围扩展到变量和类属性,并给出在 CPython 标准库上远快于 flake8-annotations 的基准数据。
资料库收录的全部内容,新的在前。
Gawain 是一个新的 Python 类型标注检查工具,要求变量、参数、返回值和类属性全部带类型注解,通过后再调用 ty 或 pyrefly 做类型检查。相比 ruff 的 ANN 规则和 flake8-annotations 只管函数,它把检查范围扩展到变量和类属性,并给出在 CPython 标准库上远快于 flake8-annotations 的基准数据。

作者用约 190 行纯 JAX 实现了 DeepSeek-V3 技术报告中的核心架构,包括 MLA、Decoupled RoPE、DeepSeekMoE、无辅助损失负载均衡、序列级平衡损失和多 token 预测,并在 MacBook Air 上用公有领域侦探小说从头预训练一个 36.2M 参数的小模型。结果显示:开启均衡 bias 后,各专家负载从 0.09–18.6% 收敛到 5.7–6.9%,而验证损失与关闭时几乎相同(3.921 vs 3.923),验证了论文中“均衡不带来性能损失”的说法。

Agweb 是基于 WebKit 的 macOS 浏览器,专为同时运行多个编码 Agent 设计:窗口永不抢焦点,Agent 通过 playwright-cli 风格的命令行驱动,空闲标签自动挂起以节省 CPU 和内存。作者给出自测数据(五个空闲页 0% CPU、590 MB 内存),并列出了与 playwright-cli 的兼容性差异和 WebKit 带来的限制。
Fursoy Slice-1 是一个从零开始用 SystemVerilog 编写的 64 位乱序超标量 RISC-V 处理器,具备 Sv39 虚拟内存、M/S/U 特权级分离、非阻塞 L1 缓存与硬件 PTW,在 Verilator 中成功启动主线 Linux 6.6.50 和 BusyBox 用户空间,并给出逐周期的 8 类 CPI 分解遥测(IPC 0.848)。作者还基于 Nangate 45nm 标准单元对 8 个核心模块做了 500 MHz 综合与 STA 收敛评估。
这是一个发布在 Hacker News Show HN 板块的个人项目,用 Rust 和 ratatui 库实现了一个运行在终端里的放置类工厂游戏。材料只有标题,没有更多关于玩法、实现细节或数据的介绍。
这是一个独立开发者做的可视化页面,用社区 ADS-B 航班数据和 FAA 机场延误数据,实时展示 2026 年 11 月 13 日 FAA 全国停飞期间美国上空航班数量的变化,并可与一周前同一时段对比回放,还按机场统计了起飞缺口。
这是 Hacker News Show HN 板块上的一个个人项目,作者用像素艺术风格绘制了旧金山湾区的等距视角(isometric)地图。除标题外没有更多说明,无法判断其技术实现或数据来源。

AgentRun 是一个 Apache-2.0 开源平台,在 Claude Code、Codex 等现有 agent harness 之上加入自我改进、持久化执行和控制面。每次运行结束后,agent 会把笔记、技能或工作流提交到自己的 git 目录,下次运行从这些积累出发,从而减少重复探索和 token 消耗。文中给出两个案例:自建代码审查 agent 每次 18 美分,在 30 个未见过的 PR 上发现的真实 bug 是 Greptile 的 1.6 倍;商户分类任务从每个商户 0.89 美元降到 0.12 美元。
这是 Hacker News 上发布的一个新项目 Kapso,标题称其能从企业数据中进行迭代学习。除标题外没有更多材料,具体做法和效果无法判断。
作者因为绣花机厂商要求订阅才能用,自己用 Rust 写了一个可视化绣花编辑器 ZigZag,支持 SVG 转针迹、多种绣花格式导出,并内置 MCP 支持让 AI Agent 参与设计。项目开源,包含针迹规划器、数字化检查、蓝牙直连绣花机等完整工程实现。
Apron 是一个面向自托管聊天的极简协议,核心用 JSON over WebSocket 等任意传输,服务端约 100 行即可实现,同时支持房间、线程、机器人、表情回应等能力。协议提供 Markdown 规范、JSON Schema 和 wire fixtures 供 Agent 对接测试,并附带参考服务端与客户端。
这是一个展示 Claude Fable 5.2 自主生成的浏览器游戏的站点,多数游戏由单条提示词生成,并打包成一个自包含的 .html 文件。站点提供游戏试玩、原始提示词查看和完整源码阅读,并说明单文件 3D 游戏依靠 WebGL、Web Audio 和运行时程序化生成资源实现。
这是一个发布在 Hacker News Show HN 板块的业余项目,作者把游戏《请出示文件》的审查玩法改成筛选 YC 创业公司并决定是否投资。材料只有标题,没有正文,具体实现方式和玩法细节无法判断。

Klad 是一个 2D 绘画和动画应用,人和编码 Agent 共享同一张画布:人用笔在编辑器里画,Agent 通过命令行用同样的画笔作画,双方笔触约一秒内互相可见。它不内置图像模型,而是把每一笔、每个填充都保存为带路径、压感、画笔和颜色的可编辑数据,因此可以事后逐笔修改,而不是重新生成整张图。项目为 source-available,需自行编译,目前处于早期版本。
Yogurt 是一个开源、免费的 AI 会议笔记工具,作为 Granola 的替代品,支持 Mac、Windows 和 Linux。它无需向会议中添加机器人即可录制通话,强调隐私保护。项目采用 MIT 许可证,目前在 GitHub 上获得约 151 颗星。
这是一个 Neovim 插件,在浮动窗口中显示 C、C++ 和 Rust 代码编译后的汇编。它支持查看光标所在函数或选中行的汇编,可在窗口内用 +/- 调整 -O 优化级别、按 R 重新运行、按 q 关闭,并会读取 compile_commands.json。

一个非官方粉丝项目用 Remill 把《黑色行动2》三个 x86 可执行文件的约 15 万个函数提前提升为 LLVM IR,再经自研 pass 优化后编译成 ARM64 原生代码,并手写 Win32 运行时、用 Metal 实现 Direct3D 11,在 M1 上以 51–60 fps 运行战役、僵尸和多人模式。作者还记录了 13 个从画面症状到根因再到修复的调试发现,并说明为何不走 Wine/CrossOver 路线。
作者在 Hacker News 上展示了一个项目:用自己采集的血糖数据训练了 15 个预测模型,比较它们的效果。目前只有标题,没有披露数据规模、模型类型和评测结果。
Modern Web Guidance 是一套面向编码 Agent 的 skills,把 Web 平台最佳实践和浏览器兼容数据直接注入 Agent 的上下文,引导它不再生成过时的 JavaScript 写法。它由 Chrome、Edge、Firefox 和 MDN 团队与社区共同维护,提供 CLI 检索、指南获取和遗留模式扫描,覆盖 250 个现代 Web 特性和 203 个真实开发用例,并通过评测剔除模型已经掌握的内容来控制 token 消耗。
这是一个把西班牙瓦伦西亚整座城市做成等距像素画地图的独立项目,风格类似《模拟城市》。作者用固定等距视角渲染真实 3D 城市数据,再用训练好的图像模型逐块重绘成像素画,并让相邻图块衔接保持无缝。地图覆盖整个市域,支持拖拽、缩放、搜索和随机跳转。