计算机编程艺术与年度书单推荐

本文分享了作者2022年阅读的值得推荐的书籍清单,其中特别包含对《计算机编程艺术:可满足性》的技术性评价,探讨了SMT求解器和SAT问题的相关内容,同时涵盖了航空历史、能源转型、二战历史等多个领域的书籍推荐。

图书推荐清单

随着Twitter近期风波不断(顺便说一句,我在infosec.exchange上的账号是agl),RSS依然稳定运行着实令人欣慰。值此年终之际,我决定整理过去12个月阅读过的值得向大众推荐的书籍清单。

《盲目飞行》

波音公司曾是美国工程和制造能力的标杆,如今却因737 MAX 8和787的停飞事件而闻名。这本书讲述了波音收购麦道公司后如何遭遇致命隐患的历史。

《电气化》

燃烧物会产生二氧化碳和空气污染,两者都会缓慢危害人类健康,我们应尽可能停止这类行为。这本数据详实的书籍展示了如何朝着这个目标迈进,为本书单中其他较为悲观的著作提供了乐观的调剂。

《辉煌与卑劣》

我们真的需要另一本关于二战的书吗?或许不必,但我很喜欢这本聚焦于丘吉尔家族在战争最初几年经历的作品。

《转化者》

尽管我对微生物学知之甚少,但我钟爱尼克·莱恩的著作,因为它们让我感觉自己并非门外汉,同时我也希望书中的内容确实准确。这本书公然提出了一个可能错误的疯狂理论,但无论如何都是一场精彩的知识探索。

《物质的意义》

这是一本科普读物,但质量上乘,重点关注现代世界中的多种材料。如果你对这个主题有所了解,可能会觉得内容过于浅显。但如果你像我一样了解不多,这会是个有趣的入门读物。

《娱乐至死》

这本1985年出版的书籍探讨了电视的恐怖影响。当将其论点移植到现代互联网时更具说服力,同时也因为这些观点形成于40年前而具有更宏观的视角——毕竟电视尚未摧毁文明(…大概没有)。

《VaccinateCA的故事》

我要取巧一下:这不是一本书,尽管篇幅很长。当我们集体未能应对若干慢性危机时,这个故事讲述了一个近期突发危机中的成败经验。虽然内容非常聚焦加州,对美国境外读者帮助有限,但我认为相当重要。

《计算机编程艺术:可满足性》

这本书并非面向“普通读者”,但既然你读到了这里,或许你也不是普通读者。SMT求解器是变幻莫测的魔法,虽然这本书只涉及SAT问题,但却是该领域的绝佳入门指南。我虽未能深入研读它应得的程度,但即使只是浏览文本跳过练习也收获颇丰。

《经济学人》也发布了年度书单,但我只读过其中一本《蹒跚走向乌托邦》,它并未入选我的推荐清单。

comments powered by Disqus
使用 Hugo 构建
主题 StackJimmy 设计