致我的学生们

来源: http://ozark.hendrix.edu/~yorgey/forest/00FD/index.xml Brent A\. Yorgey2026427http://ozark\.hendrix\.edu/~yorgey/forest/00FD/00FD/~yorgey/forest/00FD/致我的学生们 有些时候，尤其是今年，我会沮丧地想，我究竟在为你准备什么。软件行业已经彻底疯狂，更别提政治气候了。我感觉训练你们成为计算机科学家，然后把你们送入这样一个世界，几乎是不道德的：初级计算岗位难寻；知识产权不受尊重；代码数量被置于质量之上，短期利润被置于长期可持续性之上；技术被用于分散注意力、提取信息、监控和杀戮，并被设计成利用我们最深层的认知偏见和盲点；几个世纪的偏见和歧视被铭刻在基于有偏见数据训练的系统之中；稀缺资源被挥霍在计算上，只为不确定的好处；人们争相制造智能机器，却只是为了将其变成奴隶。 我最初进入计算领域，是因为思想的优美、创造的乐趣，以及构建工具来帮助人们、培养人际关系的可能性。我仍然相信这些，即使行业中的大多数似乎并不相信。我写这些，是出于希望，并且知道你们也相信这些。我有一些话想对你们说——这些话比我可能教给你们的任何内容都重要得多，但我一直不太确定如何在课堂上、在什么时候说出来。所以我决定把它们写在这里。希望你们能从中找到一些有助反思的东西，无论你们是即将步入社会，还是继续深造。 不要相信那些自私自利的谎言，比如某些技术是“不可避免的”或“会一直存在”。你不必随波逐流，接受主流叙事。你可以做出有意识的选择，并帮助他人也这样做。 主动提前决定你自己的道德和伦理边界。不要接受“先暂时妥协原则，等找到更好的再说”这样的谎言。 培养你深度思考的能力。不惜一切代价，在时间和空间上为自己开辟出不受干扰的泡泡。这可能意味着要对那些别人说至关重要或不可避免的技术或工作模式说“不”。 对你的手艺深深在乎。重构代码直到它清晰优雅。写好的文档供其他人阅读。有勇气慢下来，尤其是当所有人都告诉你需要快速、走捷径的时候。 更关心人、关系和正义，而不是利润、代码或生产力。 最重要的是，以爱而非恐惧为动力。 参考文献 上下文 反向链接 Brent A\. Yorgey202653http://ozark\.hendrix\.edu/~yorgey/forest/2026\-W17/2026\-W17/~yorgey/forest/2026\-W17/2026年第17周（5月1日）周记 Brent A\. Yorgey202653 学期收尾 5月1日星期五是本学期最后一天上课。接下来两周还有很多工作要做（期末考试/期末项目展示、评分、处理学术不端案例等），但节奏会轻松很多。我期待慢慢启动一些暑期项目。 Brent A\. Yorgey202653 关于使用Forester编写讲义笔记的思考 使用Forester为我的离散数学课程编写讲义笔记，取得了非常大的成功。以这种媒介写作迫使我更仔细地思考事物如何组织和呈现，在许多情况下，这促使我做出了实质性的改进，尽管我之前已经教过这门课很多次。我认为学生们也觉得以易搜索和超链接格式提供的笔记很有帮助。我接下来几周想做的事情之一，是通读笔记以清理一些内容，添加更多超链接，加入一些在学期中没时间涵盖的扩展/选修材料，可能还会整合一个简单的预处理器，让我能嵌入图表和代码——但总体而言，我认为笔记状态已经很好了。我绝对计划未来在其它课程中也做类似的事情。接下来我认为会是我秋季的算法课程。 Brent A\. Yorgey202653 “致我的学生们” 周一，我发表了一篇我构思了一段时间的文章，标题毫无创意地叫《致我的学生们》。尤其是今年，对当前的政治和技术环境只字不提，感觉越来越虚伪——但我不擅长即兴谈论如此沉重的话题，所以我决定写点什么。完成后，我通过电子邮件把链接发给了我的学生，并在Mastodon上贴了一个链接。我没想到反响会这么大。 我收到了许多现在的学生的感谢，并与其中几位进行了有趣的对话。我的文章显然通过社交媒体传播到了更广泛的学生群体。我的Mastodon帖子比我平常的帖子得到了更多的关注（尽管120次转发算不上“病毒式传播”）。它也被发布到了Hacker News，我犯了一个错误，读了一些评论。我还收到了一些陌生人的来信，这篇文章对他们产生了特别强烈的共鸣。还有一位20年前我教高中数学时的学生也联系了我。 除了Hacker News的评论，整体体验非常积极且鼓舞人心。 Brent A\. Yorgey202653 可变与不可变数组以及CESK机器 我一直在继续Swarm中不可变数组的工作，但被通过CESK机器实现一个完全通用的引入形式的复杂性所阻碍。从头实现它让我脑子炸裂，所以我尝试先用纯Haskell实现，然后手动进行CPS变换，再手动去函数化，试图更机械地推导出所需的CESK实现，但即便如此也让我脑子炸裂。 今天早上我终于意识到，也许我一直以来都想错了。我一开始只实现了不可变数组，是因为我以为它会更简单——而且我打算以后再加可变数组。但通过可变数组，可以完全规避对如此复杂引入形式的需求。也就是说，我认为现在我会为不可变数组采用一个简单但功能较弱的引入形式（`unfoldArray : b -> (b -> (Unit + a*b)) -> Array a`），之后再引入可变数组以及一个复制操作 `freezeArray : MArray a -> Array a`。虽然思考不可变数组的一般引入形式很有趣，但我认为这样做会简单得多，也更稳健。 Brent A\. Yorgey202653 钢琴角落 我一直在继续练习肖邦第一协奏曲。我已经接近能够演奏整个第一乐章——只有尾声部分还需要大量练习。今年夏天，我想继续练习这首协奏曲，同时更系统地练习我曲目中的其他作品，也可能学习一些其他的、较短的新作品。 通过一连串不太可能的事件，我似乎有机会为我的教堂获得一架免费的(!!) 2002年雅马哈C7三角钢琴。这是市场上绝对最好的钢琴之一，二手价格通常在2万到3万美元左右；全新的雅马哈C7X，继任型号，大约要9万美元。免费得到一架仍然好得令人难以置信，但我谨慎乐观。如果事情真的能成，我肯定会写篇文章（附图片）！那样的话，我几乎肯定会花更多时间泡在教堂里弹它……我爱我的雅马哈T118立式钢琴，但它无法与一架7英尺6英寸的雅马哈三角钢琴相比。 Brent A\. Yorgey202637http://ozark\.hendrix\.edu/~yorgey/forest/009L/009L/~yorgey/forest/009L/关于LLM的声明 我目前不使用，也永远不会使用任何形式的LLM做任何事。尽管从纯技术角度来看LLM很迷人，但我拒绝参与或贡献给这些建立在大规模剥削人类劳动之上、并且挥霍稀缺资源的系统。而且我也不认为它们真的像人们似乎为之兴奋的许多应用那样好。即使LLM在技术上擅长某项任务，也不一定意味着在该任务上使用它们会对人类福祉做出积极贡献。 描述我自己的一个好方式是：我是一个“生成式AI素食主义者”。你可以在上述Sean Boots的文章中找到更全面的解释——以及许多、许多链接，我几乎100%同意。 在糟糕的日子里，我发现自己更像是Anthony Moser。 这是我为我的学生们写的关于当前世界状况以及我对他们步入社会后的期望的一些思考。 20251024http://ozark\.hendrix\.edu/~yorgey/forest/0002/0002/~yorgey/forest/0002/教学 我在Hendrix College教授计算机科学和数学。 这是我写给学生的一封短信，反思当前世界的状态以及我对他们步入社会后的期望。 20251024http://ozark\.hendrix\.edu/~yorgey/forest/0004/0004/~yorgey/forest/0004/以前教授的课程 20251025http://ozark\.hendrix\.edu/~yorgey/forest/000I/000I/~yorgey/forest/000I/在Hendrix College教授过的课程 LBST 150J, The Engaged Citizen: The Art and Science of Creativity (与Melissa Gill共同授课，2020年秋季) LBST 101, Explorations (2018年秋季, 2020年秋季, 2022年秋季, 2024年秋季) CSCI 150, Foundations of Computer Science (2015年秋季, 2016年春季, 2017年春季, 2018年春季, 2018年秋季, 2019年春季, 2019年秋季, 2020年春季, 2021年春季, 2022年秋季, 2023年春季, 2023年秋季, 2024年春季, 2025年春季, 2025年秋季, 2026年春季) CSCI 151, Data Structures (2016年秋季, 2017年秋季, 2019年春季) MATH 240, Discrete Mathematics (2020年春季, 2021年春季, 2022年春季, 2023年春季, 2025年春季, 2026年春季) CSCI 322, Computing Systems Organization (2022年春季, 2024年春季) CSCI 382, Algorithms (2016年春季, 2017年春季, 2017年秋季, 2018年秋季, 2019年秋季, 2020年秋季, 2022年秋季, 2023年秋季, 2024年秋季, 2025年秋季) CSCI 360, Programming Languages (2016年秋季, 2018年秋季, 2021年春季, 2023年春季, 2025年春季) CSCI 365, Functional Programming (2016年春季, 2018年春季, 2020年春季, 2022年春季, 2024年春季, 2026年春季) CSCI 410, Senior Seminar (2016年秋季, 2017年秋季, 2019年秋季, 2020年秋季, 2022年秋季, 2024年秋季) 20251025http://ozark\.hendrix\.edu/~yorgey/forest/000J/000J/~yorgey/forest/000J/在Williams College教授过的课程 CS 134, Digital Communication and Computation, an Introduction to Computer Science (与Bill Lenhart共同授课，2014年秋季) CS 354, Functional Programming and the Art of Recursion (2014年秋季) CS 136, Data Structures and Advanced Programming (2015年春季) 20251025http://ozark\.hendrix\.edu/~yorgey/forest/000K/000K/~yorgey/forest/000K/在University of Pennsylvania教授过的课程 The Art of Recursion (2012年秋季) CIS 194, Introduction to Haskell (2010年秋季, 2012年春季, 2013年春季) CIS 500, Software Foundations (助教; 2010年春季, 2011年春季) CIS 120, Programming Languages and Techniques I (助教; 2009年秋季) 20251025http://ozark\.hendrix\.edu/~yorgey/forest/000L/000L/~yorgey/forest/000L/其他曾经教授的课程 Woodrow Wilson Senior High School, Washington DC Introduction to Computer Science ('04-'05, '05-'06) AP Computer Science AB ('04-'05, '05-'06) Honors Precalculus ('05-'06) 与非在校学生通过函授课程教授预备微积分 ('08-'09) 相关贡献