Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] AFP down


view this post on Zulip Email Gateway (Feb 01 2026 at 23:54):

From: 伊藤洋介 <glacier345@gmail.com>

Hello,

The AFP server seems to be down.
https://www.isa-afp.org/
Is anyone able to fix it?

--
伊藤 洋介
Yosuke ITO
+81 80-5057-6931
glacier345@gmail.com

view this post on Zulip Email Gateway (Feb 02 2026 at 07:23):

From: Tobias Nipkow <nipkow@in.tum.de>

Dear Yosuke ITO,

I don't think it is down, but it is indeed unreachable for me as well. Most
likely another example of the AI bot attacks that make our life miserable.

If you want to maintain some of your entries, you can still do that via hg, that
is not affected.

Tobias

On 02/02/2026 00:54, 伊藤洋介 wrote:

Hello,

The AFP server seems to be down.
https://www.isa-afp.org/ <https://www.isa-afp.org/>
Is anyone able to fix it?

--
伊藤 洋介
Yosuke ITO
+81 80-5057-6931
glacier345@gmail.com <mailto:glacier345@gmail.com>

smime.p7s

view this post on Zulip Email Gateway (Feb 02 2026 at 09:37):

From: 伊藤洋介 <glacier345@gmail.com>

Dear Tobias Nipkow,

Thank you for the reply.
That is an unfortunate situation.

I appreciate your explanation of the workaround.

Best regards,

--
伊藤 洋介
Yosuke ITO
+81 80-5057-6931
glacier345@gmail.com

2026年2月2日(月) 16:23 Tobias Nipkow <nipkow@in.tum.de>:

Dear Yosuke ITO,

I don't think it is down, but it is indeed unreachable for me as well.
Most
likely another example of the AI bot attacks that make our life miserable.

If you want to maintain some of your entries, you can still do that via
hg, that
is not affected.

Tobias

On 02/02/2026 00:54, 伊藤洋介 wrote:

Hello,

The AFP server seems to be down.
https://www.isa-afp.org/ <https://www.isa-afp.org/>
Is anyone able to fix it?

--
伊藤 洋介
Yosuke ITO
+81 80-5057-6931
glacier345@gmail.com <mailto:glacier345@gmail.com>

view this post on Zulip Email Gateway (Feb 02 2026 at 10:20):

From: Fabian Huch <huch@in.tum.de>

Content of the AFP website (well, excluding the submission system) is
fully static and as a result serving requests is very efficient --
hence, we should not have a problem with AI scrapers here.

In this case the server was unresponsive but the logs do not indicate
any concrete problem. If the problem re-appears I will probably migrate
the AFP to Caddy [1], which is much simpler to configure and has proven
to be very stable so far.

Fabian

[1]: https://caddyserver.com/

On 2/2/26 10:37, 伊藤洋介 wrote:

Dear Tobias Nipkow,

Thank you for the reply.
That is an unfortunate situation.

I appreciate your explanation of the workaround.

Best regards,

--
伊藤 洋介
Yosuke ITO
+81 80-5057-6931
glacier345@gmail.com

2026年2月2日(月) 16:23 Tobias Nipkow <nipkow@in.tum.de>:

Dear Yosuke ITO,

I don't think it is down, but it is indeed unreachable for me as
well. Most
likely another example of the AI bot attacks that make our life
miserable.

If you want to maintain some of your entries, you can still do
that via hg, that
is not affected.

Tobias

On 02/02/2026 00:54, 伊藤洋介 wrote:
> Hello,
>
> The AFP server seems to be down.
> https://www.isa-afp.org/ <https://www.isa-afp.org/>
> Is anyone able to fix it?
>
> --
> 伊藤 洋介
> Yosuke ITO
> +81 80-5057-6931
> glacier345@gmail.com <mailto:glacier345@gmail.com>
>
>

view this post on Zulip Email Gateway (Feb 02 2026 at 10:27):

From: Tobias Nipkow <nipkow@in.tum.de>

The website was reachanble again later in the morning (TUM time) and seems fine
since then. But it would be good to report further problems when they arise.

Tobias

On 02/02/2026 11:20, Fabian Huch wrote:

Content of the AFP website (well, excluding the submission system) is fully
static and as a result serving requests is very efficient -- hence, we should
not have a problem with AI scrapers here.

In this case the server was unresponsive but the logs do not indicate any
concrete problem. If the problem re-appears I will probably migrate the AFP to
Caddy [1], which is much simpler to configure and has proven to be very stable
so far.

Fabian

[1]: https://caddyserver.com/

On 2/2/26 10:37, 伊藤洋介 wrote:

Dear Tobias Nipkow,

Thank you for the reply.
That is an unfortunate situation.

I appreciate your explanation of the workaround.

Best regards,

--
伊藤 洋介
Yosuke ITO
+81 80-5057-6931
glacier345@gmail.com

2026年2月2日(月) 16:23 Tobias Nipkow <nipkow@in.tum.de>:

Dear Yosuke ITO,

I don't think it is down, but it is indeed unreachable for me as well. Most
likely another example of the AI bot attacks that make our life miserable.

If you want to maintain some of your entries, you can still do that via
hg, that
is not affected.

Tobias

On 02/02/2026 00:54, 伊藤洋介 wrote:
> Hello,
>
> The AFP server seems to be down.
> https://www.isa-afp.org/ <https://www.isa-afp.org/>
> Is anyone able to fix it?
>
> --
> 伊藤 洋介
> Yosuke ITO
> +81 80-5057-6931
> glacier345@gmail.com <mailto:glacier345@gmail.com>
>
>

smime.p7s


Last updated: Feb 22 2026 at 05:16 UTC