Solidot
43.3K subscribers
28.7K links
solidot.org 非官方 RSS 推送频道。如有侵权,立即删除。
→ Buy Ads: https://telega.io/c/solidot
Download Telegram
2007 年图灵奖得主 Edmund Clarke 死于新冠

2020-12-28 13:29 #新闻

2007 年图灵奖得主 Edmund Clarke 因感染新冠死亡,享年 75 岁。卡内基梅隆大学的计算机科学荣誉教授 Edmund Clarke 因在模型校验上工作而在 2007 年与 E. Allen Emerson 和 Joseph Sifakis 共同获得图灵奖,模型校验是一种检查计算机硬件和软件中的设计错误的自动方法。在 1980 年代初期,Clarke 与他的哈佛研究生 E. Allen Emerson——以及独立工作的法国格勒诺布尔大学的 Joseph Sifakis——开发出模型校验,帮助改进复杂计算机芯片、系统和网络的可靠性。微软和英特尔等公司都使用模型校验去验证计算机网络和软件的设计。
Tor 项目悼念核心开发者 Karsten Loesing

2020-12-28 13:30 #软件

Tor 项目发表文章悼念刚刚去世的核心贡献者 Karsten Loesing。Karsten 参与 Tor 项目的历史有 13 年之久,最早是在 2007 年作为 Google Summer of Code 学生加入 Tor 项目开发 Distributed Tor Directory,2009 年以 Tor 项目相关的主题论文而获得了德国 Bamberg 大学的计算机科学博士学位。从 2009 年起,他成为 Tor metrics 的主要开发者,2015 年成为 Metrics 团队的负责人,是 OnionPerf 的作者之一。
古代 DNA 重新讲述加勒比海人的起源故事

2020-12-28 15:56 #科学

Juan Aviles 博士出生于波多黎各,上学时老师在教岛屿起源时称原来生活在这里的原居民泰诺人在西班牙人殖民之后就消失了。暴力、疾病和强迫劳动杀死了他们。殖民者用由中南美洲和非洲的土著居民构成的奴隶填补了他们留下的空白。但在家里,祖母告诉了他不同的故事,称他们源自于泰诺人。祖母在二年级就缀学了,因此祖母的话他并没有认真对待。上周发表在《自然》期刊上的对加勒比海地区古代 DNA 的研究让他认识到祖母的故事部分是真实的。对 174 名 3100 年到 400 年到前生活在加勒比海和委内瑞拉的人的 DNA 分析发现,6000 年前的石器时代人类就乘船来到了加勒比海,他们可能不属于任何特定的土著居民;第二波移民发生在 2500 到 3000 年前的陶器时代,现代生活在该地区的多是陶器时代移民、欧洲移民和非洲奴隶的后裔。
NASA 调查将核动力火箭用于星际旅行

2020-12-28 17:41 #太空

尽管受到争议,核反应堆能产生将大型飞船快速运送到火星或更遥远深空所需的能量和驱动力。核驱动火箭的设想可上溯至 1940 年代,它面临的技术挑战是安全和轻量级。今天的核燃料和反应堆设计基本能符合要求。NASA 现在正在调查将核动力火箭用于星际旅行。NASA 的 Space Technology Mission 部门首席工程师 Jeff Sheehy 说,如果你去火星然后在两年内返回,核动力在这方面是有优势的。他表示关键技术是燃料。燃料需要能承受核热引擎内部的超高温和挥发性条件。有两家公司表示它们的燃料足够牢固安全能用于核引擎,其中一家公司已经向 NASA 交付了概念设计。
DeepMind 的新 AI 无需知道规则就能精通游戏

2020-12-28 20:37 #人工智能

DeepMind 的最新 AI 无需知道规则就能精通游戏。该公司的研究人员在《自然》期刊上发表 研究(预印本)报告了新 AI 算法 MuZero。DeepMind 以打败围棋世界冠军的 AlphaGo 闻名,AlphaGo 利用了无数棋局进行训练。2017 年 DeepMind 推出了 AlphaZero,只需要知道基本规则就能自我训练精通游戏的 AI 算法。MuZero 则不再需要知道规则。它通过不断的试错去了解规则所允许的动作,同时了解特定动作所带来的奖励。它在此过程中不断学习找到更容易获得奖励的方法。通过同时学习规则和改进玩法,MuZero 在数据利用效率超过了 AlphaZero 等前辈。研究人员正尝试将 MuZero 应用于视频压缩、自动驾驶和蛋白质设计。这一系统需要的算力非常多,但训练完成之后决策所需要的处理能力不需要多少,可以通过智能手机完成操作。儿童掌握知识的能力曾让很多人惊叹,语言学家 Noam Chomsky 曾主张儿童需要灌输语法知识否则难以掌握语言。这一观点受到越来越多的质疑。
WordPress 的市场份额在不断增长

2020-12-28 20:39 #软件

根据 W3techs 的最新统计,WordPress 的市场份额过去一年在持续增长。WordPress 是最流行的内容管理平台,过去一年其份额增长了 4.1% 至 39.5%,这意味着互联网上大约五分之二的网站是用 WordPress 创建的。Shopify 的市场份额虽然很少,但过去一年从 1.9% 增长到了 3.2% 位居第二,排在第三的是 Joomla 的 2.2%、Drupal 的 1.5%,Wix 的 1.5%。
中国“芯片热”的背后

2020-12-28 23:09 #长城

中国在 2014 年成立了资金规模庞大的国家集成电路产业投资基金,政府制定了一个雄心勃勃的目标:到 2020 年,中国将生产其所消耗芯片的 40%。这一目标未能实现。分析师估计,中国品牌去年购入了价值 1030 亿美元的半导体,其中有 17% 来自国内供应商。他们预测到 2025 年,这一比例将升至 40%,低于政府设定的 70% 的目标。在美国开始对华为实施禁令之后,中国发展芯片的意愿更加紧迫。根据《中国经济周刊》的分析,今年 1 月至 10 月,中国与芯片相关的公司数量增加了 5.8 万家,相当于每天增加约 200 家。随之而来的是 投资泡沫和项目烂尾。CCTV 最近造访淮安一个停滞的项目时,发现数十台巨型机器闲置在工厂车间,其中许多机器仍未拆除塑封。
钢琴家傅聪感染新冠去世

2020-12-29 11:33 #长城

著名钢琴家傅聪感染新冠于 12 月 28 日在伦敦去世,享年 86 岁。傅聪的父亲是著名翻译家傅雷,广为流传的《傅雷家书》就是写给傅聪及其兄弟傅敏的。傅聪出生在 1934 年,1955 年在波兰学习钢琴,1958 年毕业后并没有回国,而是去了英国。
TikTok 美国交易短期内不太可能达成

2020-12-29 12:35 #USA

美国官员表示,美国政府在特朗普总统于 1 月 20 日卸任前解决中国短视频分享应用 TikTok 在美命运的可能性越来越小。美国政府周一对 12 月 7 日一美国法官发布的初步禁制令提起上诉,该禁制令阻止执行美国商务部针对 TikTok 的禁令,该禁令实际上会禁止其在美国使用。在 12 月 7 日的裁决中,华盛顿的美国联邦地区法官 Carl Nichols 发布了一项禁令,阻止商务部禁止 TikTok 在美国境内的数据托管、内容交付服务和其他技术交易,TikTok 母公司字节跳动表示,这些交易会阻止 TikTok 在美国的使用。
印度蓬勃发展的黑色数据经济

2020-12-29 13:50 #隐私

2018 年的一个晚上,结婚 5 个月的 21 岁大学生 Ayushi Sahu 正在看望父母,她的丈夫及其公公未提前告知的情况下现身。她的丈夫展示了他手机上记录的 Sahu 与朋友之间的通话,以及呼叫历史、短信、WhatsApp 消息、照片和视频。Sahu 意识到被她的丈夫秘密监视了几个月。他的丈夫对她向母亲抱怨公婆的问题很生气,不喜欢她与男性朋友交谈。Sahu 当时十分震惊。她后来才搞明白,丈夫作为订婚礼物送给她的 Vivo 手机秘密安装了间谍程序。间谍程序可能是丈夫自己安装或咨询了私家侦探。印度私家侦探协会主席辛格(Kunwar Vikram Singh)称,在印度富有家庭雇佣私家侦探评估候选新娘或新郎是十分普遍的事情,毕竟结婚是要花很多钱的,花少许钱给私家侦探调查一下是很合算的。辛格估计这个行业价值约 12 亿美元,因为敏感,大部分客户都是使用现金,不想留下蛛丝马迹。消费级间谍软件也随着私家侦探生意的兴起而流行起来
富士创造能储存 580 TB 的磁带

2020-12-29 13:51 #科技

富士胶片和 IBM 研究院合作 制造出能储存 580 TB 数据的磁带,创造了新的存储世界纪录。这一突破使用了名叫锶铁氧体(SrFe)的新磁性粒子,这种材料常用于电动机磁铁。富士调查了能否将锶铁氧体作为钡铁氧体(BaFe)的替代去制造磁带。相比 BaFe,SrFe 有着更高的磁性,颗粒体积少 60%。和 BaFe 一样,SrFe 也是一种化学上稳定的氧化物,能用于长期的数据保存。使用 IBM 开发的新技术如低摩擦磁带头,SrFe 磁带的存储密度达到了每平方英寸 317 GB。
不用耳机的降噪耳机

2020-12-29 15:55 #科技

主动降噪(ANC)耳机利用耳机和耳塞中的衬垫和耳罩进行被动声音衰减。其原理是根据指定的噪音,发出完全相反的声波,让两种声波在相遇时互相抵销,从而把该噪音隔除。但长时间佩戴降噪耳机可能会造成伤害。悉尼科技大学的研究人员 正在研究一种虚拟降噪系统,将主动降噪组件从耳机转移到椅子的头垫上。他们的研究报告发表在《Scientific Reports》期刊上。相比降噪耳机,降噪头垫多年来进展甚微。原因是降噪头垫使用的设备只能处理 1kHz 以下的低频声音,而降噪耳机能有效处理包括人类声音在内的高频声音。研究人员利用激光多普勒测振仪演示了能同时处理低频和高频声音的降噪头垫。
蚂蚁集团考虑将金融业务纳入控股公司

2020-12-29 16:26 #商业

彭博社援引知情人士的消息报道, 蚂蚁集团正考虑将其金融业务纳入一家控股公司,后者可能需遵守与银行更加类似的监管规定。报导称,蚂蚁集团计划将所有需要金融牌照的部门转移到控股公司中。该计划有待监管部门的批准。11 月初,中国监管部门叫停了蚂蚁集团在上海和香港两地上市的计划。周日中国央行表示,已要求蚂蚁集团整改信贷和其它消费金融业务。
图灵测试过时了,AI 需要新基准测试

2020-12-29 17:36 #人工智能

图灵(Alan Turing)在 1950 年发表了模仿游戏论文引入图灵测试去回答“机器能否思考”这个问题。测试的目的是判断机器是否能表现出人类也无法区分的对话行为。图灵预言,到 2000 年在模仿游戏中普通人能区分人与机器人的概率将会低于 70%。亚马逊语音助手 Alexa 部门的首席科学家 Rohit Prasad 认为,随着 AI 被广泛整合到手机、汽车和家庭,人们现在关心的是人机之间的互动,而不是区分机器和人类。他认为图灵测试过时了,AI 需要新基准测试。Rohit Prasad 指出,最近几年的聊天机器人程序已经能欺骗三成以上的裁判相信它是人类,而愚弄 30% 的裁判这一阈值实际上是任意设定的,并无多大的意义。
美国允许无人机在夜晚飞行在人头顶上飞行

2020-12-29 20:55 #安全

美国联邦航空管理局(FAA)即将发布新的规定,允许小型无人机在人的头顶上空飞行,允许夜间飞行,为无人机商业送货铺平道路。为了解决安全问题,FAA 要求小型无人机能从地面上远程识别。在这之前,小型无人机只允许从操作者头上飞行,而操作者除非获得特别许可必须身处有遮盖的建筑结构或静止不动的汽车内。最新的规定在 1 月份发表后将在 60 天内生效。包括亚马逊在内的多家公司都在尝试利用无人机送货以加快交付。
黑客访问芬兰议员的电邮账号

2020-12-29 23:06 #安全

芬兰议会称黑客渗透进入了它的内部 IT 系统, 访问了部分议员的电邮账号。攻击发生在 2020 年秋季,本月被 IT 工作人员发现。芬兰执法机构 Finnish Central Criminal Police 正对此展开调查。KRP 专员 Tero Muurman 表示,攻击没有对议会的 IT 系统造成任何损害,这起攻击正以“可疑间谍行动”进行调查。他拒绝透露有多少人shou'd攻击的影响。
英国与欧盟的脱欧协议拷贝了几十年前的旧文档

2020-12-30 00:01 #滑稽

英国与欧盟达成的最新脱欧协议文件 被发现包含了几十年前的软件,专家相信起草协议的官员是直接拷贝了旧的法律文档。文件中推荐的现代电邮系统包括了 Outlook、Mozilla Mail 和 Netscape Communicator 4.x。后两个软件早在 1997 年就停止更新了。文件还推荐 1024 位 RSA 加密和 SHA-1 哈希算法,它们也早就过时了。一些人认为它们是拷贝自 2008 年的欧盟法律文件,里面有完全相同的描述。
蚂蚁集团正制定设立金控公司方案

2020-12-30 13:26 #商业

在彭博社 报道蚂蚁集团正考虑将其金融业务纳入一家控股公司后,中国央行 回应称,《金融控股公司监督管理试行办法》已于 11 月 1 日实施,“蚂蚁集团已实质控制了证券公司、保险公司等多家多类金融机构,符合《金控办法》规定的设立情形,应当依法设立金融控股公司。”根据《金控办法》规定,“蚂蚁集团应依法将金融活动全面纳入监管”,建立健全整体的公司治理机制和全面风险管理体系。“目前,蚂蚁集团正在按照《金控办法》制定设立金融控股公司方案,”央行表示。目前尚不清楚蚂蚁的支付宝业务是否会纳入这家控股公司。支付宝业务于 2004 年推出,是该集团仅次于消费贷款的第二大收入来源。
在少年迷路冻死之后 Google Maps 被迫修改路线

2020-12-30 13:50 #Google

在 18 岁的 Sergei Ustinov 悲剧性的冻死之后,Google Maps 被迫修改了俄罗斯远东地区的一条路线。Ustinov 与朋友 Vladislav Istomin 驾车从 Sakha 共和国首府 Yakutsk 到 Madagan。两地距离 2000 公里,天寒地冻,驾车需要长达 34 小时。Ustinov 在 Google Maps 上发现有一条更快的路线可以到达目的地,时间可以缩短 3 小时。这条路位于世界最寒冷的地方,温度最低零下 71.2 ° C。它存在于官方文件中,当地媒体称路从 1970 年代就开始讨论了,但实际上并不存在。两人在行驶过程中汽车散热器被树枝击中,他们的车停在了无人知道的地方,他们试图烧轮胎取暖,但因为天太冷火非常小。当救援人员找到他们时,Ustinov 已经死亡,而 Istomin 严重冻伤。
10 年研究显示早年玩暴力游戏与成年后的攻击行为没有相关性

2020-12-30 14:48 #游戏

青少年时期玩暴力游戏与成年后发展出攻击好斗行为之间是否有相关性?根据发表在《Cyberpsychology, Behavior, and Social Networking》上的一项长达十年的 研究报告,研究人员没有在两者之间观察到相关性。参与的家庭最早是在 2007 年通过电话簿招募到的,包括 65% 的白人,12% 的黑人,以及 19% 的多种族,4% 的其它。研究人员将他们分成三组:高初始暴力(玩了大量暴力游戏),中初始暴力(玩了适量的暴力游戏),低初始暴力(很少玩暴力游戏)。结果显示,很少玩暴力游戏组的参与者在成年后发展出攻击行为的比例并不比高初始暴力组低,这意味着玩了大量暴力游戏的人并不比很少玩暴力游戏的人表现出更多的攻击行为。
国药集团称其疫苗有效性接近 80%

2020-12-30 15:24 #医学

中国国药集团中国生物北京公司周三发布其新冠病毒灭活疫苗Ⅲ期临床试验期中分析数据称,疫苗针对由新冠病毒感染引起的疾病(COVID-19)的保护效力为 79.34%;目前该公司已正式向国家药监局提交附条件上市申请。公告称,该公司新冠病毒灭活疫苗接种后安全性良好,免疫程序两针接种后,疫苗组接种者均产生高滴度抗体,中和抗体阳转率为99.52%。

公告并称,其数据结果达到世界卫生组织相关技术标准及国家药监局印发的《新型冠状病毒预防用疫苗临床评价指导原则(试行)》中相关标准要求。