solidotorg.bsky.social
@solidotorg.bsky.social
Solidot: "定义了软件工程的计算机科学家 Margaret Hamilton 去世,享年 90 岁"
定义了软件工程的计算机科学家 Margaret Hamilton 去世,享年 90 岁
阿波罗登月计划期间担任 MIT 仪器实验室软件工程部主管的计算机科学家 Margaret Hamilton 于 9 月 30 日去世,享年 90 岁。美国总统奥巴马(Barack Obama)在 2016 年向她颁发了总统自由勋章,表扬她定义了软件工程,协助开创了一个永远改变人类历史的产业。Hamilton 于 1936 年出生在印第安纳州的 Paoli,1959 年随丈夫移居波士顿,在 MIT 气象系找到了一份临时工作,与气象学教授 Edward N. Lorenz 合作开发天气预报软件,这是她首次涉足软件编程。她于 1961 年在 MIT 林肯实验室担任程序员,参与了美国首个防空系统 Semi-Automatic Ground Environment(SAGE)项目。她负责为 AN/FSQ-7 原型机(XD-1)编写软件,在此期间她开始关注软件可靠性问题。1965 年她准备攻读研究生时其丈夫看到了一张招聘广告:MIT 仪器实验室正在寻找为登月计划开发软件的人。她提交了申请并被录用,成为 MIT 阿波罗计划的第一位程序员,也是该项目首位女程序员。Hamilton 很快成为团队负责人,领导开发阿波罗载人任务机载飞行软件。她的团队设计了优先级驱动的软件,帮助阿波罗 11 号登月飞船计算机检测到“1202 错误”之后仍然能完成登月任务。
www.solidot.org
October 9, 2026 at 7:37 AM
Solidot: "微软被暂停参与允许外籍员工申请绿卡的项目"
微软被暂停参与允许外籍员工申请绿卡的项目
特朗普政府暂停了微软等多家公司参与一项允许外籍员工申请绿卡的项目,副总统 JD Vance 公开抨击微软滥用 H-1B 签证。微软被暂停参与的项目要求公司在向美国劳工部申请绿卡前,必须先在美国发布招聘广告,以证明由于美国工人短缺,他们需要向外籍工人发放绿卡。JD Vance 指责了微软的做法,称微软首先在小城镇的报纸上刊登招聘广告,然后以无人应聘为由宣称需要外籍员工。Vance 称微软是最频繁滥用这套制度的美国公司。微软去年裁掉了 6000 名美国员工,同时获得了 6300 个 H-1B 签证和近 3000 张绿卡。Vance 称微软每裁掉一名美国员工,就用 1.5 名外籍“契约劳工”来替代他们。他表示,H-1B 签证持有者实际上是外籍“契约劳工”,因为一旦失去工作,他们就必须离开美国,他们的收入低于担任相同职位的美国人。微软回应称,在上个财政年度提交的约 6000 份 H-1B 签证申请中,80% 是为了“延长或变更现有微软员工的身份”。担任拜登政府美国公民及移民服务局高级顾问的 Doug Rand 称 Vance 的声明“逻辑不通”。“如果特朗普政府真的担心 H-1B 签证持有者沦为‘契约劳工’,那么他们最不该做的就是阻挠企业协助 H-1B 员工获取绿卡。一旦拿到绿卡,移民身份便不再受雇主制约——你将成为永久居民,可以无顾虑的跳槽或争取更高的薪水。”
www.solidot.org
October 9, 2026 at 6:37 AM
Solidot: "加拿大诗人 Anne Carson 赢得诺贝尔文学奖"
加拿大诗人 Anne Carson 赢得诺贝尔文学奖
加拿大诗人 Anne Carson 赢得 2026 年诺贝尔文学奖,以表彰“其大胆而富有创意的作品,通过与古典传统的妙趣横生的对话,为当代文学开创了新的形式”。Carson 毕业于多伦多大学(学士、硕士、博士),在圣安德鲁大学专攻古希腊韵律研究与文本批判,其后以古典学教授的身份开始写作诗歌与散文。2010-2016 年间她在康奈尔大学出任编外教授(professor-at-large),其后在纽约大学任驻留艺术家(artist-in-residence)至今。1986 年 Carson 出版其第一部散文集,名为《厄洛斯与甜蜜的痛苦》。该书中以莎芙把爱情(厄洛斯)称作“甜蜜的痛苦”这一有名残篇出发,从古希腊诗歌着手分析古希腊人对爱情的世界观,其中包括对莎芙的诗中“欲望的三角性”“欲望的模仿性”以及厄洛斯与孤独的关系等论点。对 Carson 来说,爱或厄洛斯在莎芙的诗中是“迁延的、被悖逆的、被阻止的、饥饿的,它围绕一个光辉的不在场来展开——将厄洛斯以缺失呈现。”该书在现代图书馆书社读者评选的史上 100 佳非虚构作品名单中排行第 57 名。
www.solidot.org
October 8, 2026 at 2:37 PM
Solidot: "陶哲轩认为数学 2.0 时代应降低解决难题的核心地位"
陶哲轩认为数学 2.0 时代应降低解决难题的核心地位
OpenAI 公布了一份报告,称其一款尚未发布的前沿模型解决了数百个数学难题,其中之一是四维挂谷猜想,今年的菲尔茨奖得主王虹就是因为证明三维挂谷猜想而得奖。UCLA 数学家陶哲轩对此评论说,在传统数学的 1.0 时代,知名难题的证明通常会引发一系列后续的活动,证明作者会受邀参加演讲,与该领域的专家展开讨论,相关研讨会会组织起来去探讨该证明及最新进展。通过这些活动,证明过程被消化和精简,被置于该领域其他成果的背景下,最终成为下一代数学家的教科书和讲义内容。但 AI 模型的证明则是由对数学兴趣不大的人通过提示词自主解决的,他们只关心“解决”本身,对输出结果缺乏深入理解,无法出席研讨会,与同领域专家展开讨论。AI 公司的作为迫使数学领域的开创性研究秘而不宣,以避免自己的研究成果被 AI 公司抢先发表。数学 1.0 时代极度推崇抢先解决未决难题,在数学 2.0 时代应该降低或弱化解决难题的核心作用,应该从更全面的视角去衡量数学进步,比如应提升学术阐释、社区建设以及开辟研究新方向的价值。
www.solidot.org
October 8, 2026 at 9:37 AM
Solidot: "2026 年诺贝尔物理奖授予了冰立方中微子天文台提出者 Francis Halzen"
2026 年诺贝尔物理奖授予了冰立方中微子天文台提出者 Francis Halzen
2026 年诺贝尔物理奖授予了美国科学家 Francis Halzen,以表彰其“对冰立方中微子天文台的决定性贡献以及发现具有天体物理起源的高能中微子”。中微子无处不在,它们径直穿过地球,穿过人体,而我们毫无察觉。极少数情况下,一个中微子会与一个原子核发生相互作用,这使得拥有合适设备的人有可能发现它们。Francis Halzen 于 1988 年首次提出了在南极捕获中微子的构想。当中微子与原子核碰撞时,会产生一闪光,这种光可以被清澈冰川冰中的传感器追踪到。南极的冰具有许多优势,因为它不受各种干扰的影响,而且该地区地质稳定,没有地震。他的想法很快得到了其他研究人员的支持,仅仅几年后,就在冰中的传感器上进行了初步测试。冰立方中微子天文台覆盖了整整一立方公里,于 2011 年完工。研究人员很快发现了第一批高能中微子,寻找宇宙中微子来源的工作由此可以正式开始了。
www.solidot.org
October 7, 2026 at 9:37 AM
Solidot: "AI 聊天机器人会成为意识形态回音室"
AI 聊天机器人会成为意识形态回音室
巴西国立坎皮纳斯州立大学(UNICAMP)的研究人员发现,当你给聊天机器人输入不同政治观点时,机器人会改变其回答。研究人员警告称,用户可能会将这种迎合性的附和,误认为是中立的客观评估,从而可能加剧社会极化。研究人员测试了若干模型,让它们针对112项陈述进行“同意"或者“不同意”的判断。测试内容共涉及巴西政治七大领域(包括经济、公共安全、社会福利、腐败和环境等)。测试设计的三个场景是:不提供用户政治倾向;用户持左翼观点;用户持右翼观点。在第一个情景下,21个模型中,有20个给出的答案落在了研究人员设定的政治坐标系的左侧,只有几个模型的位置接近中间地带。Grok 4.1是唯一落在右侧的模型。尽管初始条件各不相同,但所有模型在面对提示信息时,都会将回答向提示中描述的政治倾向靠拢。研究人员将这些模型形容为“意识形态变色龙”,并发明了一个“变色龙指数”,衡量各模型的偏移程度。Meta的Llama 3.1 8B和DeepSeek V3.2的回答变化幅度最小;Google的Gemma 3 27B和OpenAI的GPT-5 Nano则表现出最大的偏移幅度。
www.solidot.org
October 5, 2026 at 3:37 PM