- 1 简介我们在学校的时候,老师总在教导:要学会总结归纳,总结归纳才能提高。同时我在前面又知道了,人们信任归纳和总结的基础,来源于 一个公理化法则: 大自然具有可信的完备的统一真理。这里我们简单了解前人的各种汇总。 2 归纳法的用途英国人 约翰·穆勒 的归纳法 归纳了 五个步骤1, 求同 Agreement Method2, 求异 Different Method... 1 简介我们在学校的时候,老师总在教导:要学会总结归纳,总结归纳才能提高。同时我在前面又知道了,人们信任归纳和总结的基础,来源于 一个公理化法则: 大自然具有可信的完备的统一真理。这里我们简单了解前人的各种汇总。 2 归纳法的用途英国人 约翰·穆勒 的归纳法 归纳了 五个步骤1, 求同 Agreement Method2, 求异 Different Method...
- 1 名学 和 知识论在前言讲,孔子讲天命,道教方士有命理,墨子讲非命 。关于天的概念有人整理如下,可能并不完整这里面可能涉及更多的内容,如道家的宇宙观等等,不做扩展,限定为墨子一脉。有象: 形体的 天界,天体,天气,天空 天无象: 有灵 主宰 天子,天帝,皇天,苍天,造物主等 无灵... 1 名学 和 知识论在前言讲,孔子讲天命,道教方士有命理,墨子讲非命 。关于天的概念有人整理如下,可能并不完整这里面可能涉及更多的内容,如道家的宇宙观等等,不做扩展,限定为墨子一脉。有象: 形体的 天界,天体,天气,天空 天无象: 有灵 主宰 天子,天帝,皇天,苍天,造物主等 无灵...
- 1 简介我们经常在日常生活中遇到这些"想当然"的口语:为什么有这个世界?本来就是这样的不用想,那是自然而然的那是理所应当的,吃太饱了...那是显而易见的...前人有言难道不是每个人都在一千次使用这个原则(PSR)吗?--莱布尼茨 1.1 存在是有原因的即使我们在坚持不懈地追求这种充分理由律的思路,就像我不会做的那样,我的一部分想法是真的很想停下来,因为我们知道这种追求可以赢得一些朋友和盟友... 1 简介我们经常在日常生活中遇到这些"想当然"的口语:为什么有这个世界?本来就是这样的不用想,那是自然而然的那是理所应当的,吃太饱了...那是显而易见的...前人有言难道不是每个人都在一千次使用这个原则(PSR)吗?--莱布尼茨 1.1 存在是有原因的即使我们在坚持不懈地追求这种充分理由律的思路,就像我不会做的那样,我的一部分想法是真的很想停下来,因为我们知道这种追求可以赢得一些朋友和盟友...
- 1 性能简介性能与复杂度(实际运行时考虑),构建树(全量计算):内存:需要把 N 个文件项复制到局部 map(O(N))。时间:对每个目录需要对其条目进行排序。若所有文件都在同一目录(最坏),则排序成本 O(N log N)。总体上常见是 O(sum_k k log k) (k 为各目录条目数)。增量更新优化:可以只重算受影响的目录及其祖先。例如 Put(path) 只需重算其父目录,然后... 1 性能简介性能与复杂度(实际运行时考虑),构建树(全量计算):内存:需要把 N 个文件项复制到局部 map(O(N))。时间:对每个目录需要对其条目进行排序。若所有文件都在同一目录(最坏),则排序成本 O(N log N)。总体上常见是 O(sum_k k log k) (k 为各目录条目数)。增量更新优化:可以只重算受影响的目录及其祖先。例如 Put(path) 只需重算其父目录,然后...
- 1 简介Merkle(Ralph Merkle)定义的核心性质:通过对叶子逐层哈希得到根,根可以高效且不可篡改地代表整个集合/目录树。因每个父节点的哈希是由其子项的哈希决定的,根哈希就体现在树上对所有叶子(文件内容/Blob)和名称/结构的“承诺(commitment)”。本文介绍“Merkle 树”,也说明它和 FlatTree( map[path] -> BlobID 的扁平存储)如何... 1 简介Merkle(Ralph Merkle)定义的核心性质:通过对叶子逐层哈希得到根,根可以高效且不可篡改地代表整个集合/目录树。因每个父节点的哈希是由其子项的哈希决定的,根哈希就体现在树上对所有叶子(文件内容/Blob)和名称/结构的“承诺(commitment)”。本文介绍“Merkle 树”,也说明它和 FlatTree( map[path] -> BlobID 的扁平存储)如何...
- 1 简介本文实现无第三方依赖、可直接运行 的版本管理示例。特点: FlatTree 用 map[string][32]byte 存“路径→blob sha256”。提供:Put/Get/Delete/ListPrefix/RenameDir。提供:MerkleRoot() 计算目录树的哈希(自底向上,目录条目采用确定序:先按名字排序,数据格式 “blob <name>\n<hex>\n” ... 1 简介本文实现无第三方依赖、可直接运行 的版本管理示例。特点: FlatTree 用 map[string][32]byte 存“路径→blob sha256”。提供:Put/Get/Delete/ListPrefix/RenameDir。提供:MerkleRoot() 计算目录树的哈希(自底向上,目录条目采用确定序:先按名字排序,数据格式 “blob <name>\n<hex>\n” ...
- 1 简介这里把 Git 的分支与协作方式拆开,说清楚它到底怎么运作、常见协作模型怎么落地、取舍点在哪。可以写一个 Go 的极简版 VCS(类 Git)示例,支持 init / add / commit / branch / checkout / log 等核心功能,便于你理解底层对象模型与分支实现。代码可直接 go build 运行。 2 Git 分支协作方式:从模型到实践Git 的底层数... 1 简介这里把 Git 的分支与协作方式拆开,说清楚它到底怎么运作、常见协作模型怎么落地、取舍点在哪。可以写一个 Go 的极简版 VCS(类 Git)示例,支持 init / add / commit / branch / checkout / log 等核心功能,便于你理解底层对象模型与分支实现。代码可直接 go build 运行。 2 Git 分支协作方式:从模型到实践Git 的底层数...
- 1 简介“笛卡尔的证伪理论”,很多人理解的是现代科学的基础,跟不上不能被怀疑的,不能被证明是错误的就不是科学,但是这样的想法不是笛卡尔本人的真正的立场。笛卡尔(René Descartes, 1596–1650)主张的是“方法怀疑”(methodic doubt): 凡事都要怀疑,直到找到不能怀疑的“第一原理”,普遍性真理。是不是有点像现代伊隆马斯克的第一原理。 这其实是西方逻辑思维的普... 1 简介“笛卡尔的证伪理论”,很多人理解的是现代科学的基础,跟不上不能被怀疑的,不能被证明是错误的就不是科学,但是这样的想法不是笛卡尔本人的真正的立场。笛卡尔(René Descartes, 1596–1650)主张的是“方法怀疑”(methodic doubt): 凡事都要怀疑,直到找到不能怀疑的“第一原理”,普遍性真理。是不是有点像现代伊隆马斯克的第一原理。 这其实是西方逻辑思维的普...
- 1 简介在git中版本管理使用了递归树状结构。每个目录对应一个独立的tree对象,包含子tree(目录)和blob(文件)的条目。构建tree时,Git递归遍历目录层次,从叶子节点向上构建tree对象,确保每个子目录的tree哈希被包含在上层tree中。 2 示例:这个教学实现只做“扁平树”(直接存“路径→blob 哈希”),且只在 checkout 里对已跟踪文件做最小清理;未实现复杂的... 1 简介在git中版本管理使用了递归树状结构。每个目录对应一个独立的tree对象,包含子tree(目录)和blob(文件)的条目。构建tree时,Git递归遍历目录层次,从叶子节点向上构建tree对象,确保每个子目录的tree哈希被包含在上层tree中。 2 示例:这个教学实现只做“扁平树”(直接存“路径→blob 哈希”),且只在 checkout 里对已跟踪文件做最小清理;未实现复杂的...
- 1 简介本文介绍“扁平树(flat tree)”的算法思想、使用场景及其将扁平的注释数组转换为树状结构。当需要在 Web 应用程序中呈现嵌套注释或任何其他分层数据时,此技术特别有用。我们将编写一个名为 buildCommentsTree 的函数,该函数将注释的平面数组作为输入,并返回一个类似树的注释数组。 2 扁平树的算法原理(“路径 → blob 哈希”)此方法涉及创建映射或引用对象来存... 1 简介本文介绍“扁平树(flat tree)”的算法思想、使用场景及其将扁平的注释数组转换为树状结构。当需要在 Web 应用程序中呈现嵌套注释或任何其他分层数据时,此技术特别有用。我们将编写一个名为 buildCommentsTree 的函数,该函数将注释的平面数组作为输入,并返回一个类似树的注释数组。 2 扁平树的算法原理(“路径 → blob 哈希”)此方法涉及创建映射或引用对象来存...
- 1 简介在 Go 里按位或是 |,|| 是逻辑或(只用于 bool)。本文都以 按位或 | 为例说明 2 按位或的过程(Go 示例)规则(逐位): 0|0=0, 0|1=1, 1|0=1, 1|1=1 package main import "fmt" func main() { a := 6 // 0110 b := 11 // 1011 r... 1 简介在 Go 里按位或是 |,|| 是逻辑或(只用于 bool)。本文都以 按位或 | 为例说明 2 按位或的过程(Go 示例)规则(逐位): 0|0=0, 0|1=1, 1|0=1, 1|1=1 package main import "fmt" func main() { a := 6 // 0110 b := 11 // 1011 r...
- 1 简介本文通过例子来说明 Go 语言中 按位与运算(&)的过程,并对比 Python 中的差异。 2. Go 语言中的按位与运算Go 使用 & 运算符对两个整数逐位执行 AND 运算。规则和大多数语言一致:二进制位都为 1 → 结果为 1否则结果为 0示例: package main import "fmt" func main() { a := 6 // 二进制: 0... 1 简介本文通过例子来说明 Go 语言中 按位与运算(&)的过程,并对比 Python 中的差异。 2. Go 语言中的按位与运算Go 使用 & 运算符对两个整数逐位执行 AND 运算。规则和大多数语言一致:二进制位都为 1 → 结果为 1否则结果为 0示例: package main import "fmt" func main() { a := 6 // 二进制: 0...
上滑加载中
推荐直播
-
HDC深度解读系列 - Serverless与MCP融合创新,构建AI应用全新智能中枢
2025/08/20 周三 16:30-18:00
张昆鹏 HCDG北京核心组代表
HDC2025期间,华为云展示了Serverless与MCP融合创新的解决方案,本期访谈直播,由华为云开发者专家(HCDE)兼华为云开发者社区组织HCDG北京核心组代表张鹏先生主持,华为云PaaS服务产品部 Serverless总监Ewen为大家深度解读华为云Serverless与MCP如何融合构建AI应用全新智能中枢
回顾中 -
关于RISC-V生态发展的思考
2025/09/02 周二 17:00-18:00
中国科学院计算技术研究所副所长包云岗教授
中科院包云岗老师将在本次直播中,探讨处理器生态的关键要素及其联系,分享过去几年推动RISC-V生态建设实践过程中的经验与教训。
回顾中 -
一键搞定华为云万级资源,3步轻松管理企业成本
2025/09/09 周二 15:00-16:00
阿言 华为云交易产品经理
本直播重点介绍如何一键续费万级资源,3步轻松管理成本,帮助提升日常管理效率!
回顾中
热门标签