文章提交注意事项:
请在发布文章时用HTML代码加上至少一条新闻来源的链接;原创性消息,可加入相关信息(如涉及公司的网址)的链接。有任何问题,邮件至:he.fang#zhiding.cn
ken:feigaobox@gmail.com
注意:收到邮件乱码的用户请修改客户端的默认字体编码,从"简体中文(GB2312)"修改为"Unicode(UTF-8)"。

Solidot 公告
投 票
热门文章
-
- 东航称暂无证据显示三月发生的空难为蓄意 (0)
- 中芯国际称手机芯片需求大幅下降 (0)
- 迈阿密市长支持的加密货币贬值 95% (0)
- 电玩对儿童智商有意想不到的影响 (0)
- DeepMind 透露能完成复杂任务的 Gato AI (0)
- 五角大楼致力于理解 UFO 的起源 (0)
- 如何编写数学上完美的软件 (0)
- 云南发现中国最高树木 (0)
- 俄罗斯表示无意切断与全球互联网的接入 (0)
- 中科大首次实现侧信道无关的 QKD 实验 (0)
热门评论
- 不现实 (1 points, 一般) by solidot1551846701 在 2022年05月17日08时17分 星期二 评论到 社交平台应允许用户转移其社交信息?
- 长生之路。。 (1 points, 一般) by devfsdvyui 在 2022年05月16日16时07分 星期一 评论到 T 细胞会随着年龄阻止神经细胞再生但可逆
- (1 points, 一般) by 一刀 在 2022年05月16日10时16分 星期一 评论到 天文学家公布银河黑洞的首幅照片
- 神说,要有光 (1 points, 一般) by 媒体搬运工 在 2022年05月16日10时15分 星期一 评论到 天文学家公布银河黑洞的首幅照片
- (1 points, 一般) by 木杉 在 2022年05月16日10时14分 星期一 评论到 天文学家公布银河黑洞的首幅照片
- 黑洞的元宇宙? (1 points, 一般) by 老董 在 2022年05月16日10时14分 星期一 评论到 天文学家公布银河黑洞的首幅照片
- (1 points, 一般) by 非洲大象 在 2022年05月16日10时13分 星期一 评论到 天文学家公布银河黑洞的首幅照片
- 交保护费吗 (1 points, 一般) by Tuzki 在 2022年05月13日16时05分 星期五 评论到 天文学家公布银河黑洞的首幅照片
- 莫须有的罪名 (1 points, 一般) by solidot1652234265 在 2022年05月11日10时02分 星期三 评论到 马斯克收购 Twitter 更多是为了控制言论的自由
- 哪来的数千年知识体系? (1 points, 一般) by africwildman 在 2022年05月10日18时17分 星期二 评论到 多所高校退出国际大学排名

俄罗斯数字发展部长 Maksut Shadaev 周二表示该国不打算封锁 YouTube,因为此举会影响到俄罗斯用户。YouTube 在俄罗斯有九千万月活用户,虽然俄有很多西方流行社交媒体的替代品,但还不存在规模上接近 YouTube 的替代。俄罗斯此前限制了对 Twitter、Facebook 和 Instagram 的访问,曾测试过切断全球互联网接入的试验。Shadaev 否定了俄罗斯可能考虑切断与全球互联网接入的猜测,表示俄罗斯不想与任何人隔离开来,应该继续成为全球网络的一部分。
中科院植物研究所研究员郭柯团队在西藏察隅县考察时,在云南黄果冷杉原始森林发现我国迄今为止最高树木。经无人机吊绳多次测量,该树木高度 83.2 米、胸径 207 厘米,高度超过了此前报道的位于西藏的不丹松(76.8米)和位于中国台湾的台湾杉(81-82米),刷新了中国最高树纪录。研究人员表示,该区域之所以能够保留如此高大完好的原始森林,得益于优越的气候和地形条件,以及极少的人类活动干扰。此处的大量高大树木及所在群落和生态系统具有重要的科研价值和保护意义。
Leslie Lamport 的名字可能不是家喻户晓,但作为计算机科学家,他比起那些名人不遑多让:排版程序 LaTeX 以及让 Google 和亚马逊云基础设施成为可能。他对一些问题给予了更多的关注,给它们起了独特的名字,比如面包店算法和拜占庭将军问题。这绝非偶然。这位 81 岁的计算机科学家对于人们如何使用和看待软件有着不同寻常的深入思考。2013 年,他赢得了被认为是计算领域诺贝尔奖的A.M.图灵奖,以表彰他在分布式系统方面的工作,此类系统由不同网络上的多个组件相互协调实现共同目标。互联网搜索、云计算和人工智能都涉及编排强大的计算机军团协同工作。当然这种协调也会给你带来更多的问题。Lamport曾说过:“分布式系统是这样一个系统:一台你甚至不知道其存在的计算机出现故障,就可能导致你自己的计算机无法使用。”
问题的最大来源之一是“并发系统”,其中多个计算操作发生在重叠的时间片中,导致模棱两可:哪台计算机的时钟是正确的?在 1978 年的一篇开创性论文中,Lamport 借鉴狭义相对论的见解,引入了“因果关系”概念解决这个问题。两个观察者可能在事件的顺序上存在分歧,但如果一个事件导致另一个事件,这就消除了分歧。并且发送或接收消息可以在多个进程之间建立因果关系。逻辑时钟——现在也称为 Lamport 时钟——提供了一种推理并发系统的标准方法。有了这个工具,计算机科学家接下来想知道他们如何能系统地使这些联网计算机变得更大,而不会增加错误。Lamport 提出了一个优雅的解决方案:Paxos,一种允许多台计算机执行复杂任务的“共识算法”。如果没有 Paxos 及其算法家族,现代计算就不可能存在。
问题的最大来源之一是“并发系统”,其中多个计算操作发生在重叠的时间片中,导致模棱两可:哪台计算机的时钟是正确的?在 1978 年的一篇开创性论文中,Lamport 借鉴狭义相对论的见解,引入了“因果关系”概念解决这个问题。两个观察者可能在事件的顺序上存在分歧,但如果一个事件导致另一个事件,这就消除了分歧。并且发送或接收消息可以在多个进程之间建立因果关系。逻辑时钟——现在也称为 Lamport 时钟——提供了一种推理并发系统的标准方法。有了这个工具,计算机科学家接下来想知道他们如何能系统地使这些联网计算机变得更大,而不会增加错误。Lamport 提出了一个优雅的解决方案:Paxos,一种允许多台计算机执行复杂任务的“共识算法”。如果没有 Paxos 及其算法家族,现代计算就不可能存在。
两名美国国防情报高级官员周二表示,五角大楼致力于确定其所谓的“不明空中现象”——通常称为不明飞行物(UFO)——的起源,但承认其中许多现象仍然超出了政府的解释能力。Ronald Moultrie 和 Scott Bray 两名官员出席众议院情报小组委员会,参加美国国会半个世纪以来关于 UFO 的首次公开听证会。11 个月前,一份政府报告记录了美国军事飞行员自 2004 年以来观察到的 140 多起不明空中现象(UAP事件)。海军情报局副局长 Bray 表示,新成立的五角大楼特别工作组正式编目的 UAP 数量已增至 400 例。两位官员在描述特别工作组的工作以及可能的外星起源问题时都措辞谨慎,Bray 表示国防和情报分析人员并未排除这种可能性。Bray 表示,“我们没有材料,我们没有检测到任何放射物,在 UAP 特别工作组内部这表明它不是来自地球。”
Google AI 子公司 DeepMind 的首席研究员表示,人类水平的人工智能即将到来。Nando de Freitas 博士表示,在 DeepMind 推出能完成从堆积木到写诗的各种复杂任务的人工智能系统之后,实现通用人工智能(AGI)长达数十年的探索“游戏结束”。de Freitas博士表示,被描述为“通才代理”的 DeepMind 的新 Gato AI 只需要扩大规模,就能创造出与人类智能相媲美的 AI 能力。在回应 The Next Web 上一篇声称“人类永远无法实现AGI”的评论文章时,DeepMind 的研究主管写道,他认为结果是不可避免的。他在 Twitter 上写道:“现在一切都是规模的问题!游戏结束了。”“一切都是为了让这些模型更大、更安全、计算效率更高、采样速度更快、内存更智能、模式更多、创新数据、在线/离线……解决这些挑战就能实现 AGI。”机器学习研究员 Alex Dimikas 询问他认为 Gato AI 距离通过真正的图灵测试还有多远时,de Freitas 博士回答说:“还远着呢。”图灵测试是一种计算机智能的衡量标准,人类无法区分对方是机器还是人即算通过。de Freitas 博士在 Twitter 上回答 AI 研究人员提出的进一步问题时表示,在开发 AGI 时,“安全至关重要”。他写道:“这可能是我们面临的最大挑战。”“每个人都应该重视这个问题。缺乏足够的多样性也让我很担心。”
根据发表在《Scientific Reports》期刊上的论文,研究人员将花更多时间玩游戏与儿童智力提升关联起来,在某种程度上与游戏对年轻人有害的说法相矛盾。虽然认知能力的差异很小,不足以证明因果关系,但足以引起注意——研究仔细考虑了各种变量,包括遗传和儿童社会经济背景的差异。与此同时,看电视和使用社交媒体似乎对智力没有正面或负面影响。在年轻人花多少时间盯着屏幕是合适的这样的辩论中,这项研究应该是有用的。研究人员调查了 ABCD 研究中 9855 名儿童盯着屏幕的时间的记录,这些儿童都在美国,年龄在 9 岁或者 10 岁。平均而言,这些年轻人报告说每天花 2.5 小时看电视或者在线视频,1 小时玩电子游戏,半个小时使用社交网络。两年后研究人员再次查阅了其中 5000 多名儿童的数据。期间报告在电子游戏上花费的时间超过正常水平的儿童的智商比平均水平高出了 2.5 个点。智商评分的增加是基于孩子们在阅读理解、视觉空间处理以及专注于记忆、灵活思维和自我控制的任务上的表现。该研究只调查了美国的儿童,没有区分游戏的类型,如手游还是主机游戏。
迈阿密市长 Francis Suarez 支持的一种本地加密货币 MiamiCoin 过去几个月贬值了 95%,如今连一美分都不值。MiamiCoin 加密货币由 CityCoins 创造,它声称这是一场金融试验,通过社区驱动的收入流赋权公民,刺激数字城市服务。Francis Suarez 盛赞该代币有朝一日能取代市政税收成为市政府主要资金来源。CityCoins 还为纽约和德州奥斯丁推出类似的城市加密货币,但目前只有迈阿密市长对此类加密货币给与支持。MiamiCoin 于去年 8 月推出,但过去九个月其币值相比最高点下跌了 95%,目前只值 0.0032 美元。
中芯国际 CEO 赵海军表示,2022 年全球智能手机销量至少减少 2 亿部,受影响的主要是中国手机品牌。赵海军称,战争以及新冠封锁大幅减少了对消费电子和家电的需求,影响到了这些领域的芯片订单。赵海军表示他目前看不到结束的迹象,消费电子需求像石头一样直降,部分客户的库存存量能维持五个月。这种情况并没有影响到中芯国际的生产,工厂仍然以百分之百产能运行,绿色能源、电动汽车和工业应用电源管理芯片和微控制器的需求仍然十分旺盛。
HardenedLinux 写道 "基础架构包括计算机体系、物联网设备或其他信息化设备的固件、硬件组件、单元等基础组成部分,如主板Flash、显卡网卡等各类外设板卡的ROM,硬盘、EC、主板CSME/PSP/SMU等。基础架构安全性是整个系统的安全基石。如果基础架构的安全设置不当或存在高危漏洞、受到威胁,会导致整个系统的严重破坏,并且难以检测、恢复。固件的运行级别高于操作系统内核所在的RING 0级,如果用户的威胁模型中包含攻击者持久化这一项,那固件安全就不可忽视,特别在全球高级威胁防护的大趋势下,基础架构及平台固件属于整体防御中核心的环节,为了更好的推进行业对于基础架构整体弹性(Resiliency)水平,赛博堡垒(HardenedVault)和中科院软件所基础架构安全团队发起了一份关于平台固件安全的技术指南,草案版本由来自跨领域专家组的审阅,指南的alpha预览版发布于HardenedLinux社区(下载PDF),希望未来有兴趣的个人和机构可以继续推进。"
ARM 开源项目从 GitHub 迁移到 GitLab。GitLab 官方博客阐述了选择 GitLab 作为自托管平台的优点:最大化选择和成本效益,最小化供应商锁定。使用 GitLab 将允许 ARM 使用自己的工具,不像 GitHub 是一个黑箱。ARM 芯片占到了移动市场的 95%,而 ARM 公司的业务是 IP 授权,大部分核心基础设施部署在私有硬件的,安全对其至关重要。
洛杉矶高等法院法官 Maureen Duffy-Lewis 裁决,要求公司董事会必须包含女性成员的加州法律违宪,违反了平等对待权。加州政府认为这项法律有利于逆转偏袒男性的歧视文化,它是在其它措施都失败之后才制定该法律的。加州政府辩解称,它没有创造一个配额制,公司董事会可以在不剥夺男性席位的情况下增加女性董事席位。加州政府承认这项法律未起到任何作用。法律要求总部在加州的上市公司在 2019 年底前董事会需要有一位女性。到 2022 年 1 月有五名董事的董事会需要有两名女性,六名及以上的董事会需要有三名女性。法律要求企业向政府报告董事会成员组成情况。根据最新报告,半数以上企业没有递交披露报告。
信通院发布了《2022 年 3 月国内手机市场运行分析报告》(PDF),数据显示 3 月手机出货量 2150 万部,同比下降 40.5%;5G 手机出货量 1618.5 万部,同比下降 41.1%,占同期手机出货量的 75.4%。第一季度国内市场手机总体出货量累计 6934.6 万部,同比下降 29.2%;5G 手机出货量 5388.4 万部,同比下降 22.9%,占同期手机出货量的 77.7%。
链家前数据库管理员韩冰因删库一审被判处有期徒刑七年,二审维持原判。韩冰是在 2018 年 6 月 4 日使用管理员权限和 root 账号登陆公司财务系统,并将系统内的财务数据及相关应用程序删除。被破坏的服务器是公司专门用于 EBS 系统的 2 台数据库服务器和 2 台应用服务器,存放着公司成立以来所有的财务数据,直接影响公司人员的工资发放等,链家为恢复数据及重新构建该系统共计花费人民币 18 万元。法庭文档显示,韩冰是五名删库嫌疑人之一,他在拒绝将笔记本电脑密码交给公司调查人员后立即引起了怀疑。他声称电脑里有私人数据,密码只能提供给公安机关,或者只有他自己在场的情况下输入密码才能检查。调查人员知道公司财务系统被攻击的方式只要是连接到服务器就可以执行,这样的操作是不会在电脑端留下痕迹的,只会在服务器上留下痕迹,检查每个人的电脑,执行这些检查的操作,主要是为了看韩冰等人的反映。
英国皇家邮政宣布,作为部署逾 500 架无人机将信件和包裹投递到偏远地区的更广泛目标的一部分,计划在未来三年内开通 50 条由无人机提供服务的邮政线路。皇家邮政表示,无人机投递最初将被引入设得兰群岛、奥克尼群岛、赫布里底群岛和锡利群岛。去年这个拥有 507 年历史的公共服务机构选择了前述最后一个地点,在康沃尔郡和这个位于其南部 30 公里的群岛之间进行了首次无人机邮政飞行的试飞。在那之后,皇家邮政还在苏格兰的马尔岛和奥克尼群岛进行了测试项目。皇家邮政的这些试验大多数都是和无人机送货和空中出租车基础设施公司 Skyports 合作进行的,该公司在 COVID-19 疫情期间将医疗材料运送到英国偏远的目的地,之后就在运营的 Mull 航班。在等待英国民航局的批准期间,皇家邮政将在未来几个月开始逐步在逾 50 条指定路线上进行邮政无人机投递。它将与参与早期试验的无人机制造商和服务提供商 Windracers 合作运营这些航班。该公司的 10 米长的固定翼无人机可以在 70 英里的最大航程内携带 100 公斤的邮件。上个月,这种无人机在奥克尼群岛的安斯特岛进行了一次试验,单程飞行了 50 英里。
三十年来,量子物理学家 Sandu Popescu、Yakir Aharonov 和 Daniel Rohrlich 一直被同样的情景所困扰。这始于他们在 1990 年描绘的名为超震荡(superoscillation)的波浪现象。布里斯托大学教授 Popescu 表示:“我们从来都无法真正说出困扰到底是什么。”“从那时候起,我们每年都会回到这里,从不同角度看到它。”
在 2020 年 12 月,三位物理学家在《美国国家科学院院刊》上发表了一篇论文,解释了问题所在:在量子系统中,超振荡似乎违反了能量守恒定律。该定律指出孤立系统的能量永远不会改变,这不仅仅是一个基本的物理原理。牛津大学物理学家 Chiara Marletto 表示,现在人们认为它是宇宙基本对称性的一种表达——是“物理学大厦的一个非常重要的部分”。对于新的悖论是否真的违反了能量守恒定律,物理学家存在分歧。他们对这个问题的态度部分取决于是否应该认真考虑量子力学的个别实验结果——无论它们是多么的不可能。希望通过努力解决这个难题,研究人员将能够弄清楚量子理论中一些最微妙也最奇怪的地方。
iPhone 关闭时并没有完全关机。设备内部的芯片继续在低功耗模式下运行,因此可用 Find My 功能定位丢失或被盗的设备,或者在电池耗尽后使用信用卡和车钥匙。现在研究人员设计出了一种方法,滥用这种永远开机的机制运行恶意软件,即使 iPhone 关机了,恶意软件仍然可以保持激活。事实证明,iPhone 的蓝牙芯片——它是 Find My 等功能的关键——没有对运行的固件进行数字签名的机制,甚至也没有进行加密。德国达姆施塔特科技大学的学者想出了如何利用这种保护缺失运行恶意固件,让攻击者能在设备关机后跟踪手机的位置或者运行新功能。这则视频高度概括了可行的攻击方式。 这项发现(PDF)的实际价值有限,因为感染需要将 iPhone 越狱,这本身就是一项艰巨的任务,尤其是在对抗环境中。尽管如此,对于 Pegasus 等恶意软件来说,在攻击成功后利用 iOS 中的始终开机功能会很方便,Pegasus 是以色列 NSO 集团的复杂智能手机攻击工具,世界各国经常使用该工具监视对手。除了允许恶意软件在 iPhone 关闭时运行之外,针对 LPM 的漏洞利用还可以让恶意软件更隐蔽地运行,因为 LPM 允许固件节省电池电量。当然,固件感染已经非常难以检测,因为它需要大量的专业知识和昂贵的设备。