Twitter Feed
@bascule ("Tony "Abolish ICE" Arcieri 🦀🌹") retweeted:
@DevXInitiative ("DevX Initiative 🦀") wrote:
A big thank you to everyone who joined us for the last Rust Formal Methods Interest Group Meetup. Here is the recording 🦀🎩. A big thank you to @BasspittersBs for the excellent presentation #rustlang #rustacean
with quote tweet:
@FormalFerris ("Formal Ferris") wrote:
Thanks to everyone who came out last week to listen to @BasspittersBs talk on verifying cryptographic code!
I’ve finally gotten around to uploading the video: https://www.youtube.com/watch?v=OCehhVDMXKQ
We’ll see you all next year for our January session on MIRAI