solidot新版网站常见问题,请点击这里查看。
长城
2
WinterIsComing(31822)
发表于2020年12月28日 23时09分 星期一
来自小无知游太阳城(上下)
中国在 2014 年成立了资金规模庞大的国家集成电路产业投资基金,政府制定了一个雄心勃勃的目标:到 2020 年,中国将生产其所消耗芯片的 40%。这一目标未能实现。分析师估计,中国品牌去年购入了价值 1030 亿美元的半导体,其中有 17% 来自国内供应商。他们预测到 2025 年,这一比例将升至 40%,低于政府设定的 70% 的目标。在美国开始对华为实施禁令之后,中国发展芯片的意愿更加紧迫。根据《中国经济周刊》的分析,今年 1 月至 10 月,中国与芯片相关的公司数量增加了 5.8 万家,相当于每天增加约 200 家。随之而来的是投资泡沫和项目烂尾。CCTV 最近造访淮安一个停滞的项目时,发现数十台巨型机器闲置在工厂车间,其中许多机器仍未拆除塑封。
软件
WinterIsComing(31822)
发表于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%。
人工智能
WinterIsComing(31822)
发表于2020年12月28日 20时37分 星期一
来自太空战
DeepMind 的最新 AI 无需知道规则就能精通游戏。该公司的研究人员在《自然》期刊上发表研究(预印本)报告了新 AI 算法 MuZero。DeepMind 以打败围棋世界冠军的 AlphaGo 闻名,AlphaGo 利用了无数棋局进行训练。2017 年 DeepMind 推出了 AlphaZero,只需要知道基本规则就能自我训练精通游戏的 AI 算法。MuZero 则不再需要知道规则。它通过不断的试错去了解规则所允许的动作,同时了解特定动作所带来的奖励。它在此过程中不断学习找到更容易获得奖励的方法。通过同时学习规则和改进玩法,MuZero 在数据利用效率超过了 AlphaZero 等前辈。研究人员正尝试将 MuZero 应用于视频压缩、自动驾驶和蛋白质设计。这一系统需要的算力非常多,但训练完成之后决策所需要的处理能力不需要多少,可以通过智能手机完成操作。儿童掌握知识的能力曾让很多人惊叹,语言学家 Noam Chomsky 曾主张儿童需要灌输语法知识否则难以掌握语言。这一观点受到越来越多的质疑。
太空
1
WinterIsComing(31822)
发表于2020年12月28日 17时41分 星期一
来自超时空碎片
尽管受到争议,核反应堆能产生将大型飞船快速运送到火星或更遥远深空所需的能量和驱动力。核驱动火箭的设想可上溯至 1940 年代,它面临的技术挑战是安全和轻量级。今天的核燃料和反应堆设计基本能符合要求。NASA 现在正在调查将核动力火箭用于星际旅行。NASA 的 Space Technology Mission 部门首席工程师 Jeff Sheehy 说,如果你去火星然后在两年内返回,核动力在这方面是有优势的。他表示关键技术是燃料。燃料需要能承受核热引擎内部的超高温和挥发性条件。有两家公司表示它们的燃料足够牢固安全能用于核引擎,其中一家公司已经向 NASA 交付了概念设计。
生物技术
WinterIsComing(31822)
发表于2020年12月28日 15时56分 星期一
来自火星战士
Juan Aviles 博士出生于波多黎各,上学时老师在教岛屿起源时称原来生活在这里的原居民泰诺人在西班牙人殖民之后就消失了。暴力、疾病和强迫劳动杀死了他们。殖民者用由中南美洲和非洲的土著居民构成的奴隶填补了他们留下的空白。但在家里,祖母告诉了他不同的故事,称他们源自于泰诺人。祖母在二年级就缀学了,因此祖母的话他并没有认真对待。上周发表在《自然》期刊上的对加勒比海地区古代 DNA 的研究让他认识到祖母的故事部分是真实的。对 174 名 3100 年到 400 年到前生活在加勒比海和委内瑞拉的人的 DNA 分析发现,6000 年前的石器时代人类就乘船来到了加勒比海,他们可能不属于任何特定的土著居民;第二波移民发生在 2500 到 3000 年前的陶器时代,现代生活在该地区的多是陶器时代移民、欧洲移民和非洲奴隶的后裔。
软件
WinterIsComing(31822)
发表于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 的作者之一。
新闻
2
WinterIsComing(31822)
发表于2020年12月28日 13时29分 星期一
来自夜袭动物园
2007 年图灵奖得主 Edmund Clarke 因感染新冠死亡,享年 75 岁。卡内基梅隆大学的计算机科学荣誉教授 Edmund Clarke 因在模型校验上工作而在 2007 年与 E. Allen Emerson 和 Joseph Sifakis 共同获得图灵奖,模型校验是一种检查计算机硬件和软件中的设计错误的自动方法。在 1980 年代初期,Clarke 与他的哈佛研究生 E. Allen Emerson——以及独立工作的法国格勒诺布尔大学的 Joseph Sifakis——开发出模型校验,帮助改进复杂计算机芯片、系统和网络的可靠性。微软和英特尔等公司都使用模型校验去验证计算机网络和软件的设计。
任天堂
WinterIsComing(31822)
发表于2020年12月28日 13时02分 星期一
来自机器人的逃跑计划
开源开发者 Lauri Kasanen 宣布将 Linux Kernel 移植到任天堂的 N64 主机上。源代码和程序发布在 GitHub 上。N64 是任天堂在 1990 年代中期发布的家用主机,是最畅销也是最受欢迎的游戏机之一。这不是第一次 Linux 移植到 N64,但之前没有人尝试将代码合并到内核主线。Kasanen 的代码并非是基于旧的移植,他也不知道有没有人需要它。他表示做件事纯粹是因为“我能做到”。
长城
6
WinterIsComing(31822)
发表于2020年12月28日 11时33分 星期一
来自彩虹尽头
中国央行等金融管理部门联合约谈蚂蚁集团的具体内容出炉,指蚂蚁集团“藐视监管合规要求”,存在违规监管套利行为;并提出五项重点业务领域整改要求,包括依法设立金融控股公司,确保资本充足。对此,蚂蚁集团迅速回应,在央行公布约谈内容不到三小时,就发布公告称,会在金融管理部门的指导下成立整改工作组,“全面落实约谈要求”,规范金融业务的经营和发展。蚂蚁集团在IPO前夕被监管联合约谈导致上市计划泡汤后,这是第二次被央行等金融监管机构联合约谈。此前中国市场监管总局亦根据举报,对阿里巴巴集团实施“二选一”等涉嫌垄断行为立案调查。浙江省市场监管局负责人日前表示,12月24日,国家市场监管总局调查组执法人员进驻阿里巴巴集团控股有限公司开展调查,当天现场调查全部结束。