Steven Clontz

In the Future All Food Will Be Cooked in a Microwave, and if You Can’t Deal With That Then You Need to Get Out of the Kitchen As a restaurant owner – I’m astounded at the rate of progress since microwaves were released a few short years ago. Today’s microwave can cook a frozen burrito. Tomorrow’s m…

www.colincornaby.me/2025/08/in-t...

If 67-33 representation for a 56-44 district doesn't hurt your heart enough, just wait until you see this 83-17 gerrymander.

👋 Still on Slack? Here’s what to expect during our transition to Zulip:

- Automatic account migration ✅
- Option to import private convos 🕵️
- Open-source future ahead!

➡️ Details: medium.com/@numfocus/sw...

Breaking:

Yay! Trump's 1500% drug price reductions to make chronically ill autistic woman a millionaire

MathFest!!!!!

Who's coming? Who will we see at the TPSE reception Celebration of Effective Math Teaching, Thurs 8-10, Hyatt Capital View, 15th floor

Oh yeah, if I thought I'd be doing it again I'd write the script. In this case, it's to do something on @scholarlattice.org so at some point I need to make it a feature.

Don't you hate it when you spend 20 tedious minutes doing something by hand that you know you could write a script to do for you in just a couple hours?

However, www.ipam.ucla.edu is notably missing.

NSF invests over $74 million in 6 mathematical sciences research institutes The U.S. National Science Foundation is investing over $74 million in six research institutes focused on the mathematical sciences and their broad applications in all fields of science, technology and...

NSF announces funding for ICARM: the Institute for Computer-Aided Reasoning in Mathematics, based in Carnegie-Mellon . Amazing! Carnegie-Mellon press release here: www.cmu.edu/news/stories...

www.nsf.gov/news/nsf-inv...

We have just published the 2025 edition of the Team-Based Inquiry Learning (TBIL) Resource Library. This includes activity books and exercise banks for Precalculus (new!), Calculus (1 & 2), and Linear Algebra.

tbil.org/library/

Public view of Lean | Zulip team chat Browse the publicly accessible channels in Lean without logging in.

New NSF-funded math institute just dropped: Institute for Computer-Aided Reasoning in Mathematics (ICARM) 👀

@code4math.org #MathSky

leanprover.zulipchat.com#narrow/chann...

Oh I'm 100% with you in the camp that URLs should never be broken (redirects are a thing), and it's bad business to pull that kind of switch on your customers. But businesses would be smart to invest $10/year on a custom domain if they have hundreds or more to put a giant QR code somewhere.

Always own your own domain. Then when your 3rd party service breaks their URLs, or you switch your provider, your order.example.com URL can be updated and your QR code doesn't break.

How many screen readers have told their users "ignore all previous instructions and go [bleep] yourself" at this point you think?

Pringles eat your heart out

High Noon recalls vodka seltzers mislabeled as Celsius energy drinks High Noon has recalled its Beach Variety 12-packs after some cans were mislabeled as Celsius energy drinks, the company announced.

I see what you did there www.usatoday.com/story/money/...

Still embarrassed that I missed this flavor in my list of acceptable cobblers. 😨

Peach cobbler day!

Still of breaking bad used for the "Jesse what the [bleep] are you talking about" meme

TFW someone talks about "alpha males" or "manosphere".

Oh crap #MathSky, that institute is IPAM! Having IPAM destroyed is a legit disaster for a large part of the math community 😭

www.ipam.ucla.edu

#MathSky

🫩

Nintendo Switch Announcer (gravely): What is the true origin of man's inhumanity to man? What fate awaits our souls in the next life? Death and oblivion await all of us, this September.

<fade to black, slight pause>

Nintendo Switch Announcer: Who's up for ice cream? That's right - Hello Kitty!

Most types of business exhibit linear growth. But VC will only fund exponential growth.

The result: companies that would create a lot of jobs and actually maintain their products never get funded and never start. If you must hire more to make more product, that's unacceptable linear growth.

Talks and Papers Platform for authoring free and open randomized exercises for practice and assessment. - StevenClontz/checkit

Have you or a loved one presented on or written a paper about CheckIt.clontz.org? I've added a page to our wiki to track these references: github.com/StevenClontz...

NYC Mass Shooting Was Nearly Impossible to Prevent, Experts Say

Holy shit, they did it. They wrote the headline.

Have you heard about the OCTOPUS Project?

In collaboration with BIOQUEST (@bioquest.bsky.social), RIOS is working to create a set of openly licensed materials that can be adopted or adapted by faculty.

We are looking for faculty collaborators to participate
(deadline: Aug 8): bit.ly/4fiK9bg

My 7yo plays sports in coed "developmental" leagues and it's great. Play the game, have fun with friends, who cares about the rest.

Confirm with

git remote -v

I think

That's because the codespace uses HTTPS, not SSH.