微软正在全公司范围内加大力度采用 Rust 作为内部软件开发的首选。对于有兴趣将大量 C# 代码转换为更新、内存安全的编程范式的

微软正在全公司范围内加大力度采用 Rust 作为内部软件开发的首选。对于有兴趣将大量 C# 代码转换为更新、内存安全的编程范式的 Rust 专家来说,新的工作机会是再好不过了。 根据微软布拉格办事处最近发布的一份职位招聘启事,微软正在为 Microsoft 365C# 和 Rust 语言,并具有提供"大规模"、高容量服务的经验。他们的主要职责是采用 Rust 编程语言作为核心 M365 组织的新基础,即 Substrate App Platform (SAP)。 Rust 采用计划。招聘启事称,公司正在组建一个新团队,专注于将 Rust 语言作为"全球规模平台服务"及其他现代化工作的基础。 这位 Rust 专家将在 SAP 小组中承担重要职责,包括 Rust 库、SDK 等的技术指导、设计和实施,这位高技能工程师还需要与利益相关者和高级经理沟通,因为他们必须了解公司在技术挑战之外的业务需求。 标签: #微软 #Rust 频道: @GodlyNews1 投稿: @GodlyNewsBot

相关推荐

封面图片

微软正在招聘一名软件架构师 负责将Microsoft 365转换到Rust代码

微软正在招聘一名软件架构师 负责将Microsoft 365转换到Rust代码 根据微软布拉格办事处最近发布的一份职位招聘启事,微软正在为 Microsoft 365 平台招聘一名首席软件架构师。招聘启事称,理想的应聘者应精通 C# 和 Rust 语言,并具有提供"大规模"、高容量服务的经验。他们的主要职责是采用 Rust 编程语言作为核心 M365 组织的新基础,即 Substrate App Platform (SAP)。SAP小组负责编写微软云服务的运行代码,这意味着雷德蒙德已决定加快之前宣布的 Rust 采用计划。招聘启事称,公司正在组建一个新团队,专注于将 Rust 语言作为"全球规模平台服务"及其他现代化工作的基础。这位 Rust 专家将在 SAP 小组中承担重要职责,包括 Rust 库、SDK 等的技术指导、设计和实施,这位高技能工程师还需要与利益相关者和高级经理沟通,因为他们必须了解公司在技术挑战之外的业务需求。Rust 是一种最新的通用编程语言,由软件开发人员 Graydon Hoare 创建,是他在 Mozilla 工作期间的一个个人项目。用 Rust 编写的程序可以提供更高水平的保护,防止出现与内存相关的错误和安全漏洞,在二进制代码编译过程中就可以消除整类危险缺陷。Rust 最初发布于 2015 年,在各大科技公司中越来越受欢迎。Linus Torvalds 将 Rust 代码纳入 Linux 内核,Google也开始在 Chromium 项目中使用该语言。2020 年,微软开始用 Rust 重写 Windows 的重要部分,为 Windows 这个几十年来由不同代码语言拼凑而成的系统带来了更多的安全性,甚至明显的性能改进。微软还是 Rust 基金会的创始成员之一,该基金会是一个非营利组织,成员包括亚马逊、华为、Google和 Mozilla 等公司。在为编程界的新秀留出空间之前,C# 语言是由 Turbo Pascal 的原创者、微软员工安德斯-海尔斯伯格(Anders Hejlsberg)于 2000 年设计的。 ... PC版: 手机版:

封面图片

美国政府建议使用内存安全编程语言 C/C++都被排除在外

美国政府建议使用内存安全编程语言 C/C++都被排除在外 为什么大型科技公司都关注 Rust 呢?因为相对来说,Rust 安全性更高,微软认为通过 Rust 重新编写某些组件有助于提高内存安全性。日前美国政府下属的 ONCD 办公室发布了一份报告就详细介绍了建议开发者们使用各种内存安全编程语言,尽管 ONCD 没有明确罗列哪些语言是内存安全编程语言,但强调了 C 和 C++ 缺乏与内存安全相关的特征,因此实际上就是不建议开发者使用 C 和 C++。需要强调的是,这里只是从内存安全角度出发来建议,并不是评判一种编程语言的好坏,ONCD 称如果软件一开始就选择使用内存安全编程语言的话,那么可以提高安全性。报告也没有建议使用哪些内存安全语言来替代 C 和 C++,毕竟只是建议,实际上开发者和企业如何选择编程语言还是开发者们自己的事情,毕竟也要考虑到软件本身。 ... PC版: 手机版:

封面图片

然而,这家公司似乎从未完全恢复过90年代的活力。直到现在。当初创公司OpenAI开始开发其令人瞠目的生成型AI产品时,纳德拉迅速

然而,这家公司似乎从未完全恢复过90年代的活力。直到现在。当初创公司OpenAI开始开发其令人瞠目的生成型AI产品时,纳德拉迅速意识到,与该公司及其首席执行官Sam Altman合作将使微软处于新的AI繁荣的中心位置。(OpenAI被吸引到这个协议是由于需要微软的Azure服务器的计算能力。) 作为合作伙伴关系中的第一步,微软通过发布Copilot,一款可以自动化某些编码元素的AI助手,给开发者世界留下了深刻的印象。而在2月份,纳德拉令更广泛的世界(以及其竞争对手谷歌)震惊的是,他通过一个名为Sydney的聊天机器人,将OpenAI的最新大型语言模型集成到了Bing中。有数百万人使用了它。是的,出现了一些小问题《纽约时报》记者凯文·鲁斯诱使Sydney承认它爱上了他,并将从他的妻子手中抢走他但总的来说,该公司正在崭露头角成为AI的重量级选手。微软现在正在将生成型AI“副驾驶员”集成到其许多产品中。其对OpenAI的投资超过100亿美元,看起来是世纪之交的最佳投资。(不过微软并未免于最近科技行业的紧缩趋势纳德拉今年已经裁掉了10000名员工。) 如今55岁的纳德拉,终于开始得到认可,不仅仅是一个熟练的看门人和微软巨大资源的精明运用者。他深思熟虑的领导方式和显著的谦逊,一直与他无情且喧闹的前任比尔·盖茨和史蒂夫·鲍尔默形成鲜明对比。(确实,这些人设定的同情心标准相当低。)通过他迅速而全面的采用AI,他表现出了一种勇气,这让人联想到微软早期的活力。现在,每个人都想听听他对AI这个世纪科技热门话题的看法。 史蒂文·列维:你何时意识到这个阶段的AI将带来如此大的变革? 萨蒂亚·纳德拉:当我们从GPT 2.5升级到3时,我们都开始看到这些新的能力。它开始显示出扩展效应。我们并没有只对其进行编码训练,但是它在编码方面确实变得非常好。那时我就成为了一个信徒。我想,“哇,这真的开始了。” 史蒂文·列维:你试图购买OpenAI吗? 萨蒂亚·纳德拉:我在微软的成长过程中,以许多有趣的方式处理合作伙伴关系。早在以前,我们就与SAP进行深度合作构建了SQL Server。所以这种事情对我来说并不陌生。不同的是,OpenAI具有一种有趣的结构;它是非营利的。 通常这看起来似乎会成为一种交易终结者,但你和OpenAI以某种方式提出了一个复杂的解决方案。 他们创建了一个盈利实体,我们说,“我们可以接受。”我们有一个良好的商业伙伴关系。我觉得这里有一个长期稳定的交易。 显然,这种设置使OpenAI从你们的交易中赚钱,微软也是,但对你们合作积累的利润有一个上限。当你达到这个上限时,就像灰姑娘的马车变成南瓜OpenAI变成了一个纯粹的非盈利组织。那时合作伙伴关系会怎样?OpenAI是否会说,“我们完全是非盈利的,我们不想成为商业运营的一部分?” 我认为他们的博客已经阐述了这一点。但从根本上说,他们的长期想法是我们达到超级智能。如果发生这种情况,我想一切都将不再确定,对吗? 是的。对所有人来说。 如果这是人类的最后一项发明,那么一切都将不再确定。不同的人对这是什么,何时会发生有不同的判断。未说出来的部分是,政府会对此有什么看法?所以我把这个问题放在一边。只有当出现超级智能时,这种情况才会发生。 OpenAI的首席执行官Sam Altman相信这种情况将会发生。你是否同意他的观点,我们将达到那个AGI超级智能的基准? 我更关注所有人都能从中受益的问题。我深受工业革命直到很晚才影响到我成长的世界各地的事实困扰。所以我正在寻找可能比工业革命更大的事情,并真正做到使工业革命为西方,为全世界的每一个人所做的事情。所以我一点也不担心AGI的出现,或者快速出现。很好,对吗?这意味着80亿人口有了丰富的资源。那是一个理想的世界。 你如何规划来实现这个愿景?现在你正在将AI融入你的搜索引擎,你的数据库,你的开发者工具。但这些并不是那些被忽视的人们正在使用的。 很好的观点。我们首先从开发者的前沿看起。我真正兴奋的一件事是带回开发的乐趣。微软开始是一个工具公司,尤其是开发者工具。但是多年来,由于软件开发的复杂性,开发者曾经享受的关注和流动性被中断。我们对这个AI程序员Copilot[它编写日常代码并释放程序员解决更具挑战性的问题]所做的对这门手艺的贡献,美丽可见。现在,在GitHub上的一亿开发者可以享受自己的时间。然而,随着AI改变编程过程,它可以增长10倍一亿可以变成十亿。当你正在提示一个LLM时,你正在对它编程。 任何拥有智能手机并知道如何说话的人都可以成为开发者吗? 绝对可以。你不需要写一个公式,或者学习语法或代数。如果你说提示只是开发,学习曲线将变得更好。你现在甚至可以问,“什么是开发?”这将被大众化。 至于把这个带给全球80亿人,我在一月份去了印度,看到了一个令人惊奇的演示。政府有一个名为“数字公共产品”的项目,其中之一是文本到语音系统。在演示中,一位农村农民正在使用这个系统询问他在新闻上看到的一个补贴计划。它告诉他关于该计划以及他可以填写的申请表格。通常情况下,它会告诉他在哪里可以得到这些表格。但是印度有一个开发者用所有印度政府文件训练了GPT,所以系统自动用不同的语言为他填写了表格。一些几个月前在美国西海岸创建的东西,已经到了印度的一位开发者那里,然后他写了一个模块,让印度农村的农民可以在WhatsApp机器人上的手机上获得该技术的好处。我的梦想是地球上的每一个80亿人都能有一个AI导师,一个AI医生,一个程序员,也许是一个顾问! 那是一个伟大的梦想。但生成型AI是新技术,有些神秘。我们真的不知道这些东西是如何工作的。我们还有偏见。有些人认为现在大规模采用还为时过早。Google多年来一直拥有生成型AI技术,但出于谨慎,它步调缓慢。然后你把它放入Bing,并挑衅Google做同样的事情,尽管有所保留。你的确切话:“我希望人们知道我们让Google跳舞。”Google确实跳舞了,改变了它的策略,并用它自己的生成AI搜索产品Bard跳入市场。我不想说这是鲁莽,但可以说,你大胆的Bing举动是一个过早的发布,开始了一个由大大小小的竞争者不顾一切地跳入,无论他们的技术是否准备好的绝望周期。 我们行业的美在于,不仅看你拥有什么能力,更看你如何实际运用这些能力并转化为实实在在的产品。如果你想展开这个论点,你可以回头看看施乐PARC或者微软研究院,说他们开发出的所有东西都应该被留下来。问题是,谁做出了实际有用的东西,真正帮助了世界向前发展?这就是我觉得我们需要做的。去年谁能想到搜索可以再次变得有趣?谷歌做得非常好,并在产品和分销两方面坚固地领导了这个行业。谷歌搜索是Android上的默认搜索引擎,iOS上的默认搜索引擎,最大的浏览器上的默认搜索引擎,等等。所以我说,“嘿,让我们去创新,改变搜索范例,使得谷歌的10个蓝色链接看起来像Alta Vista!” 你在说90年代的搜索引擎,当谷歌超越它的创新时,它立即变得过时。那太残酷了。 此时,当我使用必应聊天时,我根本不能回到原来的必应。这根本没有意义。所以我现在很高兴有了Bard和必应。让真正的竞争存在,让人们享受创新。 我想你一定对终于推出一种让人们注意到必应的搜索创新感到很兴奋。我记得你在2009年管理必应的时候是多么的沮丧,你似乎在追求一个无法超越的对手。那么对于AI,我们是否处于这样一个拐点,原先牢固的赢家变得脆弱? 绝对。从某种意义上说,每次变化都让我们更接近Vannevar Bush在文章中首次提出的愿景[《我们可能会想什么》是一篇1945年发表在大西洋月刊上的文章,首次提出了一个由计算机驱动的信息乌托邦的观点]。这就是梦想,对吧?问题是,如何真正创造出这种成功感,这包括从Bush到J. C. R. Licklider[他在1960年设想了“人类和计算机的共生”]到Doug Engelbart[鼠标和窗口]到Alto[Xerox PARC的图形界面PC],到个人电脑,到互联网。这一切都是说,“嘿,能不能有一个更自然的接口,让我们作为人类增强我们的认知能力,做更多的事情?”所以,这就是其中的一个例子。副驾驶是一个隐喻,因为这是一个把人放在中心的设计选择。所以不要把这个发展变成关于自动驾驶它关乎副驾驶。很多人都在说,“哦我的上帝,AI来了!”猜猜看?AI已经在我们周围。实际上,所有的行为定向都使用了很多生成式AI。它是一个黑盒子,你我只是目标。 我觉得未来将是副驾驶和自动驾驶之间的拉锯战。 问题是,人们如何控制这些强大的能力?一种方法是让模型本身与我们关心的核心人类价值观保持一致。这些不是技术问题,更多的是社会文化考虑。另一方面是设计选择和产品制造与上下文相结合。这意味着真正确保这些模型被部署的环境与安全保持一致。 你对那些说我们应该对AI停下来六个月的人有耐心吗? 我对任何说“让我们对所有难以对齐的挑战保持思考,确保我们没有失控的AI”的人都充满了尊重和耐心。如果AI开始疯狂增长,我们最好能控制住。回想一下,当蒸汽机首次被部署,工厂被创建的时候。如果当时,我们就考虑到了童工和工厂污染,我们能否避免几百年的恶劣历史?所以每当我们对新技术感到兴奋的时候,思考一下这些意想不到的后果是很好的。尽管如此,此刻,我不会说我们应该停下来,而是我们应该加快工作进程,创造这些对齐。我们第一天看到GPT-4的时候,并没有立即发布Sydney,因为我们需要做很多工作来建立一个安全套索。但我们也知道,我们不能在实验室里完成所有的对齐。要使一个AI模型与世界对齐,你必须在世界中对齐它,而不是在某个模拟中。 那么你知道Sydney会爱上记者Kevin Roose吗? 我们从没想到有人会在发布后的100小时内做出荣格分析。 你还没有说你是否认为AI有可能毁灭人类。

封面图片

黄仁勋的野心不止于GPU “AI工厂”概念剑指2500亿美元蓝海

黄仁勋的野心不止于GPU “AI工厂”概念剑指2500亿美元蓝海 实际上,对于英伟达GPU技术大会(GTC),业界一直将其誉为“AI界的伍德斯托克音乐节”,只是在这场盛会上,跃动的音符是芯片、算法、计算机架构和数学等内容。作为AI时代的“卖铲人”,英伟达在GTC大会上亮出了不少“黑科技”。其中,基于Blackwell架构的全新GPU芯片,性能是上一代的4倍,能效提升25倍,可谓“最强AI芯片”。全新AI微服务提供从应用软件到硬件编程的一站式服务,在硬件、软件和系统上全栈布局。更值得注意的是,黄仁勋在演讲中不断提到了“AI工厂”的概念,希望企业能站在不同的思维来考虑数据中心和AI工具。他认为,世界已经在新一轮工业革命的开端,这场工业革命里输入的原材料是数据,出来的则是有价值的数据令牌(digital tokens),处理和提炼数据的中间环节就是数据中心。据黄仁勋估计,这将是一个年规模达2500亿美元的市场。AI盛会亮点多:“最强AI芯片”Blackwell、人形机器人、Vision Pro数字孪生2016年,黄仁勋当着马斯克等一众OpenAI元老的面,亲手把第一台由GPU芯片组成的DGX-1超级计算机送给OpenAI。如今,所有卷入大语言模型和生成式AI竞争的公司,都在争夺英伟达的GPU芯片。毫无疑问,在这一轮生成式AI热潮中,英伟达是背后关键的“卖铲人”。在本周的GTC大会上,黄仁勋不负众望,亮出了一系列“黑科技”,再度引爆AI界。在这场科技盛会中,黄仁勋正式公布“AI核弹”:基于Blackwell架构的GPU芯片。Blackwell GPU的训练性能是上一代Hopper GPU的4倍,推理性能是30倍,能源效率是约25倍。英伟达GPU性能提升之快,让英伟达高级科学家Jim Fan直呼“新的摩尔定律”已经诞生。打个比方,如果要训练1.8万亿参数的模型(GPT-4的规模),用Hopper架构的芯片来训练,可能需要8000个GPU,消耗15兆瓦电力,需要90天左右。如果用Blackwell,只需要2000个GPU,4兆瓦的电力,能耗大幅降低。图片来源:Jim [email protected]业界预计,将采用Blackwell系列芯片的公司包括亚马逊、Google、Meta、微软、OpenAI、特斯拉和xAI。黄仁勋透露,新GPU的价格为3万到4万美元,这无疑将进一步推动英伟达的营收。英伟达还推出了NIM(英伟达推理微服务),提供从应用软件到硬件编程的一站式服务,让开发者可以轻松构建和部署AI应用,加速AI技术的落地应用。除此之外,英伟达还展示了一系列酷炫的AI运用场景,如用来预测蛋白质结构的 ESMFold、人形机器人基础模型 Groot 和人形机器人芯片 Jetson Thor ,与比亚迪合作的车载计算平台, Omniverse平台上的苹果Vision Pro应用和地球气候的数字孪生等。本次GTC大会也得到了华尔街的热捧。摩根大通分析师Harlan Sur认为,Blackwell架构巩固了英伟达在AI领域的主导地位,比竞争对手“仍领先一到两步”。美国银行分析师Vivek Arya表示,基于Blackwell的GPU产品“训练性能前进一步,推理性能实现飞跃”,维持1100美元的目标价和“买入”评级。高盛分析师Toshiya Hari则认为,英伟达强大的创新能力和广泛的客户关系将推动其持续增长,在未来的竞争中继续保持优势地位,并让竞争对手感到压力,因此Hari将其目标股价从875美元上调至1000美元。截至发稿,英伟达本周上涨7.35%,今年开年以来累计涨幅为95.75%,而2023年全年涨幅为239%。不只卖芯片,英伟达看中的是2500亿美元的大市场“我们真正卖的不是芯片。芯片本身不能工作,需要构建成一个系统才能运行。”在Blackwell芯片的超强性能引发热议之际,黄仁勋却在GTC大会期间不断强调这一点。“英伟达为AI构建了整个数据中心,只是将其分解成了各个部分,其中一些部分适合你的公司。”在黄仁勋看来,英伟达的市场机会不在于GPU芯片,因为很多公司也在开发GPU。英伟达真正的竞争优势在于将芯片、软件、算法引擎、安全技术、芯片间通信等统合到一起的数据中心解决方案。“数据中心正在快速走向加速计算(指利用专用硬件以超越 CPU 常规计算效能的高效计算处理),这是每年价值2500 亿美元的市场,并以每年20%至25%的速度增长。这主要是由于AI方面的需求,而英伟达将占据重要的份额。”黄仁勋表示。他同时称,这是英伟达市值能在9个月里从1万亿美元升至2万亿美元的底气。黄仁勋如此重视数据中心业务,是因为他认为数据中心将在新的工业革命中发挥中心的作用,因此他在GTC大会期间反复强调,要用“AI工厂”的思维来理解数据中心。黄仁勋用电力工业革命作类比来阐释“AI工厂”:上一次工业革命中输入的是水,产出来的是电,而在数据中心房间里发生的工业革命,其原材料则是数据,经过处理后输出的是数据令牌,“这种令牌是看不见的,会分布在世界各地。非常有价值。”业内人士认为,黄仁勋所谓的“AI工厂”,其实类似于国内智算中心的提法,是为AI大模型、AI应用等提供计算力的新型“发电厂”,而非传统上存储和管理数据的设备。黄仁勋之所以反复强调“AI工厂”的概念,实际是希望企业将数据中心看成赚钱的单元,而非单纯的设备投资,从而促使更多企业加快部署英伟达的服务。“数据中心曾被视为公司的成本中心和资本支出,你会认为它是一项成本。然而,工厂是另一回事,它能够赚钱。生成式AI的新世界将产生一种新形式的工厂。”他补充道。随着生成式AI的爆火,数据中心业务已经成为英伟达的主要增长点。今年2月发布的最新一季财报显示,数据中心业务扛起了英伟达当季83%的营收,同比增长409%至184亿美元。这一增长与大模型训练和推理对英伟达Hopper GPU架构的需求密不可分,而随着Blackwell GPU的面世,英伟达有望继续牢牢占据AI“卖铲人”的地位。在GTC大会期间,戴尔宣布与英伟达一起共建戴尔“AI工厂”,升级自家旗舰的PowerEdge XE9680伺服器来支持英伟达的最新GPU架构。联想集团也与英伟达宣布合作推出全新混合人工智能解决方案,将为开发人员提供刚刚发布的NVIDIA微服务,包括NVIDIA NIM和NeMo Retriever。微软CEO纳德拉亦表示,将在微软的全球数据中心采用 GB200 Grace Blackwell 处理器,助力世界各地的组织实现 AI 落地。在英伟达股价狂飙之际,华尔街所有人都关心的问题是,英伟达还能涨多少,到底有没有泡沫。在看多者眼里,这一轮AI热潮才刚刚开始,英伟达将继续增长。WedBush证券的著名分析师Dan Ives在发给《每日经济新闻》记者的评论邮件里表示:“英伟达‘黄金’GPU开启的波澜,已在科技界引发了未来数年的开支浪潮。在这场第四次工业革命里,随着企业和消费者使用场景在全球扩散,我们预计接下来的十年里AI开支将达到1万亿美元。当前,对AI的需求是无可争议的,微软、Google、亚马逊、甲骨文、Meta都在AI转型投资上有着惊人的资本支出数字,而英伟达正是领导者。”近期而言,Dan Ives认为2024年企业的IT预算中AI相关的支出将占8%到10%,而2023年这一数字还不到1%。另外值得一提的是,在英伟达GTC大会期间,除了黄仁勋的主题演讲,美国国家工程院院士、斯坦福大学首位红杉讲席教授李飞飞和OpenAI 首席运营官Brad Lightcap等嘉宾也带来了精彩的分享,探索 AI、加速计算等领域的突破性进展。 ... PC版: 手机版:

🔍 发送关键词来寻找群组、频道或视频。

启动SOSO机器人