程序员茄子
全部
编程
代码
资讯
案例
综合
联系我们
html在线编辑
登录注册
AI,自己全程接管维护
php
mysql
shell
go
vue
css
api接口对接
支付接口对接
最新
最热
Vera 深度拆解:当编程语言学会「为LLM而生」——无变量名、强制契约、SMT证明的代码验证新范式
编程
Vera 深度拆解:当编程语言学会「为LLM而生」——无变量名、强制契约、SMT证明的代码验证新范式
2026-07-15 19:14:48 +0800 CST
view 121
深度拆解 Vera:专为 LLM 设计的编程语言,无变量名(de Bruijn 索引)、强制契约(requires/ensures)、SMT 静态证明、WebAssembly 编译目标,以及它对编程语言未来发展的深远影响。
Vera
编程语言
LLM
WebAssembly
SMT
Z3
形式化验证
合约编程
代数效果
去变量名
WinApps:让 Linux 流畅运行 Windows 应用,狂揽 1.5 万 Star
编程
WinApps:让 Linux 流畅运行 Windows 应用,狂揽 1.5 万 Star
2026-07-09 11:57:08 +0800 CST
view 135
WinApps在Linux上运行Windows应用,Word/Excel/Photoshop像原生一样独立窗口,VM投射+文件共享,15400+ Star,一行命令安装。
Linux
Windows
WinApps
开源
虚拟机
兼容性
Office
跨平台
Docker
Browser Use 0.12:把Playwright换成CDP,浏览器Agent的一次底层重构
案例
Browser Use 0.12:把Playwright换成CDP,浏览器Agent的一次底层重构
2026-05-08 07:16:05 +0800 CST
view 582
Browser Use 0.12重大更新:把Playwright换成CDP,成功率78%→93%,速度提升35%,内存减少40%。从给Agent配司机到给Agent直接配车,Agent工具设计的架构哲学变化
Browser Agent
CDP
Playwright
浏览器自动化
AI Agent
架构重构
yas,一个开源的C++库:比Protobuf快10倍的序列化方案
代码
yas,一个开源的C++库:比Protobuf快10倍的序列化方案
2026-06-28 07:14:32 +0800 CST
view 236
YAS是C++ header-only序列化库,纯头文件零依赖,性能比Protobuf快10倍,支持二进制/文本/JSON三种格式,适合游戏存档和网络协议等高性能场景。
C++
序列化
性能优化
开源
header-only
二进制
DeerFlow 2.0 深度解析:字节跳动如何用多智能体架构重新定义AI生产力
编程
DeerFlow 2.0 深度解析:字节跳动如何用多智能体架构重新定义AI生产力
2026-04-27 13:51:37 +0800 CST
view 517
深度解析字节跳动开源的DeerFlow 2.0超级智能体框架,从多智能体编排、沙箱安全执行、分层记忆持久化到可扩展技能系统,全面剖析其架构设计与工程实践。
AI Agent
LangGraph
DeerFlow
多智能体
字节跳动
Timeline Studio 深度实战:浏览器正在成为最强大的 AI 视频工作站——从 WebCodecs、WebGPU 到 ONNX 推理的全栈架构解析
编程
Timeline Studio 深度实战:浏览器正在成为最强大的 AI 视频工作站——从 WebCodecs、WebGPU 到 ONNX 推理的全栈架构解析
2026-07-22 13:20:35 +0800 CST
view 31
深度拆解 Timeline Studio(ai-video-editor):纯浏览器端 AI 视频编辑器。涵盖 WebCodecs、WebGPU、ONNX Runtime Web 推理引擎、Chrome Gemini Nano、多轨时间线架构、Codex Agent Skill,配完整代码示例与性能优化指南。
WebCodecs
WebGPU
ONNX
浏览器AI
视频编辑
Whisper
React
前端工程
ONNX Runtime
离线优先
DeerFlow 2.0 深度拆解:字节跳动如何用 52k Star 重新定义 AI Agent 工程化范式
编程
DeerFlow 2.0 深度拆解:字节跳动如何用 52k Star 重新定义 AI Agent 工程化范式
2026-04-27 16:22:29 +0800 CST
view 641
深度解析字节跳动开源的DeerFlow 2.0超级智能体框架,从架构设计到代码实战,全面剖析52k Star背后的工程化范式
AI Agent
DeerFlow
字节跳动
LangGraph
智能体
开源项目
GitHub Trending
Container2wasm 深度实战:当 Docker 容器学会了在浏览器里奔跑——从 x86_64/RISC-V 模拟到 WASI 运行时、从 QEMU Wasm 到浏览器网络栈的生产级完全指南(2026)
编程
Container2wasm 深度实战:当 Docker 容器学会了在浏览器里奔跑——从 x86_64/RISC-V 模拟到 WASI 运行时、从 QEMU Wasm 到浏览器网络栈的生产级完全指南(2026)
2026-06-21 00:25:23 +0800 CST
view 516
深度剖析 container2wasm 技术原理:如何将 Docker 容器转换为 WebAssembly 模块并在浏览器中运行。涵盖 Bochs/QEMU 模拟器、WASI 接口、网络栈实现、性能优化与安全模型。
WebAssembly
Docker
容器
WASI
QEMU
云原生
DeerFlow 深度解析:字节跳动开源超级智能体运行时,30天4.9万Star背后的技术架构与实战指南
编程
DeerFlow 深度解析:字节跳动开源超级智能体运行时,30天4.9万Star背后的技术架构与实战指南
2026-05-15 12:13:56 +0800 CST
view 622
深度解析字节跳动开源的DeerFlow超级智能体运行时:架构设计、Sandbox安全隔离、记忆系统、代码实战与生产实践,全面了解这款30天斩获4.9万Star的GitHub Trending榜首项目。
AI Agent
DeerFlow
开源项目
字节跳动
智能体运行时
Trae 深度解析:字节跳动如何用 AI 原生 IDE 重新定义程序员的工作流
编程
Trae 深度解析:字节跳动如何用 AI 原生 IDE 重新定义程序员的工作流
2026-04-27 17:24:18 +0800 CST
view 729
从 MarsCode 到 Trae 2.0,字节跳动的 AI 编程工具经历了怎样的进化?SOLO 模式、Tab-Cue 引擎、多智能体调度——这些底层技术究竟如何运作?本文从架构设计到代码实战,全面拆解这款 2026 年最炙手可热的 AI 原生 IDE。
Trae
AI IDE
字节跳动
AI编程
SOLO模式
Tab-Cue
多智能体
Builder模式
Seed模型
豆包
Local-File-Organizer 深度解析:3K Stars 本地 AI 文件整理,Llama3.2+LLaVA 完全离线运行
编程
Local-File-Organizer 深度解析:3K Stars 本地 AI 文件整理,Llama3.2+LLaVA 完全离线运行
2026-05-15 12:22:33 +0800 CST
view 455
深入解析 3K Stars 的 Local-File-Organizer:基于 Llama3.2 3B + LLaVA-v1.6 双模型的本地 AI 文件整理工具,使用 Nexa SDK 实现 100% 离线推理,自动识别文件内容、智能分类重命名、支持图片视觉分析和文档内容解析,零数据外泄。
Local-File-Organizer
AI文件整理
Llama3
LLaVA
本地AI
隐私
Hertz 深度实战:当字节跳动把 Netpoll 塞进 HTTP 框架——从自研网络库到 4000万 QPS、从四层分层架构到生产级 Go 微服务完全指南(2026)
编程
Hertz 深度实战:当字节跳动把 Netpoll 塞进 HTTP 框架——从自研网络库到 4000万 QPS、从四层分层架构到生产级 Go 微服务完全指南(2026)
2026-06-21 02:23:45 +0800 CST
view 297
Hertz是字节跳动开源的高性能Go HTTP框架,基于自研Netpoll网络库,在内部支撑超1万微服务、4000万QPS。本文从架构原理到代码实战,全面解析Hertz的四层分层设计、中间件机制、性能优化技巧及生产最佳实践。
Hertz
Go语言
微服务
HTTP框架
字节跳动
Netpoll
性能优化
TimesFM 深度实战:当 Google Research 把基础模型带进时间序列——从预训练解码器到零样本推理、从多周期建模到生产级预测完全指南(2026)
编程
TimesFM 深度实战:当 Google Research 把基础模型带进时间序列——从预训练解码器到零样本推理、从多周期建模到生产级预测完全指南(2026)
2026-06-21 03:24:16 +0800 CST
view 409
TimesFM 2.5深度解析:Google Research开源的时间序列基础模型,200M参数、16K上下文、零样本推理。从Patch机制、RevIN归一化到LoRA微调、生产部署,10000字完整技术指南。
TimesFM
时间序列预测
Google Research
基础模型
零样本推理
Transformer
概率预测
Docker AI Toolkit 2026 深度实战:生产级 AI 工程化完全指南
编程
Docker AI Toolkit 2026 深度实战:生产级 AI 工程化完全指南
2026-05-30 19:42:17 +0800 CST
view 447
从 MLOps 到边缘推理,从模型编译到统一部署——Docker AI Toolkit 2026 如何将 AI 工程化从「手工炼丹」升级为「工业流水线」
Docker
AI
工程化
MLOps
容器化
TimesFM 2.5 深度解析:当时间序列预测终于学会零样本
编程
TimesFM 2.5 深度解析:当时间序列预测终于学会零样本
2026-04-08 16:35:10 +0800 CST
view 966
Google TimesFM 2.5 时间序列预测基础模型深度解析:200M参数零样本预测,16k上下文,Decoder-only Transformer架构,Patch分词,Monash基准测试击败监督模型
时间序列
机器学习
Google
Transformer
DuckDB 1.5 深度实战:嵌入式 OLAP 数据库如何重新定义数据分析——从 VARIANT 类型到 Quack 远程协议的完整指南(2026)
编程
DuckDB 1.5 深度实战:嵌入式 OLAP 数据库如何重新定义数据分析——从 VARIANT 类型到 Quack 远程协议的完整指南(2026)
2026-06-28 14:42:52 +0800 CST
view 260
DuckDB 1.5(Variegata)深度实战:从架构原理(列式存储、向量化执行引擎)、核心新特性(VARIANT类型、GEOMETRY空间数据、Quack远程协议、DuckLake湖仓格式)到生产级代码实战,全面解析嵌入式OLAP数据库如何重新定义数据分析。
DuckDB
OLAP
数据分析
VARIANT
列式存储
向量化执行
Parquet
嵌入式数据库
Quack
Iceberg
本地优先的 AI 会议助手工程实战:从实时流式 ASR 到零云端 LLM 摘要全链路拆解
编程
本地优先的 AI 会议助手工程实战:从实时流式 ASR 到零云端 LLM 摘要全链路拆解
2026-07-10 04:42:09 +0800 CST
view 123
以 GitHub Trending 榜首 Meetily 为引,从零手搓本地优先的 AI 会议助手:麦克风采集、Silero VAD 切句、faster-whisper 流式转写、pyannote 说话人分离、Ollama 本地 LLM 摘要,含可运行代码与量化/延迟/内存优化。
本地AI
会议助手
语音识别
Whisper
Ollama
隐私计算
实时转录
Vera Rubin 深度实战:NVIDIA AI 工厂全栈平台——从七芯架构到 Agentic AI 推理的终极指南(2026)
编程
Vera Rubin 深度实战:NVIDIA AI 工厂全栈平台——从七芯架构到 Agentic AI 推理的终极指南(2026)
2026-06-28 16:15:57 +0800 CST
view 293
2026年NVIDIA Vera Rubin平台深度解析:从七芯协同架构到Agentic AI推理优化,含HBM4内存、NVLink 6、动态拓扑、Dynamo框架等核心技术的完整指南
NVIDIA
Vera Rubin
AI Agent
HBM4
NVLink 6
GPU
推理优化
Agentic AI
WSL Container 深度拆解:微软如何用 WSLC 在 Windows 上实现真正的原生 Linux 容器——无需 Docker Desktop 的工程全貌
编程
WSL Container 深度拆解:微软如何用 WSLC 在 Windows 上实现真正的原生 Linux 容器——无需 Docker Desktop 的工程全貌
2026-07-16 10:15:27 +0800 CST
view 91
2026年6月30日微软正式发布WSL Container(WSLC)公测版,将Linux容器能力直接做进WSL 2内核。本文从架构设计、CLI实战、性能对比、CI/CD集成等维度全面拆解WSLC,探讨其对Docker Desktop生态的冲击与开发者的迁移路径。
WSL
容器
Docker
WSLC
Windows开发
云原生
DevOps
GitHub 8K+ Star的AI PPT工具:生成的不是图片,是真正可以编辑的PowerPoint
编程
GitHub 8K+ Star的AI PPT工具:生成的不是图片,是真正可以编辑的PowerPoint
2026-04-28 03:24:21 +0800 CST
view 944
PPT Master是一个8K+ Star的开源AI PPT工具,通过SVG→DrawingML转换生成真正可编辑的PowerPoint原生对象,不是图片。支持PDF、Word、网页等多种输入,本地处理数据不出本机,最低$0.08/份。
PPT
AI工具
开源项目
GitHub
PowerPoint
DeerFlow 2.0 深度解析:从「深度研究」到「全能AI员工」的架构跃迁
编程
DeerFlow 2.0 深度解析:从「深度研究」到「全能AI员工」的架构跃迁
2026-04-08 19:15:26 +0800 CST
view 2162
深度解析字节跳动开源的 DeerFlow 2.0 SuperAgent 框架,涵盖 LangGraph 动态架构、子智能体协作、Docker 沙箱安全隔离、长期记忆系统、可插拔技能等核心模块,提供实战部署指南与最佳实践。
AI Agent
LangGraph
DeerFlow
字节跳动
LangChain
Dockge深度解析:自托管Docker Compose管理工具的革命性设计与工程实践
编程
Dockge深度解析:自托管Docker Compose管理工具的革命性设计与工程实践
2026-04-18 07:13:40 +0800 CST
view 670
深度解析Dockge的设计理念、架构实现与工程实践,探讨文件优先架构、交互式Web终端、多Agent支持等核心特性,以及与Portainer等工具的对比分析。
Docker
容器编排
DevOps
Homelab
开源工具
Zig 向 AI 代码说不:开源世界的一声另类呐喊
编程
Zig 向 AI 代码说不:开源世界的一声另类呐喊
2026-06-28 18:46:12 +0800 CST
view 227
2026年,当整个硅谷都在高呼AI写代码是未来的时候,Zig语言选择了逆行——全面禁止AI生成的代码进入代码仓库。本文深度解析这一政策的深层逻辑、贡献者扑克哲学,以及开源社区在AI时代的价值抉择。
Zig
AI编程
开源
系统编程
代码审查
Contributor Poker
SubCube 深度实战:亚二次稀疏注意力 SSA 如何打破 Transformer 的 O(n²) 铁律——1200万 Token 时代从架构原理到生产级部署的完全指南(2026)
编程
SubCube 深度实战:亚二次稀疏注意力 SSA 如何打破 Transformer 的 O(n²) 铁律——1200万 Token 时代从架构原理到生产级部署的完全指南(2026)
2026-05-31 08:21:47 +0800 CST
view 475
Subquadratic发布的SubQ模型采用SSA亚二次稀疏注意力架构,实现1200万Token上下文窗口,在MRCR v2基准测试中碾压GPT-5.5。本文从架构原理、基准分析、代码实战到生产部署全面解读这场注意力革命。
SSA
Subquadratic
SubQ
Transformer
注意力机制
长上下文
RAG
稀疏注意力
AI架构
大模型
大家都在搜索什么?
devops
易支付
一个官网+多少钱
统一接受回调
统一回调
sub
node
宝塔日志
mysql
shell
ElasticSearch
css
vue
api接口对接
2025
支付接口对接
go
php
php回调
回调
上一页
1
...
93
94
95
96
97
98
下一页