分类： 未分类

用自然语言驱动终端的开源工具 Pragmatic AI Shell（smartcli） 正式发布 v1.0：你说人话，它生成 shell 命令，安全过滤后确认执行，全程可审计。 一个"用 AI 造出来"的 AI 终端：这个项目本身就是一次 AI 编程实践——从架构设计到代码实现主要由 AI 完成，人负责把关方向与验收。用 AI 打造一个"帮你对 AI 说人话、把意…

工厂质检是 AI 落地制造业最成熟的场景之一。产线上的划痕、裂纹、装配缺陷，机器视觉效率与准确度远高于人工。可要真正在工厂里铺开，事情没那么简单。缺陷检测高度定制，每一种工件、每一道工艺的缺陷都不一样，模型要重新采数据、标样本、训练、部署，走完这套流程，短则几个月，长的要折腾一年以上。 把模型送进产线…

近日，腾讯 WorkBuddy 正式上架deepin应用商店，在deepin应用商店搜索“WorkBuddy”一键下载安装，开箱即用，无需任何额外配置。 :bulb: 现在下载体验，即可享受免费尝鲜政策，领取免费积分，零门槛开启你的 AI 办公之旅！ 什么是WorkBuddy？ WorkBuddy 是腾讯推出的全场景职场 AI 智能体桌面工作台——它不止是能对话的…

Meta 最新 AI 大模型 Muse Spark 1.3 把上下文窗口拉到了 100 万 token，定价分了两档，差价超过 10 倍。 Meta 的新模型定位很明确：长周期、多步骤的 agentic workflow。能处理视频、图片和文档的多模态感知，工具调用一阶成功率比前代更高，代码能力在多个评测中「与前沿持平」。 定价策略值得细看。Muse Spark 1.3 分…

shrl.io 用 Go 写了四个微服务：内部 API、公开认证服务、Redis 驱动的重定向器、分析 worker。PostgreSQL 做数据源，Redis 缓存链接并流式处理访问记录。前端是 SvelteKit。整个栈通过 Docker 部署，podman compose up -d 一条命令起来。…

企业接入大模型，最难的不是技术，是秩序。本文分享一个开源思路：在内网部署一层轻量 API 网关（llm-proxy-tk），让大模型像公司内部的水电一样——统一接入、按人发卡、用量可视、随时断供。 一、先说三个扎心的现状 过去一年，我接触了不少中小企业和团队，发现大家用大模型的方式惊人地一致： 现状一： 密钥在群里裸…

Termexo 于近日发布 V0.7.0 版本。该版本的主要方向是账号管理与窗口界面：把 Claude Code 与 Codex 的登录身份从隐藏在环境变量中的状态，变为终端上可见且可切换的属性，同时重做了窗口顶栏与终端渲染。 账号成为终端的可见属性 Claude Code 与 Codex CLI 的登录身份由配置目录决定，分别通过 CLAUDE_CONFIG_DIR 与 CO…

Kairoa 是一款为开发者打造的现代跨平台桌面版开发工具箱，基于 Tauri 2 + SvelteKit 5 构建，支持 macOS、Linux 和 Windows 系统。内置 25+ 实用工具，涵盖 Hash 计算、时间转换、UUID 生成、JSON 格式化、配置转换、编解码、REST API 客户端、AI 聊天、网络诊断等开发者常用功能。 本次更新内容： 1. API 客户端新增前…

仔细核对了AI生成的提示词，对提示词进行了精减。对整个流进行了分析优化，比原来更省token。 对提示词结构进行了优化，AI更能精准的理解你的需求，比之前的表现更好。 在使用AI编程工具的时候，是否但心自己的数据库账号密码被发到云端？是但心自己的各种密钥被发到云端？OwnCode 会在发给大模型之前对这些信息进行脱敏…

凌晨三点三十三分，GPT-6 Astra 发布了。 OpenAI 在博客里说这是「世界上最智能、最对齐的模型」。Sam Altman 在 X 上说「我们花了额外的时间确保安全和对齐标准，但你们会等得值得」。Greg Brockman 直接表示「欢迎来到 AGI 时代」。 GPT-6 Astra 但整场发布里，真正让人停下来的，是 ARC-AGI-3 上的一个数字：99.9%。 …