isabelle-dev.sketis.net and isabelle.sketis.net down for maintenance

[Makarius]

Here is another guy under fierce attack the "global AI gang":

https://drewdevault.com/2025/03/17/2025-03-17-Stop-externalizing-your-costs-on-me.html

"""
Please stop legitimizing LLMs or AI image generators or GitHub Copilot or any 
of this garbage. I am begging you to stop using them, stop talking about them, 
stop making new ones, just stop. If blasting CO2 into the air and ruining all 
of our freshwater and traumatizing cheap laborers and making every sysadmin 
you know miserable and ripping off code and books and art at scale and ruining 
our fucking democracy isn’t enough for you to leave this shit alone, what is?

If you personally work on developing LLMs et al, know this: I will never work 
with you again, and I will remember which side you picked when the bubble bursts.
"""

This guy is running https://sourcehut.org



Speaking of "the bubble bursts": Some days ago, I've had a discussion with a 
non-tech person about the "AI hype". When she said "that AI is here to stay 
for decades" I spontaneously answered "it is so hot already, that it might 
have burnt down within 2 years".

Anyway, the isabelle-dev website looks good for the moment ...


	Makarius