Reposted by John GallagherJohn Gallagher @johnrgallagher.bsky.social · 6hThe book is here and I am over the moon! 3163
Reposted by John GallagherJohn Gallagher @johnrgallagher.bsky.social · 08/10/2026Hello there. I'm much grayer than this picture indicates. news.illinois.edu/book-counter...news.illinois.eduBook counters AI hype by examining how researchers talk about their workA new book by English professor John Gallagher aims to counter the hype surrounding artificial intelligence by focusing on AI researchers and their work. 0102
John Gallagher @johnrgallagher.bsky.social · 5hOrder here: www.amazon.com/Through-Expe...amazon.comAmazon.com: AI Through the Experts’ Eyes: Communicating Complex Ideas (Composition, Literacy, and Culture): 9780822949053: Gallagher, John R.: BooksAmazon.com: AI Through the Experts’ Eyes: Communicating Complex Ideas (Composition, Literacy, and Culture): 9780822949053: Gallagher, John R.: Books 001
Reposted by John GallagherJoshua Barsczewski @joshuabarsczewski.bsky.social · 19hY’all. We’re going to sign the adoption paperwork on our foster puppy on Wednesday. I’m so excited. Be prepared for many pictures. 244869
John Gallagher @johnrgallagher.bsky.social · 08/10/2026Hello there. I'm much grayer than this picture indicates. news.illinois.edu/book-counter...news.illinois.eduBook counters AI hype by examining how researchers talk about their workA new book by English professor John Gallagher aims to counter the hype surrounding artificial intelligence by focusing on AI researchers and their work. 0102
Reposted by John GallagherLe Ca-ghoul @lecagle.bsky.social · 03/07/2025One time I had a student who was on the university rodeo team and he had to miss class to go compete and I said, "Good luck at the...meet? Competition? What do you call it?" And he looked at me I swear to God from under his big hat brin and said in a drawl, "Ma'am. We call it a rodeo." 1218631
John Gallagher @johnrgallagher.bsky.social · 08/10/2026The verified Navier-Stokes proof does not match the one in the paper. "Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs" arxiv.org/abs/2610.08144arxiv.orgNavier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofsAutoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations. In this pro... 043
John Gallagher @johnrgallagher.bsky.social · 08/10/2026Here is why AI may never write well: it's not a problem to solve. 082
John Gallagher @johnrgallagher.bsky.social · 08/10/2026Penny for you thoughts...@annakornbluh.bsky.social, @anneo.bsky.social @mostrovsky.bsky.social, @alicetiara.bsky.social @ubiquity75.xyz 000
John Gallagher @johnrgallagher.bsky.social · 08/10/2026Preview of an in progress book I'm currently stuck in. Would love a comment! meresophistry.substack.com/p/the-conten...meresophistry.substack.comThe content compulsion of social mediaWorkshopping in progress academic work. 110
Reposted by John GallagherTed Underwood @tedunderwood.com · 07/10/2026I take this very personally, because this is my immediate community. My friends and colleagues' lives are being disrupted. The whole town of Champaign-Urbana, actually, is being attacked, because international scholars and students are a huge part of what makes it vibrant. 311615
John Gallagher @johnrgallagher.bsky.social · 07/10/2026I read about scientific theory today and now I understand scientific less well. 110
John Gallagher @johnrgallagher.bsky.social · 07/10/2026we don’t have an operational definition of writing because it’s both a thorny knotted activity and a wildly variable artifact whose quality depends on writer/audience/situation/genre/modality/culture/time 151
John Gallagher @johnrgallagher.bsky.social · 07/10/2026\begin{itemize} \item Time warp \item Again \end{itemize} 010
Reposted by John GallagherJohn Gallagher @johnrgallagher.bsky.social · 05/10/2026New blog post up! "The treachery of approximation in an era of AI" I hope you'll read and enjoy. Maybe share if you enjoy. meresophistry.substack.com/p/the-treach...meresophistry.substack.comThe treachery of approximation in an era of AIIntroduction 044
John Gallagher @johnrgallagher.bsky.social · 05/10/2026Return to oz. Dorothy gets shock treatment (literally!) Half men, half gurney creatures Headless witch who has a hallway full of heads Oz is torn to shreds. All Dorothy's friends are turned to stone.static.klipy.comReturn To Oz MombiALT: Return To Oz Mombi 010
John Gallagher @johnrgallagher.bsky.social · 05/10/2026New blog post up! "The treachery of approximation in an era of AI" I hope you'll read and enjoy. Maybe share if you enjoy. meresophistry.substack.com/p/the-treach...meresophistry.substack.comThe treachery of approximation in an era of AIIntroduction 044
John Gallagher @johnrgallagher.bsky.social · 04/10/2026Babak just sent me this Friday! Very excited to see it. 110
Reposted by John GallagherBenedek Kurdi @benedek.bsky.social · 24/09/2026📊 New resource: ISAAC, an open corpus for studying social group attitudes 💬 527M+ Reddit posts (2007–2023) 🧠 Covers race, sexuality, age, ability, and skin tone 🗺️ Validated against Gallup and Google Trends 🔍 No-code or Python/SQL: isaac.psychology.illinois.edu 📖 Preprint: arxiv.org/abs/2609.27059 32011
John Gallagher @johnrgallagher.bsky.social · 01/10/2026Micron's earnings are up 380% year over and year and their stock DROPPED at the opening bell. That's where we are. All of increases are baked into the prices. A downturn in the AI economy will result in serious fallout. 000
John Gallagher @johnrgallagher.bsky.social · 01/10/2026I don't know what you mean (in all seriousness). Can you explain? 100
John Gallagher @johnrgallagher.bsky.social · 01/10/2026My 1st grader made the following to take for school lunch: salmon on a bed of wild rice. All were leftovers from two different meals. 060
John Gallagher @johnrgallagher.bsky.social · 01/10/2026It's fascinating to see how this is received, notably the biases it reveals. There are lot of professors who don't have a "reading list" because their courses are not conceived of through texts. 032
John Gallagher @johnrgallagher.bsky.social · 01/10/2026The AI "slow down" is related to burn rates of training new models and is an economic play for IPOs. 011
Reposted by John GallagherEugene Vinitsky 🍒 @eugenevinitsky.bsky.social · 30/09/2026In our Nature paper, we introduce the first superhuman Stratego AI, which we built using general techniques that we developed for RL & test-time compute under imperfect information. www.nature.com/articles/s41...nature.comScalable decision-making for games of imperfect information - NatureAtaraxos, an AI for the board wargame Stratego, establishes a design pattern for reinforcement learning and search that is effective under large amounts of hidden information, a longstanding desiderat... 1225960
John Gallagher @johnrgallagher.bsky.social · 30/09/2026Anthropic and OpenAI are going to be a massive asteroid that hits the US economy. 000
John Gallagher @johnrgallagher.bsky.social · 30/09/2026UIUC has a “combating screen time club” and they’re in the news! Full disclosure: I’m the advisor. lol dailyillini.com/opinions-sto...dailyillini.comDI Voices | My experience founding an RSO on campus - The Daily IlliniA UI student reflects on founding the Combating Screen Time Club, exploring screen-time addiction, loneliness and campus culture. 051
John Gallagher @johnrgallagher.bsky.social · 30/09/2026The GPT videos are literally just templates. Watch 4 of them and you'll see the edges immediately. 100
John Gallagher @johnrgallagher.bsky.social · 30/09/2026You can’t really go wrong in either case. If you didn't publish it, you’re totally good with submitting in my view. 110
Reposted by John GallagherJohn Gallagher @johnrgallagher.bsky.social · 30/09/2026AI token costs are going to SKYROCKET after IPOs to the point that it's eyewatering. In order to break even, Anthropic would need to make 400 billion a year for 5 years (they made 4.6 this year). THE MATH DOES NOT MAKE SENSE. www.reuters.com/business/fin...economictimes.indiatimes.comAnthropic IPO explained: $2 trillion valuation, ballooning net loss, AI risks and other details in leaked IPO papersAnthropic is preparing for a potential IPO as its revenue surges, but losses and infrastructure commitments balloon. The AI company has also warned of existential risks from advanced models and highli... 152
John Gallagher @johnrgallagher.bsky.social · 30/09/2026"The maker of Claude reported a net loss of $42 billion in 2025, and plans to spend $518 billion on cloud, computing and infrastructure obligations in coming years, according to the prospectus seen by Reuters."economictimes.indiatimes.comAnthropic IPO explained: $2 trillion valuation, ballooning net loss, AI risks and other details in leaked IPO papersAnthropic is preparing for a potential IPO as its revenue surges, but losses and infrastructure commitments balloon. The AI company has also warned of existential risks from advanced models and highli... 010
John Gallagher @johnrgallagher.bsky.social · 30/09/2026AI token costs are going to SKYROCKET after IPOs to the point that it's eyewatering. In order to break even, Anthropic would need to make 400 billion a year for 5 years (they made 4.6 this year). THE MATH DOES NOT MAKE SENSE. www.reuters.com/business/fin...economictimes.indiatimes.comAnthropic IPO explained: $2 trillion valuation, ballooning net loss, AI risks and other details in leaked IPO papersAnthropic is preparing for a potential IPO as its revenue surges, but losses and infrastructure commitments balloon. The AI company has also warned of existential risks from advanced models and highli... 152
John Gallagher @johnrgallagher.bsky.social · 30/09/2026Retrieval practices are the best practice for learning and writing is the number 1 retrieval practice. 020
John Gallagher @johnrgallagher.bsky.social · 30/09/2026"maybe you should lay off the raspberry and brie on sourdough" ~my doctor 200
John Gallagher @johnrgallagher.bsky.social · 28/09/2026Younger offspring: What talent do you want? Me: to control time, reality, and the knowledge to control those two things Older: They're fairy powers. Like water or flight. Me: Water. Younger: what is color is your outfit? Me: purple & black... Younger: No it's blue. That's the color you have. 000
John Gallagher @johnrgallagher.bsky.social · 27/09/2026I got asked in an interview once, "What do you want on your tombstone?" It was a office job. 030