随笔
短文、交叉发表及技术札记。
-
GMEOW:面向推理的数字存在超级词汇
一个新的本体项目:GMEOW——面向 Web 的全局元数据与实体本体,一套以推理为中心、符合 OWL 2 DL、以 gUFO 为基的超级词汇,用于刻画个人或组织的数字存在。它铸造规范术语并向 FOAF、REL、DOAP、GEDCOM、PROV-O、ORG、schema.org、vCard 与 Wikidata 对齐,将来源、置信度、时间有效性与共指视为一等关切。
-
Gmeow:邮箱即代理记忆,当存于本地
有用的个人代理反复遭遇同一难题:其所需上下文早已存在,却并不在演示所偏爱的整洁处。它在邮件之中。gmeow 以 loopback REST、MCP、PostgreSQL、语义搜索、附件 sidecar、对象存储与本地知识图谱,使此邮箱基底可在本地为代理所用。
-
代理式编程需要锚定物理现实的人类签署
随着 AI 编程代理从被动自动补全工具转向可执行整条功能分支的自主贡献者,我们正冲向一个巨大的安全盲点:如何证明真实的人类确实在上线前审阅并验证了代理生成的代码?
-
工程准则当为可执行之策略,非幻灯片中之陈年旧梦
阁下团队之规范若仅存于幻灯片之中,AI 代理必将悖之。coding-ethos 乃将单一 YAML 文件编译为 linter 配置、git hooks、代理提示词及 MCP 服务器之工具,使规则于人机读者之间不可漂移。
-
标准 Graph Neural Networks 须借曲率语义流形方可致远
标准 GNN 于映射复杂文本归因时受结构性之制约;平坦欧几里得空间中之线性聚合必致语义漂移。欧德理愿与 TDA、几何深度学习及谱图理论之研究者相交。