Nothing CMF Watch 3 Pro 智能手表降至69美元，性价比突出
据外媒报道，Nothing 旗下子品牌 CMF 推出的 Watch 3 Pro 智能手表在亚马逊迎来大幅降价，当前仅售69美元，低于其79至99美元的常规售价。该手表配备1.43英寸OLED显示屏，兼容iOS和Android系统，单次充电续航长达13天。此外，它还具备双频GPS、IP68防水和心率监测功能，兼顾运动追踪与日常佩戴的时尚需求。此次促销使其价格甚至低于无屏幕的Google Fitbit Air，成为预算用户的理想之选。 #智能手表 #Nothing #CMF #降价 #科技数码 #可穿戴设备 #性价比 #促销
据外媒报道，Nothing 旗下子品牌 CMF 推出的 Watch 3 Pro 智能手表在亚马逊迎来大幅降价，当前仅售69美元，低于其79至99美元的常规售价。该手表配备1.43英寸OLED显示屏，兼容iOS和Android系统，单次充电续航长达13天。此外，它还具备双频GPS、IP68防水和心率监测功能，兼顾运动追踪与日常佩戴的时尚需求。此次促销使其价格甚至低于无屏幕的Google Fitbit Air，成为预算用户的理想之选。 #智能手表 #Nothing #CMF #降价 #科技数码 #可穿戴设备 #性价比 #促销
GPT-5.6 系列及 sqlite-utils 4.0 发布
开发者 Simon Willison 于 2026 年 7 月相继发布了多项技术更新。首先是 GPT-5.6 模型家族，包含 Luna、Terra、Sol 三个版本，标志着大语言模型能力的又一次跃升。随后，sqlite-utils 工具推出 4.0 正式版，新增数据库 schema 迁移功能，大幅简化了 SQLite 数据库的版本管理。此前发布的 4.0 rc2 候选版主要由 Claude Fable 生成，成本仅约 149.25 美元，展现了 AI 辅助开发的巨大潜力。这些成果均公开在作者的博客平台上，供开发者社区参考使用。 #GPT5 #sqlite #数据库 #AI开发 #技术更新 #大模型 #软件工程
开发者 Simon Willison 于 2026 年 7 月相继发布了多项技术更新。首先是 GPT-5.6 模型家族，包含 Luna、Terra、Sol 三个版本，标志着大语言模型能力的又一次跃升。随后，sqlite-utils 工具推出 4.0 正式版，新增数据库 schema 迁移功能，大幅简化了 SQLite 数据库的版本管理。此前发布的 4.0 rc2 候选版主要由 Claude Fable 生成，成本仅约 149.25 美元，展现了 AI 辅助开发的巨大潜力。这些成果均公开在作者的博客平台上，供开发者社区参考使用。 #GPT5 #sqlite #数据库 #AI开发 #技术更新 #大模型 #软件工程
GitHub 更新：GPT-5.6 家族与 sqlite
近日，GitHub 上的 Changeling 博客发布了一系列技术更新。其中，最引人注目的是 GPT-5.6 新模型家族的发布，包括 Luna、Terra 和 Sol 三个版本，日期标注为 2026 年 7 月 9 日。此外，sqlite-utils 工具也迎来了重大版本升级——4.0 版本正式推出，新增了数据库模式迁移功能，该版本于 2026 年 7 月 7 日发布。在此之前，sqlite-utils 4.0rc2 候选版本已于 7 月 5 日发布，有趣的是，其大部分代码由 AI 模型 Claude Fable 编写，成本仅约 149.25 美元。这些更新展示了开源生态在 AI 辅助编程和数据库管理方面的最新进展。 #GitHub #GPT5.6 #sqliteutils #AI #开源 #数据库
近日，GitHub 上的 Changeling 博客发布了一系列技术更新。其中，最引人注目的是 GPT-5.6 新模型家族的发布，包括 Luna、Terra 和 Sol 三个版本，日期标注为 2026 年 7 月 9 日。此外，sqlite-utils 工具也迎来了重大版本升级——4.0 版本正式推出，新增了数据库模式迁移功能，该版本于 2026 年 7 月 7 日发布。在此之前，sqlite-utils 4.0rc2 候选版本已于 7 月 5 日发布，有趣的是，其大部分代码由 AI 模型 Claude Fable 编写，成本仅约 149.25 美元。这些更新展示了开源生态在 AI 辅助编程和数据库管理方面的最新进展。 #GitHub #GPT5.6 #sqliteutils #AI #开源 #数据库
AI时代的知识组织难题及解决思路
在使用AI聊天工具（如Claude）的过程中，作者发现会话式组织方式与人类心智模型严重脱节：有价值的信息（如食谱、产品创意）被埋没在无数对话中，难以检索；每次重复加载上下文时，AI缺乏对元信息（如文档是否过时、文件用途）的理解。作者尝试过Claude Projects、Linear等工具，但均存在编辑不便、存储分离等问题。最终他意识到，问题的核心在于工具以“会话”为单位，而人脑以“主题”组织知识；且AI与人类应共享同一套记忆存储，而非隔离。他正在探索一种能对齐个人心智模型、同时支持AI和人类快速检索的新方式。 #AI #知识管理 #Claude #效率工具 #认知科学 #产品设计 #信息架构
在使用AI聊天工具（如Claude）的过程中，作者发现会话式组织方式与人类心智模型严重脱节：有价值的信息（如食谱、产品创意）被埋没在无数对话中，难以检索；每次重复加载上下文时，AI缺乏对元信息（如文档是否过时、文件用途）的理解。作者尝试过Claude Projects、Linear等工具，但均存在编辑不便、存储分离等问题。最终他意识到，问题的核心在于工具以“会话”为单位，而人脑以“主题”组织知识；且AI与人类应共享同一套记忆存储，而非隔离。他正在探索一种能对齐个人心智模型、同时支持AI和人类快速检索的新方式。 #AI #知识管理 #Claude #效率工具 #认知科学 #产品设计 #信息架构
Maincode 推出 Matilda AI 助手，基于澳大利亚本地基础设施
澳大利亚科技公司 Maincode 宣布其 AI 助手 Matilda 进入公开测试阶段。Matilda 是专为澳大利亚打造的端到端 AI 系统，从底层硬件到模型均自主设计，并部署在澳大利亚本地基础设施上。该公司强调，在 AI 快速融入工作、学习与决策的当下，完全依赖外部系统存在局限性，澳大利亚需要理解本地语境、符合本地安全与隐私标准的 AI。Matilda 注重“澳大利亚声音”——在交互中体现务实、清晰、温暖、直接的文化特质，而非简单添加俚语。目前，用户可通过官网和苹果应用商店体验 Matilda 的写作、研究、文件处理等功能，Maincode 希望借助公开测试进一步优化产品，使其更贴合本地用户需求。 #Matilda #Maincode #澳大利亚 #AI #人工智能 #本地化 #隐私安全 #科技新闻
澳大利亚科技公司 Maincode 宣布其 AI 助手 Matilda 进入公开测试阶段。Matilda 是专为澳大利亚打造的端到端 AI 系统，从底层硬件到模型均自主设计，并部署在澳大利亚本地基础设施上。该公司强调，在 AI 快速融入工作、学习与决策的当下，完全依赖外部系统存在局限性，澳大利亚需要理解本地语境、符合本地安全与隐私标准的 AI。Matilda 注重“澳大利亚声音”——在交互中体现务实、清晰、温暖、直接的文化特质，而非简单添加俚语。目前，用户可通过官网和苹果应用商店体验 Matilda 的写作、研究、文件处理等功能，Maincode 希望借助公开测试进一步优化产品，使其更贴合本地用户需求。 #Matilda #Maincode #澳大利亚 #AI #人工智能 #本地化 #隐私安全 #科技新闻
法律AI应聚焦证据精确性，而非编程式自动补全
该博客文章指出，当前多数法律AI应用沿用了面向编程的代理架构，但法律场景有独特需求。法律AI的核心目标应是找出最强有力的可支持论点、识别正确证据，并让证据易于核验。理想的界面是代理工作区，用户可查看模型使用的工具和来源的审计轨迹，通过创建侧边对话控制上下文，并定义特定来源和技能来调整模型行为。模型必须基于单个主张和编辑进行锚定，而非笼统引用整份文档；每个来源的层级、状态和目的应通过本体或图形网络显式存储。AI建议编辑时应展示原始指令、审查的条款、考虑的事实和依赖的法律来源，并以修订标记形式呈现，不自动更改，同时利用版本控制系统确保可追溯和撤销。技能和记忆应保留直接访问证据的能力，而非用摘要替代。AI绝不能取代法律判断，系统应使来源的局限性（如过时、不完整或限于特定司法管辖区）更加透明。而编程代理只强制机械正确性，将证据作为可选指导，这恰恰是当前法律AI工具被律师界诟病的原因。 #法律AI #人工智能 #证据 #法律科技 #AI工作流 #版本控制 #法律伦理
该博客文章指出，当前多数法律AI应用沿用了面向编程的代理架构，但法律场景有独特需求。法律AI的核心目标应是找出最强有力的可支持论点、识别正确证据，并让证据易于核验。理想的界面是代理工作区，用户可查看模型使用的工具和来源的审计轨迹，通过创建侧边对话控制上下文，并定义特定来源和技能来调整模型行为。模型必须基于单个主张和编辑进行锚定，而非笼统引用整份文档；每个来源的层级、状态和目的应通过本体或图形网络显式存储。AI建议编辑时应展示原始指令、审查的条款、考虑的事实和依赖的法律来源，并以修订标记形式呈现，不自动更改，同时利用版本控制系统确保可追溯和撤销。技能和记忆应保留直接访问证据的能力，而非用摘要替代。AI绝不能取代法律判断，系统应使来源的局限性（如过时、不完整或限于特定司法管辖区）更加透明。而编程代理只强制机械正确性，将证据作为可选指导，这恰恰是当前法律AI工具被律师界诟病的原因。 #法律AI #人工智能 #证据 #法律科技 #AI工作流 #版本控制 #法律伦理