25 years ago today, Oct 5, 2001, I saw Joe Strummer & The Mescaleros at the Theater of the Living Arts (TLA) in Philadelphia. It was a great show. It would be his last show in Philly as he passed the following year. #JoeStrummer #Philadelphia #TLA

“What TLA+ Can And Can’t Check”, Hillel Wayne (buttondown.com/hillelwayne/...).

On HN: news.ycombinator.com/item?id=4990...

On Lobsters: lobste.rs/s/3ufaju/wha...

#TLA+ #FormalVerification #Programming #AIAssistedCoding #AutomatedTheoremProvers #LLMs #AI

New ink! Left index finger. Tattoo by Lisa at BabyDoll Tattoo in Burnaby, BC. I’m into Godzilla, my wife is into bees. #TLA

#qathetRD - qRD board rectifies services agreement with #Tla'amin www.prpeak.com/local-news/q...

I can't wait to hear what happens when a US state uses #VibeCode on the connection to a three-letter agency. *Where did I stash the Popcorn?* #TLA

How many runways can you see for Teller airport (USA) ? : The answer is on https://www.bigorre.org/aero/meteo/pate/en #tellerairport #airport #teller #usa #pate #tla #aviation #avgeek vl