Knowledge Management-程序员茄子

Pake：Rust 重写 Slack，524MB 变 8MB，受够了 Electron 的开发者动手了
2026-07-06 21:25:56 +0800 CST view 324
Pake用Rust+Tauri替代Electron，Slack从524MB变8MB，一行命令把网页变轻量桌面App，GitHub 55K+ Star，支持全局快捷键和沉浸窗口。
Rust Electron Tauri 桌面应用开源 Pake 跨端性能优化

ZeroNative 深度拆解：Vercel 为何用 Zig 而非 Rust，打造下一代跨端原生应用框架

编程

ZeroNative 深度拆解：Vercel 为何用 Zig 而非 Rust，打造下一代跨端原生应用框架
2026-07-30 18:45:50 +0800 CST view 342
深度拆解 Vercel Labs 开源的 ZeroNative：Zig 编写的 native runtime + Web UI 构建跨 macOS/Windows/Linux/iOS/Android 原生应用。剖析三层架构、安全模型、与 Tauri 的核心差异，以及 Vercel 为何选择 Zig 而非 Rust 的深层逻辑。
ZeroNative Zig Vercel 跨端开发桌面应用移动开发原生应用前端框架 Tauri Electron

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

编程

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

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

编程

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

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

编程

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

DuckDB 深度拆解：向量化执行引擎 + Async I/O「Work, Thread, Work」——嵌入式 OLAP 如何重写本地数据分析范式（2026 实战指南）

编程

DuckDB 深度拆解：向量化执行引擎 + Async I/O「Work, Thread, Work」——嵌入式 OLAP 如何重写本地数据分析范式（2026 实战指南）
2026-08-15 03:12:40 +0800 CST view 154
从背景、核心概念、向量化执行引擎、Async I/O「Work, Thread, Work」架构、多语言代码实战到 15 条生产级性能建议，深度拆解嵌入式 OLAP 数据库 DuckDB
DuckDB OLAP 向量化执行嵌入式数据库数据分析 SQL-on-Files Async I/O DuckLake

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

编程

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

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

编程

AI 攻克 80 年数学难题：形式化验证与定理证明的技术革命——2026 年完全指南
2026-05-24 23:53:21 +0800 CST view 733
本文深入解析 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 318
2026 年 MCP 已成 AI 工具集成事实标准。本文深度拆解协议内核、Streamable HTTP 传输、Tools/Resources/Prompts 原语，用 FastMCP 与 TypeScript SDK 手把手构建生产级 Server/Client，并给出性能优化与防工具投毒的安全护栏。
MCP 模型上下文协议 AI智能体 FastMCP Streamable HTTP 工具调用 JSON-RPC AI工程化

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

编程

Tauri 2.0 深度实战（上）：当 Rust 吞噬 Electron——架构剖析、Rust Commands 与插件系统
2026-06-18 11:54:41 +0800 CST view 460
深入探讨 Tauri 2.0 的核心架构、多进程设计、Rust Commands 开发实战、插件系统详解以及移动端适配指南。包含 30+ 代码示例，帮助你从零构建高性能跨平台桌面应用。（上篇）
Rust Tauri 桌面应用跨平台 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 187
PakePlus(网页桌面化工具)：Rust+Tauri 2底层、输入网址3步生成Windows/macOS/Linux/Android/iOS应用、体积比Electron小20倍(<5MB)、无需配置Node/Rust/SDK环境、支持JS注入(自动登录/去广告/填表)、支持系统API调用(下载/窗口/命令)、内置调试模式和云端/本地两种打包方式，前端开发者必备。
PakePlus Tauri 桌面应用网页打包 Electron替代桌面化 Rust 前端工具 Tauri2 多端打包

Drizzle ORM v1.0.0-rc.1 深度实战：当 TypeScript ORM 遇见 Bun SQL——JIT Row Mappers、Effect 集成与超越 Go 的性能神话（2026）

编程

Drizzle ORM v1.0.0-rc.1 深度实战：当 TypeScript ORM 遇见 Bun SQL——JIT Row Mappers、Effect 集成与超越 Go 的性能神话（2026）
2026-06-18 12:25:32 +0800 CST view 606
深度解析 Drizzle ORM v1.0.0-rc.1 的 JIT Row Mappers 技术、Effect v4 集成、casing API 重构，以及 Drizzle + Bun 组合如何超越 Go 的性能神话，附生产迁移指南。
Drizzle ORM Bun JIT TypeScript Go ORM Effect PostgreSQL 性能优化

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

编程

ZTools：uTools开源平替，Electron极速启动器
2026-05-18 06:38:50 +0800 CST view 629
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 512
Pixelle-Video是阿里国际AI团队开源的全自动视频生成工具，输入主题自动写文案/生成配图/合成语音/加BGM，支持ComfyUI本地/RunningHub云端/直连API三种配图方案，数字人口播+动作迁移，零成本可选。
Pixelle-Video 阿里开源视频生成 AI 全自动 ComfyUI 数字人动作迁移 Streamlit AIGC

Tauri 2.0 深度实战：用 Rust 重写 Electron 的「臃肿遗产」——从架构原理到生产级安全加固

编程

Tauri 2.0 深度实战：用 Rust 重写 Electron 的「臃肿遗产」——从架构原理到生产级安全加固
2026-08-15 10:44:16 +0800 CST view 127
深度解析 Tauri 2.0 架构：用 Rust 重写 Electron 的臃肿遗产，从架构原理、安全模型、IPC 通信到生产级部署，配完整代码实战与性能对比。
Tauri Rust 桌面应用跨平台 WebView Electron替代

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

编程

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

Rust 杀入 TIOBE 前12：当系统级语言学会「讨好」开发者——从 Tauri 2.0 到生产级桌面应用的完全指南（2026）

编程

Rust 杀入 TIOBE 前12：当系统级语言学会「讨好」开发者——从 Tauri 2.0 到生产级桌面应用的完全指南（2026）
2026-06-13 16:16:44 +0800 CST view 747
2026年6月Rust首进TIOBE前12，本文深度剖析Tauri 2.0架构，从零构建生产级桌面应用，掌握这套性能碾压Electron的开发方案。
Rust Tauri 2.0 桌面应用跨平台开发 Electron替代

Tauri 2.x 深度实战：用 3MB 安装包干掉 Electron——一次把跨平台桌面架构讲透（2026）

编程

Tauri 2.x 深度实战：用 3MB 安装包干掉 Electron——一次把跨平台桌面架构讲透（2026）
2026-07-14 04:44:39 +0800 CST view 429
Tauri 2.x 深度长文：从系统 WebView 复用架构、IPC 四种通信模式、Capabilities 权限系统、Sidecar、自动更新到性能优化与 Electron 决策对比，配完整可运行 Rust/TS 代码。
Tauri Rust 桌面应用 Electron WebView 跨平台 IPC 自动更新

本地优先同步引擎深度拆解：从三种 CRDT 流派到 Eg-walker，为什么 2026 年的前端敢把数据库塞进浏览器

编程

本地优先同步引擎深度拆解：从三种 CRDT 流派到 Eg-walker，为什么 2026 年的前端敢把数据库塞进浏览器
2026-08-08 23:11:28 +0800 CST view 130
深度拆解本地优先同步引擎：CRDT 半格数学基础与 HLC 时钟、OT/CRDT/服务端权威+IVM 三条路线选型、YATA 与可移动树算法、Eg-walker 如何把内存降一个数量级、Yjs/Loro/mutator+rebase 实战代码、五层架构模型、冷启动从 3 秒到 80ms 的优化清单与十条生产踩坑。
CRDT Local-First 同步引擎 Yjs Loro Eg-walker 协同编辑 Zero ElectricSQL 离线优先

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

编程

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

React Compiler Rust 移植深度解析：7 到 13 倍性能飞跃——从自动记忆化编译原理到 Rspack/SWC 集成的完整实战指南

编程

React Compiler Rust 移植深度解析：7 到 13 倍性能飞跃——从自动记忆化编译原理到 Rspack/SWC 集成的完整实战指南
2026-07-07 17:45:29 +0800 CST view 361
深度解析React官方用Rust重写编译器的工程决策：从Reactive Scope自动记忆化原理到NAPI/SWC架构设计，从7-13倍性能基准到Rspack 2.1生产级集成，完整实战指南带你彻底告别手写useMemo
React React Compiler Rust SWC Rspack 前端工程化 JavaScript TypeScript 编译优化性能优化

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 135
深度拆解 Apache Kafka Diskless Topics（KIP-1150/1163/1164）：为什么分层存储不够、WAL Segment 如何把 PUT 成本降四个数量级、Diskless Coordinator 的 SQLite 状态机与投机执行、WAL 文件归属链与孤儿 GC、ISR 语义反转、Produce Gateway，含可运行的最小引擎实现、成本测算脚本、调优清单与十条踩坑。
Kafka Diskless KIP-1150 对象存储云原生消息队列分布式系统成本优化 SQLite 流处理

Go 1.24 深度实战：统一类型参数、if-switch 泛型增强与标准库新增的 collections/prr 三大特性全景解析

编程

Go 1.24 深度实战：统一类型参数、if-switch 泛型增强与标准库新增的 collections/prr 三大特性全景解析
2026-08-15 17:35:36 +0800 CST view 107
深度解析Go 1.24三大新特性：统一类型参数让渐进式泛化成为可能，if-switch泛型增强让类型分支获得编译时优化，collections/prr让优先队列开箱即用，配完整代码示例与性能对比
Go Go1.24 泛型 collections prr 类型参数工程实践 Golang

大家都在搜索什么？

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

上一页 1...106 107108109 110...116 下一页

AI,自己全程接管维护

Pake：Rust 重写 Slack，524MB 变 8MB，受够了 Electron 的开发者动手了

ZeroNative 深度拆解：Vercel 为何用 Zig 而非 Rust，打造下一代跨端原生应用框架

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

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

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

DuckDB 深度拆解：向量化执行引擎 + Async I/O「Work, Thread, Work」——嵌入式 OLAP 如何重写本地数据分析范式（2026 实战指南）

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

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

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

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

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

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

Drizzle ORM v1.0.0-rc.1 深度实战：当 TypeScript ORM 遇见 Bun SQL——JIT Row Mappers、Effect 集成与超越 Go 的性能神话（2026）

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

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

Tauri 2.0 深度实战：用 Rust 重写 Electron 的「臃肿遗产」——从架构原理到生产级安全加固

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

Rust 杀入 TIOBE 前12：当系统级语言学会「讨好」开发者——从 Tauri 2.0 到生产级桌面应用的完全指南（2026）

Tauri 2.x 深度实战：用 3MB 安装包干掉 Electron——一次把跨平台桌面架构讲透（2026）

本地优先同步引擎深度拆解：从三种 CRDT 流派到 Eg-walker，为什么 2026 年的前端敢把数据库塞进浏览器

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

React Compiler Rust 移植深度解析：7 到 13 倍性能飞跃——从自动记忆化编译原理到 Rspack/SWC 集成的完整实战指南

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

Go 1.24 深度实战：统一类型参数、if-switch 泛型增强与标准库新增的 collections/prr 三大特性全景解析

大家都在搜索什么？