"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
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.
I hate it when my fellow academics talk like this to bright, eager students and actually mean it
Arula Ratnakar@arula-ratnakar.bsky.social · 7d agoLook, 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”
Claude prompt: You know what I want and I'll split the million bucks with you if you do it.
One of those days when I wish my brain had more than one core
"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
Starting every prompt with "correct me if I'm wrong, but..." but I'm never wrong
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.
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.
My new favorite way of doing research-level mathematics is clicking the Continue button every once in a while.
The only downside to an LLM proving/disproving a well-known conjecture is the inevitable flood of hot takes on its significance.
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?
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
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.
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 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.
Ah, July 7. The day all the stores start decorating for Christmas. (Actually, Back-to-School, but in either case, it's too early.)
Told my wife I couldn't talk to her anymore because she had reached her daily token limit. She did not take it well.
celestial seal. sealestial? celestseal? universeal. a starbor(harbor) seal. ✎: gouache and colored pencil on paper
altruistic guy using a million tokens in one go to ask an LLM to solve the extreme heat problem
When I decide to think about nonabelian simple groups.
Ash@queerash.bsky.social · last mo.you know what I think we need to stop normalising stuff. enough stuff is normal now
Rippled rabbit reflection & forlorn frog ✎: acrylic paint and colored pencil
