文章提交注意事项:
请在发布文章时用HTML代码加上至少一条新闻来源的链接;原创性消息,可加入相关信息(如涉及公司的网址)的链接。有任何问题,邮件至:he.fang#zhiding.cn
注意:收到邮件乱码的用户请修改客户端的默认字体编码,从"简体中文(GB2312)"修改为"Unicode(UTF-8)"。
solidot新版网站常见问题,请点击这里查看。
Solidot 公告
投 票
热门评论
- 错别字 (1 points, 一般) by 陈少举 在 2024年11月02日23时42分 星期六 评论到 Linus Torvalds 用电动汽车取代了燃油汽车
- BaD kEyBoArD: tYpO (1 points, 一般) by lot 在 2024年09月25日21时26分 星期三 评论到 美国汽车召回愈五分之一是修复软件
- Guo farm accumulated wealth, the ants lost all the (1 points, 一般) by solidot1727141937 在 2024年09月24日09时39分 星期二 评论到 日本科学家用猫制作 iPS 细胞
- 但是又快又便宜 (1 points, 一般) by Craynic 在 2024年09月09日13时12分 星期一 评论到 澳大利亚政府研究发现 AI 在概述上的表现比人类差
- (1 points, 一般) by gashero 在 2024年09月04日12时41分 星期三 评论到 众多高校撤销外语专业
- 让他们贴支付宝或微信捐款的方式 (1 points, 一般) by solidot1725066425 在 2024年08月31日09时08分 星期六 评论到 KDE 将每年通过桌面通知请求一次捐赠
- 更现代? (1 points, 一般) by Craynic 在 2024年08月28日13时15分 星期三 评论到 微软撤回了弃用控制面板的声明
- 对延迟退休的错误理解 (1 points, 一般) by solidot1723550599 在 2024年08月13日20时09分 星期二 评论到 中国人 50 岁后还能健康工作多少年?
- (1 points, 一般) by solidot1723275683 在 2024年08月10日15时45分 星期六 评论到 甜味剂赤藻糖醇可能增加心血管疾病风险
- 不值得信任google (1 points, 一般) by solidot1722426862 在 2024年07月31日19时56分 星期三 评论到 Chrome 服务故障导致部分用户无法访问保存的密码
假设你在尝试传输消息。将每个字符转换为比特,再将每个比特转换为信号。然后通过铜线、光纤或空气发送。尽你所能地小心,对方收到的内容也将和你发送的不同。噪声在破坏方面从不失手。在 1940 年代,计算机科学家首先遇到了不可避免的噪声问题。五十年之后,他们想出了一个优雅的方法来回避它:如果你可以对一条消息进行编码,若是它在你的收件人阅读之前被篡改了就会非常明显?不能通过封面判断一本书的好坏,但是信息可以。
他们将此属性称为局部可测试性(local testability),此类消息可以仅在几个部分进行超快速测试,就可以确定其正确性。接下来的 30 年里,研究人员在创建此类测试方面取得了实质性进展,但他们的努力总是棋差一着。许多人认为局部可测试性永远不会实现其理想形式。
现在在 11 月 8 日发布的一篇预印本论文中,魏茨曼科学研究所的计算机科学家 Irit Dinur和耶路撒冷希伯来大学的四位数学家 Shai Evra、Ron Livne、Alex Lubotzky 和 Shahar Mozes 找到了方法。“这是我所知道的数学或计算机科学领域最引人注目的现象之一,”华威大学的 Tom Gur 表示。“这是整个领域的圣杯。”
他们的新技术将消息转换成“超级金丝雀”,这种对象比已知的任何其他消息都更能证明自身的健康状况。在其上层结构任何地方隐藏的重大破坏经过在几个地方进行的简单测试都会变得非常明显。大多数早先的数据编码方法依赖于某种形式的随机性。但对于局部可测试性而言,随机性无能为力。研究人员不得不设计出一种高度非随机的全新图形结构。
他们将此属性称为局部可测试性(local testability),此类消息可以仅在几个部分进行超快速测试,就可以确定其正确性。接下来的 30 年里,研究人员在创建此类测试方面取得了实质性进展,但他们的努力总是棋差一着。许多人认为局部可测试性永远不会实现其理想形式。
现在在 11 月 8 日发布的一篇预印本论文中,魏茨曼科学研究所的计算机科学家 Irit Dinur和耶路撒冷希伯来大学的四位数学家 Shai Evra、Ron Livne、Alex Lubotzky 和 Shahar Mozes 找到了方法。“这是我所知道的数学或计算机科学领域最引人注目的现象之一,”华威大学的 Tom Gur 表示。“这是整个领域的圣杯。”
他们的新技术将消息转换成“超级金丝雀”,这种对象比已知的任何其他消息都更能证明自身的健康状况。在其上层结构任何地方隐藏的重大破坏经过在几个地方进行的简单测试都会变得非常明显。大多数早先的数据编码方法依赖于某种形式的随机性。但对于局部可测试性而言,随机性无能为力。研究人员不得不设计出一种高度非随机的全新图形结构。
元宇宙、加密货币和电动汽车成为闲聊热门话题是有原因的:以科技股为主的纳斯达克100指数成分股的总市值几乎是基准标普500指数成分股的一半——为有史以来最高——而仅大型科技股就占标准普尔500指数成分股的三分之一。尽管去年感恩节前后,由于估值飙升引发了沽空呼声,但各大科技公司的股价过去一年依旧稳步上扬创下新高,Nvidia 和 Roblox 的股价更是狂飙突进,脱颖而出。
由于芯片需求旺盛及进军元宇宙消息刺激,芯片制造商 Nvidia 的股价飙升了 148%,使其成为纳斯达克100指数中表现最好的公司。Applied Materials 和 AMD 是另外两大赢家,股价均上涨了大约 80%,表现优于很多大型科技股。尽管零部件短缺严重影响了汽车行业,但是特斯拉的股价在销售持续增长的推动下翻了一番,这家电动汽车制造商的市值飙升至 1 万亿美元。电动汽车的热度在 Rivian Automotive 身上表现得更加明显,上市后不到两周内市值翻了一番。Lucid Group 是另一个热门名字。Roblox 自 3 月上市至 Facebook 更名,市值翻了两番。Facebook 更名为 Meta Platforms 表明元宇宙是科技领域的下一个大事件。Roundhill Ball Metaverse ETF 证明了该领域的资金涌入,它是一个专注于该主题的交易所交易基金,在 11 月 17 日管理的资产超过 5 亿美元,在短短两周内翻了一番。从数字世界到数字货币:比特币短暂回升至 60,000 美元,小型加密货币的反弹提振了一系列相关股票,如 Marathon Digital Holdings、Riot Blockchain 和 MicroStrategy。Marathon Digital 股价上涨了十倍。
由于芯片需求旺盛及进军元宇宙消息刺激,芯片制造商 Nvidia 的股价飙升了 148%,使其成为纳斯达克100指数中表现最好的公司。Applied Materials 和 AMD 是另外两大赢家,股价均上涨了大约 80%,表现优于很多大型科技股。尽管零部件短缺严重影响了汽车行业,但是特斯拉的股价在销售持续增长的推动下翻了一番,这家电动汽车制造商的市值飙升至 1 万亿美元。电动汽车的热度在 Rivian Automotive 身上表现得更加明显,上市后不到两周内市值翻了一番。Lucid Group 是另一个热门名字。Roblox 自 3 月上市至 Facebook 更名,市值翻了两番。Facebook 更名为 Meta Platforms 表明元宇宙是科技领域的下一个大事件。Roundhill Ball Metaverse ETF 证明了该领域的资金涌入,它是一个专注于该主题的交易所交易基金,在 11 月 17 日管理的资产超过 5 亿美元,在短短两周内翻了一番。从数字世界到数字货币:比特币短暂回升至 60,000 美元,小型加密货币的反弹提振了一系列相关股票,如 Marathon Digital Holdings、Riot Blockchain 和 MicroStrategy。Marathon Digital 股价上涨了十倍。
1994 年,当时在新泽西州贝尔实验室工作的数学家 Peter Shor 证明量子计算机能以指数倍于经典计算机的速度解决某些问题。当时的问题是:量子计算机能造出来吗?怀疑论者认为量子态太过精微——环境不可避免地会搞乱量子计算机中的信息,使其不再是量子。
一年后,Shor 做出回应。经典的纠错方案测量单个比特以检查错误,但这种方法不适用于 qubit 或“量子比特”,因为任何测量都会破坏量子状态,从而破坏计算。Shor 提出一种方法无需测量量子比特本身状态检测是否发生错误。Shor 的代码标志着量子纠错领域的开端。
这个领域发展迅速。大多数物理学家将其视为构建强大量子计算机的唯一途径。加州理工学院的物理学家 John Preskill表 示:“没有纠错,我们将无法将量子计算机扩展到可解决真正困难问题的程度。”
与通常的量子计算一样,开发纠错代码是一回事,在工作机器中实现它则是另一回事。在今年 10 月初,由马里兰大学物理学家 Chris Monroe 领导的研究人员报告,他们演示了运行像 Shor一样的纠错电路所需的许多要素。
一年后,Shor 做出回应。经典的纠错方案测量单个比特以检查错误,但这种方法不适用于 qubit 或“量子比特”,因为任何测量都会破坏量子状态,从而破坏计算。Shor 提出一种方法无需测量量子比特本身状态检测是否发生错误。Shor 的代码标志着量子纠错领域的开端。
这个领域发展迅速。大多数物理学家将其视为构建强大量子计算机的唯一途径。加州理工学院的物理学家 John Preskill表 示:“没有纠错,我们将无法将量子计算机扩展到可解决真正困难问题的程度。”
与通常的量子计算一样,开发纠错代码是一回事,在工作机器中实现它则是另一回事。在今年 10 月初,由马里兰大学物理学家 Chris Monroe 领导的研究人员报告,他们演示了运行像 Shor一样的纠错电路所需的许多要素。
美国伊利诺伊州 Lake 县搜救队(LCSAR)表示,他们上周接到报告,一名徒步者没有从埃尔伯特山回来。LCSAR 在其 Facebook 帖子里表示,这名徒步者于 10 月 18 日上午 9 点出发,到晚上 8 点未归。救援人员多次尝试拨打手机,但始终无法联系到对方。LCSAR 的五名成员在容易迷路的地方寻找徒步者,在凌晨 3 点停止了搜索。一个由三个人组成的搜救小组在早上 7 点搜索了另一个地区。他们在上午 9 点 30 分左右接到电话,说徒步者已经返回了住处。LCSAR 称,这名徒步者不知道救援人员在找他。LCSAR 写道:“值得注意的是,对方忽略了我们反复打来的电话,因为他不认识这个号码……如果你没有按照计划行程,并且不断接到未知号码来电,请接听电话;这可能是搜救队在试图确认你是否安全!”
导致汽车厂商瘫痪近一年的全球半导体供应短缺有继续恶化的迹象。新冠疫情导致东南亚芯片装配线无法运作,更多汽车厂商及电子制造商被迫停产。马来西亚、越南与菲律宾在新冠德尔塔毒株的威胁下关停半导体切割与封装工,给持续升温的芯片需求市场带来更大的供货压力。
越来越多的消费品正在计算化,市场对芯片组件的需求在飙升;但半导体工厂的建造极其昂贵且耗时,因此芯片供应量始终无法跟上。这场供应危机甫一出现就给全球汽车行业造成4500亿美元的销售额损失,据 Seraph Consulting 的估计,问题将持续至 2022 年底。卡车与公共汽车制造商戴姆勒 CEO Martin Daum 表示问题的严重性正不断增长。“自今夏以来,半导体的供应形势又进一步恶化。我们在德国及美国的生产受到影响,导致我们向客户实际交付的汽车数量有所下滑。” 即使是丰田和现代等拥有一定供应短缺应对措施、而且在初期成功避免了严重停工的汽车厂商,如今也表示顶不住了。由于缺乏半导体元件,丰田本月被迫削减日本 14 家工厂的产量。丰田表示,由于东南亚零部件供应停滞,他们将在未来一个月内进行部分裁员。福特和通用汽车在北美的十多家工厂最近几个月也经历了长达数周的停产。这些问题甚至开始给汽车之外的其他行业带来负面影响。拜登政府的一位官员指出,“目前整个经济环境都开始受到影响,除了汽车之外还有医疗设备及网络设备等——我们经常听到各行业企业反映拿不到所需的半导体。”
部分芯片制造商已经采取措施,希望为汽车制造商提供助力。台积电负责生产一种汽车制造商广泛使用的微控制器芯片。台积电方面表示,与 2020 年相比,今年他们的产量将增加 60%。GlobalFoundries 目前正在纽约州奥尔巴尼附近的一家工厂增加制造设备,希望增加各类芯片的产量;位于新加坡耗资 40 亿美元的工厂也在政府财政支持下破土动工。根据美国半导体行业协会公布的数据,自 2020 年初以来,全球范围内的芯片工厂产能已增加了 8%,并计划到 2022 年年底将产能增幅提升至 16% 以上。Evercore ISI 半导体分析师 C.J. Muse 表示,今年全球半导体制造设备支出可能增长 30% 以上,总额达到 850 亿美元,这表明芯片制造商正在扩大产能。
越来越多的消费品正在计算化,市场对芯片组件的需求在飙升;但半导体工厂的建造极其昂贵且耗时,因此芯片供应量始终无法跟上。这场供应危机甫一出现就给全球汽车行业造成4500亿美元的销售额损失,据 Seraph Consulting 的估计,问题将持续至 2022 年底。卡车与公共汽车制造商戴姆勒 CEO Martin Daum 表示问题的严重性正不断增长。“自今夏以来,半导体的供应形势又进一步恶化。我们在德国及美国的生产受到影响,导致我们向客户实际交付的汽车数量有所下滑。” 即使是丰田和现代等拥有一定供应短缺应对措施、而且在初期成功避免了严重停工的汽车厂商,如今也表示顶不住了。由于缺乏半导体元件,丰田本月被迫削减日本 14 家工厂的产量。丰田表示,由于东南亚零部件供应停滞,他们将在未来一个月内进行部分裁员。福特和通用汽车在北美的十多家工厂最近几个月也经历了长达数周的停产。这些问题甚至开始给汽车之外的其他行业带来负面影响。拜登政府的一位官员指出,“目前整个经济环境都开始受到影响,除了汽车之外还有医疗设备及网络设备等——我们经常听到各行业企业反映拿不到所需的半导体。”
部分芯片制造商已经采取措施,希望为汽车制造商提供助力。台积电负责生产一种汽车制造商广泛使用的微控制器芯片。台积电方面表示,与 2020 年相比,今年他们的产量将增加 60%。GlobalFoundries 目前正在纽约州奥尔巴尼附近的一家工厂增加制造设备,希望增加各类芯片的产量;位于新加坡耗资 40 亿美元的工厂也在政府财政支持下破土动工。根据美国半导体行业协会公布的数据,自 2020 年初以来,全球范围内的芯片工厂产能已增加了 8%,并计划到 2022 年年底将产能增幅提升至 16% 以上。Evercore ISI 半导体分析师 C.J. Muse 表示,今年全球半导体制造设备支出可能增长 30% 以上,总额达到 850 亿美元,这表明芯片制造商正在扩大产能。
忘记家庭办公室吧:根据 CraftJack 的调查,45% 的美国远程工作者常常在沙发上办公,38% 的人经常在床上办公, 20% 的人在外面办公。家庭办公室是个奢侈品,很多远程办公者是通过共享空间办公,或者在没有办公桌的条件下办公。人们平均花费 268 美元去改善他们的远程办公条件,有 50% 的人觉得在家办公痛苦且不舒服,宁愿回到原来的公司办公室。
美国计算机协会(ACM)宣布了 2020 年度的图灵奖得主:Jeffrey Ullman 和 Alfred Aho,以奖励他们在编程语言编译器和算法上做出的基础性工作,他们的开发工具和教科书被全世界数以百万计的程序员使用。Alfred Aho 出生于加拿大,现年 79 岁,是哥伦比亚大学的荣誉教授,他在 1995 年加入哥伦比亚大学计算机科学系,在这之前他在贝尔实验室工作了 30 多年。Jeffrey Ullman 是斯坦福大学的荣誉教授,他曾在贝尔实验室工作了三年,之后在普林斯顿大学工作了十年,1979 年进入斯坦福大学。Alfred Aho 和 Jeffrey Ullman 合著了被称为龙书的《编译器设计原理》和《计算机算法设计和分析》,这两本都是计算机科学领域的经典著作。
WebRTC 正式成为 W3C 和 IETF 标准,它是一个为浏览器和移动应用提供实时通信功能的解决方案,其设想最初源自 Google,主流浏览器已经整合了该功能,而早在 2013 年 Mozilla 和 Google 就演示了跨浏览器的视频呼叫。WebRTC 使用了 Google 的 VP8(未来包括 AV1) 和 H.264 视频编解码器,音频编解码器主要是 Opus。它的连接是始终加密的。
GitHub 为解雇一名犹太程序员道歉,他称呼冲击美国国会的特朗普支持者为纳粹,警告同事注意安全。这名未公开身份的程序员是在内部的 Slack 聊天室里对华盛顿特区的同事发出这一警告的,称纳粹来了。他的警告被一名同事批评使用了制造分裂的修辞。他的企业账号不久被冻结,两天后他遭到解雇。这名犹太程序员有家人曾死于纳粹屠杀。他称公司人力资源在解雇时给出的理由是未指明的“行为模式”。有大约 200 名雇员在一封内部信函中署名抗议对他的解雇。GitHub 雇佣了一家独立法律事务所对此事展开调查,之后承认犯下了严重错误,公司人力总监 Carrie Olesen 也已经宣布辞职。GitHub 表示希望重新雇佣这名程序员。
美国 1964 年的民权法案禁止雇主在招聘时根据性别或种族歧视应聘者,如今软件在雇佣决策时常被用于帮助筛选简历。技术专家和民权组织对此表达了担忧,他们引用证据称算法会复制或放大人类的偏见。纽约市议会的一项立法提议试图在算法时代更新反招聘歧视的规则。法案要求企业向应聘者披露他们使用了软件帮助评估简历。销售此类软件的企业需要每年接受审计以检查它们的筛选技术有没有歧视。
因为芯片制造商要为智能手机、平板和游戏机保留芯片供应,全球主要汽车制造商面临严重半导体短缺。大众汽车表示因零部件供应商大陆和博世芯片短缺它在欧洲、北美和中国的工厂的汽车产量今年一季度将减少 10 万辆。本田和尼桑也表示它们不得不减少汽车生产。博世是世界最大的汽车零部件供应商,它表示自己获得的用于汽车零件的半导体芯片过少。快速增长的电动汽车市场增加了汽车行业对半导体的需求。汽车行业以前对半导体的关注不够,它们处于供应链的底部,低于苹果和惠普这样的电子产品制造商。
印度也有自己的区域导航卫星系统 NavIC,目前有 8 颗卫星。NavIC 对印度具有战略意义,以防万一它在特殊情况下它的中程导弹无法利用 GPS 进行天文导航。为了普及 NavIC,印度正在鼓励制造商制造能接收 NavIC 信号的芯片组。印度称,整合 NavIC 和 GPS 接收器芯片将能改进城市区域总的信号可用性和位置精度,它还能支持额外的消息设施。印度希望一年能制造 100 万 NavIC 接收器。
从 AI 和数据中心到自动驾驶汽车和智能手机,芯片都起到核心作用。而在中美贸易战中,芯片也是冲突的一个焦点。半导体行业协会全球政策副总裁 Jimmy Goodrich 表示,我们正处在一个新的世界,政府更关心数字基础设施和供应链弹性,半导体行业如今面临的一大挑战就是技术民族主义。中国试图成为半导体行业的领导者,而特朗普在其总统任期内则致力于遏制中国雄心勃勃的计划。全球最大的芯片代工厂台积电站到了中美冲突的前线,成为所有地缘政治玩家都试图巩固的地盘。美国已对中国最大的芯片制造商中芯国际实施了出口限制,摧毁了福建晋华,并警告国内外的半导体主要厂商要求它们重新考虑与中国的关系。无论今年 11 月谁当选美国总统这一趋势不太可能会发生逆转。
FT 报道,摩根士丹利解雇了两名使用 WhatsApp 和其他未经授权的即时信息平台的大宗商品交易员。WhatsApp 支持端对端加密,这意味着利用 WhatsApp 的通信难以被第三方监督。遭到解雇的是摩根士丹利大宗商品全球主管 Nancy King 和大宗商品交易主管 Jay Rubenstein。在这之前信贷交易员 Edward Koo 也因为使用 WhatsApp 而在今年 1 月被停职。知情人士称,对 King 女士和 Rubenstein 先生的调查并没有发现不当行为的证据,但两人的行为违反了公司政策,为遵守监管规定,摩根士丹利要求雇员使用能被监视的通信渠道。
Lawrence 写道 "美国空军U-2联邦实验室已正式宣布,曾在今年 9 月 22 日 U-2 Dragon Lady 训练任务中使用 Kubernetes 作为「用于自动化计算机应用程序的部署、扩展及管理的开源容器编排系统。」旨在为空军人员提供前所未有的实时战斗数据访问权限,而此次发展也有望改变美国空军对未来作战方式的规划思路。美国国防部方面表示 Kubernetes 帮助军事武器系统将可用的机载计算资源集中起来,借此提供按需高级计算能力,并有望给紧急战情带来至关重要的转机。J-2 Dragon Lady 在此次飞行中通过 Kubernetes 负责在机载飞行认证计算机上运行高级机器学习算法,且全程没有对飞机的飞行或任务系统造成任何负面影响。这被视为软件容器化领域的重大里程碑。"
今年初的新冠疫情带来的一个出人意料的结果是许多地方亟需 COBOL 程序员去维护历史悠久的旧代码。一个问题是陈旧软件陈旧代码的规模究竟有多大?以“Why Software Fails”一文著称的 Bob Charette 称,我们并不清楚这一问题的规模究竟有多大,我们所知道的是每年投入了数万亿美元去维护和运营这些系统,投入数千亿美元去进行现代化,而很多现代化项目都失败了。美国社会保障总署最近发布的报告承认他们也不清楚社会保障系统有多少是遗留的陈旧系统。建一条公路的费用可能远不及在这条公路的寿命期内的维护费用。在系统开发上每投入 1 美元,那么在系统寿命期限内需要投入 8 到 10 美元去进行维护。一个软件系统的生命可能比设计者预想的要长得多。IT 预算的很大一部分是用于运营和维护而不是开发替代或进行现代化,这一比例越高,一个系统越不可能进行升级。
英国公共卫生部称 Excel 是导致近 1.6 万 Covid-19 病例数据未报告的罪魁祸首。英国公共卫生部使用 Excel 整理分析拭子检测判断公众是否感染新冠的商业公司数据。商业公司使用 CSV 格式递交结果,英国公共卫生部设置了一个自动化过程将数据整理到 Excel 模板,然后上传到一个中心系统,提供给 NHS 测试和跟踪团队。问题是卫生部选择了旧的 Excel 文件格式 XLS,只能处理 6.5 万行数据,而新的文件格式 XLSX 能处理超过一百万行数据。XLS 文件格式的时间可以上溯到 1987 年,取代它的 XLSX 是在 2007 年推出的。