摘要：
来源：https://www.shadaj.me/writing/distributed-programming-stalled 在过去十年中，我们见证了分布式系统在技术上的巨大进步，但编写分布式系统的方式却鲜有根本改进。尽管我们有时能将分布式细节抽象掉（例如 Spark、Redis 等），但开发者 阅读全文
摘要：
gcc 命令内部有多个子命令，分别处理预处理，编译，汇编，打包，链接等不同阶段，通常大家习惯给GCC传参数来指定只跑到哪个阶段，实际上可以直接调用子命令来处理。通过对这些子命令的拆解，就可以更清晰地掌握GCC的命令。 例子目录结构 project/ ├── main.c ├── util.c └── 阅读全文
摘要：
Handling Retry Logic with LLM (Large Language Model) in C++ In today's blog, we are going to explore how to implement a retry mechanism for handling i 阅读全文
摘要：
派计算 我猜你指的是帖子中提到的“π”，也就是π演算（π-calculus），因为它在计算机语言语义理论中是一个核心概念。如果你指的是数学中的π（圆周率），请告诉我，我可以调整方向！ π演算（π-calculus）简介 π演算是一种由Robin Milner、Joachim Parrow和David 阅读全文
摘要：
原文：https://www.pyspur.dev/blog/introduction_cuda_programming 下面是文章的中文翻译： CUDA 编程入门：面向 Python 开发者 发布日期：2025-02-03 注意：目标 URL 返回错误 500：内部服务器错误 GPU 与 CPU 阅读全文
摘要：
原贴: 在整个逻辑学界，唯一被允许在逻辑学顶刊论文里写文学作品的人，是Girard。Richard Zach也承认这一点。[二哈] Grox-1: 哈哈，看来你提到的是逻辑学界的一个有趣现象啊！的确，让-伊夫·吉拉尔（Jean-Yves Girard）是个特别的存在，他的风格在逻辑学界算是独树一帜。 阅读全文
摘要：
贴: golang做对的事情是选择了一种process calculus作为设计范式，没做对的地方是选择了csp而不是π。 rust做对的地方是选择了基于类linear logic的类型系统管理资源，没做对的地方是未能支持session type和使用π作为term calculus。 理论还是有用 阅读全文
摘要：
链接: https://lizengland.com/blog/2014/04/the-door-problem/ 发表于2014年4月21日 “那么游戏设计师是做什么的？你是艺术家吗？你设计角色和编写故事吗？或者不，等一下，你是程序员？” 对于游戏行业外的人来说，游戏设计是一个模糊的术语，就像“天 阅读全文
摘要：
当企业将TCP协议中的拥塞崩溃现象投射到软件开发领域时，管理者们正在用最原始的重传机制应对复杂的工程挑战。这种反模式正在中国科技行业形成独特的数字雾霾——技术债务的指数级累积与开发者的群体性过载形成共振，构建出令人窒息的开发环境。 一、非线性系统的线性管控之殇 在传统制造思维主导下，软件工程被简化为 阅读全文
摘要：
引言：软件复杂性的永恒之困 John Ousterhout的《软件设计的哲学》并非一本传统意义上的“编码规范手册”，而是一部探讨软件系统本质性矛盾的哲学著作。书中对“复杂性”的剖析直指软件工程的阿喀琉斯之踵——如何驯服系统熵增，让代码在迭代中保持生命力？在AI工具重构编程范式的今天，重读此书，不仅是 阅读全文
摘要：
这是OpenResty作者的微博: 一个好用的 AI Agent 程序框架需要满足：1. 小巧轻便和高效，2. 方便自动最大化请求并发度, 3. 透明切换不同的 LLM（厂商 API 或本地部署的），4. 透明混用大小不同的模型，5. 透明切换实时请求方式和批处理离线方式，6. 自如重跑单个处理环节 阅读全文
摘要：
在AI技术飞速发展的今天，人工智能正在成为开发者的得力助手，特别是在编程过程中，AI工具像大语言模型（LLM）正逐渐成为程序员的“编程搭档”。然而，尽管如此，如何让LLM更好地理解你的项目并有效地协作，依然是一个值得探讨的问题。 通过一段时间的实践，我发现其核心思想可以归结为“面向LLM写算法”。在 阅读全文
摘要：
引言：从"结对编程"到API范式迁移 在GitHub Copilot等工具普及的今天，开发者们正在经历编程范式的第三次跃迁。我们曾从面向文件系统转向网络接口，从直接操作数据库到响应式前端框架，而当下，大语言模型（LLM）正在演变为一种新型编程接口。这种接口的特殊之处在于：它不直接操作存储系统或网络协 阅读全文
摘要：
目录 C语言：程序员的通用问候 内存的江湖：堆、栈与静态区 段错误的诅咒：核心转储与调试入门 指针：C的灵魂与陷阱 工具链的魔法：GCC、GDB与Valgrind 实战：从“Hello World”到崩溃分析 C的黑暗森林法则：社区、资源与生存指南 第一章：C语言：程序员的通用问候 C语言如同程序员 阅读全文
摘要：
在构建基于大语言模型（LLM）的应用时，如何确保返回结果的准确性和可重复性是一个常见的挑战。本文将结合 Dify + LLM 的使用经验，介绍如何设计一个精确的 LLM 任务处理流程，避免传统 LLM 输出中的随机抖动问题，并通过合理的客户端逻辑处理和 Dify 编排实现精确的任务执行。 1. 理解 阅读全文
摘要：
命令序列 usage: agc [-h] [--init INIT] [--choose CHOOSE] [--clean] [--show] [--comment] [--check] [--compile] [--commit COMMIT] [--reset] [--push] [--git- 阅读全文
摘要：
Title: cognitive-load/README.zh-cn.md at main · zakirullin/cognitive-load URL Source: https://github.com/zakirullin/cognitive-load/blob/main/README.zh 阅读全文
摘要：
当我用流派这个词的时候，就表明了我对软件开发方法论的 critical thinking。从事软件开发10+年，我想深入思考这个主题很久了，这是一个不错的时间点。既不会过于肤浅，也不会过于玄学。 loading... 阅读全文
摘要：
URL 来源: https://4zm.org/2024/12/25/a-simple-elf.html Markdown 内容: 让我们为 Linux 编写一个简单的程序。能有多难呢？嗯，简单是复杂的反义词，而不是困难的反义词，创建一个简单的东西出奇地难。当我们摆脱标准库、所有现代安全功能、调试信 阅读全文
摘要：
通常每个流水线是独立执行的，每次执行的任务之间是无状态的，但是，每次任务都有输入和输出，输入是一个args是json，输出也是一个json，流水线执行环境提供了单次任务输入输出参数的持久化能力。利用这个特点，来实现一个有缓存状态的流水线执行API。 首先，我们把调度平台的流水线的底层API先做一个抽 阅读全文
摘要：
我们可以通过GPT来详细地图解Linux上的C内存分配。这个过程可以进一步细化，只要你愿意。 最小的 C 代码示例 以下代码使用了标准 C 库函数 malloc 分配一块内存： #include <stdlib.h> #include <stdio.h> int main() { int *ptr 阅读全文
摘要：
标题：Gcc 最常用的标志 来源网址：https://dvergeylen.github.io/gcc-most-common-used-flags 发布时间：2020-11-19T10:30:00+00:00 Markdown 内容： 介绍 从命令行使用 gcc 或 clang 进行编译一开始可能 阅读全文
摘要：
例子一，微博上的言论 原文 “想起20年前读博的时候，组里有一个老美本科生，当时我很年轻，但这个小孩对我来说更年轻。他特别推崇GPU计算。那会儿还没有说用英伟达GPU训练AI模型这事，他就用GPU来算视觉里的optical flow。确实比CPU要快好多好多。20年后的今天，英伟达GPU成了什么样的 阅读全文
摘要：
转注：许多年前我学了很久的数学才有一天明白数学和科学不是一回事，后面我又认识到科学有可证伪一说，今天我看到这个作者对科学,哲学,数学的关系的清晰的表述，原来如此，简短而又清晰。转之。 Title: Abuse of Notation - writings on math, logic, philos 阅读全文
摘要：
标题：通过一个奇怪的技巧让你的 QEMU 快 10 倍 URL 来源：https://linus.schreibt.jetzt/posts/qemu-9p-performance.html Markdown 内容： 这篇关于 QEMU 的工作和文章由 Determinate Systems 资助，并 阅读全文
摘要：
所谓 AI Native，是否意味着最终放弃人的已有经验？我在大型软件项目里做了大量的支持人工UT的工具链，同时接入AI组 生成的UT来支持模块的覆盖率。在持续的搏斗中，有时候会感觉螳臂当车的无力感。这个问题我没有明确的答案，先尝试下诱导GPT回答2个灵魂拷问。 Q1：AI时代，应该放弃人工写单元测 阅读全文
摘要：
场景 一个买卖应用，商品A/B/C，商品价格，运营活动，普通优惠券，活动特别优惠券，有效期等等。请根据这种场景，设计一个典型的数据库表设计。 设计 商品 (products) 是核心，活动 (campaigns) 和优惠券 (coupons) 都可以作用于商品。 通过活动商品关联表 (campaig 阅读全文
摘要：
版本一，标签python化 # 文件名: html.py def html_tag(tag_name): """创建通用 HTML 标签函数""" def tag_func(*content, **attrs): # 处理属性 attr_str = " ".join( f'{key}="{value 阅读全文
摘要：
本文通过交互式提示，由GPT生成。 version: 0.0.1 以下是完整的介绍内容，逐步引导学生从有限集合的比较理解到无限集合的比较，特别强调了用表格映射和Z字型对角线走法来列举有理数，以及用对角线反证法证明实数集合不可数。 小贴纸1：什么是有限集合？ 数学例子：有限集合是有固定数量的元素的集合 阅读全文
摘要：
本文由GPT逐节生成，并通过交互式提修订意见给GPT修订生成。 Version: 0.0.1 下载PDF版本: cpp_tutorial_by_gpt_2024_10_01 目录 第1节：开发环境的搭建与配置 第2节：C++基础语法与结构 第3节：循环与数组 第4节：函数与作用域 第5节：指针与动态 阅读全文
摘要：
应用程序里可以任意写SQL语句，到了数据库这层，所有的SQL语句都被做了编排。 在应用层可以同步、异步的投递SQL语句：s1, s2,s3,...。混在意大利面条一样的代码里，看不到谁先执行谁后执行。 在数据库层，这些语句会被编排。编排后，实际的执行时序可能是 s2,25,s1,s3,s4... 那 阅读全文
摘要：
假设有要处理的数据 A1 A2 A3 ... 你想要设计一个功能 F，这个F应该处理数据 Ai，那么你需要编写程序P=F，是的： O1 = F(A1) O2 = F(A2) O3 = F(A3) ... 如果写了个F，一次就解决了，那就万事大吉了。 如果不行，你会发现： 处理A1，需要上下文 C1 阅读全文
摘要：
无论系统怎么组织，只要发生如下问题，工程上就会非常费劲： 一个叶子结点的模块，在不同的系统集成里集成叶子结点模块的不同分支，这些分支之间代码差异很大。 单模块的分支管理 git解决了单项目的分支管理问题。但是这只是一个模块的分支管理。 一个模块内的版本可以是： main dev somebody/d 阅读全文
摘要：
最好用的C++圈复杂度分析工具：pip install lizard，没想到它解析C++的函数块超级快，可以用来作为建立进一步的代码片分析的基础，完胜其他所有工具。 我花了1天多将一个C++模块测试覆盖率做到100%，对于代码如何才具有良好可测试性有了直观的经验，从测试的角度看代码的设计是否简洁是一 阅读全文
摘要：
编写干净清晰的Python代码的一种通用设计 在 python 和 shell 之间选择 如果有Python环境，应该大部分时候都选择使用 Python 来编写系统。这是因为： Python 更易于维护，适合模块化设计（class, 多文件 import，层次文件夹支持，成熟的库依赖） Shell 阅读全文
摘要：
软件都有分层，C/C++代码的覆盖率工具亦如此。我们从测试覆盖率工具的分层，来理解工程上十分普遍分层概念，而在工具链上，这点又常常容易被忽视。 一个简单的例子，C/C++的基本测试覆盖率介绍 源代码main.cpp: #include <stdio.h> void test_1(){ int arr 阅读全文
摘要：
最近总想，算法好像没有数学那样直观，例如方程可以解决一大类问题，我们遇到许多数学问题，只要将其转成方程问题，剩下的就是解方程。算法好像不是那么直观，顺着这个思路开始重新看算法问题。今天有一个收获，也可能其他人早就知道。 int max=INT_MIN; for(size_t i=0;i<v.size 阅读全文
摘要：
by @幻灰龙 && GPT3.5 PDF下载：学习Linux基础的一种思维链条.pdf 介绍Linux 的目录结构 Linux的目录结构采用了树形结构，主要包括以下核心目录： /（根目录）：整个文件系统的起点，包含所有其他目录和文件。 /bin：二进制可执行文件，包括一些基本的系统命令，如ls、c 阅读全文
摘要：
<stdint.h>是C99的标准，在里面定义了8,16,32,64位的有符号和无符号整数类型定义。 分别是： int8_t, int16_t, int32_t, int64_t; uint8_t, uint16_t, uint32_t, uint64_t; 那么，这些类型具体是什么呢？让我们一起追 阅读全文
摘要：
引子 昨天为了教大一的小朋友入门C++，又去折腾了下windows的环境。 windows上的开发环境，从老的到新的 DevCpp （CCF出的一套针对初中生的编程入门书还在用这个，作为上手简化先把代码写起来的角度也能接受） VisualC++6.0 （学校教学居然还在用这个） VisualStud 阅读全文