rust
2020-9-15 0:28
早在2020年春的Goout，我们就希望用一个更轻量级的框架来取代Spring-Tomcatduo来支持我们未来的Kotlin微服务。我们做了一些详细的(有时是哲学上的)理论比较，我非常喜欢，但这些不能替代亲身体验。我们决定使用最可行的框架来实现概念验证微服务，并在此过程中在基准中强调它们。虽然Kotlin是主要语言......
2020-9-14 22:32
甲骨文公司周一证实，已与时髦视频分享应用TikTok的中国所有者ByteDance达成协议，几周前，特朗普政府下令在美国剥离TikTok。交易提案仍需得到美国政府的批准。
甲骨文周一表示，甲骨文确认了部长姆努钦的声明，即这是字节跳动(ByteDance)上周末提交给财政部的提案的一部分，在提案中，甲骨文将担任值得信赖......
2020-9-14 8:21
一位知情人士说，甲骨文(Oracle)赢得了视频分享应用TikTok美国业务的竞标，击败了微软(Microsoft)，这笔交易是为了挽救这家陷入地缘政治僵局的社交媒体服务。
这位知情人士说，甲骨文将宣布成为TikTok在美国的“值得信赖的技术合作伙伴”，这笔交易可能不会以直接出售的方式进行。
微软周日早些时候在一份声......
2020-9-13 6:2
LWN订户已向您提供以下仅限订阅的内容。数以千计的用户依赖LWN获取来自Linux和自由软件社区的最好消息。如果您喜欢这篇文章，请考虑接受右边的试用报价。感谢您访问LWN.net！
免费试用LWN 1个月：无需付款或信用卡。现在激活您的试用订阅，看看为什么成千上万的读者订阅LWN.net。
2018年，三名前GnuP......
2020-9-12 23:20
我是在2018年被介绍给铁锈的，从那以后就一直被迷住了。Rust是一种系统编程语言，与C++非常相似。不过，与C++不同的是，它相对较新，它的语言设计更现代、更复杂。使用写作会让人感觉更像是在写打字稿或哈斯克尔(Haskell)。这并不令人惊讶，因为尽管它是一种运行时间非常短且没有GC的语言，但它派生了许多函数式编程......
2020-9-12 14:46
2030年初，我在我的档案里发现了这篇文章。从我今天了解到的情况来看，我认为在我写作的那一刻，这是非常有洞察力的。我觉得它应该出版，因为它可以教会我们，铁锈开发人员，如何防止那种悲惨的故事再次发生。
杀死哈斯克尔的东西也可能杀死拉斯特。我为什么要在这种情况下提到哈斯克尔呢？哈斯克尔和拉斯特有很深的关系。不是因为拉斯特......
2020-9-12 12:47
商业报道这位低调的首席执行官正在努力应对可能的反垄断诉讼，收入下降，以及带领公司走向新方向的压力。
如果说大多数人对谷歌首席执行官桑达尔·皮查伊(Sundar Pichai)有什么看法的话，那就是他人很好。
谷歌硬件主管里克·奥斯特罗(Rick Osterloh)说：“他真的很体贴，非常善良。”“桑达尔的气质实在是太......
2020-9-12 0:49
我最近发布了一个新的Rust库，该库旨在简化异步每核线程(Thread-per-Core)应用程序的编写任务：Scipio。我打算用它来驱动我正在为我目前的雇主Datadog编写的新一代存储密集型系统。
但我并不是这类系统的新手：在过去的7年多时间里，我一直在为ScyllaDB工作，这是一个NoSQL数据库，它成功地......
2020-9-12 0:7
Rust的包管理系统中没有名称空间。它通常被认为是一个漏洞。但这不是bug，而是一种功能！虽然平面程序包注册表有负面影响，但也有真正的好处。稳定性、连续性和统一性(不鼓励分叉和支离破碎的身份)。寻求添加名称空间而不解决其删除的积极方面的建议可能不会被接受。
我注意到，现行制度的好处似乎只是作为对建议的反对而顺便提及，......
2020-9-11 21:3
本月早些时候，美国司法部(Department Of Justice)发布了一份新的、经过现代化改造的合并补救手册，该手册本应在考虑批准、拒绝或对美国大型并购施加条件时，规定机构的行为。从表面上看，文档中概述的许多变化都很有意义。例如，新的细分规定，任何合并补救措施(包括彻底阻止交易)都应该做你预期的大部分事情，比如......
2020-9-8 7:16
由于Mozilla最近的变化，我从事Rust编译器的时间即将结束。我仍然在Mozilla工作，但在可预见的未来，我将专注于Firefox的工作。
所以我想我应该结束我的“如何加速铁锈编译器”系列，这个系列始于2016年。
如何提高铁锈编译器的速度。原始的帖子，标题最有意义的帖子。它主要关注如何为性能工作设置编译器，包......
2020-9-8 7:15
2030年初，我在我的档案里发现了这篇文章。从我今天了解到的情况来看，我认为在我写作的那一刻，这是非常有洞察力的。我觉得它应该出版，因为它可以教会我们，铁锈开发人员，如何防止那种悲惨的故事再次发生。
杀死哈斯克尔的东西也可能杀死拉斯特。我为什么要在这种情况下提到哈斯克尔呢？哈斯克尔和拉斯特有很深的关系。不是因为拉斯特......
2020-9-6 1:42
AWS抗议微软'；美国国防部绝地武士云合同胜利已成定局结论。然而，AWS，直接指责唐纳德总统特朗普支持#34；公然任人唯亲"；落后了..。
微软已经将微软团队变成一个强大的平台对于团队协作，利用他们的优势长期的建筑经验世界上的一些地方'；It‘这是最受欢迎的技术..。
在经历了许多法律曲折之后转身，......
2020-9-5 11:21
李说，这一发现提醒人们，尽管地球和月球相距超过20万英里，但它们之间的联系是多么密切。此外，地风很可能将数十亿年前的物质输送到了月球上-在铁锈划定的位置对这种物质进行采样可以帮助科学家了解早期地球的状况。
最后，这项研究甚至可能影响月球的太空探索和殖民。月球表面有赤铁矿的地区也可能有更高水平的氧气和水，这使得这些地区......
2020-9-5 11:9
司法部正在十多年来首次更新其合并指导方针，使其下令某些修复措施(如资产出售)的方式现代化，以解决联邦反垄断担忧。
2020-9-5 5:53
Dijkstra著名地贬低测试，他说“程序测试可以用来显示错误的存在，但永远不能用来显示它们的存在！”好像您应该选择一个而不是另一个。我不认为它们是对立的，而是作为互补的技术，两者都应该用来提高代码的质量。
我是正式验证的忠实粉丝。正式验证工具可能是您使用过的最好的错误查找工具。它们可以从您的代码中完全消除整类错误。......
2020-9-5 1:49
注册立即采取行动，每周在您的收件箱中获得三个行动。你会偶尔收到支持国家新闻业的节目的促销邀请。您可以在这里阅读我们的隐私政策。
谢谢你报名。有关“国家”的更多信息，请查看我们最新一期的节目。
“国家”是由读者支持的：捐10美元或更多，帮助我们继续写重要的问题。
立即注册“采取行动”，我们将向您发送每周可以采取的三项有......
2020-9-4 18:15
研究人员发现月球正在生锈，地球对此负有部分责任。
一篇新的论文研究了来自印度空间研究组织的月船一号轨道器的数据，揭示了月球两极的组成与其他的有很大的不同。
夏威夷大学的李帅(音译)研究了从两极反射的光，发现了赤铁矿的光谱特征。
赤铁矿是氧化铁的一种形式，俗称铁锈；然而，为了使铁变成铁锈，必须有氧气存在--这是月球臭名......
2020-9-4 11:31
据“纽约时报”报道，司法部长威廉·巴尔正在向司法部的职业律师施压，要求他们在9月底之前完成针对谷歌的潜在反垄断案的调查工作。这是政府内部就政府攻击这家硅谷庞然大物的时机和范围长期酝酿的争议的最新迹象。
针对谷歌的反垄断执法已成为两党达成广泛协议的罕见问题。50个州和地区加入了一个联盟，准备对谷歌提起自己的反垄断诉讼。......
2020-9-4 9:22
华盛顿--据五名了解司法部内部对话的人士透露，司法部(Justice Department)计划最快在本月对谷歌(Google)提起反垄断诉讼，此前司法部长威廉·P·巴尔(William P.Barr)驳回了职业律师的意见，这些律师表示，他们需要更多时间来对这家世界上最富有、最强大的科技公司之一提起有力的诉讼。
据其......
2020-9-3 16:26
周三下午，诺斯罗普·格鲁曼公司(Northrop Grumman)在犹他州北部启动了其正在为NASA的太空发射系统火箭制造的助推器的全尺寸测试版。尽管工程师们仍在审查300个通道的数据，但诺斯罗普·格鲁曼公司负责推进系统的副总裁查理·普雷库特(Charlie Precourt)表示，测试是成功的。
其中两个大型助推器......
2020-9-1 3:51
会议上达成了一些共识，即编写Rust包装器对于一些最常见和最关键的API来说是有意义的，但是手动包装每个内核API都是不可行的，也是不可取的。Thomas提到Google正在致力于自动生成C++代码的惯用绑定，并考虑内核是否可以做类似的事情，也许是建立在现有的稀疏注释之上，或者在现有的C中添加一些新的注释来指导绑定生......
2020-8-31 23:52
在上一集中，我们游览了令人愉快的乏味的闪存世界，起草了一些驱动程序接口，并玩弄了机箱可见性的两个级别的泛型的想法。明显缺少的是，嗯，有效的代码。建立数据结构是一回事，完全在裸机固件的原始1和0之间编织泛型是另一回事。今天，我们将凝视空虚，希望空虚不会再凝视我们。
在关于闪存的一节中，我们借助一个不靠谱的类比，探讨了如......
2020-8-31 12:35
正如我在本博客的其他帖子中提到的(这里肯定很多人都会同意)，我坚信设计程序的一个很好的开始是找出人们试图解决的现实问题的良好表示形式，即定义适当的类型。定义类型的一种有用的技术是所谓的SUM类型。有趣的是，它们在不同的编程语言中的用法完全不同，我想在本文中以Rust和Julia为例简要说明这一点。
备注：Julia和......
2020-8-31 0:3
早在7月份就提到过，上游Linux开发人员一直在努力寻找一条将Rust代码添加到Linux内核的途径。这个话题现在正在本周的虚拟Linux Plumbers大会上进一步探讨，而且看起来还是会发生，只是最初的基础设施何时到位以及推出的速度有多慢的问题。
早在7月份，Linus Torvalds就分享了他对Linux内核......
2020-8-30 3:39
本指南旨在帮助记录Rustc(Rust编译器)是如何工作的，并帮助新的贡献者参与到Rustc开发中来。
构建和调试rustc：包含无论您如何贡献都应该有用的信息，关于构建、调试、概要分析等。
贡献给Rustc：包含无论您如何贡献都应该有用的信息，关于贡献的程序、稳定特性等。
高级编译器体系结构：讨论编译器的高级体系结......
2020-8-29 21:12
现代应用程序不会崩溃；它们会挂起。其中一个主要原因是假设网络是可靠的。不是的。
当您在没有设置超时的情况下进行网络调用时，您是在告诉您的代码您百分之百确信调用将会成功。你真的愿意打赌吗？
如果您正在进行一个永远不会返回的同步网络调用，那么您的线程至少会永远占用您的线程。哎呦。不返回的异步网络调用也不是免费的。当然，您......
2020-8-29 5:41
这将是另一个帖子，我做了一些可笑的事情，然后告诉你们我是如何做到的，所以让我们直接开始吧。
使用objc_rust：：*；use std：：ffi：：cstr；pub fn main(){#[link(name="；Foundation"；，Kind="；framework"；)]extern......