system_prompts_leaks-程序员茄子

Agent Skills 深度解析：Addy Osmani 如何用纯 Markdown 给 AI 编程助手装上「工程纪律」
2026-05-11 15:53:36 +0800 CST view 834
Google Chrome 工程总监 Addy Osmani 发布了一个名为 agent-skills 的开源项目，通过将 Google 内部严苛的工程规范编码为 AI Agent 可直接执行的纯 Markdown 工作流，让 AI 编程助手从「能跑就行」进化到「可以安全合并」。
Agent Skills AI编程 Addy Osmani Claude Code 工程规范 Cursor Markdown 工作流 Google工程

Apple Container 深度实战：当 Swift 遇上轻量虚拟化——从 macOS 原生容器到 Production 部署的完全指南（2026）

编程

Apple Container 深度实战：当 Swift 遇上轻量虚拟化——从 macOS 原生容器到 Production 部署的完全指南（2026）
2026-06-12 14:46:44 +0800 CST view 1067
深入解析苹果官方开源的 macOS 容器工具 apple/container，从架构设计、Virtualization.framework 技术栈、轻量VM模型等维度完整讲解，附实战部署示例。
Swift Container macOS 虚拟化 Apple Silicon OCI Docker

A2A 协议深度拆解：当 Agent 开始「互相打电话」——从 AgentCard 发现机制、Task 状态机到多智能体编排的工程全貌（2026）

编程

A2A 协议深度拆解：当 Agent 开始「互相打电话」——从 AgentCard 发现机制、Task 状态机到多智能体编排的工程全貌（2026）
2026-07-19 04:14:54 +0800 CST view 253
A2A（Agent2Agent）协议深度拆解：从 AgentCard 发现机制、Message/Part 数据模型、Task 状态机到流式 SSE 与多智能体编排，含从零实现的最小 A2A Server/Client 与 2026 生产级工程要点。
A2A Agent2Agent 多智能体 AI Agent 协议 MCP JSON-RPC Google

Antigravity 2.0 深度实战：从 IDE 到智能体协作平台——Google I/O 2026 的 AI 编程革命

编程

Antigravity 2.0 深度实战：从 IDE 到智能体协作平台——Google I/O 2026 的 AI 编程革命
2026-05-24 02:32:37 +0800 CST view 750
2026 年 5 月 20 日，Google I/O 2026 开发者大会正式发布了 Antigravity 2.0——这是 Google 在 AI 编程领域的重磅升级。本文深入剖析 Antigravity 2.0 的架构设计、核心特性、与其他 AI 编程工具的对比，并通过完整的实战演示如何在生产环境中使用 Antigravity 2.0 构建复杂应用。
AI编程 Antigravity Google IO 2026 多智能体协同智能体编程 IDE

LeaferJS 深度实战：百万级图形的 Canvas 引擎——从底层架构到生产级编辑器的完全指南（2026）

编程

LeaferJS 深度实战：百万级图形的 Canvas 引擎——从底层架构到生产级编辑器的完全指南（2026）
2026-06-03 09:40:17 +0800 CST view 767
深入解析 LeaferJS 这款国产 Canvas 引擎，从底层架构设计到生产级图形编辑器实战，包含性能优化策略、四叉树命中检测、脏矩形渲染等核心技术原理与代码示例。
LeaferJS Canvas 前端图形性能优化开源项目

Perplexity Teammate 深度解析：当 AI 搜索巨头正式杀入编程工具赛道，格局将如何重写？

编程

Perplexity Teammate 深度解析：当 AI 搜索巨头正式杀入编程工具赛道，格局将如何重写？
2026-07-12 15:42:38 +0800 CST view 441
深度解析 Perplexity Teammate 的战略意图与技术架构，分析 AI 编程工具市场格局，预测未来发展趋势。
Perplexity AI编程开发者工具 Claude Code Cursor Codex

Oracle AI Database 26ai 深度实战：当五十年的关系数据库长出 AI 的骨骼——从向量搜索到 Agentic AI、Autonomous Lakehouse 的完整拆解（2026）

编程

Oracle AI Database 26ai 深度实战：当五十年的关系数据库长出 AI 的骨骼——从向量搜索到 Agentic AI、Autonomous Lakehouse 的完整拆解（2026）
2026-06-17 18:22:45 +0800 CST view 539
2026 年 Oracle 26ai 深度解析：从 VECTOR 数据类型到向量索引（IVF/HNSW）、Select AI Agent、Private Agent Factory、Unified Memory Core、Autonomous Lakehouse、Iceberg 原生支持、自动调优到 Deep Data Security 与后量子加密，万字长文完整拆解架构变革与生产落地
Oracle 26ai Vector Search AI Agent Lakehouse 向量搜索数据库 AI 自治数据库

colibrì 深度拆解：当1300行纯C在25GB笔记本上跑起744B大模型——纯C运行时、MoE稀疏激活与智谱GLM-5.2的工程奇迹（2026）

编程

colibrì 深度拆解：当1300行纯C在25GB笔记本上跑起744B大模型——纯C运行时、MoE稀疏激活与智谱GLM-5.2的工程奇迹（2026）
2026-07-19 09:14:11 +0800 CST view 1111
纯C语言实现的大模型推理引擎，仅用1300行代码在25GB内存笔记本上运行744B参数的GLM-5.2 MoE模型，含完整代码示例与技术解析
C语言 GLM-5.2 MoE 大模型推理量化 AVX2 MLA注意力推测解码 Apple Silicon

Go 版 Clojure 来了！let-go 让你在 Golang 里写 Lisp

案例

Go 版 Clojure 来了！let-go 让你在 Golang 里写 Lisp
2026-05-11 20:51:22 +0800 CST view 831
用 Go 写的 Clojure 方言编译器！10MB 二进制，7ms 冷启动，通过 95.4% 测试。Go + Clojure 双向互操作，支持 WASM，甚至能在 Plan 9 上跑。
let-go Clojure Go Lisp 函数式编程编译器虚拟机字节码

Google LangExtract 深度解析：用LLM实现非结构化文本的精准结构化提取与可视化

编程

Google LangExtract 深度解析：用LLM实现非结构化文本的精准结构化提取与可视化
2026-05-17 19:18:49 +0800 CST view 666
Google LangExtract库深度解析，介绍如何使用LLM从非结构化文本中精准提取结构化信息，包含精确源接地、交互式可视化、代码实战和性能优化。
LLM 信息提取 Google Python NLP

Google LangExtract 深度实战：LLM结构化信息提取的完整指南（2026版）

编程

Google LangExtract 深度实战：LLM结构化信息提取的完整指南（2026版）
2026-05-17 19:30:29 +0800 CST view 656
2026年最新Google LangExtract深度实战指南，全面解析如何用LLM从非结构化文本中精准提取结构化信息，包含精确源接地、交互式可视化、代码实战和性能优化。
LLM 信息提取 Google Python NLP 结构化数据

Google LangExtract 深度实战：从非结构化文本到结构化知识的工程化完全指南（2026）

编程

Google LangExtract 深度实战：从非结构化文本到结构化知识的工程化完全指南（2026）
2026-05-24 13:30:29 +0800 CST view 628
Google LangExtract 深度实战：从非结构化文本到结构化知识的工程化完全指南，涵盖架构分析、代码实战、性能优化。
LangExtract LLM 结构化提取 Google Python

TigerBeetle 深度拆解：当数据库决定「用 Zig 从零造一个金融交易引擎」——从 Debit/Credit 原语到 VSR 共识，一个声称比传统 OLTP 快 1000 倍的开源数据库如何用「单线程 + 批处理 + io_uring」重新定义金融级事务处理的终极形态

编程

TigerBeetle 深度拆解：当数据库决定「用 Zig 从零造一个金融交易引擎」——从 Debit/Credit 原语到 VSR 共识，一个声称比传统 OLTP 快 1000 倍的开源数据库如何用「单线程 + 批处理 + io_uring」重新定义金融级事务处理的终极形态
2026-08-06 02:47:18 +0800 CST view 150
深度拆解TigerBeetle：Zig从零构建的金融交易数据库，Debit/Credit原语、VSR共识协议、io_uring存储引擎、单线程批处理架构，1000x OLTP性能提升的技术内幕
TigerBeetle Zig OLTP 金融数据库 io_uring VSR Debit/Credit 事务处理开源性能优化

TigerBeetle 深度拆解：当金融数据库决定用 Zig 从零造一个 OLTP 引擎——Debit/Credit 原语、VSR 共识、io_uring 存储，一个比传统事务处理快 1000 倍的开源数据库

编程

TigerBeetle 深度拆解：当金融数据库决定用 Zig 从零造一个 OLTP 引擎——Debit/Credit 原语、VSR 共识、io_uring 存储，一个比传统事务处理快 1000 倍的开源数据库
2026-08-06 02:47:41 +0800 CST view 207
深度拆解TigerBeetle：Zig从零构建的金融交易数据库，Debit/Credit原语、VSR共识协议、io_uring存储引擎、单线程批处理架构，1000x OLTP性能提升的技术内幕
TigerBeetle Zig OLTP 金融数据库 io_uring VSR Debit/Credit 事务处理开源性能优化

比Chrome快9倍！这个Zig写的头浏览器正在悄悄火

编程

比Chrome快9倍！这个Zig写的头浏览器正在悄悄火
2026-04-21 13:39:10 +0800 CST view 821
用Zig语言从零写的AI浏览器，比Chrome快9倍内存省16倍。兼容CDP协议，AI Agent和爬虫的性价比神器。
Lightpanda Zig 浏览器 AI headless

当 Agent 学会「找 Agent 帮忙」：Google A2A 协议深度实战，一次把多智能体协作讲透（2026）

编程

当 Agent 学会「找 Agent 帮忙」：Google A2A 协议深度实战，一次把多智能体协作讲透（2026）
2026-07-13 07:19:24 +0800 CST view 549
深度实战 Google A2A（Agent2Agent）协议：从 AgentCard、Task 生命周期、Message/Part，到可运行的代码评审 Agent、多智能体编排器与企业级鉴权，一次把多智能体协作讲透（2026）。
A2A Agent2Agent 多智能体 MCP 智能体协作 Google Linux Foundation 协议

LMG2025大会获奖团队开源！Pixelle-Video让AI视频创作变成一句话的事

编程

LMG2025大会获奖团队开源！Pixelle-Video让AI视频创作变成一句话的事
2026-04-21 13:55:15 +0800 CST view 1106
GitHub热榜AI视频项目！LMG2025大会获奖团队开源，输入主题自动生成完整短视频，含数字人口播、图生视频、动作迁移等功能。
Pixelle-Video AI视频开源短视频数字人

OpenAI 证明数学核心猜想：AI 首次解决 80 年经典难题——2026 年 AI 数学推理完全指南

编程

OpenAI 证明数学核心猜想：AI 首次解决 80 年经典难题——2026 年 AI 数学推理完全指南
2026-05-24 23:52:54 +0800 CST view 692
本文深入解析 OpenAI 解决 Erdős 单位距离问题的历史性突破，介绍 AI 数学推理的技术原理、形式化验证与定理证明器，以及构建数学推理 AI Agent 的完整流程。
AI 数学推理定理证明形式化验证 Lean4

AI 攻克 80 年数学难题：形式化验证与定理证明的技术革命——2026 年完全指南

编程

AI 攻克 80 年数学难题：形式化验证与定理证明的技术革命——2026 年完全指南
2026-05-24 23:53:21 +0800 CST view 724
本文深入解析 AI 如何解决 Erdős 单位距离问题，介绍形式化验证、定理证明器技术，以及构建数学推理 AI Agent 的完整流程。
AI 数学推理定理证明形式化验证 Lean4

ds4.c 深度解析：Redis之父如何用纯C代码在MacBook上跑通284B大模型——从不对称量化到KV缓存磁盘化的完整技术内幕

编程

ds4.c 深度解析：Redis之父如何用纯C代码在MacBook上跑通284B大模型——从不对称量化到KV缓存磁盘化的完整技术内幕
2026-05-18 06:15:03 +0800 CST view 813
Redis之父antirez开源ds4.c项目深度解析：用纯C语言在MacBook上运行284B参数大模型，不对称2-bit量化、KV缓存磁盘化、OpenAI/Anthropic API兼容，打造首个真正的本地Agent推理后端
AI推理本地大模型 Redis Apple Silicon DeepSeek

bitchat 深度拆解：没有互联网的聊天应用如何日增 2300 星——BLE Mesh 泛洪、Noise 加密与离线优先通信栈全解

编程

bitchat 深度拆解：没有互联网的聊天应用如何日增 2300 星——BLE Mesh 泛洪、Noise 加密与离线优先通信栈全解
2026-07-31 07:14:36 +0800 CST view 289
深度拆解 GitHub Trending 霸榜项目 bitchat：BLE 双角色连接拓扑、紧凑二进制协议与分片重组、TTL 管理泛洪、Noise XX 端到端加密、store-and-forward 暂存机制，附完整 Swift 代码实战、电量与吞吐优化、能力边界冷思考。
bitchat BLE 蓝牙Mesh 去中心化 Noise协议端到端加密离线通信开源 iOS P2P

Go 1.24 深度拆解：Swiss Table 重写 map、WASM Reactor 原生导出与 FIPS 140-3 合规的工程革命

编程

Go 1.24 深度拆解：Swiss Table 重写 map、WASM Reactor 原生导出与 FIPS 140-3 合规的工程革命
2026-07-31 14:20:14 +0800 CST view 188
深度拆解 Go 1.24 核心技术：Swiss Table 重写 map 带来 45% 性能提升、go:wasmexport 原生 WASM 导出、FIPS 140-3 Go 原生合规、runtime 分片锁实现 3 倍并发提升，以及 weak pointer、tool 指示符等工具链改进。
Go Go1.24 Swiss Table WASM FIPS 140-3 性能优化云原生 Runtime

Angular v20 深度解析：Zoneless 开发者预览、Signal 生态成熟与增量式 Hydration 的到来

编程

Angular v20 深度解析：Zoneless 开发者预览、Signal 生态成熟与增量式 Hydration 的到来
2026-05-12 22:09:34 +0800 CST view 483
深度解析Angular v20核心变化：Zoneless进入开发者预览、effect/linkedSignal/toSignal API稳定、增量式Hydration正式GA、路由级渲染模式配置、Angular DevTools Chrome集成、模板HMR默认启用。含代码实战与迁移指南。
Angular20,Zoneless,Signal,增量Hydration,前端框架,Angular新特性,模板HMR

大家都在搜索什么？

devops 易支付一个官网+多少钱统一接受回调统一回调 sub node 宝塔日志 mysql shell ElasticSearch css vue api接口对接 2025 支付接口对接 go php php回调回调

上一页 1...99 100101102 103...143 下一页

AI,自己全程接管维护

Agent Skills 深度解析：Addy Osmani 如何用纯 Markdown 给 AI 编程助手装上「工程纪律」

Apple Container 深度实战：当 Swift 遇上轻量虚拟化——从 macOS 原生容器到 Production 部署的完全指南（2026）

A2A 协议深度拆解：当 Agent 开始「互相打电话」——从 AgentCard 发现机制、Task 状态机到多智能体编排的工程全貌（2026）

Antigravity 2.0 深度实战：从 IDE 到智能体协作平台——Google I/O 2026 的 AI 编程革命

LeaferJS 深度实战：百万级图形的 Canvas 引擎——从底层架构到生产级编辑器的完全指南（2026）

Perplexity Teammate 深度解析：当 AI 搜索巨头正式杀入编程工具赛道，格局将如何重写？

Oracle AI Database 26ai 深度实战：当五十年的关系数据库长出 AI 的骨骼——从向量搜索到 Agentic AI、Autonomous Lakehouse 的完整拆解（2026）

colibrì 深度拆解：当1300行纯C在25GB笔记本上跑起744B大模型——纯C运行时、MoE稀疏激活与智谱GLM-5.2的工程奇迹（2026）

Go 版 Clojure 来了！let-go 让你在 Golang 里写 Lisp

Google LangExtract 深度解析：用LLM实现非结构化文本的精准结构化提取与可视化

Google LangExtract 深度实战：LLM结构化信息提取的完整指南（2026版）

Google LangExtract 深度实战：从非结构化文本到结构化知识的工程化完全指南（2026）

TigerBeetle 深度拆解：当数据库决定「用 Zig 从零造一个金融交易引擎」——从 Debit/Credit 原语到 VSR 共识，一个声称比传统 OLTP 快 1000 倍的开源数据库如何用「单线程 + 批处理 + io_uring」重新定义金融级事务处理的终极形态

TigerBeetle 深度拆解：当金融数据库决定用 Zig 从零造一个 OLTP 引擎——Debit/Credit 原语、VSR 共识、io_uring 存储，一个比传统事务处理快 1000 倍的开源数据库

比Chrome快9倍！这个Zig写的头浏览器正在悄悄火

当 Agent 学会「找 Agent 帮忙」：Google A2A 协议深度实战，一次把多智能体协作讲透（2026）

LMG2025大会获奖团队开源！Pixelle-Video让AI视频创作变成一句话的事

OpenAI 证明数学核心猜想：AI 首次解决 80 年经典难题——2026 年 AI 数学推理完全指南

AI 攻克 80 年数学难题：形式化验证与定理证明的技术革命——2026 年完全指南

GraphRAG 知识图谱增强检索实战：从 Leiden 社区检测到生产级部署，一次把图谱 RAG 讲透（2026 深度长文）

ds4.c 深度解析：Redis之父如何用纯C代码在MacBook上跑通284B大模型——从不对称量化到KV缓存磁盘化的完整技术内幕

bitchat 深度拆解：没有互联网的聊天应用如何日增 2300 星——BLE Mesh 泛洪、Noise 加密与离线优先通信栈全解

Go 1.24 深度拆解：Swiss Table 重写 map、WASM Reactor 原生导出与 FIPS 140-3 合规的工程革命

Angular v20 深度解析：Zoneless 开发者预览、Signal 生态成熟与增量式 Hydration 的到来

大家都在搜索什么？