Charles Southerland

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.

[Charles Southerland @proidiot]

Austin Formal Methods will have guest speakers from URSA Secure (https://t.co/F1tu2lkjdK) to discuss bringing the power of formal methods to a broader audience of software engineers. Join us Wed May 27th at Station Austin (a.k.a. Capital Factory): https://t.co/beQUQ98Ww7

[Charles Southerland @proidiot]

@CapMetroATX Sorry, I had some technical difficulties trying to send that as a DM. It looks like all is good now, but I'll share more info in the DMs now that I'm back at my laptop. Thanks for your help!

[Charles Southerland @proidiot]

@CapMetroATX Any chance y'all are having audio issues with the BikeShare phone system? Been on hold for over an hour across a few calls now... There's no hold music or anything, and it looks like someone tried to call me back after one call saying they couldn't hear anything.

[Charles Southerland @proidiot]

Tomorrow night, AFMUG starts the journey into @leanprover! Join us at Station Austin (a.k.a. Capital Factory) for pizza and beer as we look into what mathematicians, computer scientists, and AI startups are all getting excited about. https://t.co/gv1gFCZ4C3

[Sean Heelan @seanhn]

If your response to a highly competent, but imperfect and resource sensitive, vulnerability hunting tool is to conclude this favours *defence*, you and your networks are ngmi.

One does not bug hunt their way to a defendable network. AI does not change that.

[Charles Southerland @proidiot]

@tummycom If the AV is working that night, the video will be streamed on https://t.co/xSKjXTU5Bq

There are great virtual-friendly options out there, but we also want an IRL option in ATX for folks who want to explore these ideas but might not be in grad school.

[Charles Southerland @proidiot]

Is your code secretly a math proof? This month we'll discuss Curry-Howard, the surprising equivalence between writing a program and proving a theorem. Join us for pizza and beer as we see what happens when you add types to a programming language. https://t.co/FbXuoHpWNm

[dydt @dydt_Nao]

部品一通り載せ終わった　ちゃんとUSB-A端子ついてるしどう見てもUSBメモリやな

[Charles Southerland @proidiot]

On Wed Jan 28th, join the Austin Formal Methods User Group at Capital Factory as we use Isabelle to define a tiny programming language with concrete semantics which will unlock the creation of bug-free code! https://t.co/adMcIoWHRv

[Type Theory Forall @ttforall]

🎉 5 YEARS OF TYPE THEORY FORALL 🎉

To celebrate, I sat down with Andrej Bauer.

Student of Dana Scott.
A mind equally at home in math and CS.
Creator of the Proof Assistants Stack Exchange.
One of the clearest thinkers in Type Theory.

We dive into Constructivism, Dialectica, Effect Handlers, and AI.

This one is special.
https://t.co/I5JZVae5RE

[Charles Southerland @proidiot]

Put Formal Methods into practice! Join us Wed Dec 3rd at Diogenes Makerspace as we build proofs in Edukera and enjoy tamales + cookies
https://t.co/zOj1CwBu7q

[Charles Southerland @proidiot]

Is there such a thing as perfect, unbreakable cryptography? Come to the Austin Formal Methods Meetup on October 22nd as we discuss Shannon Security! https://t.co/WdLaRLPiD9

[Charles Southerland @proidiot]

Tomorrow night, Austin Formal Methods User Group will be discussing Paxos! https://t.co/rKEEs8uGrG

[Charles Southerland @proidiot]

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! https://t.co/J9Jhkk3Wo3

[Type Theory Forall @ttforall]

Big news! We are launching a new sponsorship program for orgs passionate about Programming Languages & Type Theory.

Reach a highly engaged, technical audience! Email [email protected] for details.

Please RT to help us reach big companies and deepen our content focus!

[Charles Southerland @proidiot]

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! https://t.co/DGLhvARqaq

[Charles Southerland @proidiot]

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

[Charles Southerland @proidiot]

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: https://t.co/EfcCgHwapx

[Charles Southerland @proidiot]

Join us this Wednesday for the Austin Formal Methods User Group when we will be diving into Temporal Logic! https://t.co/0BirTlSgHC