GopherDaily

Go技术生态

VictoriaLogs 为什么这么快？一场关于 Go 性能边界的工程实践
VictoriaLogs 是 VictoriaMetrics 团队开发的开源日志数据库。它的性能工程实践展示了一个重要事实：高性能 Go 系统的秘密， 并不在于某几个神奇的语言技巧，而在于从数据布局到查询执行的整体设计。本文以 VictoriaLogs 为案例，深入解析 LSM-tree、时间分区、日志>流局部性、Bloom Filter、列式存储、专用编码与压缩如何协同减少工作量，并进一步讨论 Go 的内存分配、垃圾回收和性能剖析。最后，通过一个 可直接运行的 Go 基准测试，展示如何把这些思想转化为工程实践

Go 代码也能像数学定理一样被证明？AI 编程时代，形式化验证正在补上最后一块拼图
当 AI 可以在几分钟内生成大量代码，软件工程真正稀缺的能力可能不再是实现功能，而是证明实现满足要求。本文从 AI 生成代码 的验证难题出发，介绍 Gobra 与 Viper 的技术架构，通过完整的 Go 示例拆解契约式验证、循环不变量和并发权限推理，并简要比较 VeGo、Rust 的 Verus 等相关探索，讨论形式化验证如何进入 AI 软件工程流水线，以及它距离大规模生产落地还有多远。

倒着跳Go舞：为什么TDD很奇怪
本文探讨了在Go语言中采用测试驱动开发(TDD)时遇到的独特挑战，作者通过舞蹈的比喻解释了为什么在Go中实践TDD会感觉有些奇怪。

Go在Kubernetes中的CPU和内存请求与限制
本文介绍了在Kubernetes环境中配置Go应用程序的CPU和内存请求与限制的最佳实践，并解释了为什么小的Go堆不一定意味着低的容器内存使用量。

自旋锁是一种有界的赌注
这是基于作者在GopherCon Africa 2026演讲的系列文章第一部分，探讨了Go语言中自旋锁的实现原理，以及它们如何与sync.Mutex和运行时锁相关联。

gohawk | 专注于资源的Go静态分析工具
Gohawk是一款工业级的静态分析工具，专门用于发现Go代码中的资源管理和并发问题。它已被用于发现和修复包括Docker在内的多个项目中的bug。

高容量服务的Golang优化
本文分享了从Postgres到Elasticsearch的数据管道中获得的宝贵经验，介绍了如何优化高容量服务的Go应用程序性能。

云原生技术

UUIDv7并不具备你认为的那些属性
本文是UUID系列文章的一部分，作者指出UUIDv7的实现方式可能与你预期的不同，它具有一些独特的特性。

公共IPFS网络服务的新管理者
2026年10月14日，IPFS网络宣布了新的公共服务管理者，这将有助于改善IPFS基础设施的管理和维护。

KAI调度器深度解析：NVIDIA如何在Kubernetes上调度GPU
本文深入探讨了NVIDIA的KAI调度器如何在Kubernetes环境中高效管理和调度GPU资源，以满足不同工作负载的需求。

未来的Rust特性
作者介绍了Linux内核开发者希望稳定化的几个Rust特性，以及Rust项目正在开发的其他一些值得关注的新功能。

分布式SQLite的十二年 – Philip O'Toole
作者回顾了自2014年9月发布rqlite以来的十二年发展历程，这是一个基于Raft共识算法的分布式SQLite实现。

为什么我是一名程序员
作者分享了自己成为程序员的个人历程和动机，探讨了编程如何塑造了他的职业生涯和思维方式。

将后量子密码学引入地理围栏密钥管理 | Cloudflare博客
Cloudflare介绍了如何将后量子密码学技术应用于地理围栏密钥管理系统，以提高安全性并抵御未来的量子计算威胁。

为VNC/远程软件提出新的Wayland协议 - Phoronix
作者报道了一项为VNC和远程软件设计的新Wayland协议提案，这可能会改善Linux系统中的远程桌面体验。

分配堆外内存：在JDK 28中通常快6-18倍 - Inside.java
JDK 28引入了对外部函数和内存(FFM)API的重大改进，使得堆外内存分配的成本显著降低，性能提升可达6-18倍。

bbtree：最快的有序映射
bbtree是一种高性能的有序映射实现，提供了业界领先的性能和效率。

单行查找(点查询)的最佳实践 - Apache DataFusion博客
本文介绍了在DataFusion中优化点查询性能的各种技术，基于作者在相关演讲中的分享，提供了实用的最佳实践建议。

AI

大厨、厨房与餐馆：一文彻底搞懂 AI Agent 背后的“Harness”到底是什么
在 AI 智能体（Agent）概念大火的今天，大家频繁提及的“Harness”到底是什么？知名开发者、T3 创始人 Theo 撰文，用极其生动>的大厨、厨房与餐馆比喻，彻底理清了人类界面（Interface）、大语言模型（LLM）、运行框架（Harness）、外部协议（MCP）与智能体（Agent）>之间的边界与分工。本文清晰揭示了为什么“大模型只是生成文本的大厨，而真正让它干成重活的是作为厨房的 Harness”，为理解现代 Agent 架构>提供了通俗且透彻的认知基准。

Dessa - 仅通过语音训练的对话模型
Dessa是一个仅通过语音训练的全双工对话模型，它能够模拟人类的情感、细微差别、停顿和自然节奏，提供最自然的人机交互体验。

在Cortex使用DBOS构建持久的软件工厂
本文介绍了如何在Cortex平台使用DBOS构建持久的软件工厂，以提高软件开发的效率和质量。

如何使用NVIDIA构建机器人：从仿真到部署 | Black Scarab
本文提供了从虚拟仓库到板载推理的完整指南，详细介绍了构建人形机器人所需的关键工具、数据和工程决策。

AI图像生成综合指南
这是一份关于AI图像生成的综合指南，涵盖了各种工具、技术和最佳实践，帮助读者创建高质量的AI生成图像。

基于LLM的渗透测试工具如何工作
本文分析了三种开源的基于大语言模型(LLM)的渗透测试工具，解释了黑客如何利用这些工具来攻击Web应用程序。

上下文工程的状态
作者在AGNTCon会议上分享了关于上下文工程的见解，探讨了如何在确定性和概率性方法之间做出明智选择的重要性。

流行工具与项目

vshulcz/deja-vu
让 Claude Code、Codex 等 43 种编程智能体查到本机已有的会话记录

Gaurav-Gosain/tuios
A terminal window manager that knows what your agents are doing. Tiling panes, workspaces, sessions that survive restarts, and one Inbox for every coding agent. Official only at tuios.dev and this rep

kunchenguid/no-mistakes
git push no-mistakes

charmbracelet/crush
Glamourous agentic coding for all 💘

MHSanaei/3x-ui
Supporting multi-protocol multi-user(Vmess, Vless, Trojan, ShadowSocks, Wireguard, Hysteria, Tunnel, Mixed, HTTP, Tun, MTProto، AmneziaWG)

Gentleman-Programming/gentle-ai
Gentle-AI configures the AI coding agents you already use: Claude Code, Cursor, OpenCode, Codex, Pi, and more. Choose persistent memory, Organic-Driven Development, curated skills, MCP servers, person

slavakurilyak/awesome-ai-agents
Awesome list of 300+ agentic AI resources

kdlbs/kandev
AI Kanban & Development Environment. Orchestrate multiple agents, review changes, open PRs. Multi-provider, self-hostable, no telemetry.

mostlygeek/llama-swap
Reliable model swapping for any local OpenAI/Anthropic compatible server - llama.cpp, vllm, etc

JuliusBrussee/caveman
🪨 why use many token when few token do trick. Viral skill + proxy for coding agents that cuts 65% of tokens by talking like a caveman.

github/gh-aw
GitHub Agentic Workflows