cairo - Cairo 是第一个图灵完备的语言，用于为通用计算创建可证明的程序。
Created at: 2022-05-19 20:19:24
Language: Rust
License: Apache-2.0
大约
Cairo是第一个用于创建用于一般计算的可证明程序的图灵完备语言。
开罗变得生锈！自行
代码片段
| 斐波那契 | 枚举 |
|---|---|
 |
 |
开始
先决条件
编译和运行开罗文件
cargo run --bin cairo-run -- -p /path/to/file.cairo在此处查看更多： 跑步者
你可以在示例目录中找到开罗示例。
发展
安装语言服务器
按照 vscode-cairo 中的说明进行操作。
路线图
有关建议的功能（和已知问题）的列表，请参阅未解决的问题。
支持
通过以下位置之一与维护者联系：
- GitHub 讨论
- 此 GitHub 个人资料中列出的联系人选项
项目协助
如果你想说谢谢或/并支持开罗的积极发展：
我们可以一起让开罗变得更好！
贡献
首先，感谢你抽出宝贵时间做出贡献！贡献使开源社区成为学习、启发和创造的绝佳场所。你所做的任何贡献都将使其他人受益，并受到极大的赞赏。
请阅读我们的贡献指南，并感谢你的参与！
作者和贡献者
有关所有作者和贡献者的完整列表，请参阅贡献者页面。
安全
开罗遵循良好的安全做法，但无法保证100%的安全。开罗按“原样”提供，不提供任何保证。使用风险自负。
有关更多信息和报告安全问题，请参阅我们的安全文档。
许可证
该项目在 Apache 2.0 下获得许可。
有关详细信息，请参阅许可证。
About
Author：starkware-libs
热门帖子
热门github
1
2
4
The Python Risk Identification Tool for generative AI (PyRIT) is an open access automation framework to empower security professionals and machine learning engineers to proactively find risks in their generative AI systems.
(翻译：用于生成式 AI 的 Python 风险识别工具 (PyRIT) 是一个开放式访问自动化框架，使安全专业人员和机器学习工程师能够主动发现其生成式 AI 系统中的风险。)
5
7
8
9
Mamba is a new state space model architecture showing promising performance on information-dense data such as language modeling, where previous subquadratic models fall short of Transformers. It is based on the line of progress on structured state space models, with an efficient hardware-aware design and implementation in the spirit of FlashAttention.
(翻译：Mamba 是一种新的状态空间模型架构，在信息密集型数据（例如语言建模）上显示出良好的性能，而之前的二次模型在 Transformers 方面存在不足。它基于结构化状态空间模型的进展，并本着FlashAttention的精神进行高效的硬件感知设计和实现。)
10
11
13