LeakIX - Host tla.rnbguy.at

Open service 34.120.54.55:80 · tla.rnbguy.at

2026-01-26 04:37

HTTP/1.1 307 Temporary Redirect
Cache-Control: private
Location: https://tla.rnbguy.at:443/
Content-Length: 0
Date: Mon, 26 Jan 2026 04:37:47 GMT
Content-Type: text/html; charset=UTF-8
Connection: close

Found 2026-01-26 by HttpPlugin

Create report

Open service 2600:1901:0:6d85:::80 · tla.rnbguy.at

2026-01-26 04:37

HTTP/1.1 307 Temporary Redirect
Cache-Control: private
Location: https://tla.rnbguy.at:443/
Content-Length: 0
Date: Mon, 26 Jan 2026 04:37:47 GMT
Content-Type: text/html; charset=UTF-8
Connection: close

Found 2026-01-26 by HttpPlugin

Create report

Open service 2600:1901:0:6d85:::443 · tla.rnbguy.at

2026-01-26 04:37

HTTP/1.1 200 OK
content-type: text/html; charset=utf-8
x-fresh-uuid: 2d72a5db-a79b-4d65-afcb-dd75cefa274e
vary: Accept-Encoding
connection: close
content-length: 5781
date: Mon, 26 Jan 2026 04:37:18 GMT
via: http/1.1 edgeproxy-h
server: deno/gcp-europe-west2

Page title: TLA+ Playground

<!DOCTYPE html><html><head><title>TLA+ Playground</title><meta charset="utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1.0"/><link rel="stylesheet" href="/styles.css"/><link rel="modulepreload" href="/_frsh/js/b0ea0551e5e3250c3fb53da9a0009908cb490973/main.js"/><link rel="modulepreload" href="/_frsh/js/b0ea0551e5e3250c3fb53da9a0009908cb490973/chunk-2OFZY4Z7.js"/><link rel="modulepreload" href="/_frsh/js/b0ea0551e5e3250c3fb53da9a0009908cb490973/chunk-LDV6YPMG.js"/><link rel="modulepreload" href="/_frsh/js/b0ea0551e5e3250c3fb53da9a0009908cb490973/island-playgroundbody.js"/><link rel="modulepreload" href="/_frsh/js/b0ea0551e5e3250c3fb53da9a0009908cb490973/chunk-OEV3GPOZ.js"/><link rel="stylesheet" data-name="vs/editor/editor.main" href="https://cdn.jsdelivr.net/npm/monaco-editor/min/vs/editor/editor.main.css"/><script src="https://cdn.jsdelivr.net/npm/monaco-editor/min/vs/loader.js" nonce="4bffc2b84429401fac3e6352d13e2e95"></script><script src="https://cdn.jsdelivr.net/npm/monaco-editor/min/vs/editor/editor.main.nls.js" nonce="4bffc2b84429401fac3e6352d13e2e95"></script><script src="https://cdn.jsdelivr.net/npm/monaco-editor/min/vs/editor/editor.main.js" nonce="4bffc2b84429401fac3e6352d13e2e95"></script></head><body><!--frsh-playgroundbody_default:0:--><div class="flex flex-col h-screen"><div class="p-2 flex flex-row items-center gap-3"><select class="rounded py-1 px-4 text-gray-700 ring-1 ring-gray-200 active:ring-2 active:ring-gray-500"><option value disabled selected>Select an invariant</option></select><button class="rounded px-4 py-1 font-bold text-gray-900 bg-gray-50 ring-1 ring-gray-400 hover:bg-gray-900 hover:text-gray-50 active:ring-gray-700 active:ring-2">Verify</button><div class="flex-grow"></div><div class="flex flex-row divide-x-2 space-x-2 whitespace-pre"><div class="flex flex-row"><span>Made with </span><a class="flex flex-row hover:(opacity-70)" href="https://apalache.informal.systems" rel="noopener noreferrer" target="_blank"><span>Apalache </span><svg xmlns="http://www.w3.org/2000/svg" class="icon icon-tabler icon-tabler-mountain" width="24" height="24" viewBox="0 0 24 24" stroke-width="2" stroke="currentColor" fill="none" stroke-linecap="round" stroke-linejoin="round" alt="GitHub logo"><path stroke="none" d="M0 0h24v24H0z" fill="none"></path><path d="M3 20h18l-6.921 -14.612a2.3 2.3 0 0 0 -4.158 0l-6.921 14.612z"></path><path d="M7.5 11l2 2.5l2.5 -2.5l2 3l2.5 -2"></path></svg></a><span> and </span><a class="flex flex-row hover:(opacity-70)" href="https://fresh.deno.dev" rel="noopener noreferrer" target="_blank"><span>Fresh </span><svg xmlns="http://www.w3.org/2000/svg" class="icon icon-tabler icon-tabler-lemon-2" width="24" height="24" viewBox="0 0 24 24" stroke-width="2" stroke="currentColor" fill="none" stroke-linecap="round" stroke-linejoin="round" alt="Fresh logo"><path stroke="none" d="M0 0h24v24H0z" fill="none"></path><path d="M18 4a2 2 0 0 1 1.185 3.611c1.55 2.94 .873 6.917 -1.892 9.682c-2.765 2.765 -6.743 3.442 -9.682 1.892a2 2 0 1 1 -2.796 -2.796c-1.55 -2.94 -.873 -6.917 1.892 -9.682c2.765 -2.765 6.743 -3.442 9.682 -1.892a2 2 0 0 1 1.611 -.815z"></path></svg></a></div><div class="pl-2"><a class="flex flex-row hover:(opacity-70)" href="https://github.com/rnbguy/fresh-playground" rel="noopener noreferrer" target="_blank"><span>View Source </span><svg xmlns="http://www.w3.org/2000/svg" class="icon icon-tabler icon-tabler-brand-github" width="24" height="24" viewBox="0 0 24 24" stroke-width="2" stroke="currentColor" fill="none" stroke-linecap="round" stroke-linejoin="round" alt="GitHub logo"><path stroke="none" d="M0 0h24v24H0z" fill="none"></path><path d="M9 19c-4.3 1.4 -4.3 -2.5 -6 -3m12 5v-3.5c0 -1 .1 -1.4 -.5 -2c2.8 -.3 5.5 -1.4 5.5 -6a4.6 4.6 0 0 0 -1.3 -3.2a4.2 4.2 0 0 0 -.1 -3.2s-1.1 -.3 -3.5 1.3a12.3 12.3 0 0 0 -6.2 0c-2.4 -1.6 -3.5 -1.3 -3.5 -1.3a4.2 4.2 0 0 0 -.1 3.2a4.6 4.6 0 0 0 -1.3 3.2c0 4.6 2.7 5.7 5.5 6c-.6 .6 -.6 1.2 -.5 2v3.5"></path></svg></a></div></div></div><div class="min-h-screen min-w-screen flex flex-col md:flex-row"><div class="flex-1"></div><div cla

Found 2026-01-26 by HttpPlugin

Create report

Open service 34.120.54.55:443 · tla.rnbguy.at

2026-01-26 04:37

HTTP/1.1 200 OK
content-type: text/html; charset=utf-8
x-fresh-uuid: b142cc51-9c43-480e-9310-49df9f08696b
vary: Accept-Encoding
connection: close
content-length: 5781
date: Mon, 26 Jan 2026 04:37:19 GMT
via: http/1.1 edgeproxy-h
server: deno/gcp-europe-west3

Page title: TLA+ Playground

<!DOCTYPE html><html><head><title>TLA+ Playground</title><meta charset="utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1.0"/><link rel="stylesheet" href="/styles.css"/><link rel="modulepreload" href="/_frsh/js/b0ea0551e5e3250c3fb53da9a0009908cb490973/main.js"/><link rel="modulepreload" href="/_frsh/js/b0ea0551e5e3250c3fb53da9a0009908cb490973/chunk-2OFZY4Z7.js"/><link rel="modulepreload" href="/_frsh/js/b0ea0551e5e3250c3fb53da9a0009908cb490973/chunk-LDV6YPMG.js"/><link rel="modulepreload" href="/_frsh/js/b0ea0551e5e3250c3fb53da9a0009908cb490973/island-playgroundbody.js"/><link rel="modulepreload" href="/_frsh/js/b0ea0551e5e3250c3fb53da9a0009908cb490973/chunk-OEV3GPOZ.js"/><link rel="stylesheet" data-name="vs/editor/editor.main" href="https://cdn.jsdelivr.net/npm/monaco-editor/min/vs/editor/editor.main.css"/><script src="https://cdn.jsdelivr.net/npm/monaco-editor/min/vs/loader.js" nonce="75008eb3ee5446b6a760c584d2f43981"></script><script src="https://cdn.jsdelivr.net/npm/monaco-editor/min/vs/editor/editor.main.nls.js" nonce="75008eb3ee5446b6a760c584d2f43981"></script><script src="https://cdn.jsdelivr.net/npm/monaco-editor/min/vs/editor/editor.main.js" nonce="75008eb3ee5446b6a760c584d2f43981"></script></head><body><!--frsh-playgroundbody_default:0:--><div class="flex flex-col h-screen"><div class="p-2 flex flex-row items-center gap-3"><select class="rounded py-1 px-4 text-gray-700 ring-1 ring-gray-200 active:ring-2 active:ring-gray-500"><option value disabled selected>Select an invariant</option></select><button class="rounded px-4 py-1 font-bold text-gray-900 bg-gray-50 ring-1 ring-gray-400 hover:bg-gray-900 hover:text-gray-50 active:ring-gray-700 active:ring-2">Verify</button><div class="flex-grow"></div><div class="flex flex-row divide-x-2 space-x-2 whitespace-pre"><div class="flex flex-row"><span>Made with </span><a class="flex flex-row hover:(opacity-70)" href="https://apalache.informal.systems" rel="noopener noreferrer" target="_blank"><span>Apalache </span><svg xmlns="http://www.w3.org/2000/svg" class="icon icon-tabler icon-tabler-mountain" width="24" height="24" viewBox="0 0 24 24" stroke-width="2" stroke="currentColor" fill="none" stroke-linecap="round" stroke-linejoin="round" alt="GitHub logo"><path stroke="none" d="M0 0h24v24H0z" fill="none"></path><path d="M3 20h18l-6.921 -14.612a2.3 2.3 0 0 0 -4.158 0l-6.921 14.612z"></path><path d="M7.5 11l2 2.5l2.5 -2.5l2 3l2.5 -2"></path></svg></a><span> and </span><a class="flex flex-row hover:(opacity-70)" href="https://fresh.deno.dev" rel="noopener noreferrer" target="_blank"><span>Fresh </span><svg xmlns="http://www.w3.org/2000/svg" class="icon icon-tabler icon-tabler-lemon-2" width="24" height="24" viewBox="0 0 24 24" stroke-width="2" stroke="currentColor" fill="none" stroke-linecap="round" stroke-linejoin="round" alt="Fresh logo"><path stroke="none" d="M0 0h24v24H0z" fill="none"></path><path d="M18 4a2 2 0 0 1 1.185 3.611c1.55 2.94 .873 6.917 -1.892 9.682c-2.765 2.765 -6.743 3.442 -9.682 1.892a2 2 0 1 1 -2.796 -2.796c-1.55 -2.94 -.873 -6.917 1.892 -9.682c2.765 -2.765 6.743 -3.442 9.682 -1.892a2 2 0 0 1 1.611 -.815z"></path></svg></a></div><div class="pl-2"><a class="flex flex-row hover:(opacity-70)" href="https://github.com/rnbguy/fresh-playground" rel="noopener noreferrer" target="_blank"><span>View Source </span><svg xmlns="http://www.w3.org/2000/svg" class="icon icon-tabler icon-tabler-brand-github" width="24" height="24" viewBox="0 0 24 24" stroke-width="2" stroke="currentColor" fill="none" stroke-linecap="round" stroke-linejoin="round" alt="GitHub logo"><path stroke="none" d="M0 0h24v24H0z" fill="none"></path><path d="M9 19c-4.3 1.4 -4.3 -2.5 -6 -3m12 5v-3.5c0 -1 .1 -1.4 -.5 -2c2.8 -.3 5.5 -1.4 5.5 -6a4.6 4.6 0 0 0 -1.3 -3.2a4.2 4.2 0 0 0 -.1 -3.2s-1.1 -.3 -3.5 1.3a12.3 12.3 0 0 0 -6.2 0c-2.4 -1.6 -3.5 -1.3 -3.5 -1.3a4.2 4.2 0 0 0 -.1 3.2a4.6 4.6 0 0 0 -1.3 3.2c0 4.6 2.7 5.7 5.5 6c-.6 .6 -.6 1.2 -.5 2v3.5"></path></svg></a></div></div></div><div class="min-h-screen min-w-screen flex flex-col md:flex-row"><div class="flex-1"></div><div cla

Found 2026-01-26 by HttpPlugin

Domain tla.rnbguy.at

United States

Software information

Create report

Create report

Create report

Create report

tla.rnbguy.at

Domain summary

IP summary