adv

致长期以来一直关注solidot的海内外朋友,请点击这里查看。
新闻
WinterIsComing(31822)
发表于2019年04月21日 22时09分 星期日
来自
斯里兰卡 4 月 21 日发生针对教堂和酒店的连环爆炸案至少 207 人死亡,450 人受伤。总理府表示,死者中包括 9 名外国人,过去多年内战也从来没有外国人死亡。中国驻斯里兰卡大使馆对中国官媒表示,至少 4 名中国公民受伤。当天斯里兰卡共发生 8 起爆炸案,分布于首都科伦坡、附近的尼甘布以及东部拜蒂克洛,涉及 3 个教堂及 4 家酒店。遇袭教堂当时正举行复活节主日崇拜。政府宣布即时起全国每天由晚上六时至早上六时宵禁,并暂停主要社交媒体及讯息通讯系统,以防谣言散播。目前没有组织宣布对此事负责。
科技
lx1(25847)
发表于2019年04月21日 22时03分 星期日
来自
SpaceX 载人飞船 Crew Dragon 于美国时间周六下午在卡纳维拉尔角空军基地进行引擎测试时发生冒烟的异常状况。SpaceX 证实了此事,它发表声明称,它的 Crew Dragon 测试飞船在试验台进行了一系列引擎测试,最初的测试成功完成,但最后的测试导致了异常。SpaceX 称检测出此类的异常是它进行测试的主要原因,它的团队正对此展开调查,并会与 NASA 密切配合。Crew Dragon 设计将人类送往太空,它在今年三月完成了首次无人试飞,SpaceX 计划最早今年 7 月进行首次载人飞船试飞。异常可能会导致试飞推迟。
Mozilla
lx1(25847)
发表于2019年04月21日 18时55分 星期日
来自
Mozilla 写道 "语音识别技术正在改变我们与机器进行交互的方式,不过目前可供使用的系统都相当昂贵并且是专有的技术。为此谋智基金会(Mozilla)目前已经推出 Common Voice 项目,旨在让语音识别技术变得更好也能免费使用。项目依靠全球用户捐赠的语音数据库可以让任何人或开发者快速轻松地训练出能够识别任何语音的应用程序。此外作为配套设施谋智基金会还在构建名为 Deep Speech 的开源语音识别引擎且同样是为所有人免费使用。

程序
lx1(25847)
发表于2019年04月21日 18时52分 星期日
来自
Erlang 语言作者 Joe Armstrong 去世,享年 68 岁。Armstrong 与 Robert Virding 和 Mike Williams 在 1986 年为瑞典电信公司爱立信工作时开发了 Erlang 语言,它最初是私有软件,1998 年开源。Erlang 属于多重典范编程语言,涵盖函数式、并行及分布式。Armstrong 还发表了大量论文,他的博客最早是搭建在 Blogspot,后转到 Github。很多人通过社交网络和博文回忆了 Armstrong。
加密技术
lx1(25847)
发表于2019年04月20日 23时36分 星期六
来自
法国政府正式发布了它开发的替代 Telegram、WhatsApp 等的端对端加密消息应用 Tchap,支持 iOSAndroid。Tchap 由法国数字部 DINSIC 开发,基于端对端加密、去中心化实时通讯系统 Matrix 的开源客户端 Riot。Tchap 也是开源的,源代码发布在 Github 上,任何感兴趣的机构可以部署自己的 Tchap 版本供内部使用。
隐私
lx1(25847)
发表于2019年04月20日 19时02分 星期六
来自
上周,Chrome、Safari、Opera 和 Microsoft Edge 的新版本被发现不再允许用户关闭“链接审计( hyperlink auditing)”的功能。链接审计是一项 HTML 标准,被用于跟踪网站链接的点击。它通过创建特定网页的 POST 请求,用户检查请求头文件就可以了解点击的源地址。目前只有 Brave 和 Firefox 这两个浏览器默认禁用链接审计。但本周 Mozilla 表示 Firefox 将默认启用点击跟踪。虽然部分用户认为这项功能对隐私构成的风险,但浏览器开发商认为它有助于改进性能。Mozilla 称它之所以没有启用链接审计是因为它的实现还没有完成。它认为禁用链接审计无助于改进隐私。Brave 则表示它会继续禁用链接审计。
安全
lx1(25847)
发表于2019年04月20日 18时58分 星期六
来自
英国安全研究员 Marcus Hutchins,aka MalwareTech,2017 年因发现 WannaCry 的关闭开关阻止了该勒索软件的进一步传播而被视为一位安全领域的英雄,但他在当年前往美国参加安全会议 Black Hat 和 DEF CON 后准备在机场离境时遭到 FBI 逮捕,被控开发、传播和维护了银行木马 Kronos。本周 Hutchins 承认他开发了银行木马, 他对此表示遗憾,并愿意为错误承担责任,表示正将几年前误用的技能用于建设性目的。根据认罪协议,Hutchins 承认了两项指控,检方放弃了另外八项指控,每一项指控的最大刑期是五年,最高罚款 25 万美元。他承认开发了银行木马 Kronos 和 UPAS-Kit,承认与同谋 Vinny、VinnyK 和 Aurora123 在网上宣传和销售这两种木马,时间发生在 2012 年 7 月到 2015 年 9 月之间,之后他改变了职业轨道成为了安全研究员。
Bug
lx1(25847)
发表于2019年04月20日 18时30分 星期六
来自
巴黎圣母院周一晚上六点左右失火,最有可能的失火原因是电梯的电气短路,但一个计算机 bug 被指耽搁了灭火行动,导致了火势的快速蔓延。法国媒体报道称,在晚上六点后不久火警响起,但计算机 bug 在错误的地点显示了起火的位置。巴黎圣母院是欧洲第一座全哥特式教堂,失火导致了尖塔和屋顶倒塌,起火被认为是从底部开始的,圣母院院长称,整个建筑物都有火警系统,他称建筑物得到了良好保护。
微软
lx1(25847)
发表于2019年04月20日 14时54分 星期六
来自
微软发布了受 TypeScript 语法类型与 ML 和 Node/JavaScript 语义启发的新语言 Bosque ,源代码采用 MIT 许可证,托管在 GitHub上。Bosque 创作者是微软研究院的计算机科学家 Mark Marron,他设计通过拥抱代数运算和避开导致复杂性的技术,试图创造出一种简单易懂的语言,走出 1970 年代兴起的结构化编程模型。结构化编程范例使用循环、条件和子程序去管理流控制。Marron 相信我们可以通过抛弃循环、可变状态和参考相等性等导致复杂性的源头来做到更好。Bosque 代表了被 Marron 称为正规化编程(PDF)的编程范例。
太空
lx1(25847)
发表于2019年04月19日 20时58分 星期五
来自
宇宙最初是由三种简单的单原子元素构成,恒星要在创世大爆炸一亿年之后才会形成。但在一万年内,最早的分子出现了,它是氦和氢的一种组合,被称为氢化氦离子或 HeH+。它的形成是宇宙日益复杂之路的第一步,类似地球的生命从单细胞转变到多细胞。科学家早于 1925 年就在实验室里研究过 HeH+,但在自然环境中一直没有检测到它的存在。1970 年代的模型预测 HeH+ 应该大量存在于死亡的类太阳恒星喷射出的气体中。问题是地球大气层会消除这种分子所在电磁波段,它无法从地面探测到。因此 NASA 和德国宇航中心联合打造了空中观测站,使用了一架波音 747 飞机,安装了 2.7 米的巨大望远镜和红外光谱仪。在 2016 年 5 月进行的一系列飞行中,他们的设备探测到了 HeH+ 存在的证据。
评论
WinterIsComing(31822)
发表于2019年04月19日 20时23分 星期五
来自
苏格兰哲学家休谟(David Hume)认为,政府的起源,是人们舍远图近的偏狭心理,无法根本地救治自己或他人 。休谟相信,政府机构,如政治代表和议会辩论,有助于缓和我们冲动、自私的欲望,促进社会的长期利益和福祉。在今天看来,休谟的观点似乎是一厢情愿,因为我们的政治制度显然已经变成了短视泛滥的原因,而不是消除短视的良药。当新闻媒体一周 7 天、一天 24 小时不间断报道英国脱欧谈判的最新进展,或对美国总统的即兴推文喋喋不休时,现代民主政治的短视昭然若揭。那么,有没有针对政治短视的解药,能够长远地考虑后代子孙的利益呢?
商业
lx1(25847)
发表于2019年04月19日 20时01分 星期五
来自
黑莓消息应用的消费者版本 Blackberry Messenger 宣布将于 5 月 31 日关闭。负责运营 Blackberry Messenger 的公司 Emtek 在官方博客上表示科技行业的流动性很高,虽然他们付出了艰巨的努力,但用户已经迁移到了其它消息平台。黑莓首席运营官 Mark Wilson 对此局面表达了失望,称 BBM 用户可以前往 Google Play 商店下载 BBMe,它是该公司消息应用的企业级版本,这个版本在第一年免费,随后六个月的订阅费是 2.49 美元。黑莓正在开发它的 iOS 版本。
Mozilla
lx1(25847)
发表于2019年04月19日 19时18分 星期五
来自
Mozilla 物联网团队宣布了物联网开放平台 WebThings。Mozilla 的使命是确保互联网是一个全球公共资源,对所有人开放,所有人都可以访问。互联网将真正把人民放在第一位,个人能获得赋权、安全和独立。而 Mozilla 物联网团队的使命则是创建一种 Web of Things 实现去体现那些价值,帮助推动制定物联网的安全、隐私和互操作标准。它包括两个项目:用于家庭智能网关的软件发行版 WebThings Gateway,将突出隐私、安全和互操作;WebThings Framework,帮助开发者构建 web things 的可重复利用软件组件集。
微软
lx1(25847)
发表于2019年04月19日 17时54分 星期五
来自
微软以未披露的数字收购了 Express Logic 及其 ThreadX 实时操作系统(RTOS)。ThreadX 曾被用于 NASA 的 Deep Impact 任务和苹果 iPhone 4 的蜂窝无线电控制器,它被广泛嵌入到 Wi-Fi 设备的固件中。ThreadX 的最小硬件需求远比 Linux 更低,它的安装只需要 2,000 bytes,内存只需要 1KB。ThreadX 的部署数量可能有 62 亿之多。微软可能计划将 ThreadX 用于其物联网/嵌入式服务。
医学
ai(3896)
发表于2019年04月19日 16时57分 星期五
来自
一种能对疟疾提供 100% 防护的疟疾疫苗将首次在一项大规模临床试验中进行测试。试验将于 2020 年初在赤道几内亚海岸外的比奥科岛实施,将有 2100 名年龄在 2 至 50 岁之间的受试者参与。领导这项研究的疟疾研究人员 Steve Hoffman 表示,这项试验的目的是提供监管机构批准该疫苗所需的有效性和安全性数据。Hoffman 同时还是美国马里兰州罗克维尔市 Sanaria 公司的首席执行官,该公司开发了这种疫苗。赤道几内亚政府和私营能源公司正在赞助这项试验。在实验室研究中,这种名为 PfSPZ 的疫苗已被证明是迄今开发的最有效的疟疾疫苗,能为健康的志愿者提供完全的保护。PfSPZ 疫苗的工作原理是激发对恶性疟原虫的一种免疫反应。
互联网
lx1(25847)
发表于2019年04月19日 15时55分 星期五
来自
768k 日即将临近,它有可能会导致部分网络发生故障,但不用恐慌,你也可能会很幸运的体验不到任何问题。768k 日发源于 512k 日,512k 日是指路由器耗尽了储存全球 BGP 路由表的内存,它于 2014 年 8 月 12 日到来,导致了全世界数以百计的 ISP 发生网络故障。在 512k 日来临之际,许多旧的路由器收到了紧急更新,分配了更多内存去储存 BGP 路由表,而新分配的值是 768k 或 768,000。现在 768k 的限制又要突破了。根据最新的数据,全球路由表已经达到了 767,392,无限接近 768k。网络工程师和专家预测,768k 日将会在下个月到来,但这一次应该不会发生像 2014 年那样严重的网络问题,不过小型的地区 ISP 可能会遇到问题。
NASA
ai(3896)
发表于2019年04月19日 15时40分 星期五
来自
NASA 的凌日系外行星巡天卫星(Transiting Exoplanet Survey Satellite,TESS)发现了它的第一颗类地行星。研究报告预印本)发表在《Astrophysical Journal Letters》期刊上。新发现的类地行星围绕恒星 HD 21749 运动,这颗恒星距离地球 52 光年。HD 21749 有两颗行星,另一颗是类海王星,公转一周 36 天。类地行星 HD 21749c 是一颗岩石行星,但不适宜居住,公转一周 7.8 天,表面温度可能高达 800 摄氏度。这项发现证明 TESS 能识别临近恒星的小型行星。
开源
lx1(25847)
发表于2019年04月19日 15时24分 星期五
来自
2D 物理和合作建造独立游戏《King Arthur's Gold》宣布免费并公开源代码,源代码托管在 GitHub 上。《King Arthur's Gold》混合了失落的维京人的合作元素,加上了百战天虫中可完全摧毁地形的能力以及合金弹头系列里的视觉效果和动作元素。免费玩家限制了定制性,但可以通过购买 DLC 或 patreon 捐款支持解锁所有定制选项。
生物技术
ai(3896)
发表于2019年04月19日 15时02分 星期五
来自
剑桥大学的一项新研究表明,英国约有四百万人携带能保护他们免受肥胖,2 型糖尿病和心脏病困扰的遗传变异。多年来科学家们已经知道基因可以影响一个人的体重。在调节体重中起关键作用的基因之一是 MC4R,它编码的是黑皮质素 4 受体。这种受体就像大脑中的开关,可以抑制食欲。如果体内这种受体出现了突变,那么就会很人容易增加体重。在最新的一项研究中,研究人员发现 MC4R 基因其它可以增加这种大脑受体活性的遗传突变,可以让人体不会超重,这一新发现将有助于新药去 “拷贝” 这种遗传突变,以达到或保持减肥的效果。研究报告(PDF)发表在《Cell》期刊上。
长城
WinterIsComing(31822)
发表于2019年04月19日 13时13分 星期五
来自
美国联邦通信委员会(FCC)主席 Ajit Pai 表示,出于安全考虑,他将否决中国移动向美国公民提供手机服务的申请,这降低了该公司进入美国市场的可能性,他在声明中称,“很显然,中国移动申请在我国提供电信服务会引发切实的、严重的国家安全和执法风险。”他表示,委员会将在 5 月就提议予以表决。这一否决加剧了美国对中国在科技和电信行业扩大影响力的斗争。中国移动是世界上最大的手机运营商之一,它在 2011 年提交了连通美国及其他国家通话的许可申请。该公司未寻求提供美国国内手机服务,在美国与 AT&T 和 Verizon 这样的企业展开竞争。但中国移动连接美国公民与海外通话的能力仍令 FCC 感到担忧。