idris.lang.org

Service Outage

Global Availability Hash: 0x03628f24 Network Integrity: 0%

Network Layer IP

208.91.197.128

Global Avg Latency

2403ms

Edge Node 01

Code: SSL_ERR

London, UK

44ms

DNS LOOKUP

2071ms

CONNECT

DOWN

SSL/TLS HANDSHAKE FAILED

Edge Node 02

Code: TIMEOUT

New York, USA

1ms

DNS LOOKUP

5002ms

CONNECT

DOWN

TIMEOUT (5S)

Edge Node 03

Code: SSL_ERR

Tokyo, Japan

1ms

DNS LOOKUP

137ms

CONNECT

DOWN

SSL/TLS HANDSHAKE FAILED

Verification Protocol Sec-01

Independent Verification Result for idris.lang.org

This check was executed by our distributed monitoring mesh. By routing requests through independent edge nodes, we eliminate local ISP congestion and regional DNS issues to provide a definitive status for idris.lang.org.

Timestamp

2026.06.02 03:42:36 UTC

Engine

V3.1.2_NODE

Method

TCP/HANDSHAKE

Confidence

99.9% HIGH