Lightnews — Scholar-powered news

Charles Southerland @proidiot.bsky.social · 15d

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

Charles Southerland @proidiot.bsky.social · Aug 21

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...

1 1

Charles Southerland @proidiot.bsky.social · Jul 17

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

Charles Southerland @proidiot.bsky.social · Jun 14

Had a great week at NASA Formal Methods, already looking forward to next year!

Charles Southerland @proidiot.bsky.social · Jun 11

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...

Charles Southerland @proidiot.bsky.social · May 26

Join us this Wednesday for the Austin Formal Methods User Group when we will be diving into Temporal Logic! meetu.ps/e/P0z36/btrm...

Charles Southerland @proidiot.bsky.social · May 14

A great few days at the ACL2 Workshop!

Charles Southerland @proidiot.bsky.social · Apr 17

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

HD Moore @hdm.io · Apr 8

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

2 2

Charles Southerland @proidiot.bsky.social · Apr 3

Happy #CheeseWeaselDay !

Charles Southerland @proidiot.bsky.social · Mar 28

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

Charles Southerland @proidiot.bsky.social · Mar 20

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

1

Charles Southerland @proidiot.bsky.social · Mar 8

NASA has an event with checking out at Austin Central Library #sxsw

Charles Southerland @proidiot.bsky.social · Mar 8

Always a good time at the Capital Factory Startup Crawl! #SXSW

1

Charles Southerland @proidiot.bsky.social · Mar 7

A little bit of exploring on the first day of #sxsw

Charles Southerland @proidiot.bsky.social · Feb 28

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!

Charles Southerland @proidiot.bsky.social · Feb 7

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

Charles Southerland @proidiot.bsky.social · Jan 26

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

Charles Southerland @proidiot.bsky.social · Jan 22

Learned a lot at Certified Programs and Proofs yesterday, ready for Principles of Programming Languages to begin! #popl

Charles Southerland @proidiot.bsky.social · Jan 21

Had a great time and learned a lot today at the WebAssembly Workshop! #popl

1

Charles Southerland @proidiot.bsky.social · Jan 19

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

Charles Southerland @proidiot.bsky.social · Jan 19

Much colder and snowy than what I'm used to these days, but I'm looking forward to #POPL!

Charles Southerland @proidiot.bsky.social · Dec 4

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

1 2