链家数据库管理员因删库被判七年

2022-05-17 17:42

链家前数据库管理员韩冰因删库一审被判处有期徒刑七年， 二审维持原判。韩冰是在 2018 年 6 月 4 日使用管理员权限和 root 账号等公司财务系统，并将系统内的财务数据及相关应用程序删除。被破坏的服务器是公司专门用于 EBS 系统的 2 台数据库服务器和 2 台应用服务器，存放着公司成立以来所有的财务数据，直接影响公司人员的工资发放等，链家为恢复数据及重新构建该系统共计花费人民币 18 万元。法庭文档显示，韩冰是五名删库嫌疑人之一，他在拒绝将笔记本电脑密码交给公司调查人员后立即引起了怀疑。他声称电脑里有私人数据，密码只能提供给公安机关，或者只有他自己在场的情况下输入密码才能检查。调查人员知道公司财务系统被攻击的方式只要是连接到服务器就可以执行，这样的操作是不会在电脑端留下痕迹的，只会在服务器上留下痕迹，检查每个人的电脑，执行这些检查的操作，主要是为了看韩冰等人的反映。

短暂离开社交网络能让你更快乐焦虑更少

2022-05-17 18:13

巴斯大学的研究人员在《Cyberpsychology, Behavior, and Social Networking》期刊上报告了他们做的一个十分简单的实验：研究人员招募了 154 名平均年龄 29.6 岁的志愿者，随机分为停止使用社交媒体（主要为 Facebook、Twitter、Instagram 和 TikTok）一周的干预组和无任何要求的对照组。一周之后，干预组在幸福感、抑郁和焦虑等指标上显著好于对照组。研究人员进一步发现，减少在 Twitter 和 TikTok 上花费的时间能小幅度改善抑郁和焦虑，而完全放弃社交媒体则 能取得最大的效果。

三月手机出货量同比下滑四成

2022-05-17 18:27

信通院发布了《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%。

法官裁决要求董事会必须有女性的加州法律违宪

2022-05-17 19:42

洛杉矶高等法院法官 Maureen Duffy-Lewis 裁决，要求公司董事会必须包含女性成员的加州法律违宪，违反了平等对待权。加州政府认为这项法律有利于逆转偏袒男性的歧视文化，它是在其它措施都失败之后才制定该法律的。加州政府辩解称，它没有创造一个配额制，公司董事会可以在不剥夺男性席位的情况下增加女性董事席位。加州政府承认这项法律未起到任何作用。法律要求总部在加州的上司公司在 2019 年底前董事会需要有一位女性。到 2022 年 1 月有五名董事的董事会需要有两名女性，六名及以上的董事会需要有三名女性。法律要求企业向政府报告董事会成员组成情况。根据最新报告，半数以上企业没有递交披露报告。

ARM 开源项目从 GitHub 迁移到 GitLab

2022-05-17 23:40

ARM 开源项目从 GitHub 迁移到 GitLab。GitLab 官方博客阐述了选择 GitLab 作为自托管平台的优点：最大化选择和成本效益，最小化供应商锁定。使用 GitLab 将允许 ARM 使用自己的工具，不像 GitHub 是一个黑箱。ARM 芯片占到了移动市场的 95%，而 ARM 公司的业务是 IP 授权，大部分核心基础设施部署在私有硬件的，安全对其至关重要。

基础架构安全弹性技术指南（固件安全篇）发布

2022-05-18 10:04

HardenedLinux 写道 "基础架构包括计算机体系、物联网设备或其他信息化设备的固件、硬件组件、单元等基础组成部分，如主板Flash、显卡网卡等各类外设板卡的ROM，硬盘、EC、主板CSME/PSP/SMU等。基础架构安全性是整个系统的安全基石。如果基础架构的安全设置不当或存在高危漏洞、受到威胁，会导致整个系统的严重破坏，并且难以检测、恢复。固件的 运行级别高于操作系统内核所在的 RING 0级，如果用户的威胁模型中包含攻击者持久化这一项，那固件安全就不可忽视，特别在 全球高级威胁防护的大趋势下，基础架构及平台固件属于整体防御中核心的环节，为了更好的推进行业对于基础架构整体弹性（Resiliency）水平， 赛博堡垒（HardenedVault）和中科院软件所基础架构安全团队发起了一份关于 平台固件安全的技术指南，草案版本由来自跨领域专家组的审阅，指南的alpha预览版发布于HardenedLinux社区（下载 PDF），希望未来有兴趣的个人和机构可以继续推进。"

东航称暂无证据显示三月发生的空难为蓄意

2022-05-18 10:49

《华尔街日报》引述消息人士指黑盒数据分析报道，中国东方航空客机三月在广西坠毁，造成全机132人死亡的事故，可能是有人蓄意撞毁飞机。东方航空公司对此表示，暂时无确凿证据支持上述揣测推断。东方航空回应《华尔街日报》查询时指，现时未有证据显示涉事飞机出现问题，又指有人强行闯入驾驶室的说法并不成立，暂时亦无任何确凿证据支持有关揣测。

中芯国际称手机芯片需求大幅下降

2022-05-18 12:19

中芯国际 CEO 赵海军表示，2022 年全球智能手机销量至少减少 2 亿部，受影响的主要是中国手机品牌。赵海军称，战争以及新冠封锁大幅减少了对消费电子和家电的需求，影响到了这些领域的芯片订单。赵海军表示他目前看不到结束的迹象，消费电子需求像石头一样直降，部分客户的库存存量能维持五个月。这种情况并没有影响到中芯国际的生产，工厂仍然以百分之百产能运行，绿色能源、电动汽车和工业应用电源管理芯片和微控制器的需求仍然十分旺盛。

迈阿密市长支持的加密货币贬值 95%

2022-05-18 13:14

迈阿密市长 Francis Suarez 支持的一种本地加密货币 MiamiCoin 过去几个月贬值了 95%，如今连一美分都不值。MiamiCoin 加密货币由 CityCoins 创造，它声称这是一场金融试验，通过社区驱动的收入流赋权公民，刺激数字城市服务。Francis Suarez 盛赞该代币有朝一日能取代市政税收成为市政府主要资金来源。CityCoins 还为纽约和德州奥斯丁推出类似的城市加密货币，但目前只有迈阿密市长对此类加密货币给与支持。MiamiCoin 于去年 8 月推出，但过去九个月其币值相比最高点下跌了 95%，目前只值 0.0032 美元。

电玩对儿童智商有意想不到的影响

2022-05-18 14:15

根据发表在《Scientific Reports》期刊上的论文，研究人员将花更多时间玩游戏与儿童智力提升 关联起来，在某种程度上与游戏对年轻人有害的说法相矛盾。虽然认知能力的差异很小，不足以证明因果关系，但足以引起注意——研究仔细考虑了各种变量，包括遗传和儿童社会经济背景的差异。与此同时，看电视和使用社交媒体似乎对智力没有正面或负面影响。在年轻人花多少时间盯着屏幕是合适的这样的辩论中，这项研究应该是有用的。研究人员调查了 ABCD 研究中 9855 名儿童盯着屏幕的时间的记录，这些儿童都在美国，年龄在 9 岁或者 10 岁。平均而言，这些年轻人报告说每天花 2.5 小时看电视或者在线视频，1 小时玩电子游戏，半个小时使用社交网络。两年后研究人员再次查阅了其中 5000 多名儿童的数据。期间报告在电子游戏上花费的时间超过正常水平的儿童的智商比平均水平高出了 2.5 个点。智商评分的增加是基于孩子们在阅读理解、视觉空间处理以及专注于记忆、灵活思维和自我控制的任务上的表现。该研究只调查了美国的儿童，没有区分游戏的类型，如手游还是主机游戏。

DeepMind 透露能完成复杂任务的 Gato AI

2022-05-18 14:46

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 时，“安全至关重要”。他写道：“这可能是我们面临的最大挑战。”“每个人都应该重视这个问题。缺乏足够的多样性也让我很担心。”

五角大楼致力于理解 UFO 的起源

2022-05-18 14:52

两名美国国防情报高级官员周二表示，五角大楼致力于确定其所谓的“不明空中现象”——通常称为不明飞行物（UFO）——的起源，但承认其中许多现象仍然超出了政府的解释能力。Ronald Moultrie 和 Scott Bray 两名官员出席众议院情报小组委员会，参加美国国会半个世纪以来关于 UFO 的首次公开听证会。11 个月前，一份政府报告记录了美国军事飞行员自 2004 年以来观察到的 140 多起不明空中现象（UAP事件）。海军情报局副局长 Bray 表示，新成立的五角大楼特别工作组正式编目的 UAP 数量已增至 400 例。两位官员在描述特别工作组的工作以及可能的外星起源问题时都措辞谨慎，Bray 表示国防和情报分析人员并未排除这种可能性。Bray 表示，“我们没有材料，我们没有检测到任何放射物，在 UAP 特别工作组内部这表明它不是来自地球。”

如何编写数学上完美的软件

2022-05-18 15:01

Leslie Lamport 的名字可能不是家喻户晓，但作为计算机科学家，他比起那些名人不遑多让：排版程序 LaTeX 以及让 Google 和亚马逊云基础设施成为可能。他对一些问题给予了更多的关注，给它们起了独特的名字，比如面包店算法和拜占庭将军问题。这绝非偶然。这位 81 岁的计算机科学家对于人们如何使用和看待软件有着不同寻常的深入思考。2013 年，他赢得了被认为是计算领域诺贝尔奖的A.M.图灵奖，以表彰他在分布式系统方面的工作，此类系统由不同网络上的多个组件相互协调实现共同目标。互联网搜索、云计算和人工智能都涉及编排强大的计算机军团协同工作。当然这种协调也会给你带来更多的问题。Lamport曾说过：“分布式系统是这样一个系统：一台你甚至不知道其存在的计算机出现故障，就可能导致你自己的计算机无法使用。”


问题的最大来源之一是“并发系统”，其中多个计算操作发生在重叠的时间片中，导致模棱两可：哪台计算机的时钟是正确的？在 1978 年的一篇开创性论文中，Lamport 借鉴狭义相对论的见解，引入了“因果关系”概念解决这个问题。两个观察者可能在事件的顺序上存在分歧，但如果一个事件导致另一个事件，这就消除了分歧。并且发送或接收消息可以在多个进程之间建立因果关系。逻辑时钟——现在也称为 Lamport 时钟——提供了一种推理并发系统的标准方法。有了这个工具，计算机科学家接下来想知道他们如何能系统地使这些联网计算机变得更大，而不会增加错误。Lamport 提出了一个优雅的解决方案：Paxos，一种允许多台计算机执行复杂任务的“共识算法”。如果没有 Paxos 及其算法家族，现代计算就不可能存在。

云南发现中国最高树木

2022-05-18 15:33

中科院植物研究所研究员郭柯团队在西藏察隅县考察时，在云南黄果冷杉原始森林发现我国迄今为止最高树木。经无人机吊绳多次测量，该树木高度 83.2 米、胸径 207 厘米，高度超过了此前报道的位于西藏的不丹松（76.8米)和位于中国台湾的台湾杉（81-82米），刷新了中国最高树纪录。研究人员表示，该区域之所以能够保留如此高大完好的原始森林，得益于优越的气候和地形条件，以及极少的人类活动干扰。此处的大量高大树木及所在群落和生态系统具有重要的科研价值和保护意义。

俄罗斯表示无意切断与全球互联网的接入

2022-05-18 15:55

俄罗斯数字发展部长 Maksut Shadaev 周二表示该国不打算封锁 YouTube，因为此举会影响到俄罗斯用户。YouTube 在俄罗斯有九千万月活用户，虽然俄有很多西方流行社交媒体的替代品，但还不存在规模上接近 YouTube 的替代。俄罗斯此前限制了对 Twitter、Facebook 和 Instagram 的访问，曾测试过切断全球互联网接入的试验。Shadaev 否定了俄罗斯可能考虑切断与全球互联网接入的猜测，表示俄罗斯不想与任何人隔离开来，应该继续成为全球网络的一部分。

中科大首次实现侧信道无关的 QKD 实验

2022-05-18 16:27

根据发表在《物理评论快报》上的一篇论文，中科大等的研究人员 首次实现了侧信道无关量子密钥分发（QKD）的实验验证。QKD 基于量子力学基本原理，理论上可以为远程用户提供无条件安全的密钥交换。然而，实验实现和理论之间存在很大差距。在实际QKD系统中，由于现实器件并不完美，窃听者可以利用编码维度以外的侧信道，如光子频谱、发射时间、传播方向、空间角动量等来窃取密钥，这给现实 QKD 系统留下了潜在安全性漏洞。

Software Freedom Conservancy 诉 Vizio 取得重大突破

2022-05-18 23:08

致力于推广开源软件和捍卫自由软件 GPL 许可证的非盈利组织 Software Freedom Conservancy(SFC) 去年底对 Vizio 提起诉讼，指控其多次未能履行 GPL 许可证的基本要求。Vizio 是一家产品主要为高清电视机的消费电子品牌。SFC 称 Vizio 电视机产品使用的 SmartCast 系统包含了 GPL 授权的软件，按照 GPL 许可证要求，购买 Vizio 产品的消费者有权访问源代码，允许对源代码进行修改、研究和在适当条件下重新发行。5 月 13 日 SFC 成功赢得了动议将诉讼发回加州橙县(Orange County)高等法院。 为什么说这是一次胜利？管辖范围包括橙县的加州中区联邦地方法院法官 Josephine L. Staton 在裁决书（PDF）中指出，SFC 主张 GPL 执行独立区分于版权法的额外合同许诺相当于一种额外元素，因此不能被排除。SFC 执行总监 Karen M. Sandler 解释说，这一裁决意味着 GPL 协议在功能上既作为版权许可又作为合同协议，而开源自由软件社区通常错误的以为 GPL 等公共版权(Copyleft）协议只具有版权许可功能，但最新裁决指出它还有合同功能。这将具有重要意义。

Kindle 电子书格式的发展史

2022-05-19 00:06

亚马逊的 Send to Kindle 服务最近加入了对开放电子书格式 EPUB 的支持，但 Kindle 电子书阅读器至今仍然没有原生支持 EPUB。EPUB 的历史可追溯到 1999 年，最新版本 3.2 在 2019 年发布。EPUB 允许 DRM 但标准本身不包含，而是交给供应商自己实现，绝大部分人使用 EPUB 是因为它是 DRM-free。Kindle 支持的电子书格式同样 历尽了逾二十年的发展。它最早支持的 MOBI 格式可追溯到 1996 年的 PalmDOC 格式，电子书应用开发商 MobiPocket 在 2000 年扩展了 PalmDOC 将更新后的版本命名为 MOBI。2005 年亚马逊收购了 MobiPocket 获得了 MOBI 版权，加入了 DRM 将其命名为 AZW。亚马逊之后发展了多代，如支持平板电脑的 KF8/AZW3 格式组合使用了 EPUB 和 MOBI 的功能，最新格式 KFX/AZW8 是在 2015 年发布的。

Gitee 开源库将先审再上线

2022-05-19 10:38

国内的 GitHub 替代 Gitee 宣布所有开源库将先审再上线，即日生效。Gitee 在周三晚上发表的声明中称：Gitee 即日起执行开源仓库审核后上线的措施，所有新上线的开源仓库需要进行人工审核后可正式公开。已经是开源状态的仓库，我们会暂时转为私有仓库，经审核后会进行公开，同时我们会加大对于审核的技术投入和人力投入，加快审核进度，努力确保每一名开发者的使用体验。此举也是迫于无奈，目前已经是 Gitee 团队能确保大家尽快正常使用的最优解，我们正在尽全力减少大家的不便，希望大家能够理解。

Google 俄罗斯子公司将宣告破产

2022-05-19 10:51

Google 俄罗斯子公司将很快宣告破产。WSJ 援引知情人士的消息报道，Google 俄罗斯子公司的大部分员工已经离开俄罗斯，在俄境外为 Google 工作。部分员工选择留在俄罗斯并离职，Google 在俄子公司将不再有员工。在 3 月底法院冻结了 Google 在俄罗斯的主要银行账户后，它开始提出将俄罗斯员工迁出该国。知情人士说，法院的法警随后将资金从 Google 的账户中转出，导致没有资金支付工资和其他费用。

勒索软件黑帮威胁推翻哥斯达黎加，总统宣布开战

2022-05-19 13:18

哥斯达黎加总统 Rodrigo Chaves 表示他的国家 正处于战争状态，因为网络犯罪分子破坏了数十个政府部门的 IT 系统。据信来自俄罗斯的勒索软件黑帮 Conti 索要 2000 万美元的赎金，并呼吁哥斯达黎加人走上街头要求付钱。周三哥斯达黎加财政部通知公务员黑客攻击影响到了自动薪酬支付服务，公务员们将无法及时收到薪水，需要通过电邮或者书面申请薪水。对税务和海关系统的攻击还影响到了对外贸易。Chaves 刚刚就让总统不到两周时间，他多次指责前任没有严肃对待网络安全，他宣布国家进入紧急状态。