Charles Southerland
@proidiot.bsky.social
Like most of our world, computers don't have to suck, but we must choose improvement.
Formal Methods, F(L)OSS, math memes, general nerdiness.
Formal Methods, F(L)OSS, math memes, general nerdiness.
Next Wednesday at the Austin Formal Methods User Group, we'll be discussing Weakest Precondition, the technique that first got me into Formal Methods. Hope to see you there! www.meetup.com/austin-forma...
August 21, 2025 at 12:23 AM
Next Wednesday at the Austin Formal Methods User Group, we'll be discussing Weakest Precondition, the technique that first got me into Formal Methods. Hope to see you there! www.meetup.com/austin-forma...
Had a great week at NASA Formal Methods, already looking forward to next year!
June 14, 2025 at 1:36 AM
Had a great week at NASA Formal Methods, already looking forward to next year!
Bring your laptop to Diogenes on Wednesday June 25th! The Austin Formal Methods User Group will begin our journey into the world of seL4 with the Microkit tutorial. More details: www.meetup.com/austin-forma...
June 11, 2025 at 10:58 PM
Bring your laptop to Diogenes on Wednesday June 25th! The Austin Formal Methods User Group will begin our journey into the world of seL4 with the Microkit tutorial. More details: www.meetup.com/austin-forma...
Join us this Wednesday for the Austin Formal Methods User Group when we will be diving into Temporal Logic! meetu.ps/e/P0z36/btrm...
May 26, 2025 at 12:41 AM
Join us this Wednesday for the Austin Formal Methods User Group when we will be diving into Temporal Logic! meetu.ps/e/P0z36/btrm...
A great few days at the ACL2 Workshop!
May 14, 2025 at 12:20 AM
A great few days at the ACL2 Workshop!
In preparation for the ACL2 Workshop in May, next Wednesday the Austin Formal Methods User Group will be discussing ACL2. Hope to see you there! meetu.ps/e/P0z2w/btrm...
April 17, 2025 at 4:23 AM
In preparation for the ACL2 Workshop in May, next Wednesday the Austin Formal Methods User Group will be discussing ACL2. Hope to see you there! meetu.ps/e/P0z2w/btrm...
Last night at the Austin Formal Methods User Group, we had two presentations on Boolean Satisfiability and some great discussions in Q & A! Looking forward to our April meeting, where we plan to ramp up on ACL2
March 28, 2025 at 4:49 AM
Last night at the Austin Formal Methods User Group, we had two presentations on Boolean Satisfiability and some great discussions in Q & A! Looking forward to our April meeting, where we plan to ramp up on ACL2
We had a great showing at the Austin Formal Methods Meetup last night! Already looking forward to the content we've got lined up for the next few months!
February 28, 2025 at 3:38 AM
We had a great showing at the Austin Formal Methods Meetup last night! Already looking forward to the content we've got lined up for the next few months!
Had a great last few days at #popl ! Learned a lot over this past week, and look forward to the many new topics to research when I get home
January 26, 2025 at 5:16 PM
Had a great last few days at #popl ! Learned a lot over this past week, and look forward to the many new topics to research when I get home
It sounds like great things are happening in the world of Dafny! Plus there are already interesting hallway track discussions on Isabelle, Rocq, Rust, etc. and we've just started #popl
January 19, 2025 at 6:15 PM
It sounds like great things are happening in the world of Dafny! Plus there are already interesting hallway track discussions on Isabelle, Rocq, Rust, etc. and we've just started #popl
