@teamtock
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!
In related news, my friend William Waites has come up with a simple 'agent framework' based on category theory.
It lets you hook up LLMs or other agents and coordinate their activity. Other agent frameworks exist, but this one is typed.
(3/n)
johncarlosbaez.wordpress.com/2026/03/11/a...
😎
Your periodic reminder that doomscrolling goes much easier with app sounds turned off and the free chill music of Groove Salad from Soma FM in San Francisco. Help them out if you can.
somafm.com/player24/sta...
March 9th. It's the tenth anniversary of the first 2016 AI victory of AlphaGo over 9-dan master Lee Sedol in Seoul. The game lasted 3.5 hours.
March 8th. It's the birthday of Mississippi John Hurt in 1892. Fans of John Sebastian will hear something very familiar in Hurt's "Coffee Blues."
youtu.be/w54HXjva1Us?...
Hey! Now you can read about my work on applied category theory here on Quanta magazine! And not just me, lots of folks....
www.quantamagazine.org/can-the-most...
Very cool! A great read where you meet many of the great thinkers on applied category theory. I like the theme of the article too, since much of the focus of my project is thinking about how to talk to local leaders in rural Texas.
Happy St. David's Day!
"the greatest Welsh thinker of all time".
- Welsh Historian John Davies
February 23rd. The birthday of Richard Price (1723 - 1791)
Price is responsible for the care and dissemination of the mathematics of the Reverend Thomas Bayes to the world after Bayes' passing.
Happy 67 years of Ddraig Goch (the Red Dragon) as the Welsh flag, first introduced on this day in 1959.
#Cymru
Listening to "Structures From Silence" by Steve Roach on the birthday of mathematician Frank Ramsey.
King Willie's speech in Predator 2 with AI reggae track in Gemini.
#Australia
Happy Birthday to poet Banjo Paterson (1864 - 1941). Here's Slim Dusty's version of "Waltzing Matilda," written by Paterson in 1895.
It's the unofficial National Anthem of Australia 🇦🇺
youtu.be/FqtttbbYfSM?...
One baaaad mutha SHUT YOUR MOUTH!
www.arxiv.org/abs/2601.16663
The use of category theory for managing buildings and infrastructure. Lead author Zoltan Nagy has been doing great work in advanced math that makes buildings more energy efficient, easier to run, and easier on the environment.
Prompt: Tell me what to do and say to win her heart. Make no mistakes.
Where we all learned classical music as kids.
Early morning radio discovery from Japan: "Boy" by Kazuyoshi Saito. AI translated it for me as a nostalgic look back at youth. Total jam.
Happy World Radio Day!
youtu.be/Dw4JHHC1kq0?...
Happy World Radio Day 2026!
Japan Radio Nikkei 1 coming in strong here in Texas on 6055 kHz.
"If you understand a musical phrase, there is no difference between the approach to Mozart and Bartók."
— Géza Anda
"Happy" by Pharrell Williams coming in loud from Japan at 2 AM into Texas on Radio Nikkei 2 at 6115 kHz shortwave.
Beautiful. So good. And a surprise guest guitar at the very end.
youtu.be/V1E4Qdrjxi0?...
Congratulations to the Seattle Seahawks. Because I really wanted to play this tonight.
youtu.be/rmiy9aMcbB4?...
Moon and Spica tonight.
Wishing the Kiwis in New Zealand a very happy Waitangi Day 2026.
We have tomorrow
Bright before us
Like a flame.
Yesterday, a night-gone thing,
A sun-down name.
And dawn today
Broad arch above the road we came.
We march!
— Langston Hughes
It was the theme for the hit 90s sitcom Wings on NBC. HBD to Franz Schubert, born #OTD in 1797.
youtu.be/zJyNrElGRs8?...
Moon and Jupiter tonight. Soundtrack: "Shinin' Moon" by Lightnin' Hopkins.
"Last Rendez-Vous (Ron's Piece)" by Jean-Michel Jarre. It was to have featured Challenger astronaut and jazz saxophonist Ronald McNair recorded live from space.
youtu.be/kJDzaG1AJco?...
