idris.lang.org

Service Outage

Global Availability Hash: 0x7659d521 Network Integrity: 0%

Network Layer IP

208.91.197.128

Global Avg Latency

2227ms

Edge Node 01

Code: SSL_ERR

London, UK

89ms

DNS LOOKUP

878ms

CONNECT

DOWN

SSL/TLS HANDSHAKE FAILED

Edge Node 02

Code: SSL_ERR

New York, USA

77ms

DNS LOOKUP

804ms

CONNECT

DOWN

SSL/TLS HANDSHAKE FAILED

Edge Node 03

Code: TIMEOUT

Tokyo, Japan

79ms

DNS LOOKUP

5001ms

CONNECT

DOWN

TIMEOUT (5S)

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.05.18 17:02:29 UTC

Engine

V3.1.2_NODE

Method

TCP/HANDSHAKE

Confidence

99.9% HIGH