Vera：一款专为“机器编写”而设计的编程语言
Hacker News 上热议的一个 GitHub 项目引发关注，该项目推出了一款名为 Vera 的实验性编程语言，其独特之处在于它是专门为机器（而非人类）设计的。传统编程语言充满了为人类可读性设计的模糊性，而 Vera 旨在通过严格的语法...
标签索引 / 第 9 页
GitHub
这个标签下有 928 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
Claude Code 惊现离谱计费 Bug：提交信息含 “HERMES.md” 竟被强行扣 200 美元
Anthropic 的 AI 编程工具 Claude Code 被曝存在严重的计费漏洞。一名用户报告称，只要 Git 仓库的提交记录中包含特定字符串 “HERMES.md”（区分大小写），系统就会错误地将 API 请求路由至“额外使用”计费...
开源项目gpt-image-canvas：打造本地化AI生图工作台，支持4K高清直出
针对当前AI生图工具流程割裂、上下文难以连贯的痛点，开源项目“gpt-image-canvas”推出了本地化解决方案。该项目致力于构建一个集成的AI生图工作台，支持用户在同一画布内完成提示词编写、2K/4K高清生图、批量处理、参考图迭代及历...
GitHub 热门：本地优先的开源 AI PPT 生成神器「oh-my-ppt」，彻底告别数据泄露风险
近日，一款名为「oh-my-ppt」的开源 AI PPT 制作工具在技术社区引发关注。该工具最大的亮点在于坚持“本地优先”策略，所有 AI 生成与推理过程均在用户本地电脑运行，无需注册且完全保障数据隐私。功能方面，它支持“一句话生成”PPT...
收录超3000个GPT绘图提示词，GitHub开源库助你零门槛生成AI大作
该项目汇总了来自X社区的3000多个高质量AI图像生成提示词，并将其转化为结构化资源库。每个提示词均配备预览图，支持按风格、构图、光影、色调等维度进行精细筛选，涵盖中英文语言。项目目前已同步至GitHub开源平台，通过提供可复制、可一键填充...
GitHub 深陷信任危机：Vagrant 创始人宣布项目 Ghostty 离场，痛斥平台不稳定
著名开源先驱、Vagrant 与 Terraform 创始人 Mitchell Hashimoto 宣布，其终端模拟器项目 Ghostty 将迁出 GitHub。Mitchell 作为拥有 18 年资历的骨灰级用户，坦言此举实属无奈。他严厉...
GitHub 惊现严重 RCE 漏洞：仅需一次 Git Push 即可接管服务器，AI 首次助力挖掘黑盒二进制风险
Wiz 研究团队在 GitHub 内部 Git 基础设施中发现了一个严重漏洞（CVE-2026-3854）。攻击者利用 Git 推送选项注入内部协议头（X-Stat），绕过沙箱并执行任意代码，仅需一次 `git push` 命令即可攻陷 G...
抗议微软AI策略，知名开源项目BookStack宣布弃用GitHub
受开发者喜爱的开源Wiki平台BookStack正式启动迁移计划，将其代码仓库从GitHub完全转移至非营利性平台Codeberg。项目维护者Dan Brown明确指出，微软旗下的GitHub已背离开源初衷，不仅无视许可协议利用所有公共代码...
现代终端 Warp 宣布开源：打造原生集成 AI Agent 的开发环境
知名现代终端工具 Warp 宣布在 GitHub 上正式开源。Warp 不仅仅是一个传统的终端模拟器，它被重新定义为一个“代理式”开发环境。通过原生集成 AI Agent，Warp 旨在从底层重构开发者与命令行的交互方式，将单纯的工具转化为...
GitHub 变更 Copilot 计费：代码审查将消耗 Actions 分钟数
GitHub 官方宣布，自 2026 年 6 月 1 日起，Copilot 代码审查功能将开始消耗 GitHub Actions 分钟数。这一调整源于该功能采用了“Agent 工具调用架构”，实质上是利用 GitHub 托管的运行器执行任务...