Michael Evans

10.6K posts

Michael Evans banner
Michael Evans

Michael Evans

@TeamTock

TOCK Analytics (my math project and totally awesome vaporware company that has fun). Exploring the world of applied category theory. Proven critical systems.

Georgetown, TX Katılım Temmuz 2022
2K Takip Edilen573 Takipçiler
Michael Evans
Michael Evans@TeamTock·
Actually, one of them was "The Chanukah Song," so not all Christmas. Happy Holidays. Night fades again. Every coffee pot awakens to destroy the AM bands. But much was learned. Until tomorrow!
Serenada, TX 🇺🇸 English
0
0
0
7
Michael Evans
Michael Evans@TeamTock·
Last three songs from 530 AM in Cuba 🇨🇺 have been Kenny G Christmas songs. Nice.
Serenada, TX 🇺🇸 English
1
0
0
14
Michael Evans retweetledi
The Haskell Interlude
The Haskell Interlude@HaskelInterlude·
In the new Interlude, we’re joined by Peter Thiemann. Peter is a professor at the University of Freiburg, and he was doing functional programming right when Haskell got started. Come with us on a trip down memory lane! haskell.foundation/podcast/79/
English
0
2
5
121
Michael Evans
Michael Evans@TeamTock·
Interesting use of jazz flute in a yacht rock country song. Those were interesting times musically.
Serenada, TX 🇺🇸 English
0
0
0
8
Michael Evans
Michael Evans@TeamTock·
When it's late at night, you have the window open, and "Suspicions" by Eddie Rabbitt fades in on AM radio. So good.
Serenada, TX 🇺🇸 English
1
0
0
11
Michael Evans
Michael Evans@TeamTock·
The nightly signal check from Cuba 🇨🇺 in Central Texas on 530 AM. Pretty good! Strong with easy listening version of "Sweet Caroline." Wishing them well and freedom soon.
Serenada, TX 🇺🇸 English
0
0
0
22
Michael Evans retweetledi
Dwight Yoakam
Dwight Yoakam@DwightYoakam·
On this day in 1993, Dwight Yoakam released This Time. This album featured standout tracks like “Fast As You,” “A Thousand Miles From Nowhere,” and the Grammy-winning “Ain’t That Lonely Yet,”. -D Team
Dwight Yoakam tweet media
English
92
121
1.3K
20.7K
Michael Evans
Michael Evans@TeamTock·
"Behold, as a wild ass in the desert, go I forth to my work." - Gurney Halleck, Dune.
Serenada, TX 🇺🇸 English
0
0
0
7
Michael Evans
Michael Evans@TeamTock·
“Economics is for donkeys.” - Ayatollah Ruhollah Khomeini
Serenada, TX 🇺🇸 Indonesia
1
0
1
17
Michael Evans retweetledi
Mario Livio
Mario Livio@Mario_Livio·
Today March 22. #OTD in 1882 mathematician Emmy Noether was born. Made important contributions to abstract algebra. Proved Noether's theorems, which are fundamental in mathematical physics. Was described by Einstein as the most important woman in the history of mathematics.
Mario Livio tweet media
English
0
6
16
221
Michael Evans
Michael Evans@TeamTock·
Nightly signal report for Cuba 530 AM in Central Texas. Strong tonight with lush, easy listening. Stay safe, friends. Free Cuba 🇨🇺
Serenada, TX 🇺🇸 English
0
0
0
7
Michael Evans
Michael Evans@TeamTock·
Ending March 22nd by looking up on the 95th birthday of William Shatner and the late Roger Whittaker.
Serenada, TX 🇺🇸 English
0
0
0
18
Michael Evans
Michael Evans@TeamTock·
The Semantic Clash: Warden vs. Horner. In the context of the 1991 Gulf War, this mapping works remarkably well: John Warden (Denotational Semantics) Chuck Horner (Operational Semantics)
Michael Evans@TeamTock

He says, "Hit this and that target." Fine, but where is the tanker schedule and the airspace deconfliction plan? Where are the rules of engagement, code words, IFF [Indentification Friend or Foe] procedures, Coalition forces, radar coverage and orbits, and on and on? Chuck Horner

Serenada, TX 🇺🇸 English
0
0
0
12
Michael Evans
Michael Evans@TeamTock·
Remembering Dr. Bob Lain today of the history department at Austin Community College. He lost both legs in Vietnam as a Unified States Marine Corps officer. He then got his doctorate and taught history to a bunch of us kids. I was proud to meet him. austincc.academicworks.com/donors/bob-lai…
Serenada, TX 🇺🇸 English
0
0
1
31
Michael Evans retweetledi
NASCAR
NASCAR@NASCAR·
"He did an unbelievable job." That's some high praise from the bossman MJ.
English
80
576
4.9K
106.7K