In person Rust April 2025 at Braavos in Tel Aviv in collaboration with StarkWare
2025.04.22 In person Rust April 2025 at Braavos in Tel Aviv in collaboration with StarkWare
Presentations
Cairo - a Rust inspired language (Hebrew)
Additional background:
Cairo is a provable programming language developed in Starkware. It takes inspiration from Rust but follows its own path - sometimes by choice, sometimes by necessity. In this talk, we’ll compare the two languages, exploring their similarities and the trade-offs Cairo makes. Were these deviations the right call? Let’s discuss. Whether or not you plan to use Cairo, this is a chance to reflect on Rust’s influence and its impact on new languages.
Speakers
Typesetting with Typst for fun and profit (Hebrew)
This talk will provide an introduction to Typst, an up-and-coming Rust based typesetting system which is of particular interest to Hebrew speakers. We'll see some of what makes it unique, how to get started, and some more interesting use cases (like integrating it into your Rust projects).
Source code of typst
Speakers
To copy to Meetup
Title: In person Rust April 2025 at Braavos in Tel Aviv in collaboration with StarkWare
Date: 2025.04.22
Start: 18:30
* Opening words, welcome and intro by Motty (Lentzitzky) Lavie
Language: (Hebrew)
Length: 10 min
* Cairo - a Rust inspired language by Gil Ben-Shachar
Language: (Hebrew)
Length: 30 min
Additional background:
Cairo is a provable programming language developed in Starkware. It takes inspiration from Rust but follows its own path - sometimes by choice, sometimes by necessity. In this talk, we’ll compare the two languages, exploring their similarities and the trade-offs Cairo makes. Were these deviations the right call? Let’s discuss. Whether or not you plan to use Cairo, this is a chance to reflect on Rust’s influence and its impact on new languages.
* Typesetting with Typst for fun and profit by Igor Khanin
Language: (Hebrew)
Length: 40 min
This talk will provide an introduction to Typst, an up-and-coming Rust based typesetting system which is of particular interest to Hebrew speakers. We'll see some of what makes it unique, how to get started, and some more interesting use cases (like integrating it into your Rust projects).
Source code of typst