Posit 浮点数格式:IEEE 754 的绝妙替代
3328 words ~7 mins

IEEE 754 [2019] 是用位数有限的计算机数据格式表示范围无限的实数的通用标准,它定义了:

  • 算术格式:二进制和十进制浮点数据集,包括有限数(包括有符号的零和次正态数)、无限数和特殊的 “非数字 “值(NaN)。
  • 交换格式:编码(比特字符串),可用于以有效和紧凑的形式交换浮点数据。
  • 舍入规则:在算术和转换过程中对数字进行舍入时需要满足的属性。
  • 算术操作:算术格式的算术和其他操作(如三角函数)。
  • 异常处理:特殊情况时的行为(如除以零、溢出等)。

自1985年 IEEE 754 标准发布以来,它已经是计算机中表示实数的标准格式,被各种软硬件厂商广泛使用。但是,IEEE 754 标准的定义的浮点数有许多令人不满的地方,这里介绍John Leroy Gustafson博士提出的 posit 格式。

一个hello-world程序是如何被clang/llvm编译的
2703 words ~6 mins

这篇文章是我学习clang/llvm的一个总结。

clang的架构

编译原理课程上会讲,一个编译器大致分为分为词法分析、语法分析、语义分析、中间代码生成、目标代码生成这些阶段,其中贯穿了错误处理和符号表处理。

给未来几何和拓扑学家的阅读建议
9140 words ~19 mins

“你们的事业的成长,应该像一棵树的成长一样,应该是顺其自然、无间断和全面的。我希望你们的根能够在这个学院的肥沃土地下面尽量深入,以使你们的树干长得既粗且壮。这样,将来无论树叶多么茂盛丰满,也永不会有水分供应不暇的毛病。在上空将不时会有狂风大雨,也会有行雷闪电。所以切勿长得太快太高1。”

读《我的几何人生:丘成桐自传》其二
52 words ~1 min

看别人学数学、做数学,犹如看别人谈恋爱、做爱,远远比不上自己去做来得快乐。真正的快乐发生在创造的过程中。

读《我的几何人生:丘成桐自传》
627 words ~2 mins

我一直以为丘成桐是“学阀”式的标准刻板印象人物。

是什么时候形成这种印象呢?大概是看到Brian Green在the elegant universe这本书里写到他打电话向丘请教某个关于弦论的猜想,被丘断然否定,结果Green和合作者却证明了这个猜想。