趁着感冒生病，读了一本左派无证府主义的政治经济学，作者Kevin Carson。这书对我的意义意想不到地重大。基本解决了我对经济学的认知危机。长期以来我会认为世间有两种版本的价值论，一种是古典经济学及马克思主义的劳动价值理论，一种是边际学派及继承边际学派的奥地利学派和新古典学派的主观效用理论。这两种理论的格格不入使我的世界观是割裂的，产生了对两边理论的分别怀疑。去年读Rothbard的两卷本经济史解了不少对马克思主义尤其是国家主义的毒。但是不免又掉入奥派经济学所精心策划的伊甸园。 Carson这本书揭示了一些重要的发现：例如：一、古典经济学的劳动价值理论在现代经济学中并没有遗失，它经马歇尔的综合已经融入了新古典经济学之中，即劳动价值体现为长期均衡中的生产成本。二、时间偏好理论作为奥地利学派的利息理论，对传统马克思主义而言是明显的进步，可以借以搞清楚正确的劳动价值论究竟是什么。时间偏好可以在其中被理解为能够制造稀缺租（scarcity rent）的因素，是被利用来制造剥削的人性的短视的缺陷。三，剥削的唯一来源是稀缺租（在一般的经济学教材中称作经济租（economic rent）），...

趁着感冒生病，读了一本左派无证府主义的政治经济学，作者Kevin Carson。这书对我的意义意想不到地重大。基本解决了我对经济学的认知危机。长期以来我会认为世间有两种版本的价值论，一种是古典经济学及马克思主义的劳动价值理论，一种是边际学派及继承边际学派的奥地利学派和新古典学派的主观效用理论。这两种理论的格格不入使我的世界观是割裂的，产生了对两边理论的分别怀疑。去年读Rothbard的两卷本经济史解了不少对马克思主义尤其是国家主义的毒。但是不免又掉入奥派经济学所精心策划的伊甸园。 Carson这本书揭示了一些重要的发现：例如：一、古典经济学的劳动价值理论在现代经济学中并没有遗失，它经马歇尔的综合已经融入了新古典经济学之中，即劳动价值体现为长期均衡中的生产成本。二、时间偏好理论作为奥地利学派的利息理论，对传统马克思主义而言是明显的进步，可以借以搞清楚正确的劳动价值论究竟是什么。时间偏好可以在其中被理解为能够制造稀缺租（scarcity rent）的因素，是被利用来制造剥削的人性的短视的缺陷。三，剥削的唯一来源是稀缺租（在一般的经济学教材中称作经济租（economic rent）），...

Preparation: How long is a bit of data, in time?To understand how multiplexing of SONET protocol works, one needs first to understand the notion of the width of a bit of data in time. If we assume that the bandwidth (i.e., data rate) of a data link is 1Mbps, it means that this link can transmit $$10^6$$ bits of data in a second. If we imagine the length of 1 second as a ruler, then the length of 1 bit on that ruler is $$ \frac {1}{10^6}s$$, or $$1\mu s$$. The more sophisticated is the capacit...

Preparation: How long is a bit of data, in time?To understand how multiplexing of SONET protocol works, one needs first to understand the notion of the width of a bit of data in time. If we assume that the bandwidth (i.e., data rate) of a data link is 1Mbps, it means that this link can transmit $$10^6$$ bits of data in a second. If we imagine the length of 1 second as a ruler, then the length of 1 bit on that ruler is $$ \frac {1}{10^6}s$$, or $$1\mu s$$. The more sophisticated is the capacit...

答： 不能。 我觉得前面的回答都不能解决这位题主的疑惑 。我想了一个有点绕的例子，来说明编译器是不能自动推断出generic lifetime的，因为可行的标注方法不只一种（楼上那个longest例子从逻辑上看似乎只剩下一种标注方法了，所以不具有足够的说服力）。 如下面定义的函数根据短字符串的长度来截取长字符串，该函数因为没有标注lifetime无法成功编译：fn cut_long_according_to_short(l: &str, s: &str) -> &str { let len = s.len(); &l[0..len] } 有两种不同的标注方法可以实现成功编译，编译器无法自动推断出该采用哪一个。 第一种比较宽松：fn cut_long_according_to_short<'a>(l: &'a str, s: &str) -> &'a str { let len = s.len(); &l[0..len] } 第二种比较严格：fn cut_long_according_to_s...

答： 不能。 我觉得前面的回答都不能解决这位题主的疑惑 。我想了一个有点绕的例子，来说明编译器是不能自动推断出generic lifetime的，因为可行的标注方法不只一种（楼上那个longest例子从逻辑上看似乎只剩下一种标注方法了，所以不具有足够的说服力）。 如下面定义的函数根据短字符串的长度来截取长字符串，该函数因为没有标注lifetime无法成功编译：fn cut_long_according_to_short(l: &str, s: &str) -> &str { let len = s.len(); &l[0..len] } 有两种不同的标注方法可以实现成功编译，编译器无法自动推断出该采用哪一个。 第一种比较宽松：fn cut_long_according_to_short<'a>(l: &'a str, s: &str) -> &'a str { let len = s.len(); &l[0..len] } 第二种比较严格：fn cut_long_according_to_s...

Borrow checker是rust语言中保证引用（reference）安全性的重要机制。通过borrow checker机制，rust能防止虚悬引用（dangling reference）的出现。所谓虚悬引用是指，当引用对象的值已经从内存中被清除时，指向原来内存位置的引用却仍然存在。因此虚悬引用会导致数据泄露的风险，或造成其他软件错误。 Borrow checker要求引用的寿命（lifetime）要小于被引用的对象的寿命。换一种角度说，当对某一值的引用还未过期时，该值也不得过期。大多数高阶语言是通过garbage collection机制来实现这一点的。rust则使用了更刚烈的机制，即所有的值的寿命都会随着其所在的scope的结束而结束。这就反过来要求对该值的引用也在这一scope中结束，而不是如在garbage collection中那样当所有引用失去时被引用的值才会被自动收回（在rust的语境中，这意味着此时“引用”对被引用的值拥有所有权（ownership））。在对rust程序的编译过程中，borrow checker会比对引用和被引用的值的寿命,当发现前者大于后者时...

Borrow checker是rust语言中保证引用（reference）安全性的重要机制。通过borrow checker机制，rust能防止虚悬引用（dangling reference）的出现。所谓虚悬引用是指，当引用对象的值已经从内存中被清除时，指向原来内存位置的引用却仍然存在。因此虚悬引用会导致数据泄露的风险，或造成其他软件错误。 Borrow checker要求引用的寿命（lifetime）要小于被引用的对象的寿命。换一种角度说，当对某一值的引用还未过期时，该值也不得过期。大多数高阶语言是通过garbage collection机制来实现这一点的。rust则使用了更刚烈的机制，即所有的值的寿命都会随着其所在的scope的结束而结束。这就反过来要求对该值的引用也在这一scope中结束，而不是如在garbage collection中那样当所有引用失去时被引用的值才会被自动收回（在rust的语境中，这意味着此时“引用”对被引用的值拥有所有权（ownership））。在对rust程序的编译过程中，borrow checker会比对引用和被引用的值的寿命,当发现前者大于后者时...

从前我们讨论过用于在系统间传递整数的DER格式，即将任意整数编码为一串bytes的方法。本篇讨论用于在系统内对整数进行编码的格式。该格法既要方便对这些整数的存储，也要方便实现对整数的运算。 我们可以自然地用二进制数来编码正整数。因为任意整数皆可转化为正的二进制数： $$x = a_0 \cdot 2^n + a_1 \cdot 2^{n-1} + ... + a_{n-1} \cdot 2^1 + a_n \cdot 2^0$$ 其中$$a_0a_1…a_{n-1}a_{n}$$就是－串由1或0组成的二进制数。$$n＋1$$为事先给定的二进制数的长度，决定了可以编码二进制数的容量。编码负整数我们需要一个额外的比特位来区分正数和负数。以0表示正数，以1表示负数。这个比特位称为sign bit。由sign bit和其他比特位相配合，以编码正负整数。有三种不同的编码方法：sign magnitude，1’s complement，和2’s complement。其中2’s complement拥有最好的计算性质，这里重点讨论。2’s Complement用2’s complement编...

从前我们讨论过用于在系统间传递整数的DER格式，即将任意整数编码为一串bytes的方法。本篇讨论用于在系统内对整数进行编码的格式。该格法既要方便对这些整数的存储，也要方便实现对整数的运算。 我们可以自然地用二进制数来编码正整数。因为任意整数皆可转化为正的二进制数： $$x = a_0 \cdot 2^n + a_1 \cdot 2^{n-1} + ... + a_{n-1} \cdot 2^1 + a_n \cdot 2^0$$ 其中$$a_0a_1…a_{n-1}a_{n}$$就是－串由1或0组成的二进制数。$$n＋1$$为事先给定的二进制数的长度，决定了可以编码二进制数的容量。编码负整数我们需要一个额外的比特位来区分正数和负数。以0表示正数，以1表示负数。这个比特位称为sign bit。由sign bit和其他比特位相配合，以编码正负整数。有三种不同的编码方法：sign magnitude，1’s complement，和2’s complement。其中2’s complement拥有最好的计算性质，这里重点讨论。2’s Complement用2’s complement编...

本文是Programming Bitcoin第10章的读书笔记，同时涉及第9章的内容。第10章讨论比特币的网络协议。比特币网络为P2P网络。网络的各个节点公布不同的交易、区块和其所知道的其他节点。注意，比特币网络协议对于达成共识并不是关键的。同样的数据可以使用其他协议从一个节点发送到另一个节点，而不影响比特币本身。 比特币网络使用socket协议进行节点间的通讯。本章代码示例如何使用socket通讯请求、接收和验证区块的头部信息（block headers）。如何查找可访问的结点原书中给出的网络结点’mainet.programmingbitcoin.com’和’testnet.programmingbitcoin.com’已经停止运行。可以到bitnodes.io查找其他可访问的网络结点（reachable nodes）。网络握手要获得比特币网络节点的数据，要首先通过socket实现与结点的握手。握手的目的是与结点交换协议的版本信息。握手的具体过程如下（来自这里）：L -> R: Send version message with the local peer's versio...

本文是Programming Bitcoin第10章的读书笔记，同时涉及第9章的内容。第10章讨论比特币的网络协议。比特币网络为P2P网络。网络的各个节点公布不同的交易、区块和其所知道的其他节点。注意，比特币网络协议对于达成共识并不是关键的。同样的数据可以使用其他协议从一个节点发送到另一个节点，而不影响比特币本身。 比特币网络使用socket协议进行节点间的通讯。本章代码示例如何使用socket通讯请求、接收和验证区块的头部信息（block headers）。如何查找可访问的结点原书中给出的网络结点’mainet.programmingbitcoin.com’和’testnet.programmingbitcoin.com’已经停止运行。可以到bitnodes.io查找其他可访问的网络结点（reachable nodes）。网络握手要获得比特币网络节点的数据，要首先通过socket实现与结点的握手。握手的目的是与结点交换协议的版本信息。握手的具体过程如下（来自这里）：L -> R: Send version message with the local peer's versio...

The Knowledge We Have Lost in Information: The History of Information in Modern Economics的作者是Philip Mirowski和Edward Nik-Khah，2017年由牛津大学出版社出版。书名可大约翻译为：我们在信息中丢失的知识：现代经济学关于信息的历史。这是一部篇幅不长的作品，但是却讨论了相当复杂的问题。通过对20世纪后半叶以来信息经济学发展脉络的梳理，作者发现当代新古典经济学的发展方向是越来越越取消掉了市场参与者的主体性。它不再以市场参与者的理性作为市场运性的基础，而是转向发掘市场具备的超越人的认知能力的超级理性。市场具有人所无法理解的鬼魅般的信息处理能力和计算能力，而市场中的人则沦为认知能力低下的被动者，并以无知为美德。哈耶克的三部曲作者敏锐地发现，现代信息经济学的真正开山者是哈耶克。不仅如此，哈耶克的思想始终形塑着现代信息经济学的发展轨迹。信息经济学各学派的迭兴与哈耶克学术路径的转变具有同构性。因此我们可以根据哈耶克的思想发展轨迹进行按图索骥，以把握信息经济学各派的发展。哈耶克的...

The Knowledge We Have Lost in Information: The History of Information in Modern Economics的作者是Philip Mirowski和Edward Nik-Khah，2017年由牛津大学出版社出版。书名可大约翻译为：我们在信息中丢失的知识：现代经济学关于信息的历史。这是一部篇幅不长的作品，但是却讨论了相当复杂的问题。通过对20世纪后半叶以来信息经济学发展脉络的梳理，作者发现当代新古典经济学的发展方向是越来越越取消掉了市场参与者的主体性。它不再以市场参与者的理性作为市场运性的基础，而是转向发掘市场具备的超越人的认知能力的超级理性。市场具有人所无法理解的鬼魅般的信息处理能力和计算能力，而市场中的人则沦为认知能力低下的被动者，并以无知为美德。哈耶克的三部曲作者敏锐地发现，现代信息经济学的真正开山者是哈耶克。不仅如此，哈耶克的思想始终形塑着现代信息经济学的发展轨迹。信息经济学各学派的迭兴与哈耶克学术路径的转变具有同构性。因此我们可以根据哈耶克的思想发展轨迹进行按图索骥，以把握信息经济学各派的发展。哈耶克的...

本文是Programming Bitcoin第8章Bare Multisig一节（143-148页）的读书笔记。 比特币的智能合约语言Script设定了多种标准交易方式，如Pay to PubKey (P2PK)，Pay to Pubkey Hash (P2PKH)，Pay to Multisig (P2MS)，Pay to Script Hash (P2SH)等等。本节讨论P2MS及其编程实现。为什么需要对多个签名的支付（Pay to Multiple Signatures）？其他标准脚本如P2PK，P2PKH，也可以实现在一笔交易中同时向多个公钥转入资金。那么P2MS的必要性又在哪里呢？诚然，对于更基本的P2PK，P2PKH等，一笔交易可以同时有多个inputs和outputs。但是每一个output只包含一个公钥，因而对应的input只包含一个签名。因此，当由于某个原因相应的私钥丢失了，则放入该output中的资金将永远沉没。为了规避这一风险，P2MS在一个output中包含多个公钥（n个），而在对应的input中包含多个签名（m个），但是所需要的签名数少于公钥数（m

本文是Programming Bitcoin第8章Bare Multisig一节（143-148页）的读书笔记。 比特币的智能合约语言Script设定了多种标准交易方式，如Pay to PubKey (P2PK)，Pay to Pubkey Hash (P2PKH)，Pay to Multisig (P2MS)，Pay to Script Hash (P2SH)等等。本节讨论P2MS及其编程实现。为什么需要对多个签名的支付（Pay to Multiple Signatures）？其他标准脚本如P2PK，P2PKH，也可以实现在一笔交易中同时向多个公钥转入资金。那么P2MS的必要性又在哪里呢？诚然，对于更基本的P2PK，P2PKH等，一笔交易可以同时有多个inputs和outputs。但是每一个output只包含一个公钥，因而对应的input只包含一个签名。因此，当由于某个原因相应的私钥丢失了，则放入该output中的资金将永远沉没。为了规避这一风险，P2MS在一个output中包含多个公钥（n个），而在对应的input中包含多个签名（m个），但是所需要的签名数少于公钥数（m

在计算机网络的不同系统之间，或同一系统内部，数据传输的单位通常为byte。1个byte由8个bits组成， 为了方便常常显示为2个hexits。使用utf-8，我们可以把任意字符串编码为bytes。我们也需要办法把任意整数编码为bytes。使用modulo方法在前面的笔记中，我分析了bytes和256进制数之间的一一对应关系。我们由此可以把任意整数转化为bytes：def encode_num_by_modulo(num): result = bytearray() while num > 0: num, mod = divmod(num, 256) result.append(mod) return bytes(result) 例如，调用以上定义的函数，可把整数5738537157转化为little endian的bytes。>>> encode_num_by_modulo(5738537157) b'\xc5 \x0bV\x01' 使用比特位操作可以换一种角度实现上述过程。将任一整数转化为二进制数，并进行比特位操作。对二进制数按每8位截取成段，每段即为一个byte：def e...

在计算机网络的不同系统之间，或同一系统内部，数据传输的单位通常为byte。1个byte由8个bits组成， 为了方便常常显示为2个hexits。使用utf-8，我们可以把任意字符串编码为bytes。我们也需要办法把任意整数编码为bytes。使用modulo方法在前面的笔记中，我分析了bytes和256进制数之间的一一对应关系。我们由此可以把任意整数转化为bytes：def encode_num_by_modulo(num): result = bytearray() while num > 0: num, mod = divmod(num, 256) result.append(mod) return bytes(result) 例如，调用以上定义的函数，可把整数5738537157转化为little endian的bytes。>>> encode_num_by_modulo(5738537157) b'\xc5 \x0bV\x01' 使用比特位操作可以换一种角度实现上述过程。将任一整数转化为二进制数，并进行比特位操作。对二进制数按每8位截取成段，每段即为一个byte：def e...

前言无庸讳言，Shadowsocks是一款优异的穿墙利器。首先，作为开源项目，用户无需为其软件付费，只需要承担租赁虚拟主机的硬件成本。其次，该软件小巧灵活，布署简单，非常适合个人用户独立架设使用。也因此不用涉及虚拟主机之外的任何其他第三方的网络服务提供商，在数据安全方面更有保证。 现在网上常见的shadowsocks在Ubuntu上的部署教程大多基于shadowsocks-libev。问题在于，shadowsocks-libev已停止开发，仅仅处于维护状态，相关开发已移向shadowsocks-rust。正如在其github的README文件中说的：Bug-fix-only libev port of shadowsocks. Future development moved to shadowsocks-rust抵抗网络封锁是一场需要不断进行技术升级的猫鼠游戏。在近日的使用中，我发现shadowsocks-libev已越来越频繁地出现服务中断、需要重启的状况。是时候迁移到Shadowsocks的下一代port——Shadowsocks-rust了！ 但是网上适合用户难度的、反映...

前言无庸讳言，Shadowsocks是一款优异的穿墙利器。首先，作为开源项目，用户无需为其软件付费，只需要承担租赁虚拟主机的硬件成本。其次，该软件小巧灵活，布署简单，非常适合个人用户独立架设使用。也因此不用涉及虚拟主机之外的任何其他第三方的网络服务提供商，在数据安全方面更有保证。 现在网上常见的shadowsocks在Ubuntu上的部署教程大多基于shadowsocks-libev。问题在于，shadowsocks-libev已停止开发，仅仅处于维护状态，相关开发已移向shadowsocks-rust。正如在其github的README文件中说的：Bug-fix-only libev port of shadowsocks. Future development moved to shadowsocks-rust抵抗网络封锁是一场需要不断进行技术升级的猫鼠游戏。在近日的使用中，我发现shadowsocks-libev已越来越频繁地出现服务中断、需要重启的状况。是时候迁移到Shadowsocks的下一代port——Shadowsocks-rust了！ 但是网上适合用户难度的、反映...

受Programming Bitcoin第4章Base58小节的启发，特发明此起卦机🐶。前言昔夫邵子赏梅即占，创梅花易数。今等而效之，见字即见卦，随字而起卦，故曰梅花起卦机。易传曰：大衍之数五十，其用四十有九。文王六十四卦中的单卦恰有四十九个，合此大衍之数。因本起卦机仅将文字转化为六十四卦中的四十九个单字卦，故曰大衍梅花起卦机。 古有圣贤莱布尼茨氏，肇作二进制数学，又见伏羲八卦，乃异其同。由是终悟文字、数目之内通款曲。吾今感念先贤之伟大，乃颂曰：万物都在言语，言语都在文字，文字都在数字，数字都在卦序。嗟夫，微斯人，吾谁与归？！起卦机的原理使用utf-8编码，可将任意字符串转化为一系列的bytes。"大衍易".encode(encoding="utf-8") >>> b'\xe5\xa4\xa7\xe8\xa1\x8d\xe6\x98\x93' 任何一组bytes可看作是一个256进制的整数：\xe5\xa4\xa7\xe8\xa1\x8d\xe6\x98\x93 ＝ 229*256^8 + 164*256^7 + 167*256^6 + 232*256^5 + 161*256^...

受Programming Bitcoin第4章Base58小节的启发，特发明此起卦机🐶。前言昔夫邵子赏梅即占，创梅花易数。今等而效之，见字即见卦，随字而起卦，故曰梅花起卦机。易传曰：大衍之数五十，其用四十有九。文王六十四卦中的单卦恰有四十九个，合此大衍之数。因本起卦机仅将文字转化为六十四卦中的四十九个单字卦，故曰大衍梅花起卦机。 古有圣贤莱布尼茨氏，肇作二进制数学，又见伏羲八卦，乃异其同。由是终悟文字、数目之内通款曲。吾今感念先贤之伟大，乃颂曰：万物都在言语，言语都在文字，文字都在数字，数字都在卦序。嗟夫，微斯人，吾谁与归？！起卦机的原理使用utf-8编码，可将任意字符串转化为一系列的bytes。"大衍易".encode(encoding="utf-8") >>> b'\xe5\xa4\xa7\xe8\xa1\x8d\xe6\x98\x93' 任何一组bytes可看作是一个256进制的整数：\xe5\xa4\xa7\xe8\xa1\x8d\xe6\x98\x93 ＝ 229*256^8 + 164*256^7 + 167*256^6 + 232*256^5 + 161*256^...

我对 Programming Bitcoin 的第三章的后半部分——签名和验证——理解不够清楚。现结合书中这部分内容按照自己的理解来理一理逻辑线索。这个和书中所要传达的意思可能并不一致。所有错误归于我自己，与原书作者无关。签名与验证的基本原理定义所有权我们利用椭圆曲线来表达对某物的所有权关系。我们以椭圆曲线上的某个点P来代表某一物。可以理解P为打在某物上的不可撕毁和改变的标签。这个P被称为公钥，是每个人可见的。因为是二维平面上的曲线上的一个点，因此公钥P由横坐标和纵坐标的两个值构成。在椭圆曲线上，可以作为公钥的点必须满足一条性质，即其为曲线上一个特定的点G的倍数，即eG=P。G点是每个人都知道的，其坐标数值是公共知识。但是倍数e是私人知识。因为从P和G的数值推测出e的值是极为困难以至被认为是不可能的。这被称为“离散对数难题”（discrete log problem）。我们说知道e的值的人为P所代表的物的所有者。因为只有他能给出从G到P的确切的倍数，从而可以获得排他的所有权。e被称为私钥。验证所有权但是难点在于，e的所有者既要向人们证明他知道e，又不能向别人直接透露e,否则人人都...

我对 Programming Bitcoin 的第三章的后半部分——签名和验证——理解不够清楚。现结合书中这部分内容按照自己的理解来理一理逻辑线索。这个和书中所要传达的意思可能并不一致。所有错误归于我自己，与原书作者无关。签名与验证的基本原理定义所有权我们利用椭圆曲线来表达对某物的所有权关系。我们以椭圆曲线上的某个点P来代表某一物。可以理解P为打在某物上的不可撕毁和改变的标签。这个P被称为公钥，是每个人可见的。因为是二维平面上的曲线上的一个点，因此公钥P由横坐标和纵坐标的两个值构成。在椭圆曲线上，可以作为公钥的点必须满足一条性质，即其为曲线上一个特定的点G的倍数，即eG=P。G点是每个人都知道的，其坐标数值是公共知识。但是倍数e是私人知识。因为从P和G的数值推测出e的值是极为困难以至被认为是不可能的。这被称为“离散对数难题”（discrete log problem）。我们说知道e的值的人为P所代表的物的所有者。因为只有他能给出从G到P的确切的倍数，从而可以获得排他的所有权。e被称为私钥。验证所有权但是难点在于，e的所有者既要向人们证明他知道e，又不能向别人直接透露e,否则人人都...