Joined November 2018
- Tweets 150
- Following 4
- Followers 1,194
- Likes 20
20 Photos and videos
Formal Ferris retweeted
25 Nov 2024
Don't forget to come tonight to our November RFMIG where we'll hear about Aquascope: rust-formal-methods.github.i…
1
4
216
28 Oct 2024
that's now!
23 Oct 2024
Don't forget RFMIG is back on the 28th with a talk on verifying unsafe code with VeriFast: rust-formal-methods.github.i…
1
1
401
23 Oct 2024
Don't forget RFMIG is back on the 28th with a talk on verifying unsafe code with VeriFast: rust-formal-methods.github.i…
1
2
521
2 Oct 2024
If you missed the talk yesterday, don’t fret you can watch it on YouTube: youtube.com/watch?v=j60gcdpH…
Additionally, don’t forget to come for our meeting on October 28th on verifying unsafe code with VeriFast!
5 Sep 2024
We’re back! On September 30th, we’ll hear about @.pnkfelix’s plans to integrate contracts into the rust compiler.
Get the meeting link and abstract here: rust-formal-methods.github.i…
1
155
30 Sep 2024
It’s now!
5 Sep 2024
We’re back! On September 30th, we’ll hear about @.pnkfelix’s plans to integrate contracts into the rust compiler.
Get the meeting link and abstract here: rust-formal-methods.github.i…
113
30 Sep 2024
That’s today! In two hours!!
5 Sep 2024
We’re back! On September 30th, we’ll hear about @.pnkfelix’s plans to integrate contracts into the rust compiler.
Get the meeting link and abstract here: rust-formal-methods.github.i…
3
213
5 Sep 2024
As part of the back-to-school clean ups, I’ve rebuilt the RFMIG website, it now has the complete list of meetings past and future. Going forward we’d like to avoid eventbrite, let us know if this new setup works for you or not!
99
5 Sep 2024
We’re back! On September 30th, we’ll hear about @.pnkfelix’s plans to integrate contracts into the rust compiler.
Get the meeting link and abstract here: rust-formal-methods.github.i…
1
4
803
2 Sep 2024
Did you miss me?
Formal Ferris & the RFMIG will be back for another by year of great talks starting September 24th (upcoming announcement)!
4
216
7 Jun 2024
Here's the video: youtube.com/watch?v=Za-_Juty…
16 May 2024
Don’t forget to signup for this months RFMIG, on a tool useful for all verification platforms: the Axiom Profiler!
eventbrite.fr/e/debugging-sm…
119
27 May 2024
That’s now!!
16 May 2024
Don’t forget to signup for this months RFMIG, on a tool useful for all verification platforms: the Axiom Profiler!
eventbrite.fr/e/debugging-sm…
112
16 May 2024
Don’t forget to signup for this months RFMIG, on a tool useful for all verification platforms: the Axiom Profiler!
eventbrite.fr/e/debugging-sm…
1
5
446
25 Mar 2024
That's in 20 minutes! I'll post a zoom link on the rust-lang zulip for those who couldn't get tickets on eventbrite.
11 Feb 2024
Our next meeting will be on verification of unsafe Rust with @SachaAyoun, the event info can be found here: eventbrite.fr/e/gillian-rust…
1
1
274
11 Feb 2024
Our next meeting will be on verification of unsafe Rust with @SachaAyoun, the event info can be found here: eventbrite.fr/e/gillian-rust…
1
2
4
660
11 Feb 2024
eventbrite has decided to limit us to 25 seats per event. until we replace it, dm me if no tickets are available.
140
22 Jan 2024
You can find the link here: rust-lang.zulipchat.com/#nar…
22 Jan 2024
Due to changes in EventBrite's free plan, we ran out tickets for today's event, don't worry, I'll post the zoom link ahead of time!
164
22 Jan 2024
does anyone know of an OSS EventBrite alternative? I'm just looking for something to mediate access to a zoom link which I don't want to post publicly
196
22 Jan 2024
Due to changes in EventBrite's free plan, we ran out tickets for today's event, don't worry, I'll post the zoom link ahead of time!
7 Jan 2024
here we go! This month we will meet one week early on Jan. 22 to hear @_protz_ talk about HACL-Rust and Eurydice. Make sure to join us!
eventbrite.com/e/modernizing…
316