【2021新书】算法体系:真值、编程、形式化，402页pdf，MIT出版社

算法——通常与大数据、机器学习或人工智能等术语联系在一起——是我们每天使用的技术的基础，关于新算法的实际或潜在后果的争议经常出现。在这本书中，Florian Jaton提供了一种研究计算机化方法的新方法，描述了算法的来源和构成，研究了逐步组装算法的实践活动，而不是一旦组装好算法可能提出的建议或要求。

Jaton对一个专门从事数字图像处理的计算机科学实验室进行了为期四年的人种学研究，阐明了算法发展背后的无形过程。在他所描述的一系列相互交织的行动过程中，分享了共同的最终结果，他描述了通过贴近现实、编程和规划的视角来创建算法的实践活动。他首先提出了建立基本真理，参考知识库，形成了算法的物质基础。在考虑了编程对人种学审查的抵制之后，他描述了他在实验室参加的编程过程。最后，他提供了一个行动方案，成功地阐明了数据库的数据之间的一些关系，揭示了ground-truthing、编程和形成活动之间的联系——导致算法形成的复杂过程。在实践中，ground-truthing、编程和规划形成了一个旋风式的过程，一个紧急的、交织在一起的体系。

https://mitpress.mit.edu/books/constitution-algorithms