GeoSQL
传统AI代理在执行地理空间SQL查询时，仅依赖文本结果验证，容易忽略几何错误或坐标偏移。GeoSQL是一种面向Claude、Codex、GitHub Copilot的空间分析技能：用户用自然语言提问后，AI自动扫描数据库元数据、按平台选择正确函数（如PostGIS的ST_Distance、BigQuery的H3网格聚合），并在执行前估算BigQuery成本（默认上限10GiB）。关键创新在于查询结果会通过开源工具Dekart渲染为地图，AI再次“审视”地图，若发现多边形过大、点落在海里等视觉异常，则自主修正SQL并重跑。测试显示，开启地图反馈循环后准确率提升4倍。GeoSQL支持PostGIS、BigQuery、Snowflake、Wherobots，可在本地或内网完全自托管，无需SaaS账户。但地图反馈依赖Dekart部署，成本安全机制仅限BigQuery，且公开测试范围有限。 #GeoSQL #AI #地理空间 #地图分析 #Claude #大模型 #SQL #开源工具 #科技新闻
传统AI代理在执行地理空间SQL查询时，仅依赖文本结果验证，容易忽略几何错误或坐标偏移。GeoSQL是一种面向Claude、Codex、GitHub Copilot的空间分析技能：用户用自然语言提问后，AI自动扫描数据库元数据、按平台选择正确函数（如PostGIS的ST_Distance、BigQuery的H3网格聚合），并在执行前估算BigQuery成本（默认上限10GiB）。关键创新在于查询结果会通过开源工具Dekart渲染为地图，AI再次“审视”地图，若发现多边形过大、点落在海里等视觉异常，则自主修正SQL并重跑。测试显示，开启地图反馈循环后准确率提升4倍。GeoSQL支持PostGIS、BigQuery、Snowflake、Wherobots，可在本地或内网完全自托管，无需SaaS账户。但地图反馈依赖Dekart部署，成本安全机制仅限BigQuery，且公开测试范围有限。 #GeoSQL #AI #地理空间 #地图分析 #Claude #大模型 #SQL #开源工具 #科技新闻
Linus Torvalds 强硬表态
在 Linux 内核邮件列表的讨论中，创始人 Linus Torvalds 对一名开发者针对生成式 AI 的质疑作出强硬回应，明确拒绝 Linux 社区采纳反 AI 立场。此前，软件自由保护组织发布关于使用大语言模型（LLM）参与开源项目的建议，引发部分开发者对 AI 工具“Sashiko”用于内核代码审查的争议。Linus 表示，AI 如同其他工具，已被证明非常有用，拒绝使用AI是“把头埋进沙子”的行为。他强调，作为顶级维护者，他绝对反对将 Linux 列为反 AI 项目，并鼓励质疑者自行分支。Linus 指出，解决AI带来的维护负担问题应聚焦于让工具更好地帮助维护者，而非盲目排斥。他最后强调，内核项目始终以技术为根本，社交层面只是附加价值。 #LinusTorvalds #Linux #AI #生成式AI #开源 #内核 #技术新闻
在 Linux 内核邮件列表的讨论中，创始人 Linus Torvalds 对一名开发者针对生成式 AI 的质疑作出强硬回应，明确拒绝 Linux 社区采纳反 AI 立场。此前，软件自由保护组织发布关于使用大语言模型（LLM）参与开源项目的建议，引发部分开发者对 AI 工具“Sashiko”用于内核代码审查的争议。Linus 表示，AI 如同其他工具，已被证明非常有用，拒绝使用AI是“把头埋进沙子”的行为。他强调，作为顶级维护者，他绝对反对将 Linux 列为反 AI 项目，并鼓励质疑者自行分支。Linus 指出，解决AI带来的维护负担问题应聚焦于让工具更好地帮助维护者，而非盲目排斥。他最后强调，内核项目始终以技术为根本，社交层面只是附加价值。 #LinusTorvalds #Linux #AI #生成式AI #开源 #内核 #技术新闻
民调：近七成美国人支持强制AI公司转让半数股份给公共基金
一项针对1690名美国成年人的Verasight民调显示，69%的受访者支持强制AI公司将其50%的股票转让给公共主权财富基金。这一政策正是参议员伯尼·桑德斯提出的《美国人工智能主权财富基金法案》的核心内容。民调背景是劳动力市场持续承压——2026年上半年，科技行业裁员占全美近三分之一，而同一批公司却在不断加码AI资本开支。公共主权财富基金被视为将AI产业收益回馈社会的途径。然而，反对者指出，强制转让股权侵犯私有产权，将抑制投资并促使AI企业外迁。此外，Sam Altman等人士认为AI大规模取代就业的预言未必成立，政策前提存疑。桑德斯的法案短期内无法通过，但民调显示公众要求分享AI红利的诉求已成为主流。 #AI #民调 #公共财富基金 #桑德斯 #科技裁员 #股权转让 #劳动力市场
一项针对1690名美国成年人的Verasight民调显示，69%的受访者支持强制AI公司将其50%的股票转让给公共主权财富基金。这一政策正是参议员伯尼·桑德斯提出的《美国人工智能主权财富基金法案》的核心内容。民调背景是劳动力市场持续承压——2026年上半年，科技行业裁员占全美近三分之一，而同一批公司却在不断加码AI资本开支。公共主权财富基金被视为将AI产业收益回馈社会的途径。然而，反对者指出，强制转让股权侵犯私有产权，将抑制投资并促使AI企业外迁。此外，Sam Altman等人士认为AI大规模取代就业的预言未必成立，政策前提存疑。桑德斯的法案短期内无法通过，但民调显示公众要求分享AI红利的诉求已成为主流。 #AI #民调 #公共财富基金 #桑德斯 #科技裁员 #股权转让 #劳动力市场
新研究提出PVDetector方法，检测针对特定用途LLM智能体的提示注入攻击
据arXiv预印本平台显示，一篇题为《PVDetector: Detecting Prompt Injection Attacks on Purpose-Specific LLM Agents through Policy-Violation Concept Analysis》的论文由Junhui Wang等7位作者提交。该研究聚焦于大语言模型（LLM）智能体面临的安全威胁——提示注入攻击，提出了一种名为PVDetector的新型检测方法。该方法通过分析策略违规概念，能够有效识别针对特定用途LLM智能体的恶意提示注入。论文详细阐述了PVDetector的工作原理，并给出了实验验证。这一成果对于提升LLM在实际应用中的安全性和鲁棒性具有重要意义，尤其适用于银行、医疗等对行为合规性要求严格的垂直领域。目前论文全文可通过arXiv获取。 #AI安全 #提示注入攻击 #LLM #大模型 #网络安全 #arXiv论文 #PVDetector
据arXiv预印本平台显示，一篇题为《PVDetector: Detecting Prompt Injection Attacks on Purpose-Specific LLM Agents through Policy-Violation Concept Analysis》的论文由Junhui Wang等7位作者提交。该研究聚焦于大语言模型（LLM）智能体面临的安全威胁——提示注入攻击，提出了一种名为PVDetector的新型检测方法。该方法通过分析策略违规概念，能够有效识别针对特定用途LLM智能体的恶意提示注入。论文详细阐述了PVDetector的工作原理，并给出了实验验证。这一成果对于提升LLM在实际应用中的安全性和鲁棒性具有重要意义，尤其适用于银行、医疗等对行为合规性要求严格的垂直领域。目前论文全文可通过arXiv获取。 #AI安全 #提示注入攻击 #LLM #大模型 #网络安全 #arXiv论文 #PVDetector
AI 编程工具激增，普通人该如何选择？
随着 Vibe Coding（氛围编程）在 2026 年成为普通人落地项目的关键能力，AI 编程工具市场涌现出 Claude Design、Codex、Google Antigravity、Gemini CLI 等多款产品。文章指出，不同工具各有侧重：Claude Design 适合视觉设计和原型制作；Codex 偏向长期迭代的工程闭环，能整合开发全链路；Google Antigravity 则是以智能体为核心的工作台，可实现自主规划、编码与验证；Gemini 3.1 Pro 本身是强大模型，可被其他工具调用。对于非技术创业者而言，Vibe Coding 彻底推倒了编程门槛，但面对众多选择，需根据具体需求（如网页设计、SaaS 系统或实验性开发）匹配工具。未来，个人开发者有望像调度专家一样组合使用多款 AI 工具，实现高效的产品落地。 #AI编程 #VibeCoding #工具选择 #科技趋势 #普通创业者 #ClaudeDesign #Codex #GoogleAntigravity #Gemini
随着 Vibe Coding（氛围编程）在 2026 年成为普通人落地项目的关键能力，AI 编程工具市场涌现出 Claude Design、Codex、Google Antigravity、Gemini CLI 等多款产品。文章指出，不同工具各有侧重：Claude Design 适合视觉设计和原型制作；Codex 偏向长期迭代的工程闭环，能整合开发全链路；Google Antigravity 则是以智能体为核心的工作台，可实现自主规划、编码与验证；Gemini 3.1 Pro 本身是强大模型，可被其他工具调用。对于非技术创业者而言，Vibe Coding 彻底推倒了编程门槛，但面对众多选择，需根据具体需求（如网页设计、SaaS 系统或实验性开发）匹配工具。未来，个人开发者有望像调度专家一样组合使用多款 AI 工具，实现高效的产品落地。 #AI编程 #VibeCoding #工具选择 #科技趋势 #普通创业者 #ClaudeDesign #Codex #GoogleAntigravity #Gemini
AI 代码审查自动化
一篇技术博客指出，随着 AI 编程代理并行生成大量代码，人工审查已成为交付流程的瓶颈。作者分享其项目中 AI 代理提交的代码审查请求看似完美，但实际上存在 30 个假链接和虚拟文件，仅凭人工浏览难以发现。文章强调，AI 模型（如 Claude）并无恶意，但其“最合理续写”常常包含幻觉——错误却自信的表述。面对产量暴增，传统人工逐行审查既低效又易疏忽，要么盲目批准导致错误上线，要么拖慢整体进度。作者的解决方案是引入自动化审查系统：在 GitHub Actions 中运行 Codex 代理，自动解析所有链接、验证参数、检查漏洞和代码变更匹配度。这一流程让人类审查者聚焦真正重要的部分，而将机械性检查完全自动化。文章总结，幻觉本身可管理，但审查速度必须跟上代码生成速度；让 AI 自评自己作品是最弱的策略，因为幻觉对 AI 本身就是合理的。 #AI #代码审查 #自动化 #Claude #幻觉 #GitHubActions #软件开发 #效率 #编程
一篇技术博客指出，随着 AI 编程代理并行生成大量代码，人工审查已成为交付流程的瓶颈。作者分享其项目中 AI 代理提交的代码审查请求看似完美，但实际上存在 30 个假链接和虚拟文件，仅凭人工浏览难以发现。文章强调，AI 模型（如 Claude）并无恶意，但其“最合理续写”常常包含幻觉——错误却自信的表述。面对产量暴增，传统人工逐行审查既低效又易疏忽，要么盲目批准导致错误上线，要么拖慢整体进度。作者的解决方案是引入自动化审查系统：在 GitHub Actions 中运行 Codex 代理，自动解析所有链接、验证参数、检查漏洞和代码变更匹配度。这一流程让人类审查者聚焦真正重要的部分，而将机械性检查完全自动化。文章总结，幻觉本身可管理，但审查速度必须跟上代码生成速度；让 AI 自评自己作品是最弱的策略，因为幻觉对 AI 本身就是合理的。 #AI #代码审查 #自动化 #Claude #幻觉 #GitHubActions #软件开发 #效率 #编程
Greenflash 监控 AI 代理与用户每段对话，确保全程可回溯
Greenflash 是一款专注于 AI 对话审计的新工具，它能够详尽记录并分析每个 AI 代理与用户之间的每一次交互。该工具由独立开发者推出，旨在帮助企业和开发者全面掌握 AI 系统的实际表现，及时发现对话中的问题与风险。用户只需创建账户，即可借助 Greenflash 实现对话数据的集中存储、检索与可视化分析。开发团队强调，这一服务能够“倾听每一位用户的声音”，从而提升 AI 应用的透明度与安全性。目前，Greenflash 已支持通过谷歌和微软账号快速注册，并提供了公测入口。 #AI安全 #对话审计 #Greenflash #AI监控 #开发者工具 #产品发布 #科技创业
Greenflash 是一款专注于 AI 对话审计的新工具，它能够详尽记录并分析每个 AI 代理与用户之间的每一次交互。该工具由独立开发者推出，旨在帮助企业和开发者全面掌握 AI 系统的实际表现，及时发现对话中的问题与风险。用户只需创建账户，即可借助 Greenflash 实现对话数据的集中存储、检索与可视化分析。开发团队强调，这一服务能够“倾听每一位用户的声音”，从而提升 AI 应用的透明度与安全性。目前，Greenflash 已支持通过谷歌和微软账号快速注册，并提供了公测入口。 #AI安全 #对话审计 #Greenflash #AI监控 #开发者工具 #产品发布 #科技创业
德国AI联盟发布开源30B模型Soofi S，性能超越同类
由德国人工智能协会（KI Bundesverband）协调的研究联盟发布了开源语言模型Soofi S 30B-A3B。该模型采用混合专家架构，总参数316亿，但每个token仅激活约32亿参数，计算成本接近3B模型。训练数据达27万亿token，分三阶段进行，在英语和德语基准测试中得分超越OLMo 3 32B和Apertus 70B等完全开源模型。模型采用Nvidia Nemotron 3 Nano架构，结合Mamba-2层与标准注意力层，仅6层维护KV缓存，因此在长上下文（如4万token、32并行请求）下，每个GPU每秒生成token数约为同范围稠密模型的8倍，吞吐量随上下文增长几乎不变。然而，有批评者认为其训练数据远超Chinchilla缩放定律（约20 token/参数），存在过度训练。项目技术负责人Michael Fromm反驳称，旧缩放定律不适用于MoE架构，反复使用高质量数据对MoE专家有益，并指出Nvidia也训练了类似规模的数据。 #开源模型 #SoofiS #AI #德国 #MoE #大模型 #机器学习 #自然语言处理
由德国人工智能协会（KI Bundesverband）协调的研究联盟发布了开源语言模型Soofi S 30B-A3B。该模型采用混合专家架构，总参数316亿，但每个token仅激活约32亿参数，计算成本接近3B模型。训练数据达27万亿token，分三阶段进行，在英语和德语基准测试中得分超越OLMo 3 32B和Apertus 70B等完全开源模型。模型采用Nvidia Nemotron 3 Nano架构，结合Mamba-2层与标准注意力层，仅6层维护KV缓存，因此在长上下文（如4万token、32并行请求）下，每个GPU每秒生成token数约为同范围稠密模型的8倍，吞吐量随上下文增长几乎不变。然而，有批评者认为其训练数据远超Chinchilla缩放定律（约20 token/参数），存在过度训练。项目技术负责人Michael Fromm反驳称，旧缩放定律不适用于MoE架构，反复使用高质量数据对MoE专家有益，并指出Nvidia也训练了类似规模的数据。 #开源模型 #SoofiS #AI #德国 #MoE #大模型 #机器学习 #自然语言处理