Michael Evans's Avatar

Michael Evans

@teamtock.bsky.social

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!

140 Followers  |  125 Following  |  367 Posts  |  Joined: 09.10.2023  |  1.6806

Latest posts by teamtock.bsky.social on Bluesky

Post image

Dramatic red sky at night drone shot of Lambeau Field. Kevin Harlan doing his usual legendary call of the game.

Kevin is the son of former Packers President and CEO Bob Harlan.

10.08.2025 01:51 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image Post image

I'm really digging the vibe from Kate Scott, Michael Bennett, and Michael Robinson doing the Seattle Seahawks play by play. It's smooth! It's chill! Game explanations from Bennett and Robinson are clear, relaxed, and helping me think about things. First time to hear in Texas.

08.08.2025 04:00 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

Jupiter and Venus at dawn.

07.08.2025 11:15 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
The Curvature of Constitutional Space: What Lawyers Can Learn From Modern Physics - Harvard Law School Laurence H. Tribe, The Curvature of Constitutional Space: What Lawyers Can Learn From Modern Physics, 103 Harv. L. Rev. 1 (1989).

August 4th classic paper:
A thought-provoking, even controversial, work by Harvard Law Professor Laurence Tribe in 1989. His assistant on the project is a young student and future President of the United States, Barack Obama.

04.08.2025 23:04 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
#52 - Why is Haskell so special - Lennart Augustsson
YouTube video by Type Theory Forall #52 - Why is Haskell so special - Lennart Augustsson

So many gems here. Like how Lennart Augustsson gave Credit Suisse the ability to call Haskell code from Excel spreadsheets. Legendary. Filled up a legal pad.

youtu.be/LMoPwk0iUNc?...

04.08.2025 18:17 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image Post image Post image

August 4th.

Celebrating the birthday of Saunders Mac Lane (1909 - 2005). He is one of the founders of category theory.

04.08.2025 06:01 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Menon the Thessalian made it perfectly clear chat his
dominant ambition was to get rich. He wanted to be a general
so that he could earn more pay; he wanted honours so that he
could make something extra out of them; his wish to be
friends with the most influential people arose from his desi
to avoid punishment for his misdeeds. He thought that the
shortest cut to the satisfaction of his ambitions was by m
of perjury and lying and deceit; consequently he regard
sincerity and truthfulness as equivalent to simple-mindednes
It was obvious that he felt no affection for anyone, but
said he was anyone’s friend, it was pretty clear that he
intriguing against him. He never laughed at his enet
in conversation he never took any of his own peoples seriously. He had no designs on the property of his enemies, as he considered it difficult to get hold of what belonged to people who were on their guard; but as for his freinds' property,which was unguarded, lie thought he was most remarkable in
knowing how easy it was to get his hands on to it. When he
saw that a man would break promises and do wrong, he
regarded him as well equipped and was frightened of him; but
he tried to treat a man who was scrupulous and had regard for
truth as though he were a half-wit. In the same way as some
people take pride in being god-fearing and truthful and upright, Menon took pride in his ability to deceive, in his
fabrications and falsehoods, and in sneering at his friends. He
always looked upon a person who had scruples as being only
~ half educated. When he wanted to stand high in anyone’s
friendship, he thought that the way to achieve this end was
by running down those who already occupied the position he
wanted. His scheme for ensuring his soldiers’ obedience to
him was to be a partner in their crimes. He considered that,
____ by making a display both of his great powers and his willingness to misuse them, he was entitled to honours and deference.

Menon the Thessalian made it perfectly clear chat his dominant ambition was to get rich. He wanted to be a general so that he could earn more pay; he wanted honours so that he could make something extra out of them; his wish to be friends with the most influential people arose from his desi to avoid punishment for his misdeeds. He thought that the shortest cut to the satisfaction of his ambitions was by m of perjury and lying and deceit; consequently he regard sincerity and truthfulness as equivalent to simple-mindednes It was obvious that he felt no affection for anyone, but said he was anyone’s friend, it was pretty clear that he intriguing against him. He never laughed at his enet in conversation he never took any of his own peoples seriously. He had no designs on the property of his enemies, as he considered it difficult to get hold of what belonged to people who were on their guard; but as for his freinds' property,which was unguarded, lie thought he was most remarkable in knowing how easy it was to get his hands on to it. When he saw that a man would break promises and do wrong, he regarded him as well equipped and was frightened of him; but he tried to treat a man who was scrupulous and had regard for truth as though he were a half-wit. In the same way as some people take pride in being god-fearing and truthful and upright, Menon took pride in his ability to deceive, in his fabrications and falsehoods, and in sneering at his friends. He always looked upon a person who had scruples as being only ~ half educated. When he wanted to stand high in anyone’s friendship, he thought that the way to achieve this end was by running down those who already occupied the position he wanted. His scheme for ensuring his soldiers’ obedience to him was to be a partner in their crimes. He considered that, ____ by making a display both of his great powers and his willingness to misuse them, he was entitled to honours and deference.

2,500 years ago, Xenophon described the selfish and cynical mindset perfectly.

If you've met people like this, or watched TV show hosts turned politicians like this, you'll recognize the mindset immediately.

I love how the ancientness of this text proves just how innate these character traits are.

03.08.2025 20:16 β€” πŸ‘ 49    πŸ” 13    πŸ’¬ 2    πŸ“Œ 1
Post image Post image Post image

Jhoan DurΓ‘n walk-on is insane in Philadelphia.

And a beautiful story about how the staff at the Minnesota Twins originally made it and then open sourced it for the Phillies so DurΓ‘n could still have it.

"Durantula".

04.08.2025 01:41 β€” πŸ‘ 5    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Oil Man
YouTube video by Big Jack Johnson - Topic Oil Man

youtu.be/okLvFaDPOTc?...

Energy dominance.

03.08.2025 06:02 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

"In my end is my beginning"

29.07.2025 07:04 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

Dan Campbell, Metallica fan. Rock. 🎸🀘

27.07.2025 02:58 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

Remembering Brigadier General Giora Epstein (1938 - 2025).

Going the distance, enduring against overwhelming odds. May his memory be a blessing.

24.07.2025 00:09 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Shot in the Dark
YouTube video by Ozzy Osbourne - Topic Shot in the Dark

A song that I've had playing as a soundtrack to reinforcement learning and decision making while looking at all of this insane mathematics.

RIP Ozzy.

youtu.be/Mzyz2egx_0c?...

22.07.2025 18:57 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

Midnight over Texas in mid-July. The constellation Cygnus flies high overhead, making up part of the Summer Triangle. At a point about halfway between its body and head in the neck is Cygnus X-1, the first known black hole. At 7000 light years away, it is the ultimate black swan.

20.07.2025 05:28 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
A back and white sketch of French geometer Gaspard Monge

A back and white sketch of French geometer Gaspard Monge

In the late 18th century, Gaspard Monge found a way to efficiently transport soil to build fortifications for Napoleon’s army. Mathematicians are now using his β€œoptimal transport” technique to extend Einstein’s general theory of relativity to new realms.
www.quantamagazine.org/a-new-geomet...

19.07.2025 15:46 β€” πŸ‘ 37    πŸ” 12    πŸ’¬ 0    πŸ“Œ 0

Where we got the name of the WWII vehicle and the later car brand by Chrysler.

19.07.2025 13:49 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

β€œFootball is too complex for humans to play. They need computers.”
- Abdus Salam Qureishi

19.07.2025 12:58 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

How it started.

18.07.2025 21:48 β€” πŸ‘ 31    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0
Preview
Laser guide star - Wikipedia

A sodium laser for adaptive optics to make reference stars that shine for you. And they are all yellow 🎢
en.m.wikipedia.org/wiki/Laser_g...

19.07.2025 00:07 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

Joe DiMaggio ended his 56-game hitting streak on July 17th, 1941.

The record hitting streak would last until 2026, when it was broken by the Buck Bokai of the London Kings.

In the 24th century, Buck would appear to advise Starfleet Captain Benjamin Sisko.
#StarTrek
#Baseball

17.07.2025 23:45 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Ronald Reagan at the Opening of Disneyland Park, 7/17/1955
YouTube video by Ronald Reagan Presidential Foundation & Institute Ronald Reagan at the Opening of Disneyland Park, 7/17/1955

Ronald Reagan lends his broadcast talent to the opening of Disneyland in Anaheim, California. 70 years ago, July 17th, 1955.
youtu.be/3rEyWxfXx50?...

17.07.2025 21:01 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

The Mozart of Mathematics. Happy 50th Birthday to the legendary Terence Tao. Locked in. Feeling it!

17.07.2025 17:04 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

BREAKING: Canadian retailer Alimentation Couche-Tard says that it has withdrawn its bid for Seven & i Holdings, the operator of 7-Eleven convenience store chain, citing a lack of constructive engagement, nearly a year after the proposal first came to light
https://trib.al/0bKgc1M

16.07.2025 23:15 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Post image

#OTD

The 15th of July, 1799.

Lieutenant Pierre-FranΓ§ois Bouchard discovers the Rosetta Stone during the Napoleonic campaign in Egypt.

And a classic paper:
"Physics, Topology, Logic and Computation: A Rosetta Stone"

John C. Baez,Β Mike Stay
arxiv.org/abs/0903.0340

15.07.2025 15:18 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image Post image Post image

July 15th, 1975. DΓ©tente in space.

Celebrating the 50th Anniversary of the Apollo-Soyuz Test Project.

15.07.2025 14:25 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

I support #TeddyBridgewater.

15.07.2025 03:38 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Mindful Rescue | disaster relief Mindful Rescue Inc is a Texas nonprofit that provides disaster relief and recovery services, focusing on low-income individuals, seniors, veterans, and disabled people affected by personal or national...

A friend just talked to me, and he's volunteering with a great group called Mindful Rescue.

If you can help, please send them anything. Just 5 or 10 dollars will buy them some needed snacks and hydration. Good group. Thanks!

www.mindfulrescue.org

15.07.2025 00:34 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

July 13th.

Remembering NFL great, the late Jack Kemp today on his birthday. He was a staunch defender of capitalism and supply side economics while being one of its harshest critics at the same time, advocating for minorities.

He was honored by both Ronald Reagan and Barack Obama.

13.07.2025 19:28 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Big book on sequent calculus and linear logic for free.

13.07.2025 06:27 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image Post image

Happy Birthday to Michael Ventris (July 12th, 1922 - September 6th, 1956).

The Decipherment of Linear B by John Chadwick tells the story of the dashing young architect, linguist, and classical scholar who cracked the code on the ancient Mycenaean Greek script Linear B.

12.07.2025 14:59 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

@teamtock is following 20 prominent accounts