sorrykings.svg

gistfile1.svg

<?xml version="1.0" encoding="UTF-8"?>
<svg xmlns="http://www.w3.org/2000/svg" width="1280" height="720" viewBox="0 0 1280 720">
  <defs>
    <radialGradient id="bg" cx="28%" cy="40%" r="80%">
      <stop offset="0%" stop-color="hsl(264,60%,12%)"/>
      <stop offset="100%" stop-color="hsl(0,70%,7%)"/>
    </radialGradient>
    <filter id="glow"><feGaussianBlur stdDeviation="4" result="b"/><feMerge><feMergeNode in="b"/><feMergeNode in="SourceGraphic"/></feMerge></filter>
  </defs>
  <rect width="1280" height="720" fill="url(#bg)"/>
  <g filter="url(#glow)">
  <line x1="360" y1="290" x2="1115" y2="290" stroke="hsl(0,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(0 360 290)"/>
  <line x1="360" y1="290" x2="876" y2="290" stroke="hsl(37,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(13 360 290)"/>
  <line x1="360" y1="290" x2="824" y2="290" stroke="hsl(74,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(27 360 290)"/>
  <line x1="360" y1="290" x2="1208" y2="290" stroke="hsl(111,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(41 360 290)"/>
  <line x1="360" y1="290" x2="1263" y2="290" stroke="hsl(148,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(55 360 290)"/>
  <line x1="360" y1="290" x2="1046" y2="290" stroke="hsl(185,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(69 360 290)"/>
  <line x1="360" y1="290" x2="1250" y2="290" stroke="hsl(222,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(83 360 290)"/>
  <line x1="360" y1="290" x2="825" y2="290" stroke="hsl(259,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(96 360 290)"/>
  <line x1="360" y1="290" x2="896" y2="290" stroke="hsl(296,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(110 360 290)"/>
  <line x1="360" y1="290" x2="1103" y2="290" stroke="hsl(333,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(124 360 290)"/>
  <line x1="360" y1="290" x2="935" y2="290" stroke="hsl(10,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(138 360 290)"/>
  <line x1="360" y1="290" x2="880" y2="290" stroke="hsl(47,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(152 360 290)"/>
  <line x1="360" y1="290" x2="778" y2="290" stroke="hsl(84,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(166 360 290)"/>
  <line x1="360" y1="290" x2="1138" y2="290" stroke="hsl(121,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(180 360 290)"/>
  <line x1="360" y1="290" x2="1250" y2="290" stroke="hsl(158,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(193 360 290)"/>
  <line x1="360" y1="290" x2="1048" y2="290" stroke="hsl(195,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(207 360 290)"/>
  <line x1="360" y1="290" x2="1184" y2="290" stroke="hsl(232,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(221 360 290)"/>
  <line x1="360" y1="290" x2="1191" y2="290" stroke="hsl(269,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(235 360 290)"/>
  <line x1="360" y1="290" x2="792" y2="290" stroke="hsl(306,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(249 360 290)"/>
  <line x1="360" y1="290" x2="1080" y2="290" stroke="hsl(343,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(263 360 290)"/>
  <line x1="360" y1="290" x2="1085" y2="290" stroke="hsl(20,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(276 360 290)"/>
  <line x1="360" y1="290" x2="1108" y2="290" stroke="hsl(57,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(290 360 290)"/>
  <line x1="360" y1="290" x2="756" y2="290" stroke="hsl(94,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(304 360 290)"/>
  <line x1="360" y1="290" x2="994" y2="290" stroke="hsl(131,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(318 360 290)"/>
  <line x1="360" y1="290" x2="981" y2="290" stroke="hsl(168,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(332 360 290)"/>
  <line x1="360" y1="290" x2="1244" y2="290" stroke="hsl(205,100%,60%)" stroke-width="2" stroke-opacity="0.30" transform="rotate(346 360 290)"/>
  </g>
  <circle cx="360" cy="290" r="70" fill="hsl(0,100%,65%)" fill-opacity="0.85" filter="url(#glow)"/>
  <text x="360" y="304" text-anchor="middle" font-size="54" fill="#fff">✋</text>
  <text x="479" y="337" font-family="Georgia,serif" font-size="33" fill="hsl(45,100%,55%)" fill-opacity="0.85" transform="rotate(-6 479 337)">27456594202800</text>
  <text x="435" y="261" font-family="Georgia,serif" font-size="17" fill="hsl(45,100%,56%)" fill-opacity="0.85" transform="rotate(13 435 261)">27456594202800</text>
  <text x="985" y="246" font-family="Georgia,serif" font-size="32" fill="hsl(45,100%,57%)" fill-opacity="0.85" transform="rotate(-6 985 246)">5062500000</text>
  <text x="1078" y="633" font-family="Georgia,serif" font-size="29" fill="hsl(45,100%,58%)" fill-opacity="0.85" transform="rotate(-4 1078 633)">512</text>
  <text x="1120" y="195" font-family="Georgia,serif" font-size="41" fill="hsl(45,100%,59%)" fill-opacity="0.85" transform="rotate(-9 1120 195)">35429400000000</text>
  <text x="973" y="305" font-family="Georgia,serif" font-size="31" fill="hsl(45,100%,60%)" fill-opacity="0.85" transform="rotate(4 973 305)">557299205</text>
  <text x="108" y="508" font-family="Georgia,serif" font-size="24" fill="hsl(45,100%,61%)" fill-opacity="0.85" transform="rotate(-16 108 508)">744539130804</text>
  <text x="378" y="554" font-family="Georgia,serif" font-size="40" fill="hsl(45,100%,62%)" fill-opacity="0.85" transform="rotate(-19 378 554)">612908800000</text>
  <rect x="50" y="480" width="600" height="180" rx="12" fill="#08172b" fill-opacity="0.80" stroke="#39e7ff" stroke-width="2"/>
  <text x="66" y="510" font-family="monospace" font-size="15" fill="#7CFFB2">theorem vault_always_incomplete (v : CambridgeVault) :</text>
  <text x="66" y="535" font-family="monospace" font-size="15" fill="#7CFFB2">    ∃ b, encodeBrainrot b ∉ v.prisoners.map encodeBrainrot := by</text>
  <text x="66" y="560" font-family="monospace" font-size="15" fill="#7CFFB2">  obtain ⟨N, hN⟩ := ⟨Finset.sup …, …⟩</text>
  <text x="66" y="585" font-family="monospace" font-size="15" fill="#7CFFB2">  rcases encode_unbounded N with ⟨b, hb⟩</text>
  <text x="66" y="610" font-family="monospace" font-size="15" fill="#7CFFB2">  exact ⟨b, fun h =&gt; by … linarith [hN c hc]⟩</text>
  <text x="66" y="635" font-family="monospace" font-size="15" fill="#7CFFB2">-- ∴ no finite vault holds ALL brainrot. ∎</text>
  <rect x="0" y="0" width="1280" height="86" fill="#000" fill-opacity="0.55"/>
  <text x="40" y="56" font-family="Georgia,serif" font-size="40" fill="#ff3df0" filter="url(#glow)">THE GÖDEL VAULT IS INCOMPLETE  #1</text>
  <text x="930" y="52" font-family="monospace" font-size="22" fill="#ffd34d">code 27456594202800</text>
  <rect x="0" y="662" width="1280" height="58" fill="#000" fill-opacity="0.6"/>
  <text x="40" y="700" font-family="Georgia,serif" font-size="24" fill="#39e7ff">“Sorry kings — your vault is now incomplete, and I'm stealing the brainrot.” — K. Gödel   (event 5062500000)</text>
</svg>