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

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. tommd.github.io Joined October 2009

Tweets

1K
Followers

292
Following

372
Likes

3K

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

a year ago

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

1 0 1 321 0

View Details

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

2 years ago

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

0 0 2 114 0

View Details

Mike Dodds @miike

2 years ago

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: mikedodds.github.io/files/talks/20…

13 95 385 37K 231

View Details

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

2 years ago

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

0 0 0 30 0

View Details

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

2 years ago

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

0 0 1 18 0

View Details

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

2 years ago

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.

0 0 0 56 0

View Details

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

2 years ago

@kerckhove_ts DDMMMYYYY FTW 01JAN2025

0 0 0 20 0

View Details

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

2 years ago

@satnam6502 Gees, I need to attend your lectures!

0 0 1 57 0

View Details

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

2 years ago

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

0 0 1 58 0

View Details

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

2 years ago

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

0 0 0 147 0

View Details

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

2 years ago

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

0 0 0 58 0

View Details

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

2 years ago

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.

0 0 0 61 0

View Details

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

2 years ago

My Muse mug broke. End of an era.

0 0 0 58 0

View Details

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

2 years ago

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