标签：TLog

前沿哨所

• 谷歌CEL迎来原生C#实现：Celly引擎通过全部测试，性能超越Go版本

  开发者发布了名为Celly的全新项目，这是首个完全通过官方合规测试套件的原生C#实现CEL（通用表达式语言）引擎。CEL是谷歌推出的一种安全、非图灵完备的表达式语言，被广泛应用于Kubernetes准入策略、Envoy的RBAC规则、Google Cloud IAM条件以及gRPC的protovalidate中。此前.NET生态缺乏符合标准的官方实现，Celly的出现填补了这一空白。该项目完全采用托管C#编写，未使用WASM或原生绑定，通过了2,456项官方CEL一致性测试以及2,872项protovalidate测试。性能方面，Celly不仅比.NET现有的管理实现更快，在处理包含列表推导（Comprehension）的复杂表达式时，其执行速度甚至超过了官方的Go参考实现。项目现已在GitHub开源并发布至NuGet，包含核心引擎、Protobuf支持及Protovalidate验证库，为.NET开发者接入云原生标准提供了基础设施级的支持。

  事件分析

  此举标志着.NET生态在云原生基础设施标准支持上的重大补强，具有重要的工程意义。CEL作为控制平面逻辑的核心标准，此前在Go、Java、C++领域已有成熟落地，但.NET开发者长期缺乏符合官方标准的原生支持，导致在构建跨语言策略或接入Istio、GCP等系统时面临障碍。Celly的出现消除了对WASM运行时或非标准移植的依赖，解决了.NET代码在处理Unicode字符、时间精度和跨类型数值比较时的潜在兼容性陷阱。特别是protovalidate库的首发，统一了protobuf在不同语言栈中的验证语义，降低了微服务架构下的维护成本。从产业角度看，纯托管实现的性能优于Go原生版本，体现了现代.NET运行时在基础设施编程领域的竞争力提升，有望促进更多企业级后端服务更无缝地集成CEL策略。

  💡 核心观点：原生C# CEL引擎通过全量测试并超越Go性能，有效补齐了.NET在云原生基础设施策略标准上的关键短板。

  原文链接：Hacker News

  6分钟前

• 开源项目 Certisfy：利用加密签名构建可信 URL 信任链

  该技术方案提出了一种通过加密签名来验证 URL 可信度的创新方法，旨在解决互联网链接分发过程中可能遭遇的劫持或篡改问题。项目核心在于利用非对称加密技术，为每一个 URL 生成可验证的数字签名，确保点击链接的用户能够确认该目标地址确实由声称的发送者所授权，从而构建起“可信 URL”体系。项目团队已推出了配套的 JavaScript SDK 并托管于 GitHub 平台，方便开发者集成到各类前端应用中。

  目前展示的用例涵盖了多个前沿场景：一是基于 Web of Trust（信任网络）的身份验证，例如在 Bluesky 等去中心化社交平台上的应用；二是将 Keybase 等遗留系统的密钥持有者视为证书颁发机构（CA），以此复用已有的加密身份网络；三是实现“独家性协议”的代码化，即通过代码逻辑自动执行某些访问控制或保密协议。官方文档还详细阐述了如何构建自定义的信任链，为去中心化网络环境下的安全通信提供了除传统 HTTPS 证书体系之外的全新思路。这一尝试将网络安全的边界从域名层延伸到了具体的资源链接层。

  事件分析

  技术层面上，该项目本质上是将 PGP/GPG 风格的信任模型轻量化并引入 URL 交互层，试图在 HTTP/HTTPS 协议之上叠加一层基于内容寻址或签名的验证机制。这对防范网络钓鱼攻击（Phishing）和中间人攻击（MITM）具有显著意义，特别是在使用短链接服务或跨应用跳转的高风险场景中。产业方面，随着去中心化身份（DID）和 Web3 社交网络的兴起，传统的基于中心化 CA 的证书体系已无法完全覆盖新型交互需求，该技术提供了一种依赖密码学而非依赖中心化机构的信任路径。然而，该技术的广泛普及取决于用户体验的无感化程度，若能作为浏览器插件或标准协议得到主流平台支持，将极大降低构建“信任链”的门槛。短期内，它更可能作为特定高安全需求领域的开发者工具存在。

  💡 核心观点：为超链接植入密码学指纹，有望从底层重构互联网的信任模型，填补传统证书体系在社交分享场景下的安全盲区。

  原文链接：Hacker News

  6分钟前

• 基于 SDL3 的高性能 2D 绘图库 SDL_gp 发布，单头文件极简设计

  开发者 nsix 近日推出了 SDL_gp 项目，这是一个专为 SDL3 设计的极简、高性能 2D 图形绘图库。该项目是著名图形库 sokol_gp 的 SDL3 移植版本，旨在将底层 GPU 渲染封装为易于调用的即时模式 API。与原版 sokol_gp 依赖 sokol 库进行内部资源管理不同，SDL_gp 更加底层，直接基于 SDL3 GPU 构建，并自行实现了一套类似于 sokol 的简易资源管理系统，从而在保持极简 API 的同时提供了更高的灵活性。
  SDL_gp 采用单头文件设计，极大降低了集成难度，适合作为轻量级渲染引擎嵌入项目中。它提供了丰富的绘图功能，包括绘制填充矩形、精灵、线条、三角形等基础图元，以及完整的变换堆栈操作（平移、旋转、缩放）和状态管理（颜色、混合模式、投影）。开发者可以通过简单的函数调用直接绘图，而无需手动处理复杂的着色器和管线配置。该库还具备完善的错误处理机制，支持图像、管线和着色器的封装管理。项目采用 MIT 许可证开源，为希望利用 SDL3 新特性进行 2D 游戏或工具开发的独立开发者提供了一套高效的中间层解决方案。

  事件分析

  SDL_gp 的发布填补了 SDL3 生态系统在高层级 2D 渲染抽象方面的空白。随着 SDL3 引入现代化的 GPU 抽象层（SDL_GPU），开发者虽然获得了跨平台的高性能渲染能力，但其底层 API 相当繁琐，需要手动管理命令缓冲区、管线状态对象（PSO）和着色器，这对于 2D 应用开发往往属于过度设计。SDL_gp 的核心价值在于它将这种复杂的底层状态机操作，封装成了类似 HTML5 Canvas 的即时模式体验。这不仅大幅降低了 SDL3 的上手门槛，使得利用 GPU 加速进行 2D 图形处理变得直观，同时也保留了直接操作 GPU 资源的灵活性。对于独立开发者和图形工具开发者而言，这提供了一种无需依赖沉重游戏引擎即可快速构建高性能 2D 应用的轻量级方案。

  💡 核心观点：SDL_gp 通过将 SDL3 复杂的底层 GPU 封装为极简 API，降低了现代图形编程门槛，是 2D 游戏开发的轻量级加速器。

  原文链接：Hacker News

  6分钟前

• AI编程是提效还是替代？计算机专业学生的就业焦虑与行业现状

  近日，在开发者社区 Linux.do 上，一场关于人工智能对未来就业影响的讨论引发了广泛关注，尤其是计算机专业从业者及学生的群体性焦虑。一名计算机专业的研究生发帖表示，身边的硕士同学普遍对未来持悲观态度，认为 AI 编程工具的便捷性导致了自身编程能力的退化，进而产生了被替代的危机感。

  该讨论深入对比了不同行业的 AI 冲击现状。在数字内容创作领域，起点平台据传对 AI 辅助小说创作设有限制，而番茄小说平台则相对宽松，显示出不同平台对 AIGC 内容的不同接纳程度。在演艺界，唐国强等演员曾探讨过 AI 替代演员的话题，发帖者预测，未来 3-5 年内，国内低端程序员和普通短剧演员、龙套等初级岗位将面临极高的被 AI 替代的风险。

  针对避险策略，发帖者提出了一些受 AI 冲击较小的职业方向，如医生、体制内工作等，认为这些行业由于涉及复杂的实体利益或非标逻辑，短期内难以大规模数字化。最后，该讨论总结了一个技术替代难度的层级：文字与代码类 < 图片与视频类 < 物理实体交互类。目前的机器人技术尚未成熟，这意味着涉及实体操作和复杂体力劳动的领域，是 AI 攻克的最后堡垒。这一讨论不仅反映了年轻开发者对技术迭代的恐慌，也折射出当前 AI 落地过程中的产业分水岭。

  事件分析

  该讨论反映了 AI 大模型技术落地过程中引发的“刘易斯拐点”式思考。AI 编程工具（如 Github Copilot、Cursor 等）的普及正在重塑软件开发流程，将程序员的技能要求从单纯的代码实现提升到了系统架构设计和 Prompt 工程的高度。这种“能力退化”的焦虑本质上是对技术门槛降低后，初级岗位被清洗的担忧。

  从产业角度看，数字内容产业（网文、短剧、代码）因其边际成本低、数据获取容易，正处于 AI 替代的最前沿。这种替代并非是完全的失业，而是生产模式的重组：通过 AI 辅助实现“超级个体”对低效劳动力的降维打击。至于医生和体制内等职业的“安全论”，则基于这类工作包含大量非结构化决策和实体交互，这正是当前纯大语言模型的短板。目前 AI 替代的难度遵循“比特 < 原子”的规律，即在物理世界中通过机器人实现高精度动作依然是技术瓶颈，因此物理世界的产业升级滞后于数字世界。

  💡 核心观点：AI 编程正倒逼开发者从“码农”向“架构师”进化，初级代码岗位将被清洗，未来属于掌握 AI 协同能力与实体复杂业务的人群。

  原文链接：Linux.do

  6分钟前

• 开源脚本优化 ChatGPT 网页：让对话目录在初始阶段显示

  针对 ChatGPT 网页版用户界面在对话初期（少于 5 轮）隐藏侧边栏目录的痛点，开发者 Jujuanel 在 Linux.do 社区发布了一款开源油猴（Tampermonkey）脚本。该脚本的核心功能是打破官方界面的显示限制，通过 DOM 操作注入元素并复用官方 CSS 样式，实现了在对话的前四个回合中也能在右侧显示完整的“对话目录”。根据项目介绍，脚本完全开源，无保留代码，且已托管至 GitHub 和 GreasyFork 平台供公众使用。该项目的一个显著特点是“由 GPT 制作”，即利用 ChatGPT 本身编写了优化其自身界面的代码，展示了 AI 辅助编程在解决实际 UI 体验问题上的潜力。脚本支持折叠短条与展开面板两种视觉模式，完美适配原有的界面风格。对于习惯使用长上下文或复杂提示词的用户而言，这一工具显著降低了检索早期对话内容的操作成本，提升了在单次会话中管理信息的效率。

  事件分析

  从技术角度看，该事件反映了当前大模型应用在客户端交互层面仍存在诸多体验优化空间。官方产品往往基于“大众平均需求”设计 UI，而重度用户（如提示词工程师、开发者）则对信息的连续性和可见性有更高要求，这种需求错位通过用户脚本得到了有效填补。其次，该脚本的开发流程——由 AI 生成代码来解决 AI 产品的交互缺陷——构成了一个有趣的“自指优化”闭环，体现了 AI 编程工具在实际场景中的落地能力。此外，此类轻量级前端脚本的流行，也预示着未来 AI 产品界面的“可组装性”将成为趋势，用户不再被动接受单一产品形态，而是倾向于通过浏览器扩展或开源组件来定制个性化的工作流。

  💡 核心观点：用户利用 AI 编程反向优化 AI 产品体验，揭示了官方 UI 设计与专业用户需求之间的断层，开源脚本成为填补体验鸿沟的高效手段。

  原文链接：Linux.do

  32分钟前

• API格式兼容性存疑：NewAPI接入Ollama致Claude Code调用失败

  一位开发者在尝试构建AI工作流时遇到了典型的协议兼容性问题。该开发者订阅了Ollama Pro服务，试图通过开源中间件NewAPI进行中转，以便在Claude Code客户端中统计GLM-5.2模型的使用量。测试发现，虽然基础配置允许在Cherry Studio中以OpenAI兼容格式进行对话，但当配置为Claude Code专用的“Anthropic Messages (原生)”格式时，客户端无法解析响应并提示API返回空或格式错误。通过对比NewAPI的转发日志与直接请求Ollama官方接口的curl测试结果，问题根源被锁定在响应体的数据结构差异上。NewAPI在转发请求时，虽然路由指向了/v1/messages，但返回的JSON数据仍采用了OpenAI标准的`chat.completion`结构（包含`choices`列表和`reasoning_content`字段），而非Claude Code预期的Anthropic原生标准（即`type: message`以及包含`thinking`类型的`content`数组结构）。这种“新瓶装旧酒”的格式转换导致客户端无法识别思维链内容，最终引发解析异常。该案例凸显了多模型接入中间件在处理不同厂商API语义时的兼容性挑战。

  事件分析

  该事件不仅是一个具体的调试案例，更揭示了当前AI生态中API标准碎片化带来的隐患。随着OpenAI的o1系列和Anthropic的Claude 3.7 Sonnet相继推出具备思维链（Chain-of-Thought）的推理模型，各大厂商对于“思考过程”数据的传输字段尚未达成共识。OpenAI倾向于使用`reasoning_content`，而Anthropic则坚持使用流式或结构化的`content`块内嵌`thinking`类型。

  NewAPI作为流行的开源中转项目，其核心价值在于统一异构模型的调用接口，但在处理深度推理字段时，若仅进行简单的字段映射而未能完全重构响应体架构，便会导致“格式泄露”。此次NewAPI将OpenAI格式强行套用在Anthropic协议请求上，说明当前的中间件层对于新型推理模型的适配仍存在滞后。对于行业而言，这意味着在构建复杂的Agent或开发工作流时，开发者必须格外关注中间件在协议转换层的数据清洗能力，否则将面临难以调试的隐形兼容性黑洞。

  💡 核心观点：思维链数据的字段割裂已成为AI中间件兼容性的隐形陷阱，OpenAI与Anthropic的格式差异在代理转发中极易导致解析失败。

  原文链接：Linux.do

  32分钟前