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

[Makarius]

On 26/03/2025 19:55, Makarius wrote:
> My Websites with Isabelle development resources are presently down for 
> maintenance. I need to figure out how to get rid of dumb "AI" bots --- This is 
> becoming a pest.
> 
> The Caddy webserver has some add-ons specifically for that. Lets see if/how 
> this works ...

The websites are back for now. The bombardment is down to approx. 20% CPU load.


I've had initial success with 
https://github.com/JasonLovesDoggo/caddy-defender/tree/ranges-file and its 
bundled address ranges 
https://github.com/JasonLovesDoggo/caddy-defender/blob/ranges-file/ranges/data/generated.go
--- after some tinkering with the /etc/caddy/Caddyfile.

It needs more research into fine points. E.g. I've had problems including 
"aliyun" address space for Alibaba Cloud.


Conclusions so far:

   * The Caddy webserver is very easy to extend and rebuild into a single 
executable, using the "xcaddy" tool. The magic command line is:

     xcaddy build --with github.com/jasonlovesdoggo/caddy-defender --with 
github.com/mholt/caddy-ratelimit

   * This is my second encounter to the Go ecosystem, and it looks fairly nice 
so far.

   * There is a major war out there: dumb machines against smart humans.


	Makarius