dr zach @zachlev.bsky.social · 4h“What the pitcher wants to do is to establish the strike zone early in the game” Joe Morgan (I think) 010
Reposted by dr zachTuxedoAlbedo @jerryork.bsky.social · 5hSadly no. I point you here. futurism.com/artificial-i...futurism.comMathematicians Can't Make Sense of How OpenAI's Agents Solved One of the Toughest Math Problems Because the AI's "Proof" Is Borderline IncomprehensibleMathematicians say they're still unpacking OpenAI's solution for the Navier-Stokes problems because the AI's proof is nearly incomrehensible. 0141
dr zach @zachlev.bsky.social · 5hRe: math proofs The field *knows* the rule exists (or it hasn’t been disproven) It’s not a stretch to think AI is finding the proof because that’s what we expect to hear. But if reading the said proof is incomprehensible to mathematicians…it’s not a proof and just more sycophantic behaviour. 020
dr zach @zachlev.bsky.social · 5hI miss the good old days when powerful computers helped discover proofs that people couldn’t on their own and it was understood to be about powerful computers rather than AI. 030
dr zach @zachlev.bsky.social · 05/10/2026The song “The Cat Came Back” sung by Fred Penner gave me nightmares as a preschooler. 150
dr zach @zachlev.bsky.social · 04/10/2026Let that be a lesson to you goalies everywhere- don’t have a webbed glove like the Flames goalie. 010
dr zach @zachlev.bsky.social · 03/10/2026How many local models do you run is the new do you lift bro? 070
dr zach @zachlev.bsky.social · 03/10/2026The Munk School should be so lucky to have his expertise at their students’ disposal! Diversity of thought!!! 010
dr zach @zachlev.bsky.social · 03/10/2026My name was landed on supposedly because my dad was worried about the mean nicknames kids would say and he got exhausted or could not think of one for Zachary. 110
dr zach @zachlev.bsky.social · 03/10/2026The second one was a bit easier. I didn’t love the name Camden at first but it grew on me. I really tried for Satchel. It helps that our kids have two middle names like we do. 110
dr zach @zachlev.bsky.social · 03/10/2026Was some bargaining. I’d say some names and get shot down and vice versa. There was one name I was hanging on to so it would not get dismissed outright. I can’t remember who first said Tatum out loud, but turns out we were both worried the other would say no for a name we both really liked. 120
dr zach @zachlev.bsky.social · 01/10/2026This is peak playoff baseball. Hardly any fans in the lower bowl watching the Yankees eliminate the Red Sox. 000
dr zach @zachlev.bsky.social · 01/10/2026They are playing the Red Sox so I’m watching for the chance the earth opens up its gaping maw and swallows them both. 020
dr zach @zachlev.bsky.social · 01/10/2026Passan showing us with this tweet he knows how baseball works. 000
dr zach @zachlev.bsky.social · 30/09/2026He could be speaking about Cary Elwes who was in Toronto for a comic convention. 2220
dr zach @zachlev.bsky.social · 30/09/2026I think a Fangraphs article also pointed out how he has changed his stance/swing at the beginning of the year for unknown reasons and switched back. 111
Reposted by dr zachDan "Mr. Bones and Me" Greene @dmgreene.bsky.social · 28/09/2026Don't "relegate reading to the wellbeing section of our lives." 1266
dr zach @zachlev.bsky.social · 27/09/2026All final games of the season moved to back to back ones at the Trop. 110
dr zach @zachlev.bsky.social · 25/09/2026Canadian accents weird!?! C’mon…The Thick of It is right there 010
dr zach @zachlev.bsky.social · 25/09/202697!?!?static.klipy.comCommunity: Darkest TimelineAlt: Community: Darkest Timeline 1130
dr zach @zachlev.bsky.social · 25/09/2026There is a world where “Get Maced” is all about someone wanting to bring back a constitutional monarchy. 010
Reposted by dr zachThe Nicest of the Damned @tyrannosaurus-ritt.bsky.social · 24/09/2026Gonna try again: I'm a public school teacher in Baltimore with a newly approved D&D club. We could really use supplies and we don't have much money to spend. Please consider donating some supplies *or* sharing this post on your feed! #dnd #d&d #ttrpg #gaming www.amazon.com/hz/wishlist/...amazon.comCheck out my list on Amazon 114540
dr zach @zachlev.bsky.social · 25/09/2026Now I just want one of them to win the World Series too. 100
dr zach @zachlev.bsky.social · 24/09/2026When my daughter was 3 there was some segment about who are the heroes in your life. We talked a bit about ideas then I stupidly asked: “Heroes, like daddy?” “No” laughing loudly. Walks away from me still laughing. Pauses to pick up a toy. Then restarts laughing. 020
dr zach @zachlev.bsky.social · 24/09/2026Absolutely hilarious because we know the failings of that argument in other contexts. I don’t think electing a different president is changing things. Sure the tariffs will be gone, but the potential for another Mad King without functioning checks and balances means we have to remain on guard. 000
dr zach @zachlev.bsky.social · 24/09/2026“Not all Americans….” Do you hear how you sound to Canadians? 100
dr zach @zachlev.bsky.social · 24/09/2026Economists going to economist? Or, you can cut them some slack since they discovered people don’t always behave rationally only recently. 120
dr zach @zachlev.bsky.social · 24/09/2026Canada, facing a crisis, is tickled pink to know not all Americans support Trump. 010
dr zach @zachlev.bsky.social · 24/09/2026I get the critique of the original post.I guess I’m amazed to hear the “not all Americans” line. 100
dr zach @zachlev.bsky.social · 23/09/2026I meant more of the other civic employees covered in the act. I know how police unions are. 000
dr zach @zachlev.bsky.social · 23/09/2026Probably other reasons why it’s tough to recruit people to the job. Wages. Constantly facing union busting. Austerity. Just spitballing here. 110
dr zach @zachlev.bsky.social · 22/09/2026My inability to do research isn’t the problem. The problem is people say and do so many things how can anyone ever know or remember them? 040