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-iosarmv7s-apple-iosi386-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客户程序。
它的主要功能是使用异步来正确嵌套请求，但我也将工作放在错误处理、常规处理、文档示例中。这个项目将会有更多的东西出现，目前很少有功能是固定的，所以尝试一下。
前往GitHub参与讨论/了解更多。
From 日报小组 @Lance
日报订阅地址：
独立日报订阅地址：
社区学习交流平台订阅：
评论区
写评论还没有评论