Thomas M. DuBuisson (TomMD on most platforms)

I like safe languages and unsafe problems. Analyzing code, encrypting data, processing encrypted data, toying with the whiz-bang parts of tech (CV, AI) all fun.

[Thomas M. DuBuisson (TomMD on most platforms) @MDTom]

@VictorTaelin People are talking. My problem is they don't stop taking and codex can't fix that.

[Thomas M. DuBuisson (TomMD on most platforms) @MDTom]

@McFaul Generally I am thinking they might be a bot if I don't know the person (or know of them) and they are speaking about a topic of public policy.

[Mike Dodds @miike]

I’ve done a lot of formal methods “technical sales” - trying to scope projects for Galois clients that solve their problem and fit into a budget. I gave a talk last week on some things that I learned along the way: https://t.co/pEnr6noLpA

[Thomas M. DuBuisson (TomMD on most platforms) @MDTom]

@RadioFreeTom Did you not look at the article? Urgency from Zeke Miller.

[Thomas M. DuBuisson (TomMD on most platforms) @MDTom]

@kerckhove_ts Who actually uses an os with weird file paths like that?!

[Thomas M. DuBuisson (TomMD on most platforms) @MDTom]

Some day we're going to wonder why "so-and-so got fact checked" was the phrase instead of "they foolishly believed" or "they lied". No one did anything untold to the speaker, the speaker did something to the listeners.

[Thomas M. DuBuisson (TomMD on most platforms) @MDTom]

@kerckhove_ts DDMMMYYYY FTW 01JAN2025

[Thomas M. DuBuisson (TomMD on most platforms) @MDTom]

@satnam6502 Gees, I need to attend your lectures!

[Thomas M. DuBuisson (TomMD on most platforms) @MDTom]

@angerman I was just there, guess I should have said hello.

[Thomas M. DuBuisson (TomMD on most platforms) @MDTom]

@graninas @josecalderon Sorry but that was a human generative non-AI tweet for humor. I merely was suggesting we could document something providing refinement types, like or even exactly liquid Haskell, applied to proving properties about free monad functions in the abstract (vs instantiated types).

[Thomas M. DuBuisson (TomMD on most platforms) @MDTom]

@TheAtlantic @juliettekayyem The Secret Service “had one job—to protect every major political figure from physical harm—and failed,”@juliettekayyem should have
written

[Thomas M. DuBuisson (TomMD on most platforms) @MDTom]

Why hasn't anyone built in haybale a simple tool to prove functional equivalence? This seems fun and beneficial, that and supporting more sat solvers.

[Thomas M. DuBuisson (TomMD on most platforms) @MDTom]

My Muse mug broke. End of an era.

[Thomas M. DuBuisson (TomMD on most platforms) @MDTom]

@veorq A friend of mine had an encryption problem in which the dev team kept modifying the crypto library to encode/decode io (ex hex) instead of doing it at the call site.

[Thomas M. DuBuisson (TomMD on most platforms) @MDTom]

@jedisct1 A big problem is many languages make abstractions expensive so that "pays for itself"is a higher bar.

[Thomas M. DuBuisson (TomMD on most platforms) @MDTom]

@sclv I tried to do some math to make this look better. Normalize to population, pretend it didn't include inflation. It didn't look good still.

[Thomas M. DuBuisson (TomMD on most platforms) @MDTom]

Anthony Scalia must be turning in his grave over the immunity debate.

[Thomas M. DuBuisson (TomMD on most platforms) @MDTom]

Opposing unpopular opinion: final binaries should be automatically formally verified for properties of interest.

[Heather Adkins - Ꜻ - Spes consilium non est @argvee]

Unpopular opinion: If your hobby is now responsible for running the modern world, it’s no longer just a hobby.

[Thomas M. DuBuisson (TomMD on most platforms) @MDTom]

Shower thought: could something like CryptoBap (on steroids) have detected the vulnerability in the ssh binary resulting from the xz attack?