标签：验证层

前沿哨所

• Linux版Antigravity非TUN代理教程：解决语言服务器连接难题

  本文介绍了在Linux桌面环境下，无需TUN模式为Antigravity应用设置代理的完整方案。针对Electron应用特性，通过修改启动参数实现应用代理；针对Go语言开发的language_server难以代理的问题，利用graftcp工具编写包装脚本，强制接管流量并优化HTTP/2和DNS配置，从而解决了模型加载失败等连接难题。

  原文链接：Linux.do

  37秒前

• 开发者实测：为何Grok成为免费版首选AI工具？

  一位主力使用Cursor的开发者分享了其使用免费聊天AI工具的心得。在对比了ChatGPT、Claude、Grok和DeepSeek后，他表示目前主要使用Grok。主要原因包括：Grok的免费用量上限较高，不易耗尽；具备强大的联网查询能力，单次搜索可引用20-50个来源；输出风格适中，且审查尺度相对宽松。作者希望了解其他开发者如何搭配使用免费与付费工具，并寻求更多推荐。

  原文链接：V2EX 分享发现

  59分钟前

• Sweep发布1.5B轻量级代码模型，本机运行性能超越同级大模型

  Sweep AI推出了名为Sweep Next-Edit 1.5B的开源代码补全模型。该模型基于Qwen2.5-Coder，量化后体积小巧，可在笔记本电脑本地500毫秒内完成推理。它专门用于预测开发者的下一步代码编辑操作，在基准测试中表现超越了参数量4倍以上的其他模型，展示了小模型在本地部署场景下的巨大潜力和高性能。

  原文链接：Hacker News

  2小时前

• xAI工程师因播客泄密遭开除，涉人类模拟器与特斯拉算力租赁计划

  xAI 一名工程师因在播客访谈中不慎泄露大量内部机密而遭解雇，引发马斯克强烈不满。泄露内容涵盖极具战略意义的“人类模拟器”项目、特斯拉闲时算力租赁计划以及数据中心环境审批等敏感信息。这一事件不仅暴露了 xAI 的保密管理漏洞，也为外界提供了窥探其 AI 技术路径与基础设施布局的罕见视角。

  原文链接：Linux.do

  2小时前

• Meta CTO官宣：新AI团队交付首批重磅模型

  Meta CTO安德鲁·博斯沃思在达沃斯论坛宣布，公司新成立的“元超级智能实验室”本月已成功交付首批关键AI模型。博斯沃思高度评价了这些模型的潜力，并回顾称2025年是Meta在实验室、基础设施及电力采购上投入巨大的“极其混乱的一年”。目前，这些巨额投入已开始显现回报，标志着Meta在通用人工智能赛道取得了实质性进展。

  原文链接：Linux.do

  2小时前

• 拒绝 Token 浪费：如何用 Hook 强制 Claude Code 实现渐进式阅读

  针对 Claude Code 在编程时容易因“一口闷”读取大文件导致 Token 消耗高、上下文污染的问题，作者提出了一套基于“渐进式披露”的解决方案。通过编写 Python 脚本作为 PreToolUse Hook，配合特定的提示词，强制 AI 在读取大文件时必须指定偏移量和行数限制。这套“软硬兼施”的策略有效拦截了无效的全文读取，并通过报错信息引导 AI 先搜索后读取，大幅降低了 Token 成本，提升了代码修改的准确率。

  原文链接：Linux.do

  2小时前