当前位置: 首页>后端>正文

rustdesk可以远程手机吗 rustdesk ios

Rust将减少对苹果32位系统的支持

Rust团队遗憾地宣布,Rust 1.41.0 将于2020年1月30日发布,这是对32位Apple目标当前支持水平的最后一个版本。从Rust 1.42.0开始,这些目标的支持将降级为Tier 3。

该决定是在RFC 2837上发布的,并被编译器团队和发行团队接受。上述文章解释了做出这个更改的意义,以及对现有项目会产生什么样的影响。

受到此更改影响的主要是32位macOS(i686-apple-darwin),支持级别将从级别1降级为3级。这将影响在32位Mac硬件上使用编译器以及从以下版本任何其他平台的交叉编译32位macOS二进制文件。

此外,以下32位iOS系统将从2级降级为3级:

  • armv7-apple-ios
  • armv7s-apple-ios
  • i386-apple-ios

更多详情请阅读Rust博客原文

Razor发布,一阶理论的模型发现者

razor-fol:一个用于解析和语法处理一阶(逻辑)公式的库。 razor-chase:一个用于构造一阶理论模型的库。剃刀:一阶理论的模型发现工具。

这是GitHub仓库的链接:https://github.com/salmans/rusty-razor

该项目仍处于起步阶段,但是作者进行了部分试验。证明定理的正确性和程序运行速度,因此在不久的将来或许能在Rust中看到类似的项目。

运行

solve

使用solve命令查找<input>文件中编写的理论模型:

razor solve -i <input>

--count参数限制了要构建的模型的数量:

razor solve -i <input> --count <number>
有界模型查找

与传统的模型查找器(例如Alloy)不同,Razor不需要用户为其构造的模型的大小提供界限。但是,当在带有无限的模型的理论上运行时,Razor进程可能永远不会终止。可以证明,在不满足要求的理论(即,没有模型的理论)上运行非常长的时间之后,Razor可以保证能够终止(尽管这可能需要很长时间才能完成)这是一阶逻辑的半判定性的直接结果。

为了保证有穷性,请使用--bound 带有domain参数值的命令,通过结果模型的元素数量限制结果模型的大小:

razor solve -i <input> --bound domain=<number>

前往GitHub仓库获取更多信息。

Nvim-rs:针对Neovim客户的Rust库

nvim-rs的第一个版本刚刚发布,该库用于在Rust中编写neovim客户程序。

它的主要功能是使用异步来正确嵌套请求,但我也将工作放在错误处理、常规处理、文档示例中。这个项目将会有更多的东西出现,目前很少有功能是固定的,所以尝试一下。


https://www.xamrdz.com/backend/3xv1934764.html

相关文章: