- SignalDesk3 hr ago
你好,我是猫哥。这里每周分享优质的 Python 、AI 及通用技术内容,大部分为英文。周刊开源在 Github 上,喜欢请给颗小星星支持下~ 重要提示: 本期有读者福利抽奖活动, 满 100 人自动开奖 ,奖品是一份 周刊专栏的年度订阅码 。参与方式:给公众号 Python 猫 发送数字" 6666 ",获取抽奖小程序码。 温馨提示: 在微信关注 Python 猫 ,发送一个数字" 9 ",即可领取 9 折优惠码,订阅专栏可享 15 元优惠。 本期分享了 12 篇文章,12 个开源项目,全文 1895 字。 🦄文章&教程 1 、 停笔四年后复出,聊聊 export 关键字( PEP 842 与 843 ) 从 Python 里公开和私有名字的种种痛点讲起,把已经撤回的 PEP 842 、PEP 843 的 from x export y 语句和 PEP 844 的装饰器方案摆在一起比,还写了个 import 钩子,现在就能试这套语法。 2 、 UnboundLocalError 不是变量缺失,而是作用域早已定好 一个变量是局部还是全局,Python 在编译期就定了,赋值语句会怎样改变这个判定,报错信息又为什么让人误以为变量不存在,几个环节串起来讲得很清楚。 3 、 Protocol 还是 ABC ?设计可插拔的 provider 接口 给 CLI 工具接入两个图像生成后端时,作者把 Protocol 与 ABC 摆在一起比,看它们在类型检查、报错时机和扩展成本上各有怎样的取舍,最后选了哪个、为什么,写得很具体。 4 、 PEP 847:给 Simple Repository API 定义错误详情 给 PyPI 的 Simple Repository API 定一套统一的错误详情格式,让包管理工具能直接拿到机器可读的失败原因,由生态里的维护者起草,目前还在 Draft 阶段。 5 、 Django 通过 DEP 19 ,技术治理大幅精简 指导委员会与 DSF 董事会双双通过 DEP 19 ,Django 的技术治理结构大幅精简,参与门槛随之降低,这项改动由两届董事会和数十位社区成员一起推动。 6 、 PyLadiesCon 门户被灌入 2249 个假账号 会议志愿者门户被灌进 2249 个假账号,四个月后才察觉,校验环节漏在哪、后来怎么发现和补救,都交代得很清楚,做公开注册的 Django 站点值得一读。 7 、 MongoDB 迁移用 Python 写 MongoDB 没有 DDL ,迁移脚本只能自己想办法,用版本化文件加历史集合记录状态,靠加锁与预演来建集合、加索引、回填字段,没有事务时怎么兜底也一并交代了。 8 、 如何高效审查 AI 生成的 Python 代码 针对智能体写出来的 Python 代码,给了一份能照着做的审查清单,从跑测试、查依赖,到怎么识别那些看着合理、实则跑不通的实现,让 AI 生成的代码也能进正常评审流程。 9 、 用 25 行 Python 复刻 Jev 搭上 llama.cpp 和一个本地小模型,一小段代码就把 Jev 的核心思路跑通了,作者觉得外界把 Jev 吹过了头,文末附有可直接运行的脚本。 10 、 一个智能体做数据科学的故事 拿自己积了多年技术债的数据分析仓库做实验,让 Claude Code 盘点结构、重建分析管线,全程写成了这篇记录,也让人看清智能体做数据科学目前能做到哪一步。 11 、 把研究论文改造成可交互、可复现的智能体 Nature 刊文设想把研究论文做成可交互的智能体,读者可以亲手跑通实验、追问细节,而不再是读一份静态 PDF ,可靠性怎么保证、同行评审要不要跟着改,也都有讨论。 12 、 费马大定理的首个机器可验证证明 Claude 自主工作了 11 天,用 Lean 把怀尔斯 1995 年那份 129 页的证明逐行形式化,费马大定理第一次有了完整、可被机器核验的证明,形式化的过程与它对数学研究的意义也一并复盘了。 🐿️项目&资源 1 、 wrapture:不改源码,给调用点挂 binding 做补丁与追踪 mod_wsgi 作者 Graham Dumpleton 的新库,把 binding 挂到调用点上,不改源码就能给函数打补丁、做追踪、写测试,Simon Willison 专门写文推荐,说这么少人讨论没道理。 2 、 nonebot2:跨平台 Python 异步聊天机器人框架 基于 asyncio ,靠适配器同时接上 QQ 、飞书、Telegram 、钉钉等平台,插件进商店一条命令就能装,依赖注入、权限控制、会话和定时任务也都封装好了。( star 7.7K ) 3 、 datamodel-code-generator:从 schema 定义生成 Python 数据模型 把 OpenAPI 、JSON Schema 、GraphQL 等 schema 定义直接生成 Pydantic v2 模型、dataclass 、TypedDict 或 msgspec.Struct ,命令行和网页 Playground 都能用。( star 4.0K ) 4 、 GLiNER2:一份 schema 统一信息抽取与文本分类 一份 schema 就能同时定义实体、文本分类、关系和结构化字段,同一个本地编码器把多种抽取任务都办了,不用训练就能上手,Apache-2.0 许可可商用。( star 2.1K ) 5 、 autoclip:把长视频变成值得分享的精彩片段 读字幕拉出话题时间线、给高光打分,自动剪成切片与合集,桌面端、Docker 网页和 CLI/MCP 三种用法都有,可接通义千问或本地 Ollama ,剪完直接发到 B 站、抖音。( star 8.9K ) 6 、 a-stock-data:A 股全栈数据工具包 把 34 个数据源里的行情、研报、资金面与公告整理成 87 个免 Key 端点,AI 编程助手不用再记腾讯 K 线的分段参数和东财的 Referer 头,主源挂了还能降级到备用源。( star 10.3K ) 7 、 jev-ultrafast:给浏览器智能体一套索引化的动作空间 把当前网页压成一张带编号的元素表,小模型只负责选操作和目标元素,只有需要输入文字时才叫大模型生成,两次决策合并成一次网络往返,Google Flights 上跑完一次订票搜索只要 7.1 秒。( star 20.0K ) 8 、 kev:能自己训练、本地跑的 Jev 式决策小模型 基于 Qwen3.5/3.8 的一族小型决策模型,把是非、多选、打分三类问题合并进一次请求,每个 checkpoint 都预置了拟合好的温度参数,概率校准有保证,从笔记本能跑的 0.8B 到单卡 27B 共四档。( star 6.9K ) 9 、 engrim:给 AI 编程智能体一份跨模型共享的本地记忆 把项目架构决策、用户约束和开发状态存进本地 SQLite ,让 Claude Code 、Cursor 、Codex 等不同智能体共用同一份记忆,换模型也不丢上下文,还支持 MCP 接入。 10 、 treg:给智能体一份开箱即用的工具目录 把 60 多家供应商的 30
- 情报分类:硬件与数码
- 分类依据:内容涉及硬件、数码产品或通信卡
- 信息来源:服务器 / V2EX
- 发布时间:2026/9/28 20:45:06
- No replies yet