@font-face{font-family:"Source Serif 4";font-style:italic;font-weight:200 900;font-display:swap;src:url(../media/973ac404b637cb79-s.1ob82_8939ahk.woff2)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:"Source Serif 4";font-style:italic;font-weight:200 900;font-display:swap;src:url(../media/68f348ea2249224e-s.128rw_frk7cg-.woff2)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:"Source Serif 4";font-style:italic;font-weight:200 900;font-display:swap;src:url(../media/925fd56dd8364afb-s.232hpqc6onjei.woff2)format("woff2");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:"Source Serif 4";font-style:italic;font-weight:200 900;font-display:swap;src:url(../media/f00f0ff0e451946e-s.10-kow8kg30xf.woff2)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:"Source Serif 4";font-style:italic;font-weight:200 900;font-display:swap;src:url(../media/2812f2ec51590f1c-s.1zz7v2lps04n2.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:"Source Serif 4";font-style:italic;font-weight:200 900;font-display:swap;src:url(../media/1aa37eb83ecec087-s.p.42nfwtuxx8u2o.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:"Source Serif 4";font-style:normal;font-weight:200 900;font-display:swap;src:url(../media/b3c0268447855df7-s.3hcunrvt_bt_o.woff2)format("woff2");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:"Source Serif 4";font-style:normal;font-weight:200 900;font-display:swap;src:url(../media/2d1986a36af8c218-s.452ifmvv-9yum.woff2)format("woff2");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:"Source Serif 4";font-style:normal;font-weight:200 900;font-display:swap;src:url(../media/c3a86bee907ee67a-s.1kbk5odn53sdi.woff2)format("woff2");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:"Source Serif 4";font-style:normal;font-weight:200 900;font-display:swap;src:url(../media/c1e2c900592e2ded-s.3_mv2jnzqn6zb.woff2)format("woff2");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:"Source Serif 4";font-style:normal;font-weight:200 900;font-display:swap;src:url(../media/d1d35656cc93c81c-s.0yy0rfmygkgha.woff2)format("woff2");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:"Source Serif 4";font-style:normal;font-weight:200 900;font-display:swap;src:url(../media/a05d5656aab38bb2-s.p.0i67n8kf07qoy.woff2)format("woff2");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:"Source Serif 4 Fallback";src:local(Times New Roman);ascent-override:87.87%;descent-override:28.41%;line-gap-override:0.0%;size-adjust:117.91%}.Ha5ilG_className{font-family:"Source Serif 4","Source Serif 4 Fallback"}.Ha5ilG_variable{--font-serif:"Source Serif 4", "Source Serif 4 Fallback"}
:root{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--bg:#fefefe;--fg:#161616;--muted:#73736f;--rule:#e8e8e6;--underline:#c8c8c4;--tint:#f6f6f4;--serif:var(--font-serif), Georgia, serif;--mono:ui-monospace, "SF Mono", Menlo, Consolas, monospace}*{box-sizing:border-box;margin:0;padding:0}html{-webkit-text-size-adjust:100%}body{background:var(--bg);color:var(--fg);font-family:var(--serif);font-optical-sizing:auto;-webkit-font-smoothing:antialiased;text-rendering:optimizelegibility;font-size:1rem;font-weight:400;line-height:1.65}::selection{background:var(--fg);color:var(--bg)}a{color:inherit}:focus-visible{outline:1px solid var(--fg);outline-offset:3px;border-radius:1px}@media (min-width:40rem){p,dd,li,blockquote{text-wrap:pretty}}h1,h2,h3{text-wrap:balance}.sc{font-variant-numeric:oldstyle-nums tabular-nums;letter-spacing:.06em;font-variant-caps:all-small-caps}.muted{color:var(--muted)}.shell{max-width:40rem;margin:0 auto;padding:0 1.5rem 6rem}.shell-post{max-width:45rem}.header{justify-content:space-between;align-items:baseline;padding:3.5rem 0 4.5rem;display:flex}.wordmark{letter-spacing:.01em;font-size:1rem;font-weight:500;text-decoration:none}.section+.section{margin-top:4rem}.page-title{letter-spacing:-.005em;padding:6.25rem 0 2.5rem;font-size:1.5625rem;font-weight:400;line-height:1.2}.about{font-size:.9375rem;line-height:1.6}.compact{margin-top:3.5rem;font-size:.9375rem;line-height:1.55}.compact .section+.section{margin-top:2.75rem}.compact .label{margin-bottom:.75rem;padding-bottom:.5rem}.compact .timeline>div{grid-template-columns:6.5rem 1fr;padding:.25rem 0}.compact .timeline dd+dd{margin-top:.15rem}.compact .entry-note,.compact .link-note{font-size:.8125rem}.compact .posts a{grid-template-columns:6.5rem 1fr auto;padding:.45rem 0}@media (max-width:34rem){.compact .timeline>div,.compact .posts a{grid-template-columns:1fr}}.label{font-size:inherit;letter-spacing:.1em;color:var(--muted);border-bottom:1px solid var(--rule);margin-bottom:1.25rem;padding-bottom:.75rem;font-weight:400}.links{gap:1.5rem;margin-top:2rem;display:flex}.links a{color:var(--muted);text-decoration:none}.links a:hover{color:var(--fg)}.link-note{color:var(--muted);font-size:.9375rem}.timeline>div{grid-template-columns:7.5rem 1fr;align-items:baseline;column-gap:1.5rem;padding:.375rem 0;display:grid}.timeline dt{color:var(--muted)}.timeline dd{grid-column:2}.timeline dd+dd{margin-top:.25rem}.entry-title,.entry-note{display:block}.entry-note{color:var(--muted);margin-top:.1rem;font-size:.9375rem;line-height:1.5}.posts{list-style:none}.posts a{border-bottom:1px solid var(--rule);grid-template-columns:7.5rem 1fr auto;align-items:baseline;column-gap:1.5rem;padding:.625rem 0;text-decoration:none;display:grid}.posts time{color:var(--muted)}.posts a:hover .post-title{text-underline-offset:.2em;text-decoration:underline;text-decoration-thickness:1px}@media (max-width:34rem){.timeline>div,.posts a{grid-template-columns:1fr}.timeline dd{grid-column:1}.posts a>:last-child{display:none}}.post-header{border-bottom:1px solid var(--rule);margin-bottom:3rem;padding-bottom:2rem}.post-header h1{letter-spacing:-.015em;font-size:clamp(1.625rem,4.5vw,2rem);font-weight:600;line-height:1.15}.post-header p{margin-top:1rem}.post-meta{gap:1.25rem;margin-top:1.25rem;display:flex}.prose>*+*{margin-top:1.1em}.prose a,.timeline a{text-underline-offset:.2em;text-decoration-thickness:1px;-webkit-text-decoration-color:var(--underline);text-decoration-color:var(--underline);transition:text-decoration-color .12s}.prose a:hover,.timeline a:hover{-webkit-text-decoration-color:var(--fg);text-decoration-color:var(--fg)}.prose strong{font-weight:600}.prose h2,.prose h3,.prose h4{scroll-margin-top:2rem;font-weight:600;line-height:1.25}.prose h2{margin-top:2.75rem;font-size:1.25rem}.prose h3{margin-top:2rem;font-size:1.075rem}.prose h4{margin-top:1.5rem;font-size:.95rem;font-style:italic}.prose h2+*,.prose h3+*,.prose h4+*{margin-top:.6em}.prose .label{font-size:inherit;font-weight:400;line-height:inherit;margin-top:0}.prose .label+*{margin-top:0}.prose ul,.prose ol{padding-left:1.4em}.prose li+li,.prose li>ul,.prose li>ol{margin-top:.25em}.prose li::marker{color:var(--muted)}.prose li:has(>input[type=checkbox]){margin-left:-1.4em;list-style:none}.prose input[type=checkbox]{accent-color:var(--fg);margin-right:.5em}.prose blockquote{border-left:1px solid var(--fg);padding-left:1.25em;font-style:italic}.prose blockquote>*+*{margin-top:.75em}.prose>.quote{margin-top:3rem}.quote blockquote{color:#55554f;border:0;padding:0;font-size:.875rem;line-height:1.6}.quote figcaption{color:var(--muted);margin-top:.5em;font-size:.75rem}.prose hr{border:0;border-top:1px solid var(--rule);margin:2.5rem 0}.prose :not(pre)>code{font-family:var(--mono);background:var(--tint);border-radius:3px;padding:.1em .3em;font-size:.8em}.prose table{border-collapse:collapse;width:100%;font-size:.875rem;display:block;overflow-x:auto}.prose th,.prose td{border-bottom:1px solid var(--rule);padding:.4em .75em .4em 0}.prose th{letter-spacing:.06em;color:var(--muted);font-variant-caps:all-small-caps;font-weight:400}.prose .katex{font-size:1.15em}.prose .katex-display{padding:.25em 0;overflow:auto hidden}.prose .katex-display[id]{scroll-margin-top:2rem}.prose .katex-display:target{background:var(--tint)}.prose a.eq-ref{-webkit-text-decoration-color:var(--rule);text-decoration-color:var(--rule)}.prose .katex-display>.katex>.katex-html{align-items:baseline;display:flex}.prose .katex-display>.katex>.katex-html>.base{flex:none}.prose .katex-display>.katex>.katex-html:before,.prose .katex-display>.katex>.katex-html:after{content:"";flex:1 1 0}.prose .katex-display>.katex>.katex-html:has(>.tag):after{display:none}.prose .katex-display>.katex>.katex-html>.tag{text-align:right;flex:1 1 0;order:1;min-width:max-content;padding-left:1.25em;position:static}@media (max-width:40rem){.prose .katex-display .katex{font-size:1.05em}}.prose .footnotes{border-top:1px solid var(--rule);margin-top:3rem;padding-top:1rem;font-size:.875rem}.prose .footnotes h2{font-size:inherit;letter-spacing:.1em;color:var(--muted);margin-top:0;font-variant-caps:all-small-caps;font-weight:400}.prose .sr-only{clip:rect(0 0 0 0);width:1px;height:1px;position:absolute;overflow:hidden}.prose .post-note{color:var(--muted);font-size:.8125rem;font-style:italic}.prose .fig{margin:2.25rem 0}.fig svg{width:100%;max-width:35rem;height:auto;color:var(--fg);margin:0 auto;display:block;overflow:visible}.fig .line{fill:none;stroke:currentColor;stroke-width:1.1px}.fig .thin{fill:none;stroke:currentColor;stroke-width:.6px;opacity:.55}.fig .hidden{fill:none;stroke:currentColor;stroke-width:.7px;stroke-dasharray:3 3;opacity:.5}.fig .axis{fill:none;stroke:currentColor;stroke-width:.7px;opacity:.6}.fig .curve{fill:none;stroke:currentColor;stroke-width:1.5px}.fig .strong{fill:none;stroke:currentColor;stroke-width:3px;stroke-linecap:round}.fig .vec{fill:none;stroke:currentColor;stroke-width:1.3px}.fig .vec.soft{opacity:.45}.fig .fill{fill:#f2f2ef;stroke:none}.fig .plane{fill:#1616160f;stroke:currentColor;stroke-width:.8px}.fig .dot,.fig text{fill:currentColor}.fig .m{font-family:KaTeX_Math,Times New Roman,serif;font-size:17px;font-style:italic}.fig .w{font-family:var(--serif);fill:var(--muted);font-size:13px;font-style:italic}.fig .sup,.fig .sub{font-family:KaTeX_Main,Times New Roman,serif;font-size:12px;font-style:normal}.fig figcaption{max-width:35rem;color:var(--muted);margin:.9rem auto 0;font-size:.8125rem;line-height:1.55}.fig figcaption .sc{color:var(--fg)}.note{border:1px solid var(--rule);background:var(--tint);padding:1rem 1.25rem}.code{position:relative}.code pre{font-family:var(--mono);background:var(--tint);border:1px solid var(--rule);padding:1rem 1.25rem;font-size:.8rem;line-height:1.6;overflow-x:auto}.code pre code.hljs{background:0 0;padding:0}.code button{font:400 .6875rem var(--serif);color:var(--muted);background:var(--bg);border:1px solid var(--rule);cursor:pointer;opacity:0;padding:.15rem .5rem;transition:opacity .12s;position:absolute;top:.5rem;right:.5rem}.code:hover button,.code button:focus-visible{opacity:1}.prelaunch{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}.prelaunch body{color:#c9c8c4;background:#0b0b0b}.holding{place-items:center;min-height:100svh;padding:1.5rem;display:grid}.holding h1{letter-spacing:.32em;text-transform:uppercase;margin-right:-.32em;font-size:.9375rem;font-weight:400}