Sign in

Michael Kinyon

@profkinyon.bsky.social
1.7K followers 810 following 1.5K posts

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.

PostsRepliesMedia
Reposted by Michael Kinyon
Freek Wiedijk @freekwiedijk.bsky.social · 01/09/2026
011
Michael Kinyon @profkinyon.bsky.social · 26/08/2026
Preparing talk slides. I haven't used this one in a while.
Reminder 
We do what we must because we can.
-- motto of Aperture Science Inc.
Below that is the Aperture Laboratories logo.
290
Reposted by Michael Kinyon
William Umboh @swumboh.bsky.social · 28/07/2026
“This result is folklore” is just academic jargon for IYKYK
0203
Michael Kinyon @profkinyon.bsky.social · 19/08/2026
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.
0142
Michael Kinyon @profkinyon.bsky.social · 13/08/2026
Trying to remind my coauthors as gently as possible of the old saying: a paper that claims to have ten main results doesn't have any main results.
2200
Michael Kinyon @profkinyon.bsky.social · 04/08/2026
"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
021
Michael Kinyon @profkinyon.bsky.social · 03/08/2026
I hate it when my fellow academics talk like this to bright, eager students and actually mean it
2220
Michael Kinyon @profkinyon.bsky.social · 02/08/2026
Claude prompt: You know what I want and I'll split the million bucks with you if you do it.
2180
Michael Kinyon @profkinyon.bsky.social · 31/07/2026
One of those days when I wish my brain had more than one core
080
Michael Kinyon @profkinyon.bsky.social · 30/07/2026
"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
160
Michael Kinyon @profkinyon.bsky.social · 26/07/2026
Starting every prompt with "correct me if I'm wrong, but..." but I'm never wrong
220
Michael Kinyon @profkinyon.bsky.social · 24/07/2026
I'm so glad Claude can work on research-level mathematics for me, freeing up my time to do more important things like cleaning the toilets.
4331
Michael Kinyon @profkinyon.bsky.social · 23/07/2026
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.
2130
Michael Kinyon @profkinyon.bsky.social · 22/07/2026
www.youtube.com/watch?v=mBw3...
youtube.com
HEYYEYAAEYAAAEYAEYAA (HQ)
YouTube video by slackcircus
050
Michael Kinyon @profkinyon.bsky.social · 22/07/2026
My new favorite way of doing research-level mathematics is clicking the Continue button every once in a while.
3191
Michael Kinyon @profkinyon.bsky.social · 20/07/2026
The only downside to an LLM proving/disproving a well-known conjecture is the inevitable flood of hot takes on its significance.
2111
Michael Kinyon @profkinyon.bsky.social · 20/07/2026
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?
2241
Michael Kinyon @profkinyon.bsky.social · 19/07/2026
The best part of Christopher Nolan's The Odyssey was when he said "IT'S CHRISTOPHER NOLAN'S THE ODYSSEY TIME" and then christopher nolan's the odysseyed all over those guys
083
Michael Kinyon @profkinyon.bsky.social · 16/07/2026
T sv tkns, rmv ll vwls frm yr prmpts
5101
Michael Kinyon @profkinyon.bsky.social · 13/07/2026
As a well known and respected social media strategist, I will now reveal the secret of going viral on Bluesky: make a niche joke about Overleaf.
4330
Michael Kinyon @profkinyon.bsky.social · 13/07/2026
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.
3057830
Michael Kinyon @profkinyon.bsky.social · 11/07/2026
I asked Gemini if it's more accurate to say that LLM's are sycophantic or obsequious, and it said that was one of the best questions it had ever been asked.
4725
Michael Kinyon @profkinyon.bsky.social · 11/07/2026
I'm so sad (dicing onions)
Me, crying in the kitchen
0100
Michael Kinyon @profkinyon.bsky.social · 10/07/2026
thank god for the JUMP TO RECIPE button
0130
Michael Kinyon @profkinyon.bsky.social · 09/07/2026
Durer's Melancholia (1514)
150
Michael Kinyon @profkinyon.bsky.social · 07/07/2026
Ah, July 7. The day all the stores start decorating for Christmas. (Actually, Back-to-School, but in either case, it's too early.)
040
Michael Kinyon @profkinyon.bsky.social · 03/07/2026
Told my wife I couldn't talk to her anymore because she had reached her daily token limit. She did not take it well.
1160
Michael Kinyon @profkinyon.bsky.social · 01/07/2026
static.klipy.com
Studio Ghibli: Hayao Miyazaki's Gray Heron
Alt: The Gray Heron from Studio Ghibli's/Hayao Miyazaki's _The Boy and the Heron_
1151
Reposted by Michael Kinyon
Adrian🦎 @idlelizard.bsky.social · 12/06/2026
celestial seal. sealestial? celestseal? universeal. a starbor(harbor) seal. ✎: gouache and colored pencil on paper
Painting of a seal with a large shooting star above. The seal and night sky are both covered in stars.
131920836
Reposted by Michael Kinyon
Adrian🦎 @idlelizard.bsky.social · 28/06/2026
Twisting and Bitturning ✎: brush pen and colored pencil
Three ink drawings of an American bittern. First with its neck tucked in, then with its neck extended a realistic amount, and last with its neck extended into a surreal loopy knot.
7922275
Michael Kinyon @profkinyon.bsky.social · 27/06/2026
Henry Mancini
260
Michael Kinyon @profkinyon.bsky.social · 27/06/2026
altruistic guy using a million tokens in one go to ask an LLM to solve the extreme heat problem
272
Michael Kinyon @profkinyon.bsky.social · 27/06/2026
When I decide to think about nonabelian simple groups.
1244
Reposted by Michael Kinyon
Adrian🦎 @idlelizard.bsky.social · 23/06/2026
Rippled rabbit reflection & forlorn frog ✎: acrylic paint and colored pencil
Mixed media acrylic and colored pencil painting of a frog and rabbit looking down at their wobbly reflections in a pool of water. Colorful flowers surround them.
71039397
Michael Kinyon @profkinyon.bsky.social · 25/06/2026
You've lynrded your last skynrd
1190
Michael Kinyon @profkinyon.bsky.social · 25/06/2026
Reorganizing my phone app icons instead of getting any actual work done. For something like the thousandth time.
050
Michael Kinyon @profkinyon.bsky.social · 22/06/2026
A Fourier Series of Unfortunate Events
1273
Michael Kinyon @profkinyon.bsky.social · 19/06/2026
I seem to be in the weights. Mistral 3.2 hallucinated that I am a former Republican mayor of Provo, Utah.
MICHAEL KINYON
MATHEMATICIAN SPECIALIZING IN QUASIGROUPS
> 354 STRENGTH * TOP 15% <
GPT-5.5 SAYS
AMERICAN MATHEMATICIAN KNOWN FOR WORK IN NONASSOCIATIVE ALGEBRA, QUASIGROUPS, LOOPS AND RELATED ALGEBRAIC STRUCTURES

followed by a bar graph featuring how much I show up (I guess) in a list of various LLMs.
450
Michael Kinyon @profkinyon.bsky.social · 19/06/2026
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
190
Michael Kinyon @profkinyon.bsky.social · 18/06/2026
Still waiting for the day some instance of Claude starts singing the "Manchester England England" song from _Hair_.
011
Michael Kinyon @profkinyon.bsky.social · 18/06/2026
A quasigroup is an object that transforms like a quasigroup.
4120
Michael Kinyon @profkinyon.bsky.social · 17/06/2026
For one of my best results, replace "several months" with "a decade".
1191
Michael Kinyon @profkinyon.bsky.social · 17/06/2026
Too real theonion.com/guy-who-suck...
theonion.com
Guy Who Sucks At Being A Person Sees Huge Potential In AI
SAN MATEO, CA—After spending the past three decades of his life being totally unable and unwilling to engage in any meaningful way with the world around him, James Parker, a local guy who sucks at bei...
0101
Michael Kinyon @profkinyon.bsky.social · 17/06/2026
"If you don't behave, I'm going to turn this car and everything else around." -- co-Dad
060
Michael Kinyon @profkinyon.bsky.social · 16/06/2026
CB radio
291
Michael Kinyon @profkinyon.bsky.social · 10/06/2026
ABD Who
082
Michael Kinyon @profkinyon.bsky.social · 08/06/2026
"You have hit upon the exact seam where formalized literature ends and pure abstract algebra begins." -- Gemini, making no sense whatsoever
2150
Michael Kinyon @profkinyon.bsky.social · 07/06/2026
Every paper I have searched for in the past few months has been summarized as "seminal", "groundbreaking", "pioneering" or, at the very least, "influential", regardless of the number of citations. AI is ready to give every human scholar a participation trophy.
2160
Michael Kinyon @profkinyon.bsky.social · 07/06/2026
Student: What is a UFD? Me: Unidentified Flying Domain S: ... Me: I'm not saying it was aliens but it was aliens S: Are you OK? Me: Sorry, I didn't sleep well last night. OK, for real this time, a UFD is...
1210
Michael Kinyon @profkinyon.bsky.social · 07/06/2026
static.klipy.com
Fleetwood Mac - Go Your Own Way (Live)
Alt: Gif of a live performance of "Go Your Own Way" by Fleetwood Mac. Stevie Nicks is playing a tambourine, Lindsay Buckingham is playing guitar and singing the opening lines of the song ("Loving you isn't the right thing to do, How can I ever change things that I feel?"), and Mick Fleetwood is on drums (a cymbal is preventing his face from being seen).
010