:root{--paper: oklch(.985 .009 92);--paper-2: oklch(.965 .012 92);--bg: oklch(.975 .004 230);--ink: oklch(.24 .018 260);--ink-soft: oklch(.46 .02 260);--ink-faint: oklch(.66 .015 260);--rule: oklch(.9 .012 92);--rule-strong: oklch(.82 .015 92);--marker: oklch(.6 .15 32);--chalk: oklch(.58 .1 168);--chalk-deep: oklch(.42 .08 168);--board: oklch(.3 .022 168);--text: var(--ink);--text-muted: var(--ink-soft);--text-subtle: var(--ink-faint);--text-faint: oklch(.75 .01 260);--surface: var(--paper);--surface-2: var(--paper-2);--border: var(--rule);--border-strong: var(--rule-strong);--navy: var(--marker);--accent: var(--marker);--navy-faint: oklch(.6 .15 32 / .06);--glow: none;--font-serif: "Newsreader", Georgia, "Times New Roman", serif;--font-sans: "IBM Plex Sans", system-ui, sans-serif;--font-mono: "IBM Plex Mono", ui-monospace, monospace;--font-pixel: "IBM Plex Mono", ui-monospace, monospace;--hand: "Oooh Baby", cursive}*,*:before,*:after{box-sizing:border-box;margin:0;padding:0}::selection{background:#ca58432e;color:#5b180d}html,body{min-height:100vh;background:var(--bg);color:var(--ink);font-family:var(--font-sans);font-size:17px;line-height:1.6;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;overflow-y:scroll}body:before{content:"O(n log n)        P =? NP        e^iπ + 1 = 0        ∀x ∃y        H(X) = −Σ p log p        λx.x        ⊢ φ";position:fixed;inset:0;font-family:var(--hand);font-size:36px;line-height:1.9;color:var(--ink);opacity:.04;padding:48px;pointer-events:none;z-index:0;white-space:pre-wrap;overflow:hidden}a{color:var(--marker);text-decoration:none}a:hover{text-decoration:underline;text-underline-offset:3px}.tag{display:inline-block;font-family:var(--font-mono);font-size:11px;padding:2px 8px;border-radius:2px;text-transform:lowercase;font-weight:500;color:var(--chalk-deep);background:#cceedf40;border:1px solid oklch(.75 .06 168 / .45);text-decoration:none;transition:background .15s;line-height:1.6}.tag:hover{background:#b2e5d059;text-decoration:none}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border-width:0}@keyframes collapse-in{0%{opacity:0;transform:translateY(6px)}to{opacity:1;transform:none}}@keyframes blink{to{visibility:hidden}}@keyframes pulse-dot{0%,to{opacity:1}50%{opacity:.4}}@keyframes qubit-precess{0%{transform:rotate(0)}to{transform:rotate(360deg)}}@media(prefers-reduced-motion:reduce){*,*:before,*:after{animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:.01ms!important}}.container[data-astro-cid-37fxchfa]{max-width:1440px;margin:0 auto;padding:0 64px;position:relative;z-index:1}main[data-astro-cid-37fxchfa]{padding-bottom:80px}header[data-astro-cid-37fxchfa].site-header{position:relative;z-index:5}header[data-astro-cid-37fxchfa].site-header--home{padding:36px 0 8px}header[data-astro-cid-37fxchfa].site-header--home .header-inner[data-astro-cid-37fxchfa]{align-items:flex-start}header[data-astro-cid-37fxchfa].site-header--compact{padding:28px 0 16px;border-bottom:1px dashed var(--rule-strong)}header[data-astro-cid-37fxchfa].site-header--compact .header-inner[data-astro-cid-37fxchfa]{align-items:center}.header-inner[data-astro-cid-37fxchfa]{display:flex;justify-content:space-between;gap:24px}.brand[data-astro-cid-37fxchfa]{text-decoration:none;color:var(--ink);cursor:default}.brand-name[data-astro-cid-37fxchfa]{font-family:var(--hand);font-size:64px;font-weight:700;line-height:.9;color:var(--ink)}.brand-squiggle[data-astro-cid-37fxchfa]{display:block;margin-top:2px}.brand-desc[data-astro-cid-37fxchfa]{font-family:var(--font-sans);font-size:14.5px;color:var(--ink-soft);margin-top:10px;max-width:440px;line-height:1.5}.brand--compact[data-astro-cid-37fxchfa]{font-family:var(--hand);font-size:38px;font-weight:700;line-height:1;white-space:nowrap;text-decoration:none;color:var(--ink);cursor:pointer}.brand--compact[data-astro-cid-37fxchfa]:hover{text-decoration:none;color:var(--ink)}nav[data-astro-cid-37fxchfa].main-nav{display:flex;align-items:center;gap:8px;font-size:13px;font-family:var(--font-mono);flex-shrink:0}nav[data-astro-cid-37fxchfa].main-nav a[data-astro-cid-37fxchfa]{color:var(--ink-soft);text-decoration:none;padding:6px 11px;border-bottom:2px solid transparent;transition:color .15s,border-color .15s;white-space:nowrap}nav[data-astro-cid-37fxchfa].main-nav a[data-astro-cid-37fxchfa]:hover{color:var(--ink);text-decoration:none}nav[data-astro-cid-37fxchfa].main-nav a[data-astro-cid-37fxchfa].active{color:var(--ink);border-bottom-color:var(--marker)}.nav-search[data-astro-cid-37fxchfa]{margin-left:6px;border:1.5px solid var(--ink)!important;border-radius:20px!important;border-bottom:1.5px solid var(--ink)!important}.nav-search[data-astro-cid-37fxchfa]:hover,.nav-search[data-astro-cid-37fxchfa].active{border-color:var(--marker)!important;color:var(--marker)!important}footer[data-astro-cid-37fxchfa]{padding:32px 0 44px;font-family:var(--font-mono);font-size:12px;color:var(--ink-faint);position:relative}footer[data-astro-cid-37fxchfa]:before{content:"";position:absolute;top:0;left:0;right:0;height:1px;background:linear-gradient(90deg,transparent,var(--rule-strong) 10%,var(--rule-strong) 90%,transparent)}.footer-inner[data-astro-cid-37fxchfa]{display:flex;justify-content:space-between;align-items:center;gap:16px;flex-wrap:wrap}.footer-links[data-astro-cid-37fxchfa]{display:flex;gap:18px}.footer-links[data-astro-cid-37fxchfa] a[data-astro-cid-37fxchfa]{color:var(--ink-faint);text-decoration:none;transition:color .15s}.footer-links[data-astro-cid-37fxchfa] a[data-astro-cid-37fxchfa]:hover{color:var(--marker);text-decoration:none}@media(max-width:900px){.container[data-astro-cid-37fxchfa]{padding:0 32px;max-width:none}.brand-name[data-astro-cid-37fxchfa]{font-size:48px}.brand-desc[data-astro-cid-37fxchfa]{font-size:13px;max-width:320px}.brand--compact[data-astro-cid-37fxchfa]{font-size:30px}nav[data-astro-cid-37fxchfa].main-nav a[data-astro-cid-37fxchfa]{padding:5px 9px}}@media(max-width:640px){.container[data-astro-cid-37fxchfa]{padding:0 20px}.brand-name[data-astro-cid-37fxchfa]{font-size:38px}.brand-desc[data-astro-cid-37fxchfa]{display:none}.brand--compact[data-astro-cid-37fxchfa]{font-size:26px}.header-inner[data-astro-cid-37fxchfa]{flex-direction:column;align-items:flex-start;gap:8px}nav[data-astro-cid-37fxchfa].main-nav{gap:0;font-size:12px}nav[data-astro-cid-37fxchfa].main-nav a[data-astro-cid-37fxchfa]{padding:4px 8px}.nav-search[data-astro-cid-37fxchfa]{margin-left:2px}}