2021-8-3 1:46
欢迎阅读 2021 年 7 月的多核 OCaml 月度报告！本月的更新以及之前的更新由我、@ctk21、@kayceesrk 和 @shakthimaan 编译。由于 8 月通常是欧洲的停工期，下一次更新可能会在几个月后与 9 月的更新合并（但鉴于我们现在地理上的多样性，如果 8 月有足够的进展，我会进行更新）。多核......
2021-8-3 1:46
2016 年，我们推出了第一款 Pixel。我们的目标是为人们提供更有用、更智能的手机。多年来，我们推出了 HDR+ 和 Night Sight 等功能，它们使用人工智能 (AI) 通过计算摄影来创建精美的图像。后来，我们应用强大的语音识别模型构建了 Recorder，它可以在设备上记录、转录和搜索音频片段。 AI ......
2021-8-3 1:45
“收缩通胀”打击了全国各地的购物者： 面临成本上升的公司正在缩减包装的尺寸而不降低价格 悄悄地打击钱包中的消费者 消费者最终支付更多，因为他们购买的频率更高，但可能没有意识到这一点 随着公司面临更高的成本原材料成本上升，一些人为消费者抬高价格，但另一些人则采取更隐蔽的措施，缩小纸巾和早餐麦片等日常用品的包装尺寸。这是......
2021-8-3 1:45
在没有任何政府援助的情况下，她现在拖欠租金 5,000 美元，并担心被驱逐。她正在网上请求捐款以留在家中。 “我有箱子。我已经开始打包了，”Bears 说。 “此时对我来说唯一重要的是我儿子没有生病。” Bears 是数以千计的美国人之一，他们因立法者为应对大流行而通过的两项善意政策之间的脱节而蒙受损失。一个是联邦对......
2021-8-3 1:44
当特工们到达新罕布什尔州基恩的莱维特街时，天还是黑的，那里是大学小镇安静边缘的一片绿树成荫的装备屋。他们在拐角处的一所房子里安顿下来，周围是两辆装甲的 BearCat G3 和一支没有标记的 SUV 车队。两只熊猫都有炮手驻扎在屋顶的舱口里，穿着迷彩服。唯一的光来自蓝红相间的警报器，四面八方的房子都在闪烁。在里面，伊......
2021-8-3 1:44
谷歌今天宣布推出 Pixel 6 和 Pixel 6 Pro，不过最好将其称为预览版或挑逗版。谷歌没有发布其新 Android 手机的所有细节，而是将重点放在新 Pixel 中的新片上系统 (SoC) 上。它被称为 Tensor SoC，以 Google 在其数据中心中使用的张量处理单元 (TPU) 命名。 Tens......
2021-8-3 1:43
国际空间站的质量超过 900,000 磅，占地面积与足球场一样大，其设计目的并不是像奥运会体操运动员那样进行后空翻。但是当一个新连接的俄罗斯隔间周四突然发射推进器时，美国宇航局在推特上说，该站倾斜了 45 度。实际上，它远远超过45度。周四坠机事件期间负责美国宇航局休斯顿任务控制中心的飞行主管泽布隆·斯科维尔说：“这......
2021-8-3 1:38
在意大利南部海岸，欧洲最大的活火山隐藏在海浪之下。现在科学家们正在绘制如果它爆发会发生什么。当我们想到意大利的火山时，我们可能会认为使西西里岛黯然失色的埃特纳火山和以摧毁庞贝而闻名的维苏威火山对半岛的人口和游客构成了最大的威胁。然而，还有另一种怪物可能会对南部半岛及其岛屿造成严重破坏。它的名字是 Marsili，位于......
2021-8-3 0:47
YouTube Premium 每月 12 美元，该服务提供无广告视频、手机后台播放和视频下载（适用于 YouTube 和谷歌的 Spotify 竞争对手 YouTube Music）。但是，如果您不关心音乐和所有额外功能怎么办？如果您只是不想看到广告怎么办？ Google 现在正在为此试用一项名为“YouTube ......
2021-8-3 0:47
单击“注册”，即表示您同意接收来自 Insider 的营销电子邮件以及其他合作伙伴的优惠，并接受我们的服务条款和隐私政策。苹果公司周六从其 App Store 中删除了 Unjected，这是一款面向未接种疫苗的人的约会和社区应用程序，此举被该应用程序的所有者比作审查制度。 Unjected 的创始人谢尔比·汤姆森 ......
2021-8-3 0:46
《华尔街日报》称，交易条款并未正式披露，但据报道，此次出售对 Hello Sunshine 的业务估值约为 9 亿美元。该新闻媒体此前曾报道称，在收到包括苹果在内的许多追求者的兴趣后，Hello Sunshine 正在探索出售。 Hello Sunshine 由 Witherspoon 和 Strand Equity......
2021-8-3 0:46
Jeff Sternberg 是 Google Cloud 首席技术官办公室 (OCTO) 的技术总监，该团队由技术专家和行业专家组成，帮助 Google Cloud 的客户解决具有挑战性的问题并颠覆他们的行业。是什么推动了每个行业的这种心态转变？很简单：消费者不再愿意支持不优先考虑可持续性的公司。根据 IBM 进行......
2021-8-3 0:45
Synergy Research 报告称，收入以 39% 的速度快速增长，连续第四个季度增长。 AWS 一如既往地领先，但微软继续快速增长，谷歌也保持了这种势头。 AWS 继续挑战市场逻辑，实际上比上一季度增长了 5%，达到 37%，对于 AWS 市场成熟的公司来说，这是一项了不起的壮举。这为亚马逊云部门带来了 14......
2021-8-3 0:45
“已经签署了条款清单，我们将在未来几个月内达成最终协议，”Lilium 发言人告诉 TechCrunch。这 220 架飞机将作为在巴西运营的新的联合品牌航空公司网络的一部分飞行。如果两家公司达成协议，Azul 将运营和维护旗舰 7 座飞机的机队，Lilium 将提供定制备件，包括更换电池和飞机健康监测平台。交付将于......
2021-8-3 0:45
Dana Stalder 是 Matrix Partners 的合伙人。作为 PayPal 的前商业主管（产品、销售和营销），他现在领导 Matrix Partners 的金融科技投资，在那里他还投资于消费者市场和企业软件。 Afterpay 和 Square 有潜力建立世界上最重要的支付网络之一。 Square 已......
2021-8-3 0:30
纽约，7 月 30 日（路透社） - 第二大区块链网络以太坊即将进行技术调整，这将显着改变交易处理方式，并减少以太币的供应并大幅提高其价格.分析师表示，以太坊改进提案 (EIP) 1559 的升级类似于比特币“减半”事件，其中定期调整减少了比特币的供应。每一次减半都有助于将比特币的价格推升至更高的记录。根据今年 2 ......
2021-8-3 0:29
普利司通美洲今天宣布以 3.91 亿美元的现金和股票收购了 Azuga，这是一个面向车队运营商的互联汽车平台。作为交易的一部分，普利司通表示将拥有 Azuga 的所有资产，并将包括首席执行官 Ananth Rani 在内的团队整合到母公司的移动解决方案部门。此举正值普利司通转向技术和物流服务之际，该公司的目标是到 2......
2021-8-3 0:29
当 Laura* 于 2019 年加入按需杂货配送初创公司 Gorillas 时，它的员工还不到 20 人。她说，这家柏林初创公司充满了来自好大学的“年轻、精力充沛”的类型，他们会长时间工作。与 Gorillas 的早期投资者一样，他们对彻底改变人们购买食物的方式、让超市永久停业以及建立 Gorillas 告诉投资者......
2021-8-3 0:28
谷歌今天宣布推出 Pixel 6 和 Pixel 6 Pro，不过最好将其称为预览版或挑逗版。谷歌没有发布其新 Android 手机的所有细节，而是将重点放在新 Pixel 中的新片上系统 (SoC) 上。它被称为 Tensor SoC，以 Google 在其数据中心中使用的张量处理单元 (TPU) 命名。 Tens......
2021-8-3 0:28
该项目使 Linux 内核模块编程指南合理地保持最新状态，并提供了最新 5.x 内核版本的工作示例。该指南自 2001 年以来一直存在，并且网络上的大多数副本仅描述旧的 2.6.x 内核。这本书可以通过 https://sysprog21.github.io/lkmpg/免费访问。原始指南可以在 Linux 文档项目......
2021-8-3 0:27
几年前，在我在特拉维夫大学上的一门法语课程开始时，一个新学生走进了教室。他的脸看起来很熟悉。 “是丹·罗曼，”我自言自语道。罗曼是一名足球运动员，曾效力于我心爱的特拉维夫马卡比球队。 2008 年，他在特拉维夫德比对阵夏普尔的最后时刻打进了一个英勇的制胜球。在那场比赛中，我和 Maccabi Ultras 坐在一起，......
2021-8-3 0:27
在编程语言领域没有很多非常有力的实证结果。这可能是因为有大量的变量需要控制，而且研究人员可用的大多数科目都是 CS 本科生。然而，我最近发现了一个在众多代码库中复制的结果，据我所知，这使其成为该领域最可靠的发现之一：如果您有一个非常大（数百万行代码）的代码库，用内存不安全的方式编写编程语言（例如 C 或 C++），您......
2021-8-3 0:27
;; Peter Norvig - 来自 Erann Gat 的编程挑战：;; http://www.flownet.com/ron/papers/lisp-java/;;给定一个单词列表和一个电话号码列表，找出所有的方法；；每个电话号码都可以表示为一个单词列表。运行： (main "word-list-f......
2021-8-3 0:27
STH 的许多读者都知道，我们一直在围绕数据中心技术的未来开展一系列活动。今天，我们将看看液冷对数据中心的影响。具体来说，我们将看看一些常见的选项，然后动手看看一些影响。事实上，我们甚至要炫耀 8 倍的 NVIDIA A100 80GB 500W GPU 性能，而这部分甚至没有被 NVIDIA 正式上市。让我们开始吧......
2021-8-3 0:26
通知目前已关闭，您将不会收到更新。要打开它们，请转到“个人资料”页面上的“通知”首选项。任何访问或订阅此帖子通知的人都可以看到此信息。你确定你要继续吗？
2021-8-3 0:26
使用 Axios AM/PM 让您忙碌的日子变得更简单。在短短 5 分钟内了解新功能及其重要性。订阅 Axios Closer 以深入了解当天的商业新闻和趋势以及它们为何如此重要订阅 Axios Markets 以获取最新的市场趋势和经济见解。免费注册。通过 Axios Sports 尽情享受推动体育世界发展的统计数......
2021-8-3 0:26
在剑桥大学动物学系的网站上，Arik Kershenbaum 的页面列出了他的三个主要研究领域，其中一个领域脱颖而出。 Kershenbaum 研究“狼和其他犬科动物”、“海豚和鲸类动物”以及“外星人”。诚然，科学还没有发现任何可以研究的外星人，但 Kershenbaum 说，我们仍然可以合理确定地说出某些关于它们的......
2021-8-3 0:25
一旦您开始使用 Varnish 源代码，您会注意到 Varnish 不是您的工厂应用程序的平均运行。我在 FreeBSD 内核上工作了很多年，我很少涉足用户态编程，但是当我有机会这样做时，我总是发现人们编程就像 1975 年一样。所以当我接触到 Varnish 项目时，我是直到我意识到这将是一个很好的机会来尝试充分利......
2021-8-3 0:25
互动 每年，全球经济、贸易政策、并购以及其中的企业动荡等一系列因素都会在全球 500 强排名中推波助澜。为了帮助您快速了解每个国家/地区在列表中的代表情况，我们将全球 500 强放在了世界地图上。现在您可以一目了然地看到每个公司的位置、收入和利润。我们还邀请您了解每家全球 500 强公司在过去二十年中的排名变化。