GopherDaily

Go技术生态

使用TLA+形式化验证Go并发程序
TLA+入门(go示例)

CockroachDB 中的准入控制：它如何防止意外过载
CockroachDB 准入控制系统在节点过载期间优先考虑工作，管理三种类型的过载：CPU、存储和复制，并使用每个 CPU 可运行的 goroutines 和 goroutine 调度延迟等指标来管理这些过载，确保关键操作继续进行，同时降低优先级的工作受到限制。

Raft is so fetch: The Raft Consensus Algorithm explained through Mean Girls
The blog post explains the Raft Consensus Algorithm, a consensus system used in distributed systems, using the high school-themed movie "Mean Girls" to illustrate its functionality and the process of reaching a consensus among replicas.

Golang 并发和设计模式实现
本文使用一个涉及多个 goroutines、Channels 和 context 的结构化示例来管理执行流程和超时，对 Go 的并发模式和设计模式进行了全面的解释和实现，包括 goroutines、channels、select 语句、闭包、上下文、错误处理和优雅关闭。

Go 编程语言值得在你的下一个项目中使用吗？
本文讨论了 Go 编程语言，强调了其类似 C 的语法、缺乏异常和类、围绕接口的类型系统以及 goroutines，并建议虽然它的 goroutines 不是其主要特性，但它的可靠性和效率使其成为某些项目的不错选择。

Best Rust books for 2024
The article recommends five books on Rust programming, including "The Rust Programming Language", "effective rust", "Rust for Rustaceans", "Programming Rust", and "Zero to Production in Rust", each providing comprehensive and practical guides to the language and its tools.

云原生技术

Notion 如何通过缓存将延迟降低 20%
该文件很简短，表示短暂的停顿。

如何管理 Linux 软件
New Stack 提供了有关如何管理 Linux 软件的综合指南，包括使用命令行包管理器、源自 Red Hat 或 Debian 的包管理器、从源代码编译应用程序，以及 Linux 发行版和一般软件开发之间的差异。

Realtime OLAP 15 年（第 2 部分）
Chris Riccomini 讨论了他在 WePay 使用实时分析处理 （OLAP） 的经验，强调了对不同用例的不同要求，例如欺诈检测，以及实时 ETL 领域中各种系统的融合。

AI

构建生成式 AI 平台
本文提供了构建生成式 AI 平台的综合指南，包括上下文构建、护栏、路由器和网关、缓存、复杂逻辑和编排等组件，强调了评估、可观察性的重要性以及采取谨慎安全措施的必要性。

深度剖析字节Coze
The source document records a security error (403) that occurred with the browser nginx/1.4.1.

优化 AI 编码助手的代码库
Eden Ella 的文章讨论了设计针对 AI 编码助手优化的代码库的重要性，强调代码的可读性、可维护性以及使用 Bit 等可重用组件来增强 AI 的理解和贡献。

探索顶级 AI 图像生成公司：综合指南
文章对顶级AI图像生成公司进行了全面的指导，为艺术创作、技术定制、视频制作、商业内容创作、法律合规、初学者友好工具等各种专业场景推荐工具。

流行工具与项目

xvzc/SpoofDPI
一个用Go编写的简单快速的反审查工具

SagerNet/sing-box
通用代理平台

rancher/rancher
完备的集装箱管理平台

v2fly/domain-list-community
社区管理的域列表。为 V2Ray 生成geosite.dat。

KindlingProject/kindling
基于eBPF的云原生监控工具

EndlessCheng/codeforces-go
算法竞赛模板库 by 灵茶山艾府 💭💡🎈

junegunn/fzf
🌸 命令行模糊查找器

wavetermdev/waveterm
一个开源、跨平台的终端，可实现无缝工作流程

alist-org/alist
🗂️A file list/WebDAV program that supports multiple storages, powered by Gin and Solidjs. / 一个支持多存储的文件列表/WebDAV程序，使用 Gin 和 Solidjs。

juanfont/headscale
Tailscale 控制服务器的开源自托管实现

livekit/livekit
WebRTC的端到端堆栈。交换网板介质服务器和SDK。

Jguer/yay
又一个酸奶 - 一个用 Go 编写的 AUR 助手

photoprism/photoprism
用于去中心化网络🌈💎✨的 AI 驱动的照片应用程序

XTLS/Xray-core
X射线，穿透一切。也是最好的 v2ray-core，支持 XTLS。完全兼容的配置。

plandex-ai/plandex
在您的终端中实现 AI 驱动的开发。专为大型真实任务而设计。

syncthing/syncthing
开源连续文件同步

IceWhaleTech/CasaOS
CasaOS - 一个简单、易用、优雅的开源个人云系统。

omriharel/deej
使用真实滑块设置应用程序音量！deej 是一个 Arduino & Go 项目，可让您为 Windows 和 Linux 构建自己的硬件混合器

netbirdio/netbird
通过 SSO、MFA 和精细的访问控制，将您的设备连接到基于 WireGuard® 的安全覆盖网络。

siderolabs/talos
Talos Linux 是为 Kubernetes 构建的现代 Linux 发行版。