2021-7-30 13:7
下载 PDF 摘要：我们报告了对 ACL2(r) 中代数基本定理的验证。该证明由四部分组成。首先，定义了复数的复值函数和实值函数的连续性，表明从复数到实数的连续函数在封闭的正方形区域内达到最小值。连续实值复函数的一个重要例子是取连续复函数的传统复范数。我们认为这些连续函数只有一个（复数）参数，但在 ACL2(r) 中......
2021-7-30 13:7
星期五快乐，亚洲。以下是彭博经济研究的最新消息和分析，带您度过周末：中国的工厂状况可能在 7 月份趋于稳定，这意味着随着增长风险的增加，下半年经济将更加稳定地复苏。大流行使许多美国人更难获得抵押贷款的资格。但它对中低收入少数族裔借款人的打击比大多数人更严重。倒闭的投资公司 Archegos Capital Manag......
2021-7-30 12:19
在作为政府所在地的荷兰城市海牙郊外一条通常平静的住宅道路上，起重机和焊接工具的呜呜声预示着一场不那么安静的住房革命。四名工人站在公寓大楼旁边的剪式升降机上，将一个 40 英尺宽、一层楼高的隔热立面靠在现有墙壁上。其柔和的棕色、灰色和米色砖砌图案，以及三层玻璃窗，完美契合了建筑现有的框架和开口。原来的窗户和非常古老的砖......
2021-7-30 12:18
截至周四晚上，Snapchat 遇到了一个大问题，超过 125,000 名用户在 Downdetector 上报告了问题。我尝试在 iPhone 12 Mini 上登录该应用程序，现在每次尝试打开该应用程序时该应用程序都会崩溃。另外两名 Verge 员工也无法打开该应用程序。 Snap 在美国东部时间下午 6:51 ......
2021-7-30 12:18
根据周三发给客户的一封电子邮件，亚马逊内置 3G 的 Kindle 电子阅读器将于 12 月在美国开始失去独立连接互联网的能力。这一变化是由于移动运营商从旧的 2G 和 3G 网络技术过渡到更新的 4G 和 5G 网络。对于没有 Wi-Fi 的旧款 Kindle，这种变化可能意味着根本无法连接到互联网。正如 Good......
2021-7-30 12:17
一名公司员工周四告诉 NPR，以色列间谍软件公司 NSO Group 已暂时阻止世界各地的几家政府客户使用其技术，因为该公司正在调查他们可能被滥用的情况。暂停是为了回应 Pegasus Project 的调查，该媒体联盟报告称，该公司的 Pegasus 间谍软件与黑客和对包括记者、人权活动家和国家元首在内的人的电话的......
2021-7-30 12:17
致命的海蛇咬伤在澳大利亚极为罕见。但是，23 岁的拖网渔船水手哈里·埃文斯 (Harry Evans) 来自英格兰多塞特郡，两年多前在卡奔塔利亚湾的偏远水域进行贸易时被咬伤，情况非常悲惨。去年 1 月的一次调查记录了这场悲剧。它指出，这艘船在范德林岛以北，距离陆上医疗救助有五个多小时的路程，2018 年 10 月......
2021-7-30 12:16
需要将“公鸡”翻译成西班牙语？这就是你说的方式。 ...更多的西班牙语单词公鸡。 el gallo 名词。公鸡, chanticleer, 多莉。查找更多单词！怎么说“公鸡”用墨西哥西班牙语。美式英语。公鸡。公鸡-el gallo.svg。墨西哥西班牙语。埃尔加洛。更多的墨西哥鸟类词汇......翻译公鸡。查看 Ro......
2021-7-30 12:16
LWN 订阅者的好处 订阅 LWN 的主要好处是帮助我们保持发布，但除此之外，订阅者可以立即访问所有站点内容并访问许多额外的站点功能。请今天报名！低级文件描述符是 Linux 系统中的基本对象之一。文件描述符是一个简单的整数值，可以引用一个打开的文件——或者一个网络连接、一个正在运行的进程、一个加载的 BPF 程序或......
2021-7-30 12:13
背景 本研究的目的是评估先前感染 SARS-CoV-2 的人接种 COVID-19 疫苗的必要性。方法 2020 年 12 月 16 日，即开始接种 COVID-19 疫苗的那天，在俄亥俄州工作的克利夫兰诊所卫生系统的员工被包括在内。任何至少 42 天前检测出 SARS-CoV-2 呈阳性的受试者都被认为是先前感染过......
2021-7-30 12:13
State Of Julia（Stefan Karpinksi、Viral Shah、Jeff Bezanson、Keno Fischer）：2021 年 Julia 状态概览。
2021-7-30 11:27
如果您一直在焦急地等待 Facebook 的智能眼镜，我们有一些好消息要告诉您：它们将成为该公司的下一个消费设备。首席执行官马克扎克伯格周三在 Facebook 第二季度财报电话会议上证实了这一消息，同时就公司即将推出的产品周期提供了一些见解。 “展望未来，下一个产品发布将是雷朋与 EssilorLuxottica ......
2021-7-30 11:26
多年来，政策制定者一直认为机器学习——当前人工智能炒作浪潮的基础——是机器人技术进步的基础，这将预示着“第四次工业革命”——但两者并没有真正融合在一起，或者说至少不要使用当前流行的方法。 “需要大量数据的理想化算法会失败，”首席研究员 Filip Piękniewski 告诉我。 “现实是我们不知道如何为机器构建与我......
2021-7-30 11:25
我们在转向电动汽车所有权时经常听到的宣传之一是电动汽车的维护成本更低。但是，当我们驾驶特斯拉 Model 3 接近 40,000 英里时，实际节省的服务成本非常小。当然，Model 3 不需要换油，理论上这应该可以为我们节省大量成本。然而，Model 3 要求我们每年或 12,500 英里润滑制动卡钳——这是针对在冬......
2021-7-30 11:25
上周，美国医生首次使用基因编辑工具 CRISPR 来尝试治疗活人的遗传病。来自密西西比州的 41 岁女性 Victoria Gray 出生时患有镰状细胞病，这是一种由改变红细胞形状的基因突变引起的经常痛苦和虚弱的病症。到目前为止，只有一种治疗方法存在——仅对 10% 的患者有效的供体移植——但医生认为编辑从格雷自己的......
2021-7-30 11:25
在她的新回忆录《某人的女儿》的开头几页中，作家阿什利·C·福特 (Ashley C. Ford) 描述了她与一名被监禁的父亲一起成长的经历，父亲在她 10 个月大时就被判刑。在接下来的 30 年里，他将在监狱里度过；他于 2019 年获释。在这本书中，福特所写的部分内容是她的生活——以及她周围人的生活——是如何因他的......
2021-7-30 11:22
中国再次打击大型科技公司，这一次告诉其一些最大的参与者在应用程序中删除弹出式广告。工业和信息化部周三发布的一项法令指出，它强烈建议早在 2017 年就应该消失弹出窗口，并在 2021 年通过对流行应用程序的评论多次重新讨论这个主题。最新通知称，该部正在进行的应用程序检查计划发现 14 个应用程序以不适当的弹出窗口出现......
2021-7-30 10:35
动视暴雪处于危机模式。上周，加利福尼亚州公平就业和住房部就对女性雇员普遍存在的性别歧视、骚扰和歧视的指控提起了令人震惊的诉讼，这家魔兽世界出版商成为了这家魔兽世界出版商的对象。由此产生的影响日益加剧，最终导致 500 人于周三在欧文的暴雪娱乐总部举行罢工。该公司的股价本周已下跌近 10%，首席执行官鲍比·科蒂克 (B......
2021-7-30 10:35
基尼系数（也称为基尼指数）是迄今为止最受欢迎和广为人知的不平等衡量标准，通常用于衡量某些国家、地区或其他社区的收入或财富不平等。它很受欢迎，因为它易于理解，其数学定义可以很容易地在图形上进行可视化。然而，正如人们对任何试图将不平等减少到一个数字的方案所期望的那样，基尼系数也有其局限性。即使在衡量各国收入和财富不平等的......
2021-7-30 10:34
JPG vs Raw：第一次做对 © 2009 KenRockwell.com。版权所有。我使用这些商店。我不能保证下面的广告。 2008 年的一个大问题是人们在拍摄时不知道为什么。 Raw 需要专用软件才能读取。如果您刚刚购买了新相机，则在更新计算机软件之前您将无法打开这些文件。更糟糕的是，许多新相机在相机制造商的......
2021-7-30 10:34
使用 Axios AM/PM 让您忙碌的日子变得更简单。在短短 5 分钟内了解新功能及其重要性。订阅 Axios Closer 以深入了解当天的商业新闻和趋势以及它们为何如此重要订阅 Axios Markets 以获取最新的市场趋势和经济见解。免费注册。通过 Axios Sports 尽情享受推动体育世界发展的统计数......
2021-7-30 10:34
我们的 C 轮融资 2.05 亿美元，由 Vy Capital 领投，Google Ventures、DFJ Growth、Valor Equity Partners、Craft Ventures、Founders Fund 和 Gigafund 跟投。我们也很高兴地宣布，一批在具有战略意义的领域的领先高管和企业家也......
2021-7-30 10:33
（彭博社）——Robinhood Markets Inc. 希望通过首次公开募股创造历史，现在它已经——出于错误的原因。在该公司的第一个交易日，这家支持模因股票革命的经纪人的股价比 IPO 价格下跌了 8.4%。根据彭博汇编的数据，这是有记录以来在筹集到与 Robinhood 一样多的现金的 51 家美国公司中最糟糕......
2021-7-30 10:33
自从在印度首次发现这种新型冠状病毒的快速传播 delta 变体以来，它一直在全球范围内受到关注，现在研究人员可能知道原因了：它的病毒载量比该病毒的原始毒株高 1,000 倍。 delta 变体是新型冠状病毒的突变版本，比其他毒株更容易传播。官员们说，它现在估计占美国 COVID-19 病例的 83%，因为它主要在未接......
2021-7-30 10:30
<ruby> HTML 元素表示在基础文本上方、下方或旁边呈现的小注释，通常用于显示东亚字符的发音。它也可以用于注释其他类型的文本，但这种用法不太常见。术语 ruby 起源于排字机使用的一种度量单位，表示文本可以在新闻纸上打印同时保持清晰的最小尺寸。
2021-7-30 9:52
On the Clock 是 Motherboard 对有组织的劳工运动、零工工作、自动化和工作的未来的报告。 7 月 31 日，外卖应用程序 DoorDash 的零工工人将拒绝在当天工作，这似乎是 DoorDash 历史上的第一次协同罢工。零工工人要求平台在他们同意交付订单之前向他们展示他们的技巧，并为每个订单制定......
2021-7-30 9:44
世界墨西哥城（美联社）——墨西哥最高安全官员周三表示，前两届政府花费 6100 万美元购买 Pegasus 间谍软件，该软件与政府监视世界各地的对手和记者有关。公共安全部长 Rosa Icela Rodríguez 表示，已发现 2006-2012 年总统 Felipe Calderón 和 2012-18 年总统 ......
2021-7-30 9:43
爱沙尼亚官员表示，他们上周逮捕了一名当地嫌疑人，该嫌疑人利用漏洞访问政府数据库并下载 286,438 名爱沙尼亚人的政府身份证照片。袭击发生在本月早些时候，嫌疑人于上周 7 月 23 日被捕，爱沙尼亚警方在昨天，即 7 月 28 日的新闻发布会上说。袭击者的身份没有透露，他只被确认为塔林人。男性。官员们表示，嫌疑人在......
2021-7-30 9:42
两千年前，中国学者司马迁在他的《史记》中得出结论，没有一个帝国可以骑在马背上，后来的历史似乎证实了皇权必须归属于城市的观点。 14 世纪伟大的学者伊本·哈尔敦 (Ibn Khaldun) 发展了一个现在为人熟知的理论，即“一个国家的统治者一旦久坐不动，他们的生活方式总是模仿他们成功的国家的生活方式。”因此，野蛮的征服......
2021-7-30 9:42
强大的电机带来惊心动魄的骑行体验，而电动动力总成则消除了污染和噪音，只留下一丝尾迹。 Arc One 专为无缝连接的划船体验而设计和制造。通过无线更新，它只会随着年龄的增长而变得更好。更少的移动部件意味着不再有生锈的发动机部件或令人厌烦的过冬。花时间享受您的船，而不是维护它。 Arc One 由前火箭工程师团队驱动，......