#rust

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-4 18:15
研究人员发现月球正在生锈,地球对此负有部分责任。 一篇新的论文研究了来自印度空间研究组织的月船一号轨道器的数据,揭示了月球两极的组成与其他的有很大的不同。 夏威夷大学的李帅(音译)研究了从两极反射的光,发现了赤铁矿的光谱特征。 赤铁矿是氧化铁的一种形式,俗称铁锈;然而,为了使铁变成铁锈,必须有氧气存在--这是月球臭名......
2020-9-3 16:26
周三下午,诺斯罗普·格鲁曼公司(Northrop Grumman)在犹他州北部启动了其正在为NASA的太空发射系统火箭制造的助推器的全尺寸测试版。尽管工程师们仍在审查300个通道的数据,但诺斯罗普·格鲁曼公司负责推进系统的副总裁查理·普雷库特(Charlie Precourt)表示,测试是成功的。 其中两个大型助推器......
2020-9-1 3:51
会议上达成了一些共识,即编写Rust包装器对于一些最常见和最关键的API来说是有意义的,但是手动包装每个内核API都是不可行的,也是不可取的。Thomas提到Google正在致力于自动生成C++代码的惯用绑定,并考虑内核是否可以做类似的事情,也许是建立在现有的稀疏注释之上,或者在现有的C中添加一些新的注释来指导绑定生......
2020-9-1 2:57
游戏开发是一个迭代的过程。与其他流行的铁锈游戏引擎相比,你不能再等编译了,后者编译一个换行符可能需要30秒以上!
2020-8-31 23:52
在上一集中,我们游览了令人愉快的乏味的闪存世界,起草了一些驱动程序接口,并玩弄了机箱可见性的两个级别的泛型的想法。明显缺少的是,嗯,有效的代码。建立数据结构是一回事,完全在裸机固件的原始1和0之间编织泛型是另一回事。今天,我们将凝视空虚,希望空虚不会再凝视我们。 在关于闪存的一节中,我们借助一个不靠谱的类比,探讨了如......
Sum Types in Julia and Rust(andreaskroepelin.de)
2020-8-31 12:35
正如我在本博客的其他帖子中提到的(这里肯定很多人都会同意),我坚信设计程序的一个很好的开始是找出人们试图解决的现实问题的良好表示形式,即定义适当的类型。定义类型的一种有用的技术是所谓的SUM类型。有趣的是,它们在不同的编程语言中的用法完全不同,我想在本文中以Rust和Julia为例简要说明这一点。 备注:Julia和......
2020-8-31 0:3
早在7月份就提到过,上游Linux开发人员一直在努力寻找一条将Rust代码添加到Linux内核的途径。这个话题现在正在本周的虚拟Linux Plumbers大会上进一步探讨,而且看起来还是会发生,只是最初的基础设施何时到位以及推出的速度有多慢的问题。 早在7月份,Linus Torvalds就分享了他对Linux内核......
Guide to the Rust Compiler Development(rustc-dev-guide.rust-lang.org)
2020-8-30 3:39
本指南旨在帮助记录Rustc(Rust编译器)是如何工作的,并帮助新的贡献者参与到Rustc开发中来。 构建和调试rustc:包含无论您如何贡献都应该有用的信息,关于构建、调试、概要分析等。 贡献给Rustc:包含无论您如何贡献都应该有用的信息,关于贡献的程序、稳定特性等。 高级编译器体系结构:讨论编译器的高级体系结......
Don't Trust Default Timeouts(robertovitillo.com)
2020-8-29 21:12
现代应用程序不会崩溃;它们会挂起。其中一个主要原因是假设网络是可靠的。不是的。 当您在没有设置超时的情况下进行网络调用时,您是在告诉您的代码您百分之百确信调用将会成功。你真的愿意打赌吗? 如果您正在进行一个永远不会返回的同步网络调用,那么您的线程至少会永远占用您的线程。哎呦。不返回的异步网络调用也不是免费的。当然,您......
Objective-Rust(belkadan.com)
2020-8-29 5:41
这将是另一个帖子,我做了一些可笑的事情,然后告诉你们我是如何做到的,所以让我们直接开始吧。 使用objc_rust::*;use std::ffi::cstr;pub fn main(){#[link(name=";Foundation";,Kind=";framework";)]extern......
Rust-Style Futures in C(axelforsman.tk)
2020-8-28 22:4
所有联网应用程序基本上归结为以正确的方式将多个异步调用串在一起。传统上,对于用C编写的程序,这将通过注册回调来完成,其中被调用者要么自己处理事件以通过状态机进行分派。然而,在这样的实现中,关于内存安全的推理可能是危险的,有时它需要全程序知识。未来,或者也被称为承诺,在这方面通过允许异步程序以直接风格编写,保持控制流线......
2020-8-28 13:51
这是每周一次的免费版的DIFF,这是一份关于金融和技术变化的时事通讯。免费版面向11,102名订阅者,每周增加551人。本周的订阅者专用帖子是一个系列文章的一部分,该系列关注大型科技公司,并询问是什么导致它们在未来10年内失去大部分价值: Netflix:产品与功能大赛着眼于Netflix流媒体视频捆绑包,并将其与其......
Rust 1.46.0(blog.rust-lang.org)
2020-8-28 0:15
Rust团队很高兴宣布Rust的新版本,1.46.0。Rust是一种编程语言,它使每个人都能够构建可靠而高效的软件。 如果您通过Rustup安装了以前版本的Rust1.46.0,则获取Rust1.46.0非常简单: 如果您还没有,您可以从我们网站的相应页面获取概要信息,并在GitHub上查看1.46.0的详细发行说明......
2020-8-27 22:6
这条推文正在迅速成为我写过的最受欢迎的推文。我用这个奇妙的工具画了那只恐龙,这个工具是由统计学家和可视化设计师罗伯特·格兰特(Robert Grant)创造的。它允许您在散点图上绘制任意点,然后下载相应的数据。如果你想在课堂或演讲中使用数据龙来说明在分析数据的同时将数据可视化有多么重要,请随意从这个Dropbox链接......
2020-8-26 20:39
新德里(路透社)-路透社看到的一份法律文件显示,一个由2000多家在线卖家组成的团体已经在印度对亚马逊(Amazon)提起反垄断诉讼,指控这家美国公司偏袒一些在线折扣导致独立卖家倒闭的零售商。 此案对亚马逊在印度的监管提出了新的挑战,亚马逊在印度承诺了65亿美元的投资,但正在与复杂的监管环境作斗争。 法庭文件显示,今......
2020-8-26 13:26
今天我想谈谈故事因素:通过讲故事的艺术和讲个人故事的力量来激励、影响和劝说。 我们即将创建一个新的播客,与我们服务的学生分享我们获得的知识和机会。 我希望我们可以在营销会议期间通读一下这篇博客,然后花5分钟时间进行讨论。我会把这篇帖子写得尽可能短,这样我们见面时就有时间讨论了。 我们从故事中学到了一切。我女儿痴迷于杰......
2020-8-25 19:58
谷歌公司今天宣布,该公司已经在其艺术和文化应用程序中提供了一些可以在增强现实中查看的史前生物和历史文物。例如,如果你想在起居室里仔细看看古老的甲壳类动物Cambropachycope,而不必参观莫斯科的国立达尔文博物馆,那么现在就是你的机会。或者阿波罗11号的指挥舱或者尼尔·阿姆斯特朗的登月宇航服呢? 这一声明发布之......
2020-8-24 23:19
路透首尔8月23日-韩国竞争监管机构周一表示,苹果公司(AAPL.O)韩国子公司已提出解决反垄断担忧的措施,并提出为小企业、消费者和其他人提供价值1,000亿韩元(8,402万美元)的支持计划。 韩国公平贸易委员会(Korea Fair Trade Commission)表示,苹果韩国公司一直在接受韩国公平交易委员会......
Bare Metal Rust Generics(www.ecorax.net)
2020-8-24 2:53
我有幸与经验丰富的固件开发人员共事;他们知道红区的大小,并经常将咖啡转换为链接器脚本和指针取消引用。换句话说,梅尔斯和宙斯锤子是世界上的锤子。 说到我们贸易中的工具,他们中的许多人都很好奇,很有经验。他们中的一些人-包括我自己-探索得足够远,把语法主义抛在脑后,转向理想主义,顽固地将美丽的圆钉塞进工业方孔。嘿,也许他......
2020-8-22 18:9
这个项目是一个以高度自动化但安全的方式从Rust调用C++的工具。 其目的是在使用bindgen的变体从现有的C++头文件自动生成接口的同时,它具有CXX的所有流畅安全性。可以将autocxx看作是将bindgen插入到cxx的粘合剂。 现有的CXX工具用于允许安全拥有Rust中的C++类型;特别是像std::Uni......
Trust Models(vitalik.ca)
2020-8-22 5:30
许多区块链应用程序最有价值的属性之一是不可信任性:应用程序能够继续以预期的方式运行,而不需要依赖特定的参与者以特定的方式行事,即使他们的兴趣可能会发生变化,并推动他们在未来以某种不同的意外方式行事。区块链应用程序从来都不是完全不可信任的,但有些应用程序比其他应用程序更接近于不可信任。如果我们想要朝着信任最小化的方向采......
2020-8-22 2:44
汇总RustConf 2020的链路聚合。欢迎拉取请求!-poteto/rustconf-2020
2020-8-21 5:52
Facebook首席执行官马克·扎克伯格(Mark Zuckerberg)周四向CNBC证实,本周在美国联邦贸易委员会(Federal Trade Commission)的调查听证会上作证,听证会涉及联邦机构对这家科技公司的反垄断调查。 Facebook发言人乔·奥斯本在一份声明中表示:我们致力于配合美国联邦贸易委员......
Thoughts on Rust vs. OCaml(blog.darklang.com)
2020-8-20 23:31
我现在已经生锈两周了,所以在我得斯德哥尔摩综合症之前,我觉得这是写一篇评论文章的好时机。 我学习铁锈的主要动机是我必须维护一些黑暗的铁锈代码。最近有一次与该代码相关的中断,我必须在运行中学习,所以更好地了解我正在查看的是什么。 我也梦想重写Dark in Rust已经有很长一段时间了,这主要是因为OCaml的挫败感以......