Joshua Grochow
@joshuagrochow.bsky.social
Research: TheoryCompSci, pure math, complex systems
Other: climate; covid; equity, inclusion, & accessibility
Assoc. Prof. @ CU Boulder Comp. Sci. & Math
Views my own
@[email protected] (& prev twitter)
https://home.cs.colorado.edu/~jgrochow
Other: climate; covid; equity, inclusion, & accessibility
Assoc. Prof. @ CU Boulder Comp. Sci. & Math
Views my own
@[email protected] (& prev twitter)
https://home.cs.colorado.edu/~jgrochow
Pinned
Joshua Grochow
@joshuagrochow.bsky.social
· Oct 25
![Slide title: Thank You for Hosting Remote Talks
Body of slide:
Many researchers cannot travel because of:
- Visa issues
- Disability
- Personal or family health issues
- Money - personal, university, country
- Family responsibilities
- Work responsibilities
- (Climate change & environmental cost)
[Highlighted] Remote events help tie us to the community!](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:pa7qh66jfhgfev77jyz7fogh/bafkreigtkcvtgnwuy7kiqtpazfm6ea67mdhuka6tvecrmbazoc4d6v3gna@jpeg)
New (*draft) slide just dropped, that I want to include at the start of all my online talks. Thoughts or feedback?
#MathSky #AcademicSky
#MathSky #AcademicSky
Reposted by Joshua Grochow
Google Maps has added AI information to its search results and there's no way to turn it off.
#Enshittificatiom
#Enshittificatiom
December 2, 2025 at 3:18 PM
Google Maps has added AI information to its search results and there's no way to turn it off.
#Enshittificatiom
#Enshittificatiom
Reposted by Joshua Grochow
I cannot stress enough just how much wide LLM adoption is harming the human capacity to *try*. To just do things on your own, to think critically about a topic or a problem, to read and synthesize ideas. These are such important skills and we’re just giving them up.
November 26, 2025 at 8:31 PM
I cannot stress enough just how much wide LLM adoption is harming the human capacity to *try*. To just do things on your own, to think critically about a topic or a problem, to read and synthesize ideas. These are such important skills and we’re just giving them up.
Reposted by Joshua Grochow
Why would we want to accept something that removes human agency and critical thought? Like, quite literally, we are building systems that are making us less capable and less interesting human beings.
Is this platform still massively against AI or has it moved more towards acceptance?
November 26, 2025 at 8:27 PM
Why would we want to accept something that removes human agency and critical thought? Like, quite literally, we are building systems that are making us less capable and less interesting human beings.
Reposted by Joshua Grochow
What does counting pigeons have to do with Turing machines? More than you might think. In @quantamagazine.bsky.social, my latest foray into the wild world of meta-complexity, this time through the lens of mathematical logic:
‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hard | Quanta Magazine
Researchers have used metamathematical techniques to show that certain theorems that look superficially distinct are in fact logically equivalent.
www.quantamagazine.org
December 1, 2025 at 3:31 PM
What does counting pigeons have to do with Turing machines? More than you might think. In @quantamagazine.bsky.social, my latest foray into the wild world of meta-complexity, this time through the lens of mathematical logic:
Reposted by Joshua Grochow
🚨CONFERENCE ANNOUNCEMENT🚨
European Network for the Philosophy of Logic: 4th Annual Conference
Dec 3-5, 2025, online and in person (Padova)
philevents.org/event/show/1...
Speakers: Gila Sher, Sophia Arbeiter, Evelina Lissoni, Sabina Dominguez Parrado, Mariela Rubin, Gil Sagi, et al.
European Network for the Philosophy of Logic: 4th Annual Conference
Dec 3-5, 2025, online and in person (Padova)
philevents.org/event/show/1...
Speakers: Gila Sher, Sophia Arbeiter, Evelina Lissoni, Sabina Dominguez Parrado, Mariela Rubin, Gil Sagi, et al.
European Network for the Philosophy of Logic: 4th Annual Conference
Fourth Annual Conference of the European Network for the Philosophy of Logic (EuPhilo)
The conference will be in person, but we will accept online participation too.
Those interested in attending (onl...
philevents.org
December 1, 2025 at 3:34 PM
🚨CONFERENCE ANNOUNCEMENT🚨
European Network for the Philosophy of Logic: 4th Annual Conference
Dec 3-5, 2025, online and in person (Padova)
philevents.org/event/show/1...
Speakers: Gila Sher, Sophia Arbeiter, Evelina Lissoni, Sabina Dominguez Parrado, Mariela Rubin, Gil Sagi, et al.
European Network for the Philosophy of Logic: 4th Annual Conference
Dec 3-5, 2025, online and in person (Padova)
philevents.org/event/show/1...
Speakers: Gila Sher, Sophia Arbeiter, Evelina Lissoni, Sabina Dominguez Parrado, Mariela Rubin, Gil Sagi, et al.
Reposted by Joshua Grochow
COVID isn’t acting like the viruses most of us grew up with, and treating it like “just a cold” is putting people at real risk. David Brasure breaks down why SARS-CoV-2 is fundamentally different, how it causes long-term damage, and what we can do to protect ourselves.
December 1, 2025 at 6:40 PM
COVID isn’t acting like the viruses most of us grew up with, and treating it like “just a cold” is putting people at real risk. David Brasure breaks down why SARS-CoV-2 is fundamentally different, how it causes long-term damage, and what we can do to protect ourselves.
Reposted by Joshua Grochow
If you are one of those special freaks, come to my workshop! christieaschwanden.com/the-book-pro...
December 1, 2025 at 8:54 PM
If you are one of those special freaks, come to my workshop! christieaschwanden.com/the-book-pro...
Reposted by Joshua Grochow
Benjamin Rossman, Davidson Zhu
Multiquadratic Sum-of-Squares Lower Bounds Imply VNC$^1$ $\neq$ VNP
https://arxiv.org/abs/2512.01227
Multiquadratic Sum-of-Squares Lower Bounds Imply VNC$^1$ $\neq$ VNP
https://arxiv.org/abs/2512.01227
December 2, 2025 at 5:50 AM
Benjamin Rossman, Davidson Zhu
Multiquadratic Sum-of-Squares Lower Bounds Imply VNC$^1$ $\neq$ VNP
https://arxiv.org/abs/2512.01227
Multiquadratic Sum-of-Squares Lower Bounds Imply VNC$^1$ $\neq$ VNP
https://arxiv.org/abs/2512.01227
Reposted by Joshua Grochow
'What surprised them was that 16.3% of those babies received a neurodevelopmental diagnosis by three years, compared with 9.7% of the babies who were not exposed to COVID-19 in utero'.
www.propublica.org/article/covi...
www.propublica.org/article/covi...
Amid Confusing CDC Guidance About Vaccines, Study Highlights New Risk of COVID-19 During Pregnancy
A Harvard study found that the children of women who contracted COVID-19 while pregnant may be at an increased risk for autism and other diagnoses, raising new concerns about the CDC’s decision to sto...
www.propublica.org
November 29, 2025 at 8:13 PM
'What surprised them was that 16.3% of those babies received a neurodevelopmental diagnosis by three years, compared with 9.7% of the babies who were not exposed to COVID-19 in utero'.
www.propublica.org/article/covi...
www.propublica.org/article/covi...
Reposted by Joshua Grochow
We can't really say this enough...
> Anastasia Berg [at UCL Irvine] said that new research — and what she's hearing directly from colleagues across various industries — shows that employees who heavily rely on AI are losing core skills at a startling rate.
www.businessinsider.com/ai-tools-are...
> Anastasia Berg [at UCL Irvine] said that new research — and what she's hearing directly from colleagues across various industries — shows that employees who heavily rely on AI are losing core skills at a startling rate.
www.businessinsider.com/ai-tools-are...
AI tools are 'deskilling' workers, philosophy professor says
A philosophy professor warns that AI reliance is weakening workers' judgment, creativity, and problem-solving.
www.businessinsider.com
November 30, 2025 at 6:09 PM
We can't really say this enough...
> Anastasia Berg [at UCL Irvine] said that new research — and what she's hearing directly from colleagues across various industries — shows that employees who heavily rely on AI are losing core skills at a startling rate.
www.businessinsider.com/ai-tools-are...
> Anastasia Berg [at UCL Irvine] said that new research — and what she's hearing directly from colleagues across various industries — shows that employees who heavily rely on AI are losing core skills at a startling rate.
www.businessinsider.com/ai-tools-are...
Reposted by Joshua Grochow
Reposted by Joshua Grochow
Browsing museums, galleries, libraries, bookstores have been some of the best hours of my life, but yes, its not instant gratification and its designed to take time
The death of browsing is part of the reason art is the way it is now. Our opinions are largely fed to us by algorithms. Spending a spare 15 minutes wandering around a bookstore or comic shop or video rental place was how you found stuff you wouldn't ordinarily pick up and thereby expanded your taste
Bookselling is like the most "people go to the store and buy what looks cool to them without a particular agenda" type business left, and your purchases have a huge influence on what is ordered, what is displayed, and what is recommended.
November 29, 2025 at 7:07 PM
Browsing museums, galleries, libraries, bookstores have been some of the best hours of my life, but yes, its not instant gratification and its designed to take time
Reposted by Joshua Grochow
A study by Dayforce shows 87% of executives use AI for work, compared to 57% of managers and just 27% of employees.
I think this explains the massive disconnect we see in how CEOs talk about AI versus everyone else. It also raises the question of how useful it truly is for frontline work?
I think this explains the massive disconnect we see in how CEOs talk about AI versus everyone else. It also raises the question of how useful it truly is for frontline work?
Execs are embracing AI more than their employees are, new research suggests
Research from HR software company Dayforce suggests that executives are leaning into AI far more than their employees.
www.businessinsider.com
November 28, 2025 at 10:58 AM
A study by Dayforce shows 87% of executives use AI for work, compared to 57% of managers and just 27% of employees.
I think this explains the massive disconnect we see in how CEOs talk about AI versus everyone else. It also raises the question of how useful it truly is for frontline work?
I think this explains the massive disconnect we see in how CEOs talk about AI versus everyone else. It also raises the question of how useful it truly is for frontline work?
Reposted by Joshua Grochow
At some point, I need someone knowledgeable to make a guide about the differences between tool bots, Gen AI, photo editors, etc.
November 29, 2025 at 2:52 PM
At some point, I need someone knowledgeable to make a guide about the differences between tool bots, Gen AI, photo editors, etc.
Reposted by Joshua Grochow
Curious if anyone out there has written a draft letter expressing resistance to AI in schools (grade and post-sec) for public use. If not, I might be up for the job in drafting a template letter that points to facts and examples, verified by actual experts in the field. Something needs to be done.
These videos need to be sent to the administration of every school espousing "AI is the future" to remind them of the kind of future they are helping to solidify where violence, racism, and misogyny are enacted under a veil of fantasy.
The purpose of a system of is what it does.
November 29, 2025 at 2:39 PM
Curious if anyone out there has written a draft letter expressing resistance to AI in schools (grade and post-sec) for public use. If not, I might be up for the job in drafting a template letter that points to facts and examples, verified by actual experts in the field. Something needs to be done.
Reposted by Joshua Grochow
My question, #MathSky, and #GraphicDesigners, is, what software do I use for this? Do I need to go bankrupt to use Adobe? Is Fractint still around or is there something that has superseded it over the past 30 years? Where do I get a high-quality print made?
November 29, 2025 at 4:03 AM
My question, #MathSky, and #GraphicDesigners, is, what software do I use for this? Do I need to go bankrupt to use Adobe? Is Fractint still around or is there something that has superseded it over the past 30 years? Where do I get a high-quality print made?
Reposted by Joshua Grochow
And I don't know if the answer is: everyone is too traumatized to do work and we need to reinvent society. Or if it's more like: generations are losing their cognitive abilities and willpower due to destructive technologies. Or: we all have post-viral brain damage. Or: all of the above.
November 28, 2025 at 11:34 PM
And I don't know if the answer is: everyone is too traumatized to do work and we need to reinvent society. Or if it's more like: generations are losing their cognitive abilities and willpower due to destructive technologies. Or: we all have post-viral brain damage. Or: all of the above.
Reposted by Joshua Grochow
Just as some country's (e.g. Finland), are finding that it is cheaper to house the unhoused than not, the world may eventually realise that it is cheaper to prevent #LongCOVID, than not -
www.cidrap.umn.edu/covid-19/lon...
www.cidrap.umn.edu/covid-19/lon...
Long COVID takes $1 trillion global economic toll each year, analysis suggests
www.cidrap.umn.edu
November 28, 2025 at 4:15 PM
Just as some country's (e.g. Finland), are finding that it is cheaper to house the unhoused than not, the world may eventually realise that it is cheaper to prevent #LongCOVID, than not -
www.cidrap.umn.edu/covid-19/lon...
www.cidrap.umn.edu/covid-19/lon...
Reposted by Joshua Grochow
I don’t know if anyone else notices or cares, but when I see a presentation in which the speaker uses obviously generated-AI images to illustrate their slides, it makes me immediately less confident in whatever other content they’re presenting.
November 28, 2025 at 3:07 PM
I don’t know if anyone else notices or cares, but when I see a presentation in which the speaker uses obviously generated-AI images to illustrate their slides, it makes me immediately less confident in whatever other content they’re presenting.
Reposted by Joshua Grochow
Every prompt to chatbot software is “generate me some text.” If it generated you some text, it performed its function correctly. It never lies, it never wants anything, it’s text generating software that generates text.
Not wanting to disappoint you so much that it lies is the last quality I want in a computer.
November 28, 2025 at 3:25 AM
Every prompt to chatbot software is “generate me some text.” If it generated you some text, it performed its function correctly. It never lies, it never wants anything, it’s text generating software that generates text.
"I can simply trust [the table]. I can turn around and turn back, and even with my eyes on something else, I can reach for it and know it will be there, exactly where I left it.
"Screens, of course, lack any such sameness or stability." [email protected]
aworkinglibrary.com/writing/thin...
"Screens, of course, lack any such sameness or stability." [email protected]
aworkinglibrary.com/writing/thin...
Thingness
A politics of refusal must be more than a closed door.
aworkinglibrary.com
November 28, 2025 at 5:15 AM
"I can simply trust [the table]. I can turn around and turn back, and even with my eyes on something else, I can reach for it and know it will be there, exactly where I left it.
"Screens, of course, lack any such sameness or stability." [email protected]
aworkinglibrary.com/writing/thin...
"Screens, of course, lack any such sameness or stability." [email protected]
aworkinglibrary.com/writing/thin...
Reposted by Joshua Grochow
It's that time of year again... time for #DisabledInSTEM 2026 Mentorship applications! I'm so excited to be running this program for the sixth year and seeing the growth over the years!
Mentee form: forms.gle/um5DvYnBi3tn...
Mentor form: forms.gle/BvaxnQm8uhUR...
Applications due December 5th!
Mentee form: forms.gle/um5DvYnBi3tn...
Mentor form: forms.gle/BvaxnQm8uhUR...
Applications due December 5th!
October 20, 2025 at 4:44 PM
It's that time of year again... time for #DisabledInSTEM 2026 Mentorship applications! I'm so excited to be running this program for the sixth year and seeing the growth over the years!
Mentee form: forms.gle/um5DvYnBi3tn...
Mentor form: forms.gle/BvaxnQm8uhUR...
Applications due December 5th!
Mentee form: forms.gle/um5DvYnBi3tn...
Mentor form: forms.gle/BvaxnQm8uhUR...
Applications due December 5th!
Reposted by Joshua Grochow
2. We are developing a policy for AI-related work. We need a formal policy on AI-generated and LLM-assisted content. We have formed a committee of volunteers from our social science and library science networks to gather existing policies and decide what to do.
/5
/5
November 27, 2025 at 2:54 PM
2. We are developing a policy for AI-related work. We need a formal policy on AI-generated and LLM-assisted content. We have formed a committee of volunteers from our social science and library science networks to gather existing policies and decide what to do.
/5
/5
Reposted by Joshua Grochow
Per Austrin, Johan H{\aa}stad, Bj\"orn Martinsson
On the Usefulness of Promises
https://arxiv.org/abs/2511.21450
On the Usefulness of Promises
https://arxiv.org/abs/2511.21450
November 27, 2025 at 5:21 AM
Per Austrin, Johan H{\aa}stad, Bj\"orn Martinsson
On the Usefulness of Promises
https://arxiv.org/abs/2511.21450
On the Usefulness of Promises
https://arxiv.org/abs/2511.21450
Reposted by Joshua Grochow
Your site's users need enough time to interact with content and fill out forms. People with disabilities such as blindness, low vision, dexterity impairments, and cognitive disabilities might need more time for things such as forms. Allow users to turn off or extend time limits.
November 26, 2025 at 2:50 PM
Your site's users need enough time to interact with content and fill out forms. People with disabilities such as blindness, low vision, dexterity impairments, and cognitive disabilities might need more time for things such as forms. Allow users to turn off or extend time limits.