搬砖也用心 的收藏 https://www.douban.com/people/Ehngo/ zh-cn © 2013, douban.com. Sat, 09 May 2026 13:40:37 GMT 最近在读计算的本质 https://book.douban.com/subject/26148763/ 计算的本质

推荐: 推荐

标签: programming 计算理论 计算机科学-语言与编译器

]]> 搬砖也用心 Sat, 09 May 2026 13:40:37 GMT https://www.douban.com/people/Ehngo/interests/1045709784 想读形式语言与自动机导论 https://book.douban.com/subject/1435126/ 形式语言与自动机导论 ]]> 搬砖也用心 Thu, 07 May 2026 14:28:44 GMT https://www.douban.com/people/Ehngo/interests/4836789181 想读TypeScript编程 https://book.douban.com/subject/35134660/ TypeScript编程 ]]> 搬砖也用心 Thu, 07 May 2026 14:16:22 GMT https://www.douban.com/people/Ehngo/interests/4836775643 想读数学与泛型编程 https://book.douban.com/subject/27116151/ 数学与泛型编程 ]]> 搬砖也用心 Thu, 07 May 2026 14:14:08 GMT https://www.douban.com/people/Ehngo/interests/4836773371 最近在读天才与算法 https://book.douban.com/subject/35014869/ 天才与算法

推荐: 还行

备注: Homotopy Type Theory: Univalent Foundations of Mathematics

]]> 搬砖也用心 Thu, 07 May 2026 13:56:26 GMT https://www.douban.com/people/Ehngo/interests/4836756159 最近在读OCaml语言编程基础教程 https://book.douban.com/subject/30330930/ OCaml语言编程基础教程 ]]> 搬砖也用心 Fri, 01 May 2026 00:11:51 GMT https://www.douban.com/people/Ehngo/interests/4831233129 想读C程序设计语言 (原书第2版) https://book.douban.com/subject/33400767/ C程序设计语言 (原书第2版) ]]> 搬砖也用心 Fri, 01 May 2026 00:09:24 GMT https://www.douban.com/people/Ehngo/interests/4831232485 最近在读父与子的编程之旅 https://book.douban.com/subject/26005639/ 父与子的编程之旅

推荐: 还行

]]> 搬砖也用心 Fri, 01 May 2026 00:07:09 GMT https://www.douban.com/people/Ehngo/interests/4831231847 想读数理逻辑 https://book.douban.com/subject/2364517/ 数理逻辑 ]]> 搬砖也用心 Fri, 24 Apr 2026 14:54:35 GMT https://www.douban.com/people/Ehngo/interests/4826487521 想读李未院士文集 https://book.douban.com/subject/1070084/ 李未院士文集 ]]> 搬砖也用心 Fri, 24 Apr 2026 14:53:31 GMT https://www.douban.com/people/Ehngo/interests/4826486438