标签

 rust 

相关的文章:

招聘Rust开发工程师大佬+可居家+福利待遇好+区块链行业,Solidity/Rust 实战 — Web3 开发共学活动,【Rust日报】2024-05-15 tunnet - 用 Rust 和Bevy写的游戏,【Rust日报】2024-05-16 使用Rust开发分布式系统的经验教训,Gaia - 一个使用Rust实现的Local LLM服务解决方案。

rust有发送exchange邮件的crate吗

原文约300字,阅读约需1分钟。发表于:

如题,在写一个命令行工具的时候,需要加个邮件通知的功能。但是公司邮箱只能通过exchange发送。 用http尝试直接发送soap协议发现不行,需要ntlm认证。 https://docs.rs/ntlmclient/0.1.0/ntlmclient/ 找到了一个可以用crate,按照crate里面的例子,认证通过了,get请求返回200。但是尝试发送post请求和soap协议就返回错误码401。 如果有大佬做过类似的事情,请帮忙提供下思路

在写命令行工具时,需要加入邮件通知功能,但公司邮箱只能通过exchange发送。尝试直接发送soap协议失败,需要ntlm认证。找到了一个可以用的crate,认证通过了,但发送post请求和soap协议返回错误码401。希望有经验的人提供思路。

相关推荐 去reddit讨论

【Rust日报】2024-05-23 - Rust 中的形式验证

原文约1000字,阅读约需3分钟。发表于:

文章 - 未来的愿景:Rust 中的形式验证 这篇文章回顾了形式化验证的基本概念,作者展示了如何使用 Hoare triples 来描述和推理程序的正确性,以及如何使用分离逻辑来解决验证的复杂性。文章还解释了为什么 Rust 适用于形式化验证,以及 Rust 当中的一些特性如何帮助简化和自动化程序验证过程。 Visions of the future: formal verification in Rust : https://xav.io/blog/rust-formal-verification/ 教程 - 使用 Rust、Qdrant 和 OpenAI 构建 RAG 服务 来自 Shuttle 的示例,介绍了如何使用 Qdrant 和 OpenAI 构建一个主动检索增强生成示例,可以处理 CSV 文件、将内容嵌入到 Qdrant 中,并使用这些嵌入来准确回答特定用户查询。 Shuttle 在早前还有一篇关于 RAG 的文章介绍如何构建一个小型知识库网络服务,可以解析 Markdown 文件并进行查询。 Building Agentic RAG with Rust, Qdrant & OpenAI : https://www.shuttle.rs/blog/2024/05/23/building-agentic-rag-rust-qdrant Building a RAG Web Service with Qdrant and Rust : https://www.shuttle.rs/blog/2024/02/28/rag-llm-rust This Week In Rust 548 新一期的 Rust 周报速递发布,快来看看有哪些内容你曾经关注过 :) This Week In Rust 548: https://this-week-in-rust.org/blog/2024/05/22/this-week-in-rust-548/ From 日报小组 PsiACE 社区学习交流平台订阅: Rust.cc 论坛:支持 rss 微信公众号:Rust 语言中文社区

这篇文章回顾了形式化验证的基本概念,介绍了如何在Rust中使用Hoare triples和分离逻辑来验证程序的正确性。还解释了为什么Rust适用于形式化验证,并介绍了一些帮助简化和自动化程序验证过程的Rust特性。另外,还介绍了使用Rust、Qdrant和OpenAI构建RAG服务的教程。还有一篇关于Rust的周报速递。

【Rust日报】2024-05-23 - Rust 中的形式验证
相关推荐 去reddit讨论

Rust为何无法成为超级语言?

原文约3800字,阅读约需9分钟。发表于:

与其他命令式语言相比,Rust 类型系统和避免共享可变状态两个特性可以实现更好的本地推理和形式验证。局部推理 局部推理重要性:它能在不考虑整个程序状态的情况下验证程序属性。 Rust 的所有权模型和没有可变别名比其他语言更有利于局部推理。 对形式验证进行扩展 虽然完整的形式验证很难,但Rust 已经证明了基于编译器的验证是值得的。 如果可以以较少的成本添加更多内容,就应该这样做。 Rust 将开发工作量转移到左侧 编译 Rust 代码是一种形式化验证,有助于更早地发现错误(“左移”)。 虽然并非所有程序都能得到完全验证,但验证某些程序的某些属性是有价值的。 原文摘要:在 Rust 1.0 发布

Rust的类型系统和避免共享可变状态的特性使其具有更好的本地推理和形式验证能力。Rust的所有权模型和没有可变别名有利于局部推理。Rust的成功原因是共享可变状态规则。受限结构化并发(RSC)是Rust的缺失部分,它可以解决函数颜色和异步清理问题。动态受限结构化并发(DRSC)能够实现任何并发模式。如果Rust团队在早期解决了设计错误,Rust可能成为最优秀的超级语言。

相关推荐 去reddit讨论

JetBrains 发布用于 Rust 开发的 RustRover IDE

原文约900字,阅读约需2分钟。发表于:

RustRover 提供了用于测试、运行、调试和分析 Rust 代码的内置工具链,还可通过插件和订阅获得人工智能辅助。

JetBrains发布了RustRover,一款专用于Rust编程语言的集成开发环境,旨在简化Rust编程体验。它提供实时反馈、代码建议、工具链管理和团队协作等功能。RustRover可通过商业或非商业许可获得。JetBrains还预览了一款名为JetBrains Fleet的支持Rust开发的多语言编辑器和集成开发环境。RustRover与JetBrains的其他特定语言集成开发环境有相似之处,并支持AI Assistant插件提供人工智能支持。

相关推荐 去reddit讨论

udpack v2.0 implements with rust

原文约8400字,阅读约需20分钟。发表于:

udpack v2.0 implements with rust

UDPack 2.0是一种基于UDP的安全可靠数据包传输协议,相比1.0协议,2.0协议进行了简化,目标是提供比QUIC协议更简单、更轻量的传输协议。2.0协议的帧格式进行了变化,废除了Stream和Fragment概念,需要配合上层SocketIO协议来实现发送任意长度的数据包。协议实现使用Rust语言。

udpack v2.0 implements with rust
相关推荐 去reddit讨论

线上快速定位硬盘 I/O 高的 Rust 代码路径(使用 OpenResty XRay)

原文约2500字,阅读约需6分钟。发表于:

问题:硬盘 I/O 高 定位有问题的 Rust 代码路径 全自动分析报告

本教程介绍了使用OpenResty XRay对在线Rust应用的硬盘I/O问题进行定量分析,通过火焰图识别出延迟最长和数据量最大的Rust代码路径,并指导优化。文章还介绍了使用OpenResty XRay的Web控制台进行分析和提供的分析报告。

相关推荐 去reddit讨论

Radim Marek: Custom PostgreSQL extensions with Rust

原文英文,约1000词,阅读约需4分钟。发表于:

This article explores the pgrx framework, which simplifies the creation of custom PostgreSQL extensions to bring more logic closer to your database. Traditionally, writing such extensions required familiarity with C and a deep understanding of PostgreSQL internals, which could be quite challenging. pgrx lowers the barrier and allows developers to use Rust, known for its safety and performance, making the process of creating efficient and safe database extensions much more accessible. pg_sysload# When working with large datasets and migrations (as discussed in How Not to Change PostgreSQL Column Type), or during resource-intensive maintenance tasks, you'll want to optimise speed and minimise disruption to other processes. One way to control the pace of batch operations is to consider the load on the underlying system. Many Unix-based systems (we will focus on Linux) provide a valuable metric called the system load average. This average consists of three values: the 1-minute, 5-minute, and 15-minute load averages. The load average is not normalised for the number of CPU cores, so a load average of 1 on a single-core system means full utilisation, while on a quad-core system, it indicates 25% utilisation. In many cases, the system load average is also an excellent indicator of how ongoing operations are impacting a busy database cluster. In this article, we will create a PostgreSQL extension with a function called sys_loadavg() that retrieves this load information. We will use the /proc/loadavg file (part of the proc filesystem), which exposes underlying system details. Getting Started with pgrx# Before we start, ensure you have: Rust installed (Get Started with Rust) System dependencies installed for pgrx With these prerequisites in place, you can install pgrx itself and create a new extension skeleton: cargo install --locked cargo-pgrx cargo pgrx new pg_sysload cd pg_sysload This gives you a complete environment for developing your own PostgreSQL extensions in R[...]

这篇文章探讨了pgrx框架,它简化了创建自定义PostgreSQL扩展的过程,使更多的逻辑接近数据库。pgrx降低了门槛,允许开发者使用Rust来创建高效且安全的数据库扩展。文章介绍了如何使用pgrx创建一个名为sys_loadavg()的函数,用于获取系统负载信息。通过解析/proc/loadavg文件,可以获取系统负载平均值,并将其返回给用户。这个扩展可以用于限制批处理操作的速度,根据系统负载动态调整休眠时间和批处理大小。通过这篇文章,你可以学会使用Rust和pgrx框架构建自己的PostgreSQL扩展。

相关推荐 去reddit讨论

远程全职+Rust开发+5000U+海外OG团队

原文英文,约600词,阅读约需2分钟。发表于:

客户团队在招聘合适的 Rust 开发工程师,成为团队后端方向的带头人 海外 OG 团队,赛道头部项目,一线基金投资,快速发展期 关注对 rust 的掌握程度,最好有 web3 工作经验,团队在海外支持全程远程办公,对工作语言要求不高,中文交流+英文书面阅读即可 📖 面试流程:两轮远程面试,CTO+CEO 💰 薪资:5000U/月 ✅ 联系我 vx:Yi_aoyao 具体需求描述如下: Job Title: Senior Backend Engineer in We.Rich Job Description: We are on a mission to raise the level of global asset freedom by providing secure and easy-to-use UGA(user generated asset) platform. Our cause is driven by exceptional individuals who are eager to build the future of UGA in Web3. Our team consists of tenacious overachievers, tasked with leading and realizing the promises of UGA for the future. We deeply value the culture of trust, open feedback, and self-disruption. We encourage our staff members to commit to a mission-oriented approach to work. We also attract individuals who are enthusiastic about learning and advancing within the crypto space, thriving in the intense moments of our sprint and recharge work culture. So, if you ready to #LiveCrypto and #WeRich, keep reading! As the first ever Senior Backend Engineer in We.Rich, you will be the founding member of our backend team. Our vision is to make our company the most enjoyable workspace across the globe, for developers to quickly build and deliver high-quality products. In this role: You will lead the development of efficient testing solutions, measure its effectiveness and adoption, actively listen to customer feedback, and iteratively improve these solutions. You will collaborate with engineers, product managers, and leadership to understand testing pain points and develop strategies that include detailed roadmaps. You will act as a key technical voice within the team, driving careful architectural decisions and cultivating a culture of high-quality code and engineering processes. You will ensure the team's processes and services meet the SLA adherence. You will mentor and cooperate with other team members to deliver top-notch solutions. What We Seek: Minimum of 5 years’ experience in Software Engineering. Passion for high-quality code and effective software engineering processes with a focus on execution and delivery. Deep customer empathy for the developers, our primary stakeholders. Strong verbal and written communication skills, ability to articulate the vision and influence stakeholders across the company. Proven experience completing large initiatives, making a company-wide impact. Capability to navigate through ambiguity and deliver results. Preferred Qualifications: Prior experience in Developer Experience/Productivity, Platform, or similar domain team. Experience in a fast-paced, high-growth stage internet/software company. Proficient in backend technologies including Rust, Python, GoLang. Expertise in PostgreSQL database management and Redis caching system. Solid understanding and experience in Linux Operations. Bachelor’s degree in Computer Science, Information Systems, Engineering or a related field. Experience carrying out an entire project lifecycle, from development to production. Excellent problem-solving abilities and attention to detail. Highly analytical mind and a passion for creating innovative solutions. Fluency in both Chinese (native) and English for work. We eagerly welcome individuals who are positive and continues learners, able to adapt and navigate through the ever-evolving crypto industry. If you have a "can do" attitude and thrive on being part of a winning team, this might be the opportunity for you. Seize the opportunity to make a significant impact in the crypto industry, join our team today. 补充介绍材料: 项目: Meme Infura 赛道头部项目,一线基金投资,OG团队,beta产品已上线,快速发展中 Rootdata: https://www.rootdata.com/Projects/detail/We.Rich?k=MTI2MDM%3D Twitter: https://twitter.com/WeRich_ 媒体报道:https://x.com/PANewsCN/status/1788829347635462298 感谢阅读❤️

招聘Rust开发工程师加入海外OG团队,专注于赛道头部项目,要求掌握Rust和web3工作经验,工作语言要求不高,薪资为5000U/月。

相关推荐 去reddit讨论

使用Rust捕获和解析网络包

原文约5600字,阅读约需14分钟。发表于:

前两篇文章介绍了C++和Go中利用TCP Option中的时间戳实现计算网络时延。基于“用Rust重写一切”的哲学,今天我们来看看Rust中如何做这个事情。夜深人静,再肝一篇关于网络编程的文章。

本文介绍了如何使用Rust实现计算网络时延的功能。作者使用了pcap和pdu这两个包来捕获和解析网络包。文章详细介绍了程序的实现过程,包括解析包的数据、获取TCP包和解析TCP选项中的时间戳等步骤。最后,作者还提供了清理数据和计算时间的辅助程序。

使用Rust捕获和解析网络包
相关推荐 去reddit讨论

招聘Rust开发工程师大佬+可居家+福利待遇好+区块链行业

原文约300字,阅读约需1分钟。发表于:

本人微信:QGZ15846773969 办公地点:深圳(总部)/香港/上海 最好在深办公~ 薪资放开谈,60W内都ok 技术需求: 对区块链底层数据存储,l1l2跨链,zk/op rollup, DA等有过深入研究的 对bitcoin tapscript编程, btc light client较为熟悉的 对STARK, plonky2/3, stwo, 编程较为熟悉的 对metal, cuda, spark加速较为熟悉的 需要几类人: 不管哪个方向, rust 都是硬性条件 可选方向 (1)ZK 开发 (2)ZK 性能优化(会 cuda/c ,与 host 交互会用到Rust) (3)链底层开发(公链)

招聘区块链技术人员,要求熟悉bitcoin tapscript编程和rust编程,可选方向为ZK开发、ZK性能优化、链底层开发。办公地点为深圳、香港或上海,薪资60W内。

相关推荐 去reddit讨论