iiinova — where your digital self keeps evolving

Michael Kinyon @profkinyon.bsky.social · 05/10/2026

I remember that episode quite well. One of my favorite Kingpin lines.

020

Michael Kinyon @profkinyon.bsky.social · 05/10/2026

Why yes; LLMs have been writing posts for me; I've been using them for a couple of weeks; how could you tell?

060

Michael Kinyon @profkinyon.bsky.social · 26/08/2026

Preparing talk slides. I haven't used this one in a while.

2100

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

(1) No, I've never heard of it before. (2) Probably something innocuous like 1 or 2. *Now* I can look it up.

040

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.

2210

Michael Kinyon @profkinyon.bsky.social · 04/08/2026

In US English, "sammich" is common slang for sandwich, often used tongue in cheek. For me, it's the -bo part that's hard to understand in the Australian version

110

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 · 04/08/2026

No, I like "rename nameless" 😁

000

Michael Kinyon @profkinyon.bsky.social · 04/08/2026

I would say that's of a somewhat different character.

210

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

2230

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

We had quals in phases: 3 written exams (for me: analysis, algebra, diff eqs), then an oral (general stuff, not a thesis proposal) I failed all the written exams on my 1st attempt. I barely passed on my 2nd. I just squeaked by on the oral. And yet my research career has gone pretty well, I'd say.

150

Michael Kinyon @profkinyon.bsky.social · 31/07/2026

This is clearly intended to be the entries in Pascal's triangle, read by rows from (say) left to right. Since it eventually has arbitrary large terms, it doesn't converge. 🤪

030

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 · 30/07/2026

"Your Ganglionic Eminence" sounds like how you would address an archbishop of a Cthulhu cult.

071

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

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

Nah, I just go with my gut. Which is churning right now because I haven't eaten yet today.

130

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 · 20/07/2026

I worked on it a bit when I was a grad student, and would have bet money at the time it was true.

010

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 · 17/07/2026

That's an upper case A at the beginning of the crossed out part, so it's probably ADHD.

010

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

I can count the number of my collaborators who know what git is on one hand. 😁

141

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 · 10/07/2026

thank god for the JUMP TO RECIPE button

0130

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 · 05/07/2026

Yes, they are usually of the sort "does there exist a quasigroup/loop satisfying such-and-such algebraic properties, but not these other ones?" There are also the more combinatorial latin square problems, like "do there exist 3 mutually orthogonal latin squares of order 10?"

220

Michael Kinyon @profkinyon.bsky.social · 03/07/2026

As soon as I read that, it started playing in my head

120

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