吐槽大会｜没必要劝退
吐槽大会｜没必要劝退
随便吧 大环境真的糟透了 还没几个人冲呢就到处说冲失败的后果了 考虑那么多 真的有退路吗😅
看到国外鼓励女生学stem 真的慕了
还不是因为你们往死里劝人学计算机，一个劲劝女生学工科。既然你们往死里夸计算机，作为亲历者，我就把它本来的样子揭给你们看看呗。 怎么，看到真实的样子受不了了？你们对计算机的爱有点叶公好龙啊。现在开始让我不要说了？我已经学这玩意学疯了，还不许我告诉别人学这玩意会学疯？别以为适合不重要，活着和只是活着，别看只差两个字，这中间的差别可大了去了。人是有灵魂有思想的动物，你要承认。别看你现在这么说，等你真遭遇的时候，你哭得绝对很响。无非是看别人进火坑，火烧不到自己身上不心疼。 我发帖是要人不要跳火坑，你发帖是继续忽悠人跳火坑。大学给人 上的第一课就是认清你自己，与其跑到大学哭着喊着学会这个道理，你为什么要他们进了大学再生不如死的学会这个？
回复 momo：
还不是因为你们往死里劝人学计算机，一个劲劝女生学工科。既然你们往死里夸计算机，作为亲历者，我就把它本来的样子揭给你们看看呗。 怎么，看到真实的样子受不了了？你们对计算机的爱有点叶公好龙啊。现在开始让我不要说了？我已经学这玩意学疯了，还不许我告诉别人学这玩意会学疯？别以为适合不重要，活着和只是活着，别看只差两个字，这中间的差别可大了去了。人是有灵魂有思想的动物，你要承认。别看你现在这么说，等你真遭遇的时候，你哭得绝对很响。无非是看别人进火坑，火烧不到自己身上不心疼。 我发帖是要人不要跳火坑，你发帖是继续忽悠人跳火坑。大学给人上的第一课就是认清你自己，与其跑到大学哭着喊着学会这个道理，你为什么要他们进了大学再生不如死的学会这个？
呃其实女生很适合学计算机的，可能只是你没天赋而已。最初的程序员大都是女的，国内推广C++的那位也是女的，计算机是最简单的东西，不需要数学只用一点细心和逻辑
回复 小鸡修复站：
呃其实女生很适合学计算机的，可能只是你没天赋而已。最初的程序员大都是女的，国内推广C++的那位也是女的，计算机是最简单的东西，不需要数学只用一点细心和逻辑
"最初的程序员基本都是女的"，这个据我所知基本上是谣言。另外关于数学，先不说特定领域的算法本身可能需要数学，就算是写普通的程序，也得知道一些程序语义的知识，能非形式化地把程序正确性证明出来吧，不然全靠测试？
回复 Fisherchenxi：
"最初的程序员基本都是女的"，这个据我所知基本上是谣言。另外关于数学，先不说特定领域的算法本身可能需要数学，就算是写普通的程序，也得知道一些程序语义的知识，能非形式化地把程序正确性证明出来吧，不然全靠测试？
最初的程序员不是Ada Lovelace吗......怎么是谣言了......
回复 披萨堡大白菜：
最初的程序员不是Ada Lovelace吗......怎么是谣言了......
我猜你应该不知道 Ada Lovelace 到底做了什么工作吧。Mathematica 的创造者 Wolfram 写过一篇内容非常翔实丰富的博客，Untangling the Tale of Ada Lovelace（https://writings.stephenwolfram.com/2015/12/untangling-the-tale-of-ada-lovelace/），可以先看看这篇文章了解一下。 至于 Ada 是不是「最初的程序员」，我觉得这仍然是一个比较有争议的话题。我们的算盘也是图灵完备的（严格证明过，不过需要无限的算珠和槽），但没有人会将发明算盘上加法算法的人叫做「第一个程序员」。无论你对这个问题持什么态度，都不得不承认 Ada 工作的「计算机」-- Analytical Engine / Difference Engine 与现代的计算机差距仍然是很大的。 而且，我回复的那句话是「最初的程序员基本都是女的」，这显然指的不是 Ada 一个人，而是早期的程序员--在 1940 年代左右出现的、真正的现在意义上的「程序员」。这些人的工作模式和现在还是有很大的不同，但是当时的计算机和现在的计算机，已经共有了同样的基本结构（就是所谓的冯诺伊曼结构）。我专门写过一篇博客（https://ayayaya.cc/2022/05/21/edsac/）介绍英国的 EDSAC（1949年投入使用），其中引用了一个 1951 年录制的视频，你可以看看这个视频中有多少男性、多少女性。
回复 Fisherchenxi：
我猜你应该不知道 Ada Lovelace 到底做了什么工作吧。Mathematica 的创造者 Wolfram 写过一篇内容非常翔实丰富的博客，Untangling the Tale of Ada Lovelace（https://writings.stephenwolfram.com/2015/12/untangling-the-tale-of-ada-lovelace/），可以先看看这篇文章了解一下。 至于 Ada 是不是「最初的程序员」，我觉得这仍然是一个比较有争议的话题。我们的算盘也是图灵完备的（严格证明过，不过需要无限的算珠和槽），但没有人会将发明算盘上加法算法的人叫做「第一个程序员」。无论你对这个问题持什么态度，都不得不承认 Ada 工作的「计算机」-- Analytical Engine / Difference Engine 与现代的计算机差距仍然是很大的。 而且，我回复的那句话是「最初的程序员基本都是女的」，这显然指的不是 Ada 一个人，而是早期的程序员--在 1940 年代左右出现 的、真正的现在意义上的「程序员」。这些人的工作模式和现在还是有很大的不同，但是当时的计算机和现在的计算机，已经共有了同样的基本结构（就是所谓的冯诺伊曼结构）。我专门写过一篇博客（https://ayayaya.cc/2022/05/21/edsac/）介绍英国的 EDSAC（1949年投入使用），其中引用了一个 1951 年录制的视频，你可以看看这个视频中有多少男性、多少女性。
差距大难道就不是一种革新吗？对女性的标准为什么要因为和现今的差距大就可以纳为存疑，蛮有趣的。另，你提的视频只是佐证之一吧，二战期间也不乏女性程序员吧，一个来自英国的视频在代表什么呢，那我也可以举例PBC有关二战女程序员的纪录片佐证早期妇女曾是程序员主力军吧？
回复 披萨堡大白菜：
差距大难道就不是一种革新吗？对女性的标准为什么要因为和现今的差距大就可以纳为存疑，蛮有趣的。另，你提的视频只是佐证之一吧，二战期间也不乏女性程序员吧，一个来自英国的视频在代表什么呢，那我也可以举例PBC有关二战女程序员的纪录片佐证早期妇女曾是程序员主力军吧？
我觉得这个问 题还是取决于你对于"程序员"的定义是什么，如果只是"设计并使用算法的人"，那人类在非常非常早的时候就有了"程序员"。如果一定要是使用某种机器的人，那中国古代在算盘上设计算法的数学家也毫无疑问是"程序员"。如果再给这种机器加上"自动，不依赖人力"的限制，那我觉得确实可以把 Ada 看作"第一个程序员"。不过我要提醒的是，Analytical Engine 从未被制造出来过，Ada 的主要工作也并没有在机器上实现。
而且，我对这个问题的态度是，"这并不是一个问题"。回到计算机科学的起源--逻辑学上来，我们从未听说过有人在严肃地讨论"第一个数理逻辑学家是谁"。Leibniz、Boole、Frege......他们的工作一点点地构成了现代逻辑学的基础，到了上世纪 30 年代，我们最终建立了现代的逻辑学符号系统和一些基本的研究范式。讨论"谁是第一个......"是没什么意义的。
至于你说的 BBC 纪录片，欢迎你把链接给出来，我有空看看。不过重要的是，我们要真正理解她们工作的机器是如何运行的，她们到底在干什么......如果只是一个"二战女程序员的纪录片"，而没有对应的原始资料，我觉得这是非常 weak 的佐证。
回复 Fisherchenxi：
"最初的程序员基本都是女的"，这个据我所知基本上是 谣言。另外关于数学，先不说特定领域的算法本身可能需要数学，就算是写普通的程序，也得知道一些程序语义的知识，能非形式化地把程序正确性证明出来吧，不然全靠测试？
啊？语序语义靠现查就行，正确性为什么需要证明啊，编程真的简单，基本上不需要什么数学，现在很多小学生就能学，还有那么多封装好的库，培训三个月就能上岗，程序员也是靠github吃饭的，我一高中没读的表妹就上了个两个月的培训班，现在工资比我还高
回复 Fisherchenxi：
"最初的程序员基本都是女的"，这个据我所知基本上是谣言。另外关于数学，先不说特定领域的算法本身可能需要数学，就算是写普通的程序，也得知道一些程序语义的知识，能非形式化地把程序正确性证明出来吧，不然全靠测试？
主要就是一个麻烦和需要细心，只是现在工资高所以被男的占满了，可是按某些刻板印象这不正是适合女性的吗，不用数学和任何理科，需要非常多细心耐心，不需要任何体力
回复 小鸡修复站：
啊？语序语义靠现查就行，正确性为什么需要证明啊，编程真的简单，基本上不需要什么数学，现在很多小学生就能学，还有那么多封装好的库，培训三个月就能上岗，程序员也是靠github吃饭的，我一高中没读的表妹就上了个两个月的培训班，现在工资比我还高
我相信写过 100 行以上程序的人，都知道要保证程序的正确性是一件多么困难的事情。有些东西可以靠现查，有些东西 ChatGPT 也是告诉不了你的。先不说 functional / formal verification 的那些东西（有点太欺负人了），在 Java 代码里，一个保证正确性的办法就是使用 assertion. 如果你不知道程序的某一部分该满足的是什么性质（命题），又如何插入 assertion 呢？如果你不知道程序的这一部分的输入输出会满足什么命题，你如何把它「安全」地插入到一个更大的程序中去呢？ 真正写过代码的人，对这些问题会有一些正确的直觉。但这些直觉需要经年累月的训练，不是三个月就能速成的。 下面是 ChatGPT 的评价： https://shareg.pt/xmd6cBs
回复 小鸡修复站：
主要就是一个麻烦和需要细心，只是现在工资高所以被男的占满了，可是按某些刻板印象这不正是适合女性的吗，不用数学和任何理科，需要非常多细心耐心，不需要任何体力
「麻烦和需要细心」这个是没错的，但问题是，我们需要用各种手段来让麻烦的事情变得不麻烦。很多时候，一种程序需要 10 行，另一种程序（在不对性能产生影响的前提下）需要 100 行。写出 10 行程序的能力，不是那么容易获得的。（当然这些能力是可以训练的、也和性别是没关系）