AI 开发者工具

大模型记忆不该只是保存聊天记录，Lemmalog 选择维护“当前事实”

据安全研究者在 pwning.systems 发布的技术文章，Lemmalog 尝试把 Agent 记忆拆成两部分：大模型负责从代码、调试器输出和自然语言中提取事实，Datalog 引擎负责维护事实之间的依赖、有效时间、撤回关系和推导结果。

OpenAI Python SDK 准备换掉 HTTPX，最容易出问题的是证书和测试

OpenAI 官方 openai-python 仓库主分支新增了 HTTPX2 迁移说明，文档写明 SDK 的同步和异步 HTTP 客户端将使用 HTTPX2，安装 openai 时自动安装 HTTPX2，不再把旧版 httpx 和 certifi 作为传递依赖。HTTPX2 项目由 Pydantic 团队维护，定位为