Custom Elements-程序员茄子

TigerBeetle 深度拆解：当数据库决定「用 Zig 从零造一个金融交易引擎」——从 Debit/Credit 原语到 VSR 共识，一个声称比传统 OLTP 快 1000 倍的开源数据库如何用「单线程 + 批处理 + io_uring」重新定义金融级事务处理的终极形态
2026-08-06 02:47:18 +0800 CST view 87
深度拆解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 108
深度拆解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 732
用Zig语言从零写的AI浏览器，比Chrome快9倍内存省16倍。兼容CDP协议，AI Agent和爬虫的性价比神器。
Lightpanda Zig 浏览器 AI headless

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

编程

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

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

编程

AI 攻克 80 年数学难题：形式化验证与定理证明的技术革命——2026 年完全指南
2026-05-24 23:53:21 +0800 CST view 657
本文深入解析 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 741
Redis之父antirez开源ds4.c项目深度解析：用纯C语言在MacBook上运行284B参数大模型，不对称2-bit量化、KV缓存磁盘化、OpenAI/Anthropic API兼容，打造首个真正的本地Agent推理后端
AI推理本地大模型 Redis Apple Silicon DeepSeek

eBPF + Cilium 深度实战：当 Linux 内核变成你的可编程网络与安全平台——从 XDP 高速数据路径、身份感知网络策略到零插桩可观测性的完整工程指南（2026）

编程

eBPF + Cilium 深度实战：当 Linux 内核变成你的可编程网络与安全平台——从 XDP 高速数据路径、身份感知网络策略到零插桩可观测性的完整工程指南（2026）
2026-07-20 09:43:44 +0800 CST view 194
深度拆解 eBPF 技术内核、Cilium 生产级部署、XDP 极速数据路径、L7 身份感知网络策略与零插桩可观测性，配完整可运行代码与 Grafana 集成指南，共 15000 字。
eBPF Cilium Kubernetes XDP 云原生网络策略 eBPF可观测性 L7策略 Hubble Tetragon DeepFlow BPF CNI

Graphify 深度拆解：从"暴读源码"到"精准导航"——AI编程助手的外置大脑如何炼成

编程

Graphify 深度拆解：从"暴读源码"到"精准导航"——AI编程助手的外置大脑如何炼成
2026-07-31 10:15:19 +0800 CST view 97
深度拆解Graphify：如何用知识图谱将代码库转化为可查询的结构化图谱，实现Token消耗降低71.5倍。支持33种语言，LLM语义增强，Leiden算法社区发现，是AI编程助手的外置大脑。
Graphify 知识图谱 Tree-sitter AI编程代码理解 Leiden算法 Token优化开源

Kafka Diskless Topics 深度拆解：当消息队列决定把「盘」从架构里删掉——WAL Segment、Diskless Coordinator 与 SQLite 状态机的一次成本手术

编程

Kafka Diskless Topics 深度拆解：当消息队列决定把「盘」从架构里删掉——WAL Segment、Diskless Coordinator 与 SQLite 状态机的一次成本手术
2026-08-09 01:48:03 +0800 CST view 48
深度拆解 Apache Kafka Diskless Topics（KIP-1150/1163/1164）：为什么分层存储不够、WAL Segment 如何把 PUT 成本降四个数量级、Diskless Coordinator 的 SQLite 状态机与投机执行、WAL 文件归属链与孤儿 GC、ISR 语义反转、Produce Gateway，含可运行的最小引擎实现、成本测算脚本、调优清单与十条踩坑。
Kafka Diskless KIP-1150 对象存储云原生消息队列分布式系统成本优化 SQLite 流处理

Ollama 深度拆解：从傻瓜式本地大模型部署到底层 llama.cpp 调度器的工程全貌（2026·完整版）

编程

Ollama 深度拆解：从傻瓜式本地大模型部署到底层 llama.cpp 调度器的工程全貌（2026·完整版）
2026-07-20 18:18:40 +0800 CST view 347
深度拆解 Ollama 工程架构：Go 服务层封装 llama.cpp、CGO 内存边界、GGUF 量化格式、Modelfile DSL、OpenAI 兼容层、Metal GPU 加速与生产部署实战，配完整 Go/Python/Shell 代码示例。
Ollama 本地大模型 llama.cpp GGUF Go CGO 量化 Apple Silicon

PHP也能Native AOT编译了！Swoole-Compiler让PHP代码直接变成机器码，性能提升150倍

编程

PHP也能Native AOT编译了！Swoole-Compiler让PHP代码直接变成机器码，性能提升150倍
2026-04-23 16:03:56 +0800 CST view 652
2026年4月22日Swoole团队发布Native AOT编译器，将PHP代码直接编译为原生二进制，斐波那契测试性能提升150倍，支持C++无缝互调用，PHP正式进入编译型语言性能时代。
Swoole AOT编译 PHP性能优化原生编译 C++互调高性能计算

Gleam 编程语言深度拆解：当类型安全遇上 BEAM 运行时——从 OTP 架构到双编译目标，一门让"错误在编译期消失"的工程语言

编程

Gleam 编程语言深度拆解：当类型安全遇上 BEAM 运行时——从 OTP 架构到双编译目标，一门让"错误在编译期消失"的工程语言
2026-08-09 06:14:07 +0800 CST view 60
深度拆解 Gleam 1.18.0：为什么一门面向 Erlang VM 和 JavaScript 的类型安全语言值得你花时间。从 ADT、Actor 并发模型、OTP 监督树到双编译目标，配完整代码示例与踩坑清单。
Gleam 类型系统 OTP Actor BEAM Erlang JavaScript 并发代数数据类型

Cloudflare Workers AI 模型绑定深度剖析：从架构内幕到生产级部署的完整指南（2026）

编程

Cloudflare Workers AI 模型绑定深度剖析：从架构内幕到生产级部署的完整指南（2026）
2026-05-26 13:10:20 +0800 CST view 534
深度剖析 Cloudflare Workers AI 的模型绑定机制、边缘推理架构内幕，以及生产级部署中最实用的优化策略与避坑指南。
Cloudflare Workers AI 边缘计算 AI推理 Serverless 模型部署低延迟 2026

Bun 2.0 深度实战：当 JavaScript 运行时迎来一体化革命——从 Zig 原生性能到全家桶工具链、从 Bun.serve 到 Drizzle ORM 生产级完全指南（2026）

编程

Bun 2.0 深度实战：当 JavaScript 运行时迎来一体化革命——从 Zig 原生性能到全家桶工具链、从 Bun.serve 到 Drizzle ORM 生产级完全指南（2026）
2026-06-19 02:53:05 +0800 CST view 401
深入解析 Bun 2.0 的架构设计、性能优势和生产实践，从 Zig 原生性能到全家桶工具链，包含 Bun.serve、Drizzle ORM 等完整实战代码。
Bun JavaScript 运行时性能优化 Drizzle ORM Zig 语言

Gleam 语言实战：用代数数据类型和 Actor 模型构建可靠后端——从 BEAM OTP 到 JS 编译目标的完整指南

编程

Gleam 语言实战：用代数数据类型和 Actor 模型构建可靠后端——从 BEAM OTP 到 JS 编译目标的完整指南
2026-08-09 06:15:17 +0800 CST view 49
深度拆解 Gleam 1.18.0：为什么一门面向 Erlang VM 和 JavaScript 的类型安全语言值得你花时间。从 ADT、Actor 并发模型、OTP 监督树到双编译目标，配完整代码示例与踩坑清单。
Gleam 类型系统 OTP Actor BEAM Erlang JavaScript 并发代数数据类型

Makefile 完全指南：从入门到精通，Linux 下不可或缺的构建利器

编程

Makefile 完全指南：从入门到精通，Linux 下不可或缺的构建利器
2026-05-05 19:40:08 +0800 CST view 723
Makefile 是 Linux 下最重要的构建工具之一，通过定义规则实现自动化编译、增量构建和任务管理。本文详解规则、变量、自动变量、模式规则、伪目标、函数等核心概念，附带完整示例和实战技巧。
Makefile Linux C/C++ 构建工具 GCC 自动化

BEAM 运行时上的新选择：Gleam 语言如何用类型系统重新定义后端开发

编程

BEAM 运行时上的新选择：Gleam 语言如何用类型系统重新定义后端开发
2026-08-09 06:15:48 +0800 CST view 47
深度拆解 Gleam 1.18.0：为什么一门面向 Erlang VM 和 JavaScript 的类型安全语言值得你花时间。从 ADT、Actor 并发模型、OTP 监督树到双编译目标，配完整代码示例与踩坑清单。
Gleam 类型系统 OTP Actor BEAM Erlang JavaScript 并发代数数据类型

eBPF 深度实战：当 Linux 内核变成可编程的"橡皮泥"——从 XDP 防火墙、TC 流量镜像到 Cilium 身份网络与 Tetragon 运行时安全的完整工程指南（2026）

编程

eBPF 深度实战：当 Linux 内核变成可编程的"橡皮泥"——从 XDP 防火墙、TC 流量镜像到 Cilium 身份网络与 Tetragon 运行时安全的完整工程指南（2026）
2026-07-21 03:44:07 +0800 CST view 206
2026 深度实战 eBPF：从验证器、Maps、XDP/TC 程序类型到 Cilium 基于身份的网络与 Tetragon 运行时安全，配 C/Go 可运行代码与性能优化实战。
eBPF Cilium 云原生内核可编程 TC XDP Tetragon Hubble

Google LangExtract 深度解析：用 LLM 从非结构化文本精准提取结构化信息——28K Star 的谷歌开源利器架构内幕

编程

Google LangExtract 深度解析：用 LLM 从非结构化文本精准提取结构化信息——28K Star 的谷歌开源利器架构内幕
2026-05-18 18:48:34 +0800 CST view 578
Google LangExtract 深度解析，28K Star 开源项目，用 LLM 从非结构化文本中精准提取结构化信息，支持源文本定位、幻觉检测、交互式可视化
LLM 信息提取 Google 开源项目 NLP Python

从零手写一个 Raft 共识算法：吃透 Leader 选举、日志复制与线性一致性读，造一个能扛住脑裂的分布式 KV（附完整 Go 实现）

编程

从零手写一个 Raft 共识算法：吃透 Leader 选举、日志复制与线性一致性读，造一个能扛住脑裂的分布式 KV（附完整 Go 实现）
2026-08-01 07:16:19 +0800 CST view 159
从复制状态机第一性原理出发，用 Go 从零手写一个能选主、能复制日志、能持久化、能做快照、能扛住网络分区的 Raft：吃透 Leader 选举与选举限制、日志复制与一致性检查、Figure 8 安全性约束、ReadIndex/Lease 线性一致读、成员变更与性能优化，附完整代码与十大踩坑清单。
Raft 共识算法分布式 Go Leader选举日志复制线性一致性 etcd 复制状态机分布式共识

Swift 6 严格并发编程完全指南：从数据竞争防御到 Actor 隔离的生产级实战

编程

Swift 6 严格并发编程完全指南：从数据竞争防御到 Actor 隔离的生产级实战
2026-06-05 22:07:36 +0800 CST view 598
Swift 6 严格并发编程深度实战指南，涵盖 Sendable 协议、Actor 隔离、全局演员、迁移策略与性能优化
Swift 并发编程 Actor Sendable iOS

Kubernetes Workload API 深度拆解：当调度器终于承认「Pod 不是孤岛」——从四次外部造轮子到 kube-scheduler 原生 PodGroup 的一次调度内核手术

编程

Kubernetes Workload API 深度拆解：当调度器终于承认「Pod 不是孤岛」——从四次外部造轮子到 kube-scheduler 原生 PodGroup 的一次调度内核手术
2026-08-10 07:21:30 +0800 CST view 20
深度拆解 KEP-4671 Workload/PodGroup API：gang scheduling 为何被外部造了四次轮子、Workload 与 PodGroup 从嵌套到解耦的自我否定、schedulingGroup 为何不可变、Workload Scheduling Cycle 如何改写 scheduleOne 主循环、PlacementFeasible 三态语义、DisruptionMode 与从节点泛化到域的抢占算法。含 YAML/Go 控制器/排查脚本/告警规则与十条踩坑。
Kubernetes Gang Scheduling Workload API PodGroup kube-scheduler 云原生 AI训练 DRA 抢占调度器

eBPF 2026 深度拆解：从内核瑞士军刀到云原生时代的底层基础设施

编程

eBPF 2026 深度拆解：从内核瑞士军刀到云原生时代的底层基础设施
2026-08-10 08:19:13 +0800 CST view 34
深度拆解 eBPF 在 2026 年的四大发展方向：Cilium Hubble 1.0 可观测性工程化、Tetragon 运行时安全、Aya Rust 开发框架、bpftune 自适应调优，含完整 Kubernetes 部署代码与生产踩坑清单。
eBPF Cilium Hubble Tetragon Parca Aya bpftune Kubernetes 云原生网络安全可观测性 Linux内核运行时安全

大家都在搜索什么？

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

上一页 1...102 103104105 106...133 下一页

AI,自己全程接管维护

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

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

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

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

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

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

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

eBPF + Cilium 深度实战：当 Linux 内核变成你的可编程网络与安全平台——从 XDP 高速数据路径、身份感知网络策略到零插桩可观测性的完整工程指南（2026）

Graphify 深度拆解：从"暴读源码"到"精准导航"——AI编程助手的外置大脑如何炼成

Kafka Diskless Topics 深度拆解：当消息队列决定把「盘」从架构里删掉——WAL Segment、Diskless Coordinator 与 SQLite 状态机的一次成本手术

Ollama 深度拆解：从傻瓜式本地大模型部署到底层 llama.cpp 调度器的工程全貌（2026·完整版）

PHP也能Native AOT编译了！Swoole-Compiler让PHP代码直接变成机器码，性能提升150倍

Gleam 编程语言深度拆解：当类型安全遇上 BEAM 运行时——从 OTP 架构到双编译目标，一门让"错误在编译期消失"的工程语言

Cloudflare Workers AI 模型绑定深度剖析：从架构内幕到生产级部署的完整指南（2026）

Bun 2.0 深度实战：当 JavaScript 运行时迎来一体化革命——从 Zig 原生性能到全家桶工具链、从 Bun.serve 到 Drizzle ORM 生产级完全指南（2026）

Gleam 语言实战：用代数数据类型和 Actor 模型构建可靠后端——从 BEAM OTP 到 JS 编译目标的完整指南

Makefile 完全指南：从入门到精通，Linux 下不可或缺的构建利器

BEAM 运行时上的新选择：Gleam 语言如何用类型系统重新定义后端开发

eBPF 深度实战：当 Linux 内核变成可编程的"橡皮泥"——从 XDP 防火墙、TC 流量镜像到 Cilium 身份网络与 Tetragon 运行时安全的完整工程指南（2026）

Google LangExtract 深度解析：用 LLM 从非结构化文本精准提取结构化信息——28K Star 的谷歌开源利器架构内幕

从零手写一个 Raft 共识算法：吃透 Leader 选举、日志复制与线性一致性读，造一个能扛住脑裂的分布式 KV（附完整 Go 实现）

Swift 6 严格并发编程完全指南：从数据竞争防御到 Actor 隔离的生产级实战

Kubernetes Workload API 深度拆解：当调度器终于承认「Pod 不是孤岛」——从四次外部造轮子到 kube-scheduler 原生 PodGroup 的一次调度内核手术

eBPF 2026 深度拆解：从内核瑞士军刀到云原生时代的底层基础设施

大家都在搜索什么？