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

register

Presentations

Opening words, welcome and intro (Hebrew)

Length: 10 min

Speakers


Cairo - a Rust inspired 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.

Speakers


Typesetting with Typst for fun and profit (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

Speakers


register

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