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.
Is there such a thing as perfect, unbreakable cryptography? Come to the Austin Formal Methods Meetup on October 22nd as we discuss Shannon Security! meetu.ps/e/P0zDg/btrm...
Austin Formal Methods Meetup - October 2025 - Shannon Security at Diogenes!, Wed, Oct 22, 2025, 6:30 PM | Meetup
**OCTOBER 2025 UPDATE**
Is there such a thing as perfect, unbreakable encryption? For our October 2025 meetup, we will be discussing Shannon Security! While Modern Cryptogr
meetu.ps
October 19, 2025 at 5:01 AM
Is there such a thing as perfect, unbreakable cryptography? Come to the Austin Formal Methods Meetup on October 22nd as we discuss Shannon Security! meetu.ps/e/P0zDg/btrm...
Tomorrow night, Austin Formal Methods User Group will be discussing Paxos! meetu.ps/e/P0zD4/btrm...
Austin Formal Methods Meetup - September 2025, Wed, Sep 24, 2025, 6:30 PM | Meetup
**UPDATE: September 2025**
How do systems like Kubernetes and blockchains stay in sync? This Wednesday we’re exploring Paxos — the legendary consensus algorithm at the hear
meetu.ps
September 23, 2025 at 11:06 PM
Tomorrow night, Austin Formal Methods User Group will be discussing Paxos! meetu.ps/e/P0zD4/btrm...
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...
This month: Lambda Calculus! Join the Austin Formal Methods User Group at Capital Factory on July 23rd as we begin our journey towards Curry-Howard! www.meetup.com/austin-forma...
Austin Formal Methods Meetup - July 2025, Wed, Jul 23, 2025, 6:30 PM | Meetup
**UPDATE: JULY 2025**
Lambda Calculus! What is it? Why do we care? What does it have to do with Turing machines? This month, we return to our usual spot on the 16th floor o
www.meetup.com
July 17, 2025 at 2:29 AM
This month: Lambda Calculus! Join the Austin Formal Methods User Group at Capital Factory on July 23rd as we begin our journey towards Curry-Howard! 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...
Reposted by Charles Southerland
Hello Austin Gophers! The ATX Go Meetup is THIS WEDNESDAY (April 9th). The meetup includes lightning talks, pizza, beverages, and general discussion. Have a neat idea? A quick talk related to Go? Something to show-and-tell? Running into a weird bug? Swing on by:
ATX Golang Meetup - April 2025, Wed, Apr 9, 2025, 6:30 PM | Meetup
**UPDATE: APRIL 2025** For our April 2025 meetup, we'll be having lightning talks! Have a topic that you'd like to share which wouldn't fill an entire meeting? Stuck on som
www.meetup.com
April 8, 2025 at 1:38 AM
Hello Austin Gophers! The ATX Go Meetup is THIS WEDNESDAY (April 9th). The meetup includes lightning talks, pizza, beverages, and general discussion. Have a neat idea? A quick talk related to Go? Something to show-and-tell? Running into a weird bug? Swing on by:
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
Ever wondered what's so hard about NP-Complete? Come to the Austin Formal Methods Meetup next Wednesday at Capital Factory to discuss Boolean Satisfiability and SAT Solvers! www.meetup.com/austin-forma...
Austin Formal Methods Meetup - March 2025, Wed, Mar 26, 2025, 6:30 PM | Meetup
**MARCH 2025**
For the March 2025 meetup, we'll be discussing the Boolean Satisfiability problem (a.k.a. SAT), and we'll have a demo of using a SAT Solver. We'll look at so
www.meetup.com
March 20, 2025 at 4:28 AM
Ever wondered what's so hard about NP-Complete? Come to the Austin Formal Methods Meetup next Wednesday at Capital Factory to discuss Boolean Satisfiability and SAT Solvers! www.meetup.com/austin-forma...
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!
We're finally back! Austin Formal Methods Meetup on Wed Feb 26th at Capital Factory! More details: meetu.ps/e/NRzwT/btrm...
Austin Formal Methods Meetup - February 2025, Wed, Feb 26, 2025, 6:30 PM | Meetup
**SPECIAL NOTE FOR FEBRUARY 2025**
The Austin Formal Methods User Group is excited to be having our first meeting in several years, and our first presentation-style meeting
meetu.ps
February 7, 2025 at 7:57 AM
We're finally back! Austin Formal Methods Meetup on Wed Feb 26th at Capital Factory! More details: meetu.ps/e/NRzwT/btrm...
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
Hello BlueSky! I mostly wanted to reserve my usual handle, but in the mean time feel free to recommend folks to follow from the #FormalMethods world
December 4, 2024 at 6:55 PM
Hello BlueSky! I mostly wanted to reserve my usual handle, but in the mean time feel free to recommend folks to follow from the #FormalMethods world