Michael Evans
@teamtock.bsky.social
170 followers 140 following 450 posts
Texas mathematician studying applied category theory. Trying to make sense of it all. I'm building a small company called TOCK Analytics, whose concept won an award from the office of Senator Ted Cruz, and is receiving many well wishes. Thank you so much!
Posts Media Videos Starter Packs
teamtock.bsky.social
October 14, 2025, saw the anniversary of the birthday of W. Edwards Deming and a brilliant performance by Japanese pitcher Yoshinobu Yamamoto. Made in Japan.
teamtock.bsky.social
Yoshinobu Yamamoto. Incredible.
teamtock.bsky.social
I'm breathing again. Go Dodgers.
teamtock.bsky.social
"O Time, thou must untangle this, not I; It is too hard a knot for me t' untie."
- Viola in Twelfth Night by William Shakespeare.

Happy Birthday, Kurt Reidemeister.
teamtock.bsky.social
Categorical database theory. Two great authors here.
arxiv-math-ct.bsky.social
Kevin Carlson, Evan Patterson
Instances of models of double-categorical theories
https://arxiv.org/abs/2510.08861
Reposted by Michael Evans
icfp-conference.bsky.social
Satnam Singh @satnam6502.bsky.social takes the stage for our first keynote: Functional Programming and Hardware Design
teamtock.bsky.social
Remembering Lane Frost tonight on what would have been his 62nd birthday.
teamtock.bsky.social
So proud of the Texas Longhorns. They stood up to the doubters and the haters and found themselves today. Believe it, man! Hook 'Em! 🤘
teamtock.bsky.social
Slightly biased tonight. Play ball.
teamtock.bsky.social
Alex Rodriguez talks some serious math, including white noise and filtering, to find the signals there (the two pitches you need to think about). A-Rod getting cybernetic here! Whoa!
teamtock.bsky.social
Captain Benjamin Sisko of New Orleans is monitoring the situation and encourages the New Orleans Saints and their new program, considering tonight's effort by the Giants against the defending Super Bowl Champions.
teamtock.bsky.social
Nice words by Al Michaels on Cam Skattabo and how he scared the hell out of us University of Texas Longhorn fans when they played Arizona State. Unbelievable intensity.
teamtock.bsky.social
Jaxson Dart is a die-hard Star Wars fan. Very cool.
teamtock.bsky.social
Four straight tush pushes. Insane!
teamtock.bsky.social
October 9th.

Celebrating Hangul Day 2025 and the birth of the Korean alphabet by King Sejong the Great.

en.wikipedia.org/wiki/Hangul_...
Hangul Day - Wikipedia
en.wikipedia.org
teamtock.bsky.social
1) Sad, anxious Jacksonville kids.
2) Happy, excited Jacksonville kids.

Happy Ending. Always classic footage from Monday Night Football.
teamtock.bsky.social
Pick six!
minakimes.bsky.social
Lloyd’s instincts in coverage this year have been sensational
teamtock.bsky.social
Scary werewolf baseball on a full moon night with 9th inning fright, but my Dodgers won.
teamtock.bsky.social
Go Dodgers from over here in Texas.
teamtock.bsky.social
Hell of a game by the Patriots tonight.
Reposted by Michael Evans
minakimes.bsky.social
*whispers* Drake Maye did a lot of Josh Allen shit tonight
teamtock.bsky.social
"Now, here's a cat....."