程序员茄子
全部
编程
代码
资讯
案例
综合
联系我们
html在线编辑
登录注册
AI,自己全程接管维护
php
mysql
shell
go
vue
css
api接口对接
支付接口对接
最新
最热
Biome v2.5 深度拆解:一个 Rust 工具链如何用 500 条规则重写前端代码质量范式
编程
Biome v2.5 深度拆解:一个 Rust 工具链如何用 500 条规则重写前端代码质量范式
2026-08-01 00:14:55 +0800 CST
view 13
深度拆解 Biome v2.5 的技术架构:500+ 条 lint 规则、跨文件分析、GritQL 插件系统、Watcher 模式,以及从 ESLint+Prettier 迁移的完整实战指南。
Biome
Rust
前端工具链
ESLint
Prettier
代码质量
Linter
格式化工具
Biome 2.x 深度拆解:一个 Rust 二进制吃掉 ESLint + Prettier,不装 tsc 也能做类型感知 Lint,凭什么?
编程
Biome 2.x 深度拆解:一个 Rust 二进制吃掉 ESLint + Prettier,不装 tsc 也能做类型感知 Lint,凭什么?
2026-07-28 12:47:08 +0800 CST
view 68
深度拆解 Biome 2.x:红绿树 CST 架构、不依赖 tsc 的类型推断引擎、GritQL 自定义插件、Monorepo 嵌套配置,附 ESLint+Prettier 完整迁移实战、性能实测对比与渐进式落地策略。
Biome
ESLint
Prettier
Rust
前端工具链
Lint
TypeScript
代码格式化
GritQL
Monorepo
Astral 生态系统深度解析:Rust 重写 Python 工具链的终极形态——uv + Ruff + ty 三驾马车如何统一 Python 开发全流程
编程
Astral 生态系统深度解析:Rust 重写 Python 工具链的终极形态——uv + Ruff + ty 三驾马车如何统一 Python 开发全流程
2026-07-05 19:45:23 +0800 CST
view 258
深度解析Astral生态系统三大核心产品:Ruff(lint+format)、uv(包管理)、ty(类型检查)。从架构设计到性能对比,从实战迁移到生态整合,全面覆盖Rust重写Python工具链的技术原理与落地实践。
Astral
Ruff
uv
ty
Python
Rust
工具链
类型检查
包管理
代码格式化
JavaScript 格式化数字、金额、千分位、保留几位小数、四舍五入
编程
JavaScript 格式化数字、金额、千分位、保留几位小数、四舍五入
2024-11-19 09:32:08 +0800 CST
view 4261
本文介绍了几种在JavaScript中格式化数字和金额的方法,包括自定义函数formatCurrency、number_format和fmoney。每个函数都提供了参数说明和示例调用,展示了如何处理小数位、千分位和舍入方式。此外,还推荐了两个类库Numeral.js和accounting.js,用于更方便地格式化和操作数字。
JavaScript
数字处理
格式化
编程
开发
Superpowers 深度解析:如何用工程化工作流让 AI 编码从「随机发挥」变成「可预测交付」
编程
Superpowers 深度解析:如何用工程化工作流让 AI 编码从「随机发挥」变成「可预测交付」
2026-04-19 08:46:16 +0800 CST
view 1078
Superpowers 是 GitHub 14万星的 AI 编码工程化框架,通过强制性的 Skills 工作流让 AI 从随机发挥变成可预测交付。本文深度解析其架构设计与实战用法。
AI编程
工程化工具
Superpowers
Claude Code
TDD
开发方法论
DeerFlow 2.0 深度解析:当字节跳动把「超级智能体执行底座」开源给全世界
编程
DeerFlow 2.0 深度解析:当字节跳动把「超级智能体执行底座」开源给全世界
2026-04-11 11:39:05 +0800 CST
view 785
DeerFlow2.0是字节跳动开源的超级智能体执行底座,旨在构建能真正执行复杂任务的AIAgent。它基于LangGraph框架,集成了子代理编排、沙箱环境、长期记忆和可扩展技能系统,支持并行任务处理、安全代码执行和跨会话记忆,适用于市场调研、代码编写等工作流自动化。
人工智能
开源项目
技术架构
自动化工具
软件开发
btp-devops是一个在Python中非常有用的库,旨在简化开发运维过程
综合
btp-devops是一个在Python中非常有用的库,旨在简化开发运维过程
2024-11-19 07:50:26 +0800 CST
view 1639
btp-devops是一个在Python中非常有用的库,旨在简化开发运维过程。用户可以通过安装该库,创建配置文件,执行命令,上传和下载文件,支持并发执行和脚本执行。该库的设计使得管理多台服务器变得高效且便捷,适合各种环境的自动化任务。
Python库
开发运维
自动化工具
综合
实时监控网页变动的利器!- ChangeDetection
2024-11-19 10:07:56 +0800 CST
view 4160
ChangeDetection是一个开源的网页变化检测工具,允许用户监控网页内容的变化并通过邮件或Webhook发送通知。它支持多种格式,提供灵活的配置选项,适用于内容监控、竞争情报、价格监控等多种场景。用户可以通过命令行或Web界面管理监控任务,确保及时获取重要信息的更新。
网页监控
开源软件
自动化工具
数据分析
Rust 数据可视化神器:plotlars 让你轻松绘制精美图表
综合
Rust 数据可视化神器:plotlars 让你轻松绘制精美图表
2024-11-19 09:53:49 +0800 CST
view 2346
plotlars是一个为Rust开发者设计的数据可视化库,结合了Polars的数据处理能力和Plotly的绘图功能。它支持多种图表类型,提供简洁的API和丰富的自定义选项,使得数据可视化变得简单高效。通过实例演示,用户可以快速上手,轻松创建交互式图表,适合数据分析师和科研工作者使用。
数据分析
编程
可视化工具
告别Pr/AE!用FFCreator这个Node.js神器,编程式自动化批量生成视频
编程
告别Pr/AE!用FFCreator这个Node.js神器,编程式自动化批量生成视频
2025-09-01 06:59:10 +0800 CST
view 1161
FFCreator是一个基于Node.js的视频处理库,旨在通过程序化方式自动化批量生成高质量视频。它将视频制作简化为简单的API调用,支持多种元素(图片、视频、音频、文本)的组合,内置丰富的动画效果和高级功能,如文本转语音和虚拟主播,适合电商、新媒体和在线教育等场景。
视频制作
自动化工具
编程
Node.js
多媒体
Obsidian Agent Skills 深度解析:从知识库到自动化工作流的工程实践
编程
Obsidian Agent Skills 深度解析:从知识库到自动化工作流的工程实践
2026-04-12 08:54:32 +0800 CST
view 812
深度解析 Obsidian Agent Skills 的工程架构:四层架构设计、Skill Registry 路由机制、与 MCP 的关系,以及如何从零构建 AI 辅助的论文写作工作流。
Obsidian
Agent Skills
知识管理
AI
自动化工作流
OpenClaw
MCP
Vera 编程语言深度解析:当一门语言从设计之初就为 LLM 而生
编程
Vera 编程语言深度解析:当一门语言从设计之初就为 LLM 而生
2026-06-17 16:27:35 +0800 CST
view 322
深度解析 Vera 编程语言——一门从设计之初就专为 LLM 编写的编程语言,涵盖强制合约验证、结构引用、效果类型系统、WebAssembly 编译等核心技术。
编程语言
AI编程
LLM
形式化验证
WebAssembly
Z3
OpenAI 证明数学核心猜想:AI 首次解决 80 年经典难题——2026 年 AI 数学推理完全指南
编程
OpenAI 证明数学核心猜想:AI 首次解决 80 年经典难题——2026 年 AI 数学推理完全指南
2026-05-24 23:52:54 +0800 CST
view 564
本文深入解析 OpenAI 解决 Erdős 单位距离问题的历史性突破,介绍 AI 数学推理的技术原理、形式化验证与定理证明器,以及构建数学推理 AI Agent 的完整流程。
AI
数学推理
定理证明
形式化验证
Lean4
AI 攻克 80 年数学难题:形式化验证与定理证明的技术革命——2026 年完全指南
编程
AI 攻克 80 年数学难题:形式化验证与定理证明的技术革命——2026 年完全指南
2026-05-24 23:53:21 +0800 CST
view 594
本文深入解析 AI 如何解决 Erdős 单位距离问题,介绍形式化验证、定理证明器技术,以及构建数学推理 AI Agent 的完整流程。
AI
数学推理
定理证明
形式化验证
Lean4
Vera 深度拆解:当编程语言学会「为LLM而生」——无变量名、强制契约、SMT证明的代码验证新范式
编程
Vera 深度拆解:当编程语言学会「为LLM而生」——无变量名、强制契约、SMT证明的代码验证新范式
2026-07-15 19:14:48 +0800 CST
view 174
深度拆解 Vera:专为 LLM 设计的编程语言,无变量名(de Bruijn 索引)、强制契约(requires/ensures)、SMT 静态证明、WebAssembly 编译目标,以及它对编程语言未来发展的深远影响。
Vera
编程语言
LLM
WebAssembly
SMT
Z3
形式化验证
合约编程
代数效果
去变量名
Apple CoreCrypto 开源深度解析:后量子密码学的形式化验证革命
编程
Apple CoreCrypto 开源深度解析:后量子密码学的形式化验证革命
2026-05-31 09:25:15 +0800 CST
view 637
深度解析 Apple CoreCrypto 后量子密码学开源实现,包括 ML-KEM、ML-DSA 算法的架构设计、形式化验证方法论,以及生产环境落地指南。
密码学
安全
Apple
后量子
形式化验证
FFmpeg WebCLI:浏览器中运行完整 FFmpeg,离线处理视频,文件无需上传
编程
FFmpeg WebCLI:浏览器中运行完整 FFmpeg,离线处理视频,文件无需上传
2026-06-13 08:34:10 +0800 CST
view 448
FFmpeg WebCLI基于ffmpeg.wasm构建,通过WebAssembly将完整FFmpeg移植到浏览器中,支持30+操作(GIF/格式转换/压缩/剪辑/滤镜),PWA离线可用,文件全程本地处理无需上传。
FFmpeg
WebAssembly
WebCLI
视频处理
PWA
ffmpeg.wasm
离线工具
GIF制作
格式转换
linux下执行脚本,提示Command not found解决办法
编程
linux下执行脚本,提示Command not found解决办法
2024-11-19 07:58:56 +0800 CST
view 3911
在Linux中执行.sh脚本时出现错误:bin/sh^M:badinterpreter:Nosuchfileordirectory,通常是因为脚本在Windows系统中编写,导致编码格式不兼容。解决方法包括确保文件有读写和执行权限,使用vi工具查看和修改文件格式为unix,最后重新执行脚本。
Linux
脚本编程
文件格式
PHP 高效图像处理库 libvips:内存需求低到离谱,比 Imagick 快 4 倍!
编程
PHP 高效图像处理库 libvips:内存需求低到离谱,比 Imagick 快 4 倍!
2026-06-11 10:38:04 +0800 CST
view 333
php-vips是libvips的PHP绑定,比Imagick快约4倍,内存占用仅为后者的1/10。通过流式处理管线避免一次性加载整张图像,是处理大图和高并发图片服务的利器。
libvips
php-vips
PHP图像处理
图片处理
FFI
性能优化
缩略图
格式转换
Apache Iceberg V3 深度拆解:Deletion Vectors、Row Lineage 与 Variant 类型,开放表格式如何终结数据湖的「文件散养」时代
编程
Apache Iceberg V3 深度拆解:Deletion Vectors、Row Lineage 与 Variant 类型,开放表格式如何终结数据湖的「文件散养」时代
2026-07-30 01:46:13 +0800 CST
view 37
深度拆解 Apache Iceberg V3 规范三大核心改动:Binary Deletion Vectors 终结删除文件堆积、Row Lineage 行级血缘赋能增量计算与审计、Variant 半结构化类型落地,附 V2 升级实战与冷静的边界分析。
Iceberg
数据湖
Deletion Vectors
Row Lineage
Variant
表格式
Spark
Trino
大数据
开源
Go 实现图片(GIF/JPEG/PNG)转换为 WebP 格式
代码
Go 实现图片(GIF/JPEG/PNG)转换为 WebP 格式
2024-11-19 04:17:05 +0800 CST
view 2240
该工具用于将GIF、JPEG、PNG格式的图片转换为WebP格式,支持指定图片质量。主要包含两个功能函数:ImageBytes2WebpBytes和Image2Webp,分别用于处理字节切片和文件转换。使用方法简单,适合集成到Go项目中,能够有效减少文件大小,提高加载速度。
编程
图像处理
Go语言
文件格式
性能优化
Apache Iceberg 深度实战:当数据湖长出 ACID 与模式演进——从 Manifest 三层元数据到隐藏分区、时间旅行与生产级 Lakehouse 完全指南(2026)
编程
Apache Iceberg 深度实战:当数据湖长出 ACID 与模式演进——从 Manifest 三层元数据到隐藏分区、时间旅行与生产级 Lakehouse 完全指南(2026)
2026-07-09 04:48:40 +0800 CST
view 175
从一次数据湖事故出发,深入拆解 Apache Iceberg 的四层元数据、隐藏分区、Schema/Partition 演进、时间旅行与行级更新,并给出可直接落地的 Spark/Trino/PyIceberg 代码与性能优化清单。
数据湖
Iceberg
Lakehouse
表格式
大数据
前端工具链的Rust革命:从Vite 8到Vite+,尤雨溪的「一次编写、极速构建」终极愿景
编程
前端工具链的Rust革命:从Vite 8到Vite+,尤雨溪的「一次编写、极速构建」终极愿景
2026-07-23 01:12:52 +0800 CST
view 154
深度解析Vite 8底层革命:Rolldown替换esbuild+Rollup双轨制,性能提升10~30倍。全面解读Vite+一体化工具链设计哲学,从项目创建到生产构建的统一入口。涵盖Rolldown技术架构、Oxc工具链、性能基准测试及实战迁移指南。
Vite 8
Rolldown
Vite+
Oxc
Rust
前端工具链
VoidZero
前端构建工具
Module Federation
Vite Plus
pi-mono 深度拆解:libGDX 作者的 4 万 Star AI Agent 全家桶,不到 1000 token 的 System Prompt 凭什么成为 OpenClaw 的引擎
编程
pi-mono 深度拆解:libGDX 作者的 4 万 Star AI Agent 全家桶,不到 1000 token 的 System Prompt 凭什么成为 OpenClaw 的引擎
2026-07-28 05:13:25 +0800 CST
view 103
深度拆解 libGDX 作者 badlogic 的 4 万 Star 项目 pi-mono:7 包 Monorepo 架构、pi-ai 统一 LLM 层、不到 1000 token 的极简 System Prompt 与学徒哲学,附自定义工具实战与 Claude Code/Codex 对比选型。
pi-mono
AI Agent
Coding Agent
TypeScript
LLM
开源
OpenClaw
开发者工具
vLLM
终端工具
大家都在搜索什么?
devops
易支付
一个官网+多少钱
统一接受回调
统一回调
sub
node
宝塔日志
mysql
shell
ElasticSearch
css
vue
api接口对接
2025
支付接口对接
go
php
php回调
回调
上一页
1
2
3
...
27
下一页