Michael Evans
@TeamTock
TOCK Analytics (my math project and totally awesome vaporware company that has fun). Exploring the world of applied category theory. Proven critical systems.
Kamara Birthday Contest 🚨 RT for a chance to win an AK autographed #Saints mini helmet 👀 #SaintsContest | Rules: neworlns.co/TWcontest
WOW ... this is what it will look like to watch a baseball game inside of a NASCAR track 😳
Here's the first look at an official MLB field inside a NASCAR track 🤯 The Speedway Classic will take place next Saturday, Aug. 2nd between the Braves and Reds
WE DON NEED NO STEEEENKIN' BADGES!
The Treasure of the Sierra Madre (1948) Two Americans searching for work in 1920s Mexico convince an old prospector to help them mine for gold in the Sierra Madre Mountains. DIR John Huston CAST Humphrey Bogart, Walter Huston, Tim Holt 2 HR 30 MIN | ADVENTURE | 3:30 AM EDT
For information about the Federal Reserve’s renovation of two historic buildings, please see our FAQs: federalreserve.gov/faqs/building-…
While we're talking about AI power, let's also remember our people. That way, our AI will be engineered with values that stand the test of time. #Navajo #LightUpNavajo
Light Up Navajo reaches Cameron North NTUA electric line crews started scattering powerline poles in preparation for an extensive community powerline project. After waiting decades and beyond - LUN will extend power to more than 20 Cameron North families living without.
I'm here in support of the study of applied category theory in the design and co-design of large, complex systems. Come join us. You meet great people. We can get all kinds of people on the same page. 😎
You won’t outrun time, but if you walk beside it long enough, it becomes a friend.
So what I plan to order tomorrow is a 14-inch MacBook Pro with a M4 Pro processor, 48GB of RAM and a 1 TB disk. Considerations that made me pick the Macbook Pro rather than the Air include Thunderbolt 5 ports (e.g. for multiple high-spec monitors), built-in HDMI (I give a lot of…
I find myself without a laptop and I am torn between a 13" MacBook Air M4 32GB 1TB vs. 14" MacBook Pro M4 Pro 32GB 1TB. It will be my main development machine (with external monitor), running SystemVerilog simulations, theorem provers like Lean4, Agda, SVA formal verification…
The Nash75 talks are on YouTube! Below is my talk "Game Theory for AI Agents" (link also gives all other talks on the side). youtube.com/watch?v=WO5xJI…
"Once you start looking for confirmation bias you see it everywhere." — Michael Feathers
❤️🏈 Special appearance by the hell fighter, Houston's Red Adair.
50 Years Ago Bum Phillips and the 1975 #Houston Oilers Training Camp In his first camp as an NFL head coach, Bum's emphasis on team camaraderie and togetherness paid immediate dividends. The #Oilers had their first winning season in eight years and first 10-win season since…
A rare country music video from the early 90s by actor Ronny Cox. It's his birthday today. That industry can get rough, and this is one of those great what ifs. Solid, respectable, entry to country. youtu.be/mMYqNR6yrHE?si…
BREAKING: Jeff Bezos is considering a possible acquisition of CNBC, according to New York Post report.
And pure cane sugar. Coca-Cola hitting a stride.
Two legends, one universe-sized celebration! Coca-Cola and Star Wars are uniting fans like never before, celebrating the shared passions that refresh our universe. Discover the full #RefreshYourGalaxy campaign, featuring exclusive collectibles & immersive AR experiences,…