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

Burnet, TX
Joined July 2022
October 27, 1964. The modern conservative movement begins in the United States with "The Speech". Ronald Reagan begins his rise with "A Time For Choosing". youtu.be/qXBswFfh6AY?is=3I2G… – at Burnet, TX
2
Tough guys tumble. – at Burnet, TX
describe chess in three words
6
TGR-EvoDAG: A DAG-based Multi-Agent Code Evolution Framework for Generative Recommendation on Tencent Junlin He, Junzhang Zhu, Yudong Li, Yihong Tang, Xuefeng Jiang, Wei Ma, Chengxiang Zhuo, Zang Li arxiv.org/abs/2610.32326 [𝚌𝚜.𝙰𝙸]
1
1
102
Lol. I write incredible work a lot. – at Burnet, TX
4
Moonrise. Burnet, Texas in the Hill Country. – at Burnet, TX
13
Michael Evans retweeted
Tomorrow @HarmonicMath launches something I've spent the last year working on.
We taught an AI to prove math. Next, something harder to get right. Soon.
22
19
4
396
19,138
Michael Evans retweeted
The massive magnitude of today’s selloff in Brazilian assets is less about Brazil’s underlying outlook and more about just how confident—and wrong—the consensus view on finance was with respect to a Bolsonaro win. #brazil #lula #bolsonaro
112
164
14
1,080
85,437
Today my heart is I'm San Francisco. Remembering Walter Koenig. – at Burnet, TX
23
🤘 – at Burnet, TX
Texas was the biggest mover in the latest AP Poll, rising 8 spots to No. 11 after beating No. 7 Ole Miss. The Allstate Playoff Predictor gives the Longhorns a 57.4% chance to make the CFB Playoff 👀
11
Michael Evans retweeted
Formal verification has been getting a lot of attention lately, so we decided to put together FVjobs, a community-maintained job board to keep track of who's actually hiring. For now, GitHub and GitHub Issues should be enough. Depending on how things develop, we might eventually build a proper website. Contributions are greatly appreciated! No GitHub knowledge is necessary. If you know of an open position, you can simply fill out this form: github.com/typetheoryforall/… Issues and PRs are also very welcome! github.com/typetheoryforall/…
1
26
185
6,642
Michael Evans retweeted
what was never ours can still be loved full moon
4
45
2
276
3,744
It's Adriaan de Groot Day. #Chess #ArtificialIntelligence – at Burnet, TX
30
"We must recognize the fact that we were defeated not by dint of superior arms but were defeated by a nobler ideal. The real issue was moral—beyond all the powers of algebra to compute." We had lost our baseball playing brothers to fascism. But later, they would teach us. Kaizen – at Burnet, TX
🇯🇵 I’m Japanese. Question for Americans 🇺🇸 What do you think was the BIGGEST reason Japan lost to the United States in WWII? 🇯🇵🇺🇸 🏭 America’s overwhelming industrial power? ⛽ Japan’s lack of resources? ⚔️ Japan’s military strategy? 💣 The atomic bombs? 🤔 Something else? If you had to choose just ONE reason, what would it be? I’m genuinely curious about the American perspective.
28
Odd Lots episode with Donald MacKenzie, the guy who wrote An Engine, Not a Camera: How Financial Models Shape Markets. MacKenzie is a sociologist. youtu.be/NRLNO_KOh9I?is=KUKF… – at Burnet, TX
17