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
- Tweets12.9K
- Following2.1K
- Followers625
- Likes38K
Michael Evans retweeted
What’s interesting to me about the success of Mixue and Luckin in America is literally just that, that it’s in America. No obvious labor cost, regulatory advantage than the incumbents. Just capitalist excellence.
it’s telling that the viral cheap trend going around is an ice cream cone for $1 from a Chinese brand targeting high end communities…
cc: @TheStalwart
Michael Evans retweeted
#Texas #Longhorns coach Steve Sarkisian said 333-pound DT Maraad Watson was clocked at 16.8 mph on his 61-yard scoop and score vs. Mississippi State.
"I told you guys I was going to tell you how fast he ran! Now, granted, that was later in the game, and he had to rush the passer. So I think he can get to 17 miles an hour, and I really appreciated the ball in his outside arm when he picked it up, and he was ready to stiff-arm the defender coming from inside out. But I'm proud of Maraad."
Michael Evans retweeted
What if an optimizer could think & react while a neural network trains?
MIT researchers developed OPAL: a deep learning optimizer powered by an AI agent that watches the training dynamics & rewrites its own source code as training goes. It improves model performance across vision & language tasks, invents specialized schedules, & develops strategies to prevent loss spikes & escape overfitting: tinyurl.com/yfkekat2
Try it out for yourself: tinyurl.com/mttj5exh
Michael Evans retweeted
House Speaker Mike Johnson breaks into an unexpected impression of President Donald Trump while joking about the president's late-night phone calls.
"The man calls me at, like, 1:00 in the morning and also at 5 a.m.," Johnson says, reenacting Trump asking, "Mike, are you sleeping?"
"No, sir. Of course. Sleep is for sissies, we know."
Johnson then catches himself: "I'm not going to do the impression in front of you. I'm sorry. I didn't plan that."
Michael Evans retweeted
Happy 60th birthday to the New Orleans Saints.
On Nov. 1, 1966, Commissioner Pete Rozelle awarded the NFL's 16th franchise to the state of Louisiana and city of New Orleans. All Saints Day, indeed.
Michael Evans retweeted
When I was at Bloomberg I had always wanted to created an “Odd Lots index” that bought and sold stocks based on the names and themes that were mentioned on the shows. One can run a backtest with factor-based attributions to see if @tracyalloway, @TheStalwart and their guests had some foresight/alpha in what’s to come. I never got around to it but I still think someone should!
Michael Evans retweeted
Happy to introduce my fellow foreign ministers to the quintessential American sport of football and welcome them to #GatorNation.
Michael Evans retweeted
⚽ New paper in Chaos, Solitons & Fractals! How robust are soccer passing networks?
We analyze 2,280 matches from La Liga & Premier League using directed percolation & mean-field.
sciencedirect.com/science/ar…
doi.org/10.1016/j.chaos.2026…
Michael Evans retweeted
In response to recent reporting by @TexasTribune regarding Fermi’s Board of Directors, we want to clarify that Governor Rick Perry has not been removed from Fermi’s Board of Directors. In fact, both Governor Perry and Jeffrey Stein received a majority of the votes cast by shareholders.
The proposal failed to achieve the required approval threshold following what the company believes was a breach of contractual voting obligations by the Neugebauer shareholders.
Let’s be clear: Governor Perry and Mr. Stein remain members of Fermi’s Board of Directors and will continue serving until their successors are duly elected. Both remain eligible for reelection.
Fermi remains focused on advancing Project Matador, delivering critical American energy infrastructure, and creating long-term value for its shareholders. We will not allow one disgruntled shareholder to distract from that mission to the detriment of the Company.
Michael Evans retweeted
How Voting Is Like a Klein Bottle | Quanta Magazine quantamagazine.org/how-votin…
Michael Evans retweeted
Contest 🚨
RT for a chance to win an autographed photo of Reggie Bush!
#Saints | Rules: neworlns.co/SaintsRT1
Michael Evans retweeted
NEW ODD LOTS - CYBERSECURITY IN THE AGE OF AI
We recorded this before the Binance hack, but really it's perfect timing. @TheStalwart & I speak with @XorNinja & @brucedang of Calif, one of the firms that uncovered the recent PHP vulnerability.
podcasts.apple.com/us/podcas…
Michael Evans retweeted
BREAKING: DoorDash just agreed to buy Instacart for $17 billion. Here's what that means for customers and shoppers. apnews.com/article/doordash-…
Michael Evans retweeted
i actually have a Lean proof that you are wonderful and that all shall be well and all manner of thing shall be well, but it's long and you won't read it
Michael Evans retweeted
Proof Repair and (Co)algebra Equivalences
E. G Plante, Eric Paul, Cosmo Viola, G. A. Kavvos, Talia Ringer
arxiv.org/abs/2610.36669 [𝚌𝚜.𝙿𝙻]
💬Code: github.com/trey3p/proof-repa…
ALT Maintaining formal proofs in response to breaking changes in their dependencies is a major challenge of proof engineering. Proof repair is a kind of proof automation that lessens the burden of this challenge by automatically adapting proofs in response to those changes. While proof repair is well understood through an algorithmic lens, it has, until now, been poorly understood through a theoretical lens. We address this gap by giving the first foundational treatment of proof repair, focusing in particular on type-theoretic proof repair in response to changes in datatypes. Our key insight is that the core component of a proof repair algorithm—a “configuration”—is exactly an algebra isomorphism. We formalize and prove this insight, answering open questions from prior work. We then take this one step further and show that, by taking the dual of this representation, we obtain proof repair over coinductive types. All of our results are formalized in Agda.
