Michael Evans

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

[Javier Blas @JavierBlas]

USDA has now confirmed the detection of a New World screwworm in a bovine in Zavala County, Texas. The detection of the parasite, which is deadly to cattle, comes at a dire time for the US beef industry, with a smaller herd having already sent prices to record highs.

[MLB @MLB]

Shohei Ohtani: Ace of the Diamond! 💎

He has a 0.74 ERA this season 🤯

[The Wall Street Journal @WSJ]

A famous math problem that stumped humans for the better part of a century has finally been toppled—by AI. https://t.co/EYtsvnepvj

[Michael Evans @TeamTock]

Hero. They said this. They said that. Too short. He proved them wrong.

[New Orleans Saints @Saints]

Honoring the late, great Sam Mills on what would have been his 67th birthday

[Michael Evans @TeamTock]

True.

[College Football Zone @CollegeFBonX]

True or False.

This is the best white football helmet in college football.

[Michael Evans @TeamTock]

Interestingly enough, I encountered him while my mother was fighting ovarian cancer. He lost his wife to ovarian cancer as well.
https://t.co/1jthiUrFwE

[Michael Evans @TeamTock]

A great tribute to Robert Aumann.

[Axiom @axiommathai]

50 yrs ago, Nobel-Prize-winning economist Robert Aumann proved that rational agents can't "agree to disagree."

We formalized this famous theorem in Lean. Strikingly, AxiomProver made an implicit underlying assumption explicit.

Today we announce EconLib.

@skominers @HarvardHBS

[Michael Evans @TeamTock]

Good. Get in there and talk to people out of your comfort zone. They might have a twang in Texas. They might have a pride flag in San Francisco. Emissions will go down when academia partners with industry for tighter systems, and we work together. This is the new era of funding.

[Bloomberg @business]

Princeton University’s endowment is backtracking on its pledge to divest from publicly traded oil and gas companies, four years after it said it would exit such holdings as way to move toward a net-zero portfolio https://t.co/7Wcn5vBbLe

[Bloomberg @business]

India’s annual monsoon rains that are crucial for farm output are likely to arrive around Thursday at Kerala state on the country’s southern tip https://t.co/jsJlcWQqRT

[Michael Evans @TeamTock]

Pretty sure they've got the brainpower to do this.

[Bloomberg @business]

Poland needs to put technology sovereignty at the top of its political agenda to curb artificial intelligence-related risks threatening its security and economy, Prime Minister Donald Tusk said https://t.co/xz1Hgdmsrh

[Michael Evans @TeamTock]

And they just might get surprised when the tax revenues end up being higher than before.

[Bloomberg @business]

Denmark’s new center-left government said it will cut the corporate tax rate to shore up the Nordic country’s ability to compete in a tougher global environment marked by trade wars and soaring energy costs https://t.co/Amg6XASSkp

[Michael Evans @TeamTock]

I had mine.

[Super 70s Sports @Super70sSports]

Perhaps the most critical back-to-school purchase of the early 80s.

[Traces of Texas @TracesofTexas]

It's time for my monthly check. Let's see ... it's 7:54 a.m. in Slaton, Texas and, yup, Bob Wills is still the king. 😀

[Traces of Texas @TracesofTexas]

Y'all, it was announced today that Raymond Berry passed away last week at the age of 93. Raymond, whose name is probably unfamiliar to a bunch of y'all, especially the younger ones in the bunch, was one of the greatest NFL receiver of all time and --- naturally --- a Texan.

Raymond was born in Corpus Christi in 1933 and raised in Paris, Texas. He was not considered a natural athletic prodigy. He lacked blazing speed. He went to college at SMU and caught only 33 passes --- a figure so low that Raymond was drafted by the Baltimore Colts in the 20th round of the 1954 NFL Draft. Nobody expected him to do much as a pro. The irony is one of the great Texas football stories: a receiver who caught only 33 passes in college went on to retire as the NFL's all-time leader with 631 career receptions, earning induction into the Pro Football Hall of Fame in 1973. His 68 touchdowns in the NFL was an astonishing number for his era.

Raymond became great through relentless preparation and precision, becoming the favorite target of legendary quarterback Johnny Unitas. Together they formed one of football's most celebrated passing combinations, helping lead the Colts to NFL championships in 1958 and 1959. Ramond said "the most prepared are the most dedicated." His performance in the 1958 NFL Championship Game, often called the "Greatest Game Ever Played," remains one of the most famous in league history. All he did was catch 12 passes for 178 yards and a touchdown. The heights reached today by the NFL can be traced to that one game.

During his 13 seasons with the Colts, Raymond revolutionized the wide receiver position with his meticulous route running, film study, and practice habits. He led the NFL in receptions three straight years, made six Pro Bowls, and retired in 1967 as the league's all-time leader in both receptions and receiving yards.

After his playing career, Raymond became a respected NFL coach. His most notable coaching achievement came with the New England Patriots, whom he led to the first Super Bowl appearance in franchise history following the 1985 season. Many football historians credit him with helping transform pass receiving from an improvisational skill into a highly technical craft, making him one of the true architects of the modern passing game.

But here's the best thing: he was a genuinely nice man, and humble, too. I've been reading some of the testimonies from his former teammates and players and each of them say, essentially, that as great a player as he was, he was an even better human being.

RIP Raymond Berry!

[Eli Manning @EliManning]

I like the look of this.

[Michael Evans @TeamTock]

Dieter with a take on the Western song.
https://t.co/pclvttar3m

[Michael Evans @TeamTock]

New from Paul Cauthen. This track for me was like Dale Watson meeting up at the bridge with Dieter Meier and Boris Blank of Yello. Really funky.

https://t.co/zhMWnw2pnI

[Super 70s Sports @Super70sSports]

If One Night in Bangkok comes on the radio and you try to change the channel I’m gonna snap your finger like I’m Steven Seagal in 1987.

[Michael Evans @TeamTock]

Inner Excellence looks good in red, white, and blue.

[NFL @NFL]

Officially a Patriot 🫡