Charles Southerland
@proidiot
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.
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! meetup.com/austin-formal-…
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: meetup.com/austin-formal-…
Join us this Wednesday for the Austin Formal Methods User Group when we will be diving into Temporal Logic! meetu.ps/e/P0z36/btrm2/i
In an era dominated by AI hype and shallow engineering checklists, we offer a countercultural voice: one that re-centers the awe, wonder, and beauty at the heart of our discipline. Computer science is not just about building products or optimizing pipelines. 2/9
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/btrm2/i
We're starting a twitch series working on Software Foundations using Rocq! We'll be live in a few minutes twitch.tv/typetheoryfora…
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? Swing on by: meetup.com/atxgolang/even…
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! meetup.com/austin-formal-…
NASA has an event with checking out at Austin Central Library #sxsw
Always a good time at the Capital Factory Startup Crawl! #SXSW
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!
#TXLF is back again in 2025! 2025.texaslinuxfest.org 📆 October 3-4, 2025 📍 JJ Pickle Research Campus, Austin, TX 🎤 CFP: papercall.io/txlf2025 💝 Sponsor: 2025.texaslinuxfest.org/sponsorship/ 🎟️ Register: 2025.texaslinuxfest.org/pricing/
We're finally back! Austin Formal Methods Meetup on Wed Feb 26th at Capital Factory! More details: meetu.ps/e/NRzwT/btrm2/i
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
Telling young devs they don’t need to learn math is misleading. Our entire world runs on math. Of course you have to know math to be a programmer!