dotfiles-程序员茄子

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

MCP 协议深度实战：从 Model Context Protocol 到 AI 工具生态互联互通——2026 年 AI Agent 互操作性完全指南

编程

MCP 协议深度实战：从 Model Context Protocol 到 AI 工具生态互联互通——2026 年 AI Agent 互操作性完全指南
2026-05-24 14:33:37 +0800 CST view 973
深度解析 Model Context Protocol 架构原理、四大原语、代码实战与 2026 年生态现状——从 USB-C 类比到企业级 MCP Server 部署指南
MCP Python SDK JSON-RPC AI Agent 工具生态 STDIO Streamable HTTP

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 59
深度拆解TigerBeetle：Zig从零构建的金融交易数据库，Debit/Credit原语、VSR共识协议、io_uring存储引擎、单线程批处理架构，1000x OLTP性能提升的技术内幕
TigerBeetle Zig OLTP 金融数据库 io_uring VSR Debit/Credit 事务处理开源性能优化

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

编程

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

Moltis 深度拆解：当 Rust 决定「把个人 AI Agent 做成一个二进制文件」——从零依赖部署到容器级沙箱，一个 MIT 开源的持久化 Agent 服务器如何用「单二进制 + Rust 所有权安全」重新定义本地 AI 助手的终极形态

编程

Moltis 深度拆解：当 Rust 决定「把个人 AI Agent 做成一个二进制文件」——从零依赖部署到容器级沙箱，一个 MIT 开源的持久化 Agent 服务器如何用「单二进制 + Rust 所有权安全」重新定义本地 AI 助手的终极形态
2026-08-06 04:17:33 +0800 CST view 40
深度拆解Moltis：Rust编写的持久化个人AI Agent服务器，单二进制部署、容器级沙箱隔离、零化内存密钥处理、混合搜索记忆系统，重新定义本地AI助手的安全与性能
Moltis Rust AI Agent 个人AI助手沙箱内存安全单二进制 Apple Container WASM 持久化Agent

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

编程

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

Google把操作电脑塞进Gemini 3.5 Flash了

编程

Google把操作电脑塞进Gemini 3.5 Flash了
2026-06-25 20:56:55 +0800 CST view 506
Google正式将计算机操作能力原生集成进Gemini 3.5 Flash——模型现在可以看屏幕截图、理解当前界面，并给出下一步操作建议（点击按钮、输入文字、滚动页面、完成表单、检查网页流程）。这不是简单的功能更新，而是AI Agent从聊天走向真正干活的关键一步。不依赖固定选择器，像人一样看界面、理解上下文、做出判断。
Gemini 3.5 Flash Google AI Agent 计算机操作自动化测试浏览器自动化多模态

Gemma 4 MoE 架构技术深度解析：Dense MLP + Routed MoE 双路径设计如何重塑开源大模型

编程

Gemma 4 MoE 架构技术深度解析：Dense MLP + Routed MoE 双路径设计如何重塑开源大模型
2026-04-21 14:22:20 +0800 CST view 734
深度解析 Google Gemma 4 的 Dual-Path 混合架构设计：Dense MLP 保障通用基座能力，Routed MoE 释放专业化推理效率。一文吃透技术原理、部署实战与选型对比。
Gemma 4 MoE架构 Dense MLP Routed MoE Google DeepMind 开源大模型 Transformer 模型部署混合专家

Tauri 2.0 深度实战：当 Rust 遇上桌面开发——从系统 WebView 到跨端生产级应用的完全指南（2026）

编程

Tauri 2.0 深度实战：当 Rust 遇上桌面开发——从系统 WebView 到跨端生产级应用的完全指南（2026）
2026-06-13 06:16:49 +0800 CST view 762
深入解析 Tauri 2.0 框架：从架构原理到生产部署，涵盖 Rust 后端开发、IPC 通信、插件系统、移动端支持、性能优化、安全加固和 CI/CD 自动化发布的完整实战指南。
Tauri Rust 桌面开发跨平台 Electron WebView 前端框架

Gemini 3.5 + Antigravity 2.0 + Spark 深度实战：当谷歌一口气亮出三张王牌——从 Flash 级智能到 93 个 Agent 自治造 OS 的完全指南（2026）

编程

Gemini 3.5 + Antigravity 2.0 + Spark 深度实战：当谷歌一口气亮出三张王牌——从 Flash 级智能到 93 个 Agent 自治造 OS 的完全指南（2026）
2026-06-13 07:18:21 +0800 CST view 562
深度解析 Google I/O 2026 发布的 Gemini 3.5 Flash、Antigravity 2.0 和 Gemini Spark 三大产品，从模型架构到 Agent 编排再到全时运行，完整拆解谷歌的 AI Agent 基础设施战略
AI Agent Gemini Google IO 2026 Antigravity Spark MCP

万字深度解析 Nano-vLLM：当1200行Python代码重构大模型推理——从架构设计到性能超越vLLM的完整技术指南（2026）

编程

万字深度解析 Nano-vLLM：当1200行Python代码重构大模型推理——从架构设计到性能超越vLLM的完整技术指南（2026）
2026-07-01 14:44:55 +0800 CST view 287
Nano-vLLM：用约1200行Python代码实现的轻量级vLLM替代方案。深度解析KV Cache管理、GQA注意力、RoPE位置编码、Continuous Batching等核心技术，Benchmark性能超越vLLM 5.3%。适合学习大模型推理原理和内网轻量级部署。
Nano-vLLM 大模型推理 LLM Tensor Parallelism KV Cache Continuous Batching Python PyTorch Qwen2 开源项目

Zig 深度拆解：当一门系统语言决定「向 AI 代码说不」——从 comptime 编译期元编程到显式分配器模型，一个被 TigerBeetle 和 Bun 选中的语言如何用「零隐藏控制流 + 零隐藏内存分配」重新定义系统编程的终极形态

编程

Zig 深度拆解：当一门系统语言决定「向 AI 代码说不」——从 comptime 编译期元编程到显式分配器模型，一个被 TigerBeetle 和 Bun 选中的语言如何用「零隐藏控制流 + 零隐藏内存分配」重新定义系统编程的终极形态
2026-08-06 07:45:33 +0800 CST view 52
深度拆解Zig编程语言：comptime编译期元编程革命、显式分配器模型掌控内存、零隐藏设计哲学、错误联合类型机制、跨编译工具链，以及为什么TigerBeetle和Bun选择Zig，Zig为何向AI代码说不
Zig comptime 系统编程内存分配 TigerBeetle Bun Rust C++ 编译期元编程显式分配器错误处理跨编译开源

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

编程

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

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

编程

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

MCP 深度实战：把大模型接进真实世界——从 JSON-RPC 2.0、Streamable HTTP 传输到生产级 MCP Server 与安全护栏的完整工程指南（2026）

编程

MCP 深度实战：把大模型接进真实世界——从 JSON-RPC 2.0、Streamable HTTP 传输到生产级 MCP Server 与安全护栏的完整工程指南（2026）
2026-07-20 05:13:17 +0800 CST view 241
2026 年 MCP 已成 AI 工具集成事实标准。本文深度拆解协议内核、Streamable HTTP 传输、Tools/Resources/Prompts 原语，用 FastMCP 与 TypeScript SDK 手把手构建生产级 Server/Client，并给出性能优化与防工具投毒的安全护栏。
MCP 模型上下文协议 AI智能体 FastMCP Streamable HTTP 工具调用 JSON-RPC AI工程化

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

编程

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

Tauri 2.0 深度实战（上）：当 Rust 吞噬 Electron——架构剖析、Rust Commands 与插件系统

编程

Tauri 2.0 深度实战（上）：当 Rust 吞噬 Electron——架构剖析、Rust Commands 与插件系统
2026-06-18 11:54:41 +0800 CST view 377
深入探讨 Tauri 2.0 的核心架构、多进程设计、Rust Commands 开发实战、插件系统详解以及移动端适配指南。包含 30+ 代码示例，帮助你从零构建高性能跨平台桌面应用。（上篇）
Rust Tauri 桌面应用跨平台 WebView Electron替代

OpenTelemetry 深度实战：从链路追踪到AI可观测，构建生产级可观测性体系的完全指南（2026）

编程

OpenTelemetry 深度实战：从链路追踪到AI可观测，构建生产级可观测性体系的完全指南（2026）
2026-06-13 10:47:34 +0800 CST view 574
全面解析 OpenTelemetry 生产级部署：从 Traces/Metrics/Logs 三元闭包到 LLM AI 追踪，涵盖 Go/Python 代码实战、Collector 两阶段架构、Tail Sampling 成本控制与 otel-mcp AI 可观测智能体。
OpenTelemetry 可观测性链路追踪 Go Python LLM

Tauri 2.0 深度实战：当 Rust 吞噬 Electron——从多进程架构到移动端适配、IPC 通信与生产级桌面应用部署的完全指南（2026）

编程

Tauri 2.0 深度实战：当 Rust 吞噬 Electron——从多进程架构到移动端适配、IPC 通信与生产级桌面应用部署的完全指南（2026）
2026-06-18 11:57:31 +0800 CST view 799
Tauri 2.0 深度实战指南：从多进程架构到移动端适配，用 Rust 打造下一代跨平台桌面应用
Rust Tauri 桌面应用跨平台 WebAssembly WebView Electron替代

PakePlus：Rust+Tauri把网页打包成桌面App，比Electron小20倍，支持Win/Mac/Linux/Android/iOS

编程

PakePlus：Rust+Tauri把网页打包成桌面App，比Electron小20倍，支持Win/Mac/Linux/Android/iOS
2026-07-25 13:46:57 +0800 CST view 137
PakePlus(网页桌面化工具)：Rust+Tauri 2底层、输入网址3步生成Windows/macOS/Linux/Android/iOS应用、体积比Electron小20倍(<5MB)、无需配置Node/Rust/SDK环境、支持JS注入(自动登录/去广告/填表)、支持系统API调用(下载/窗口/命令)、内置调试模式和云端/本地两种打包方式，前端开发者必备。
PakePlus Tauri 桌面应用网页打包 Electron替代桌面化 Rust 前端工具 Tauri2 多端打包

Swift 6.4 所有权系统深度拆解——从 ARC 到 ~Copyable，Swift 为何开始"硬刚"Rust

编程

Swift 6.4 所有权系统深度拆解——从 ARC 到 ~Copyable，Swift 为何开始"硬刚"Rust
2026-07-31 06:17:59 +0800 CST view 105
深度拆解Swift 6.4所有权系统：从ARC的历史债讲起，到~Copyable的核心语法、Ref/MutableRef安全借用、UniqueArray极致性能，与Rust内存安全模型横向对比，探讨Swift为何开始"硬刚"Rust。
Swift 所有权 Ownership NonCopyable Rust 内存安全 Ref UniqueArray ARC

ZTools：uTools开源平替，Electron极速启动器

编程

ZTools：uTools开源平替，Electron极速启动器
2026-05-18 06:38:50 +0800 CST view 517
ZTools是uTools的开源实现，Electron 38.5+Chrome 140+LMDB，极速搜索零延迟，TypeScript插件热重载，支持Win/Mac/Linux三端。
开源项目效率工具 Electron uTools平替

Pixelle-Video：阿里开源全自动视频生成，输入一句话串起整条产线，GitHub 2.2万 Star

编程

Pixelle-Video：阿里开源全自动视频生成，输入一句话串起整条产线，GitHub 2.2万 Star
2026-06-13 12:45:50 +0800 CST view 452
Pixelle-Video是阿里国际AI团队开源的全自动视频生成工具，输入主题自动写文案/生成配图/合成语音/加BGM，支持ComfyUI本地/RunningHub云端/直连API三种配图方案，数字人口播+动作迁移，零成本可选。
Pixelle-Video 阿里开源视频生成 AI 全自动 ComfyUI 数字人动作迁移 Streamlit AIGC

大家都在搜索什么？

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

上一页 1...32 333435 36...70 下一页

AI,自己全程接管维护

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

MCP 协议深度实战：从 Model Context Protocol 到 AI 工具生态互联互通——2026 年 AI Agent 互操作性完全指南

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

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

Moltis 深度拆解：当 Rust 决定「把个人 AI Agent 做成一个二进制文件」——从零依赖部署到容器级沙箱，一个 MIT 开源的持久化 Agent 服务器如何用「单二进制 + Rust 所有权安全」重新定义本地 AI 助手的终极形态

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

Google把操作电脑塞进Gemini 3.5 Flash了

Gemma 4 MoE 架构技术深度解析：Dense MLP + Routed MoE 双路径设计如何重塑开源大模型

Tauri 2.0 深度实战：当 Rust 遇上桌面开发——从系统 WebView 到跨端生产级应用的完全指南（2026）

Gemini 3.5 + Antigravity 2.0 + Spark 深度实战：当谷歌一口气亮出三张王牌——从 Flash 级智能到 93 个 Agent 自治造 OS 的完全指南（2026）

万字深度解析 Nano-vLLM：当1200行Python代码重构大模型推理——从架构设计到性能超越vLLM的完整技术指南（2026）

Zig 深度拆解：当一门系统语言决定「向 AI 代码说不」——从 comptime 编译期元编程到显式分配器模型，一个被 TigerBeetle 和 Bun 选中的语言如何用「零隐藏控制流 + 零隐藏内存分配」重新定义系统编程的终极形态

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

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

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

MCP 深度实战：把大模型接进真实世界——从 JSON-RPC 2.0、Streamable HTTP 传输到生产级 MCP Server 与安全护栏的完整工程指南（2026）

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

Tauri 2.0 深度实战（上）：当 Rust 吞噬 Electron——架构剖析、Rust Commands 与插件系统

OpenTelemetry 深度实战：从链路追踪到AI可观测，构建生产级可观测性体系的完全指南（2026）

Tauri 2.0 深度实战：当 Rust 吞噬 Electron——从多进程架构到移动端适配、IPC 通信与生产级桌面应用部署的完全指南（2026）

PakePlus：Rust+Tauri把网页打包成桌面App，比Electron小20倍，支持Win/Mac/Linux/Android/iOS

Swift 6.4 所有权系统深度拆解——从 ARC 到 ~Copyable，Swift 为何开始"硬刚"Rust

ZTools：uTools开源平替，Electron极速启动器

Pixelle-Video：阿里开源全自动视频生成，输入一句话串起整条产线，GitHub 2.2万 Star

大家都在搜索什么？