Uh in his defense I have about 50 hours of YouTube research on the Earthbound Beginnings breadcrumbs glitch to catch up on. @undertale.com

This is so much better than the Discover Feed (at least it has much less political clickbait lol)

this is the way #MathSky

This is the one true recipe for a Reflecting Pool: 2oz rum, 4oz pineapple juice, 1oz blue curacao, one Blue Razzberry Fruit Roll-Up

Itching for a summer project? Why not get involved in open-source math edtech development? My friend Melissa and I ran a small workshop yesterday showing how to get started contributing to Doenet.org -- check out my post and video recording at @mathtech.org: mathtech.org/2026/06/25/d...

You can now upload assets to PreText.plus (just don't forget the <shortdescription/> with alt text for readers that need it!) pretext.plus/projects/d65...

Planning to attend JMM2027? Does your math involve computing (programming, formalization, machine learning, etc.)? We're organizing a special session on "Mathematics Informed By Computing" and may have a few empty spots to fill: reply/DM/email [email protected] to learn more! #MathSky

lol AssertionError: expected 'style="margin-right:0.03588em;"' to deeply equal 'style="margin-right:0.0359em;"'

THE FIFTH FIELD. deltarune.com

Deltarune............................................................ tomorrow!

Invite codes are no longer required to sign up for pretext.plus! Use XML, LaTeX, or Markdown-style markup to author accessible mathematical documents in your web browser! More to come this summer, stay tuned...

Today's a great day to learn about @doenet.bsky.social! Join our drop in Zoom at MathTech.org/dropin in just a few minutes (no worries if you drop in a little later).

#MathOfMario Looking forward to the follow up that investigates type advantages, STAB, IVs, EVs, and probably a dozen other mechanics past my time. 🤣

A nice article on the arXiv: just because LLM-generated Lean proofs compile without "sorry" (essentially a gap that needs filling), it doesn't mean they're correct. It's too easy to get the definitions wrong. I think we all knew this, but it's great to see. #Lean #MathSky

Don't forget to register if you're interested in either of these workshops!

Just started my first book in PreTeXt. I had been writing it in LaTeX, but a post by @clontz.org finally convinced me to try PreTeXt. I installed vscodium and pretext, got the whole thing up and running, and converted my table of contents all in under an hour. Looks really good so far!

If I ever create a jRPG it will use a Rational data type and not a float. Thank you for giving to my Ted Talk.

Ah @thegradingconference.com, where I'm guaranteed to be reminded that I really need to give CheckIt.clontz.org some love (even though I'm not able to participate this year, a colleague emailed me because they hadn't heard about it but it's been referenced this week it at least a few times...)

Two Zoom virtual training opportunities next week! #MathSky Tuesday: Getting Started with GitHub! scholarlattice.org/collections/... Thursday: Put those skills to work with Intro to Doenet Software Development! scholarlattice.org/collections/...

Hey let me talk about Ocarina of Time oh no someone just won a national champtionship huh

When you make amends with your rival so you can publish together

A good, short read. “In a nutshell, this is the issue: PDFs are not written to be accessible content for all audiences. Instead, they are designed for creating print-ready documents for fully sighted readers.” The recommendation: HTML is way better than PDF for accessibility. #🧮 🧪

People kept asking, so I put all my thoughts together here (mostly things I've learned from @oscarlevin.com): mathtech.org/2026/06/11/a...

Mina obviously has good bones (pun unintended), but it's pretty lame that it has an unannounced late game area of no return that you can absolutely stumble into early (ask me how I know) and the path back is blocked by a significantly difficult boss.

Just woke up from a dream where I was teaching intro linear algebra and ad hoc decided to use 2 and 3 as shorthand for [2 0;0 2] and [3 0;0 3]. A student told me they were confused, so of course this got me excited to go off script and show everyone a proof that [n 0;0 n]A = nA. #MathSky 1/3

It’s one bag of chips, Michael. What could it cost, $9?

8yo: "I wish that if a person had a kid then they can just learn [the meeting information] the next time they go there" lol i'm raising her to be a "this meeting could have been an email" girl

reflecting on it, so long as they make the water temple longer and harder and force you to go through more menus to un & rëequip the iron boots this'll be a 10/10 for me no matter what else they do

I hope it's good but so far, honestly, same energy

Math folks: want to get comfortable with GitHub? scholarlattice.org/collections/... Let's hang out in a couple weeks and get you started!

literal words out of my mouth when I saw this banner ad on the mathfest webpage: "oh yuck!" ("banner ad" was in scare quotes until I realize it rotated into an actual ad and not just a link to another MAA event!!)

An associate editor for Frontiers in Systems Neuroscience has resigned. He asked the editorial office to turn off the AI assistant, and was told it was "not possible". 😵 Read the whole thread!

8yo (home for summer and wanting me to play Minecraft with her) just now: "wait you have another meeting today? how many meetings do you have? why do you need all those meetings?" honestly she asks great questions

replacing "herding cats" with "juggling cats" as my analogy for my job

"But the memes are bette-" shut the fuck up, you're an adult

"you just got full professor, what are you going to do now?" uh eat happy hour buffalo wings and then stay up too late finally playing Mina the Hollower I guess lol

#MathOfMario arxiv.org/abs/2605.31514

"linguistic equivalent of the Wile E. Coyote fall" is a phrase I never realized I need until just now

Actually, might as well bring it all in, if Doenet can't emulate Doki Doki Literature Club then what even is the point www.desmos.com/calculator/t...

The erosion or outright elimination of any semblance of shared governance is one of many reasons that institutions across the state of Alabama are losing faculty left and right.

The algorithm Knows Me

I don't know how to explain to the people who pop up when creatives complain about "AI" to say there are legit uses for it just how much they sound like someone saying "Well actually fire is used to make bread" when people are talking about an organized arson ring burning down their fucking houses

Amazing week with the @doenet.bsky.social and @mathtech.org community! I'll be following up with two zoom workshops next week. GitHub for Mathematicians on Tuesday scholarlattice.org/collections/... and intro to doenet development on Thursday scholarlattice.org/collections/... Join one or both!

Hello world! beta.doenet.org/activityView...

Reached the Corrupt Heart on my first climb with @mathprofpeter.bsky.social 👀

Don’t tell people with only children that they should have more or should give their child a sibling. Sometimes that was very very much wanted and also it’s none of your fucking business.

Another workshop, another week I'm glad I created split.clontz.org

Learn More about the OCTOPUS Project octopus.qubeshub.org The OCTOPUS project is focused on developing resources for an undergraduate open science—open pedagogy program. OCTOPUS Community Conversation Zoom Link bates.zoom.us/j/9153732061... Friday June 5th at 1 ET / 10 PT Check out our resources.