If you speak French et voulez savoir comment certifier une codebase Rust, rendez vous le 25 juin :)
TrustInSoft is joining #RustParis2025! Rust expert @scrabsha will be speaking on how TrustInSoft Analyzer and Ferrocene ensure safe, high-performance Rust for critical systems. 🦀
Date: June 25, 2025
Location: Sorbonne Université - Paris 5
Register now: bit.ly/4m9ppWi
If you're wondering I took three days off and spent a whole weekend on my slides.
(Also the subject is way more complex this time)
Wait until you discover how a macro expansion is proved
You’re unable to view this Post because this account owner limits who can view their Posts. Learn more
S🦀sha retweeted
Start your afternoon with @scrabsha on proving macro expansion, followed by Lukas Wirth @Veykril on powerful macros and IDE support. Wrap up with @ENYBjoern on C++ APIs using Rustdoc and procedural macros. See you there! 👀🌟🦀 #eurorust24
🧵2/2
S🦀sha retweeted
The baby is Ratatouilleing her archery
This Post is from an account that no longer exists. Learn more
S🦀sha retweeted
Meet @scrabsha at #eurorust24! 🦀
Sasha will explore proving macro expansion with the expandable crate. Improve your macro debugging toolboox!
➡️ Full schedule and tickets: eurorust.eu
I'm going to talk about macros and how to prove their expansion at @euro_rust 2024!
eurorust.eu/talks/proving-ma…
S🦀sha retweeted
hésitez pas
je me suis inscrit y a 2 jours et cet aprem ça m'a trouvé quelqu'un qui cherchait une procuration
procuration-front-populaire.…
👀👀
🗞️TrustInSoft is proud to be a part of the newly formed consortium to promote the responsible use of Rust in safety-critical applications.
We are joining @rust_foundation, @AdaCoreCompany, @Arm, @FerrousSystems, @LynxSoftware , @OxidOSauto, @Synopsys, @HighTecEDV, @veecle_software, and @Woven_Toyota in supporting this initiative.
Learn more and get involved: foundation.rust-lang.org/new…
Now I think I can say it
The slides of my eurorust 2022 talk were ready 20h before giving the talk. I did exactly 0 rehearsals before giving it for real.
It went well, but it was still a horrible idea. Next time I'll take a couple of days off.
The Sasha-esque urge to showcase expandable and release it during the conference...
I can feel it...
The deadline for our #CFP is approaching! ⏳
Submit your talk proposals by June 3rd for a chance to speak at #eurorust24.
➡️ buff.ly/3JFiHp4





















