小红花·文摘
  • 首页
  • 广场
  • 排行榜🏆
  • 直播
  • FAQ
Dify.AI

本文介绍了一个技术专题的总目录,涵盖大模型与AI工程、分布式系统、存储工程、网络工程、密码学、安全、操作系统和算法等多个领域的系列文章,提供详细的主题介绍和入口链接,方便读者深入学习。

全部系列索引

土法炼钢兴趣小组的博客
土法炼钢兴趣小组的博客 · 2026-07-22T00:00:00Z
领域特定语言(DSL)促进大型语言模型(LLM)的可靠使用

本文探讨了领域特定语言(DSL)与大型语言模型(LLM)的结合。LLM在DSL的约束环境中表现出色,能够根据自然语言生成代码。DSL提供明确的语法和语义模型,帮助开发者设计和实现复杂系统。文章介绍了Tickloom框架,展示了如何利用DSL简化分布式系统的开发与测试。LLM在设计阶段作为头脑风暴伙伴,在DSL建立后则作为自然语言接口,提升开发效率。

领域特定语言(DSL)促进大型语言模型(LLM)的可靠使用

Martin Fowler
Martin Fowler · 2026-07-14T12:51:00Z

Raft算法解决了分布式系统中的共识问题,确保多台机器上数据的一致性。它通过领导者选举、日志复制和安全性规则来实现,优先保证安全性,活性依赖于随机超时。文章详细介绍了Raft的机制、核心名词及其与其他算法的比较,强调了可理解性和工程实现的重要性。

【分布式系统百科】大鹅也能看懂的 Raft 算法解读:选举 · 日志 · 不变量 · 研究前沿

土法炼钢兴趣小组的博客
土法炼钢兴趣小组的博客 · 2026-07-14T00:00:00Z
工程中的经典“意象”(一):滑动窗口

本文探讨了软件工程中的“滑动窗口”概念,借用古代书画的手卷形式,分析其在TCP协议、LeetCode题目及分布式系统中的应用。滑动窗口通过序号机制和有限视图,优化数据传输和处理,体现了工程中的高效与灵活性。

工程中的经典“意象”(一):滑动窗口

木鸟杂记
木鸟杂记 · 2026-07-12T09:14:56Z

CRDT(无冲突复制数据类型)是一种特殊的数据结构,允许各节点独立写入并最终合并,以确保一致性。其核心思想是通过满足交换律、结合律和幂等律来保证合并结果的一致性。CRDT包括G-Counter(只增计数器)、PN-Counter(可增减计数器)和LWW-Register(最后写入者胜出寄存器)。尽管CRDT在协同编辑和分布式系统中应用广泛,但其元数据开销和最终一致性限制需谨慎考虑。

CRDT 入门:不靠共识也能合并——但代价是什么

土法炼钢兴趣小组的博客
土法炼钢兴趣小组的博客 · 2026-07-10T00:00:00Z
OpenClaw的新应用程序不在你的手机上运行AI。这正是关键所在。

OpenClaw推出了iOS和Android应用,用户可以直接与个人AI代理沟通。该应用不在手机上运行AI,而是连接到远程代理,手机充当控制器。这种架构使个人AI代理更像分布式系统,手机只是认证端点。

OpenClaw的新应用程序不在你的手机上运行AI。这正是关键所在。

The New Stack
The New Stack · 2026-07-01T21:00:00Z
Scaffold - Microservice's generator

本文介绍了Spring Boot Scaffold Generator,这是一款用于自动生成结构化Spring Boot项目的微服务工具。该工具通过简洁的用户界面,帮助团队节省重复搭建项目的时间,确保项目结构一致且适合生产环境,适合构建分布式系统或扩展工程团队的开发者使用。

Scaffold - Microservice's generator

mongona news
mongona news · 2026-06-27T22:15:28Z
Agent提示工程与聊天提示词不同:是系统架构的设计

在智能体时代,提示词工程应被视为分布式系统设计,而非简单对话。有效的提示词应包含明确的计划、故障处理和自我审查机制,以减少智能体在执行复杂任务时的错误。将提示词视为操作手册,设计容错系统架构,避免智能体出现“权力漂移”,确保其遵循规定的流程和边界。

Agent提示工程与聊天提示词不同:是系统架构的设计

极道
极道 · 2026-06-22T11:46:00Z

ReAct框架通过推理和行动模块实现大语言模型与外部环境的深度协同。多智能体架构在复杂任务中提供更好的解决方案,适用于不同场景的多智能体模式(如子智能体、路由模式等)能够提高智能体的协作和效率。分布式智能体系统突破了单一系统的限制,支持跨节点交互。

多智能体系统

范叶亮的博客
范叶亮的博客 · 2026-06-20T00:00:00Z
代理开发依赖于验证。对于云原生软件而言,这是一个运行时问题。

文章讨论了异步代理在分布式系统中的作用,强调验证的重要性。代理需在真实环境中验证生成的代码,以避免合并后出现问题。通过共享生产环境和请求范围隔离,可以提高验证效率和准确性。未来的异步开发将依赖更高效的验证机制,以确保代码可靠性。

代理开发依赖于验证。对于云原生软件而言,这是一个运行时问题。

The New Stack
The New Stack · 2026-06-11T14:00:00Z
在Dapr 1.18中引入可验证的执行

Dapr 1.18引入了工作流历史签名、传播和证明等新功能,旨在提升云原生系统中执行历史的可信性。这些功能确保工作流的完整性和来源,增强了对AI代理和自主工作流的信任,随着AI系统的普及,验证执行历史的重要性日益凸显。

在Dapr 1.18中引入可验证的执行

Cloud Native Computing Foundation
Cloud Native Computing Foundation · 2026-06-11T13:00:00Z

文章讨论了追踪ID应为128位的原因。追踪ID在分布式系统中用于标识请求,避免使用自增计数器以简化协调。64位ID在生成亿级数量时碰撞概率高达93%,而128位ID即使生成万亿个也几乎无碰撞风险。虽然256位ID更安全,但存储和带宽开销过大,128位已足够且广泛支持。

读:为什么 Trace ID 要用 128 位

暗无天日
暗无天日 · 2026-06-03T00:00:00Z
分布式系统中必须了解的故障模式

分布式系统的故障模式与单机系统不同。尽管服务器可能正常运行,用户仍可能遇到错误。系统可能技术上正常,但无法自我恢复或提供错误数据。本文探讨了分布式系统中的常见故障模式及应对方法。

分布式系统中必须了解的故障模式

ByteByteGo Newsletter
ByteByteGo Newsletter · 2026-05-28T16:31:00Z

CAP定理由埃里克·布鲁尔提出,指出在分布式系统中,无法同时满足一致性、可用性和分区容错性。系统设计时需选择两个要素,通常必须选择分区容错性。CAP理论的应用需根据数据类型和场景进行具体分析。与ACID、BASE理论相比,CAP更关注分布式系统的数据读写特性,强调在分区情况下的选择与策略。

深入理解CAP理论

安志合的学习博客
安志合的学习博客 · 2026-05-28T02:56:39Z

文章探讨了分布式系统中的路径依赖现象,指出扩容容易但缩容困难的原因。扩容时信号明确,而缩容涉及风险和不确定性,导致系统倾向于保留冗余。这种现象与官僚系统相似,形成组织惯性,阻碍变革。复杂系统理论可以解释这一现象,强调协调成本和状态迁移风险的重要性。

路径依赖

Est's Blog
Est's Blog · 2026-05-21T08:55:00Z
为什么代理工具在云原生系统中失败

文章讨论了云原生系统中编码代理的反馈机制及其重要性。有效的反馈环节对代理的自我纠正至关重要,但在分布式系统中获取反馈信号较为复杂。代理需要在真实环境中验证更改,以确保有效性,而非仅依赖本地沙箱。实现这一目标需要轻量级、可编程的环境,以便快速迭代并获得实时反馈,从而提高开发效率。

为什么代理工具在云原生系统中失败

The New Stack
The New Stack · 2026-05-13T13:00:00Z
分布式系统的容器设计模式

容器设计模式在分布式系统中被视为构建模块,而不仅是部署工具。文章探讨了过去十年形成的设计模式,分为单机协作模式和跨机协调模式。这些模式是解决分布式系统工程师常遇问题的方案。

分布式系统的容器设计模式

ByteByteGo Newsletter
ByteByteGo Newsletter · 2026-05-07T15:31:08Z
重新思考无服务器性能和可靠性的分布式系统

本文讨论了无服务器计算在Apache Spark中的应用,强调通过Spark Connect、网关和自动扩展器实现工作负载隔离和动态资源管理。这种架构提高了系统的稳定性和性能,简化了操作,使用户能够专注于数据分析而非基础设施管理。同时,无服务器计算显著降低了运营成本,提高了处理速度,解决了传统集群模型中的效率与可预测性之间的矛盾。

重新思考无服务器性能和可靠性的分布式系统

Databricks
Databricks · 2026-05-06T17:05:00Z
Apache Geode 2.0,第二部分:为现代Java时代重建分布式系统

Apache Geode 2.0的现代化包括解决技术债务和依赖关系,进行了全面重构。安全性是主要驱动力,修复了多个关键漏洞。升级后,超过800个文件被修改,所有测试均通过,为未来奠定了基础。

Apache Geode 2.0,第二部分:为现代Java时代重建分布式系统

The Apache Software Foundation Blog
The Apache Software Foundation Blog · 2026-05-05T17:17:10Z

双写问题源于分布式系统中数据库与消息队列无法共享事务协调。解决方案包括事务性发件箱、变更数据捕获、事件溯源和自己监听自己。核心思想是将双写转为单写加异步分发,以确保数据一致性。选择合适模式需考虑复杂度和场景需求。

读:双写问题——@Transactional 给不了的跨系统一致性

暗无天日
暗无天日 · 2026-05-05T00:00:00Z
  • <<
  • <
  • 1 (current)
  • 2
  • 3
  • >
  • >>
👤 个人中心
在公众号发送验证码完成验证
登录验证
在本设备完成一次验证即可继续使用

完成下面两步后,将自动完成登录并继续当前操作。

1 关注公众号
小红花技术领袖公众号二维码
小红花技术领袖
如果当前 App 无法识别二维码,请在微信搜索并关注该公众号
2 发送验证码
在公众号对话中发送下面 4 位验证码
友情链接: MOGE.AI 九胧科技 模力方舟 Gitee AI 菜鸟教程 Remio.AI DeekSeek连连 53AI 神龙海外代理IP IPIPGO全球代理IP 东波哥的博客 匡优考试在线考试系统 开源服务指南 蓝莺IM Solo 独立开发者社区 AI酷站导航 极客Fun 我爱水煮鱼 周报生成器 He3.app 简单简历 白鲸出海 T沙龙 职友集 TechParty 蟒周刊 Best AI Music Generator

小红花技术领袖俱乐部
小红花·文摘:汇聚分发优质内容
小红花技术领袖俱乐部
Copyright © 2021-
粤ICP备2022094092号-1
公众号 小红花技术领袖俱乐部公众号二维码
视频号 小红花技术领袖俱乐部视频号二维码