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

[Makarius]

On 26/03/2025 21:56, Makarius wrote:
> 
>    * There is a major war out there: dumb machines against smart humans.

That *is* a war, but more war does not present a solution. Here is an article 
including "nuclear responses": 
https://thelibre.news/foss-infrastructure-is-under-attack-by-ai-companies

Right now the very simple measures of caddy-defender are sufficient to keep 
the "AI-noise" the webserver < 10-20% CPU time.


	Makarius