Michael Kinyon

Michael Kinyon

@profkinyon.bsky.social

Mathematics professor at the University of Denver. Quasigroups, Semigroups, Automated Deduction. He/Him. Occasionally drop in at Mathstodon, but not as much as I used to.

1.6K followers810 following1.4K posts

Juliet: Dost thou love me? I know thou wilt say ‘Ay’, And I will take thy word; yet, if thou swear’st, Thou mayst prove false. Lean: Oh that's OK, I prove false all the time.

"The Machine develops - but not on our lies. The Machine proceeds - but not to our goal. We only exist as the blood corpuscles that course through its arteries, and if it could work without us, it would let us die.” ― E.M. Forster, The Machine Stops

I hate it when my fellow academics talk like this to bright, eager students and actually mean it

Arula Ratnakar@arula-ratnakar.bsky.social

Look, my self confidence can get low sometimes bc before I got into a PhD I was told by some professors things like “it would be a risk to accept you” and ”I’m sorry but other applicants have years of math experience and real achievements“ and “Your lack of formal math training is concerning”

"The errors of definitions multiply themselves according as the reckoning proceeds; and lead men into absurdities, which at last they see but cannot avoid, without reckoning anew from the beginning." -- Thomas Hobbes, _Leviathan_, 1651

If someone tells you they are "architecting" something, you should be legally allowed to hit them in the face with a banana cream pie. I can't imagine this opinion being controversial.

CAUTION: This email originated from outside the University. Don't click links or open attachments unless you know the sender and know the content is safe. Also, why are you receiving emails from outside the University? Aren't we good enough for you? Is this how you repay us after all these years?

Inserting a comma and then removing it again on all my projects so that when my collaborators log in to Overleaf and see the "Last modified" column, they'll think I've been hard at work.

I seem to be in the weights. Mistral 3.2 hallucinated that I am a former Republican mayor of Provo, Utah.

Leah Berman Williams@leahwrenn.bsky.social

So this is interesting -- there's a website where you can check whether you're in the weights of the various LLMs. Note "MODELS MAY HALLUCINATE BIOGRAPHICAL DETAILS OR EVENTS THAT NEVER HAPPENED" intheweights.com

For the mathematical estimation of magnitude, there is… no greatest (for the power of numbers goes to infinity. -- Immanuel Kant, Critique of Judgment, section 26 Thus the system W of all ordinal numbers is an inconsistent, absolutely infinite multiplicity. -- Georg Cantor, Letter to Dedekind, 1899

For one of my best results, replace "several months" with "a decade".

Joshua Bowman@thalesdisciple.bsky.social

Math folks, do you love this or hate it: work on a calculation on and off for several months, get an approach that seems ok but is a bit ugly and difficult to prove, then find a more elegant approach that should have been obvious from the beginning and wrap the whole thing up in a couple of days?