*,:after,:before{--tw-border-spacing-x:0;--tw-border-spacing-y:0;--tw-translate-x:0;--tw-translate-y:0;--tw-rotate:0;--tw-skew-x:0;--tw-skew-y:0;--tw-scale-x:1;--tw-scale-y:1;--tw-pan-x: ;--tw-pan-y: ;--tw-pinch-zoom: ;--tw-scroll-snap-strictness:proximity;--tw-gradient-from-position: ;--tw-gradient-via-position: ;--tw-gradient-to-position: ;--tw-ordinal: ;--tw-slashed-zero: ;--tw-numeric-figure: ;--tw-numeric-spacing: ;--tw-numeric-fraction: ;--tw-ring-inset: ;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-color:rgba(59,130,246,.5);--tw-ring-offset-shadow:0 0 #0000;--tw-ring-shadow:0 0 #0000;--tw-shadow:0 0 #0000;--tw-shadow-colored:0 0 #0000;--tw-blur: ;--tw-brightness: ;--tw-contrast: ;--tw-grayscale: ;--tw-hue-rotate: ;--tw-invert: ;--tw-saturate: ;--tw-sepia: ;--tw-drop-shadow: ;--tw-backdrop-blur: ;--tw-backdrop-brightness: ;--tw-backdrop-contrast: ;--tw-backdrop-grayscale: ;--tw-backdrop-hue-rotate: ;--tw-backdrop-invert: ;--tw-backdrop-opacity: ;--tw-backdrop-saturate: ;--tw-backdrop-sepia: ;--tw-contain-size: ;--tw-contain-layout: ;--tw-contain-paint: ;--tw-contain-style: }::backdrop{--tw-border-spacing-x:0;--tw-border-spacing-y:0;--tw-translate-x:0;--tw-translate-y:0;--tw-rotate:0;--tw-skew-x:0;--tw-skew-y:0;--tw-scale-x:1;--tw-scale-y:1;--tw-pan-x: ;--tw-pan-y: ;--tw-pinch-zoom: ;--tw-scroll-snap-strictness:proximity;--tw-gradient-from-position: ;--tw-gradient-via-position: ;--tw-gradient-to-position: ;--tw-ordinal: ;--tw-slashed-zero: ;--tw-numeric-figure: ;--tw-numeric-spacing: ;--tw-numeric-fraction: ;--tw-ring-inset: ;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-color:rgba(59,130,246,.5);--tw-ring-offset-shadow:0 0 #0000;--tw-ring-shadow:0 0 #0000;--tw-shadow:0 0 #0000;--tw-shadow-colored:0 0 #0000;--tw-blur: ;--tw-brightness: ;--tw-contrast: ;--tw-grayscale: ;--tw-hue-rotate: ;--tw-invert: ;--tw-saturate: ;--tw-sepia: ;--tw-drop-shadow: ;--tw-backdrop-blur: ;--tw-backdrop-brightness: ;--tw-backdrop-contrast: ;--tw-backdrop-grayscale: ;--tw-backdrop-hue-rotate: ;--tw-backdrop-invert: ;--tw-backdrop-opacity: ;--tw-backdrop-saturate: ;--tw-backdrop-sepia: ;--tw-contain-size: ;--tw-contain-layout: ;--tw-contain-paint: ;--tw-contain-style: }/*
! tailwindcss v3.4.17 | MIT License | https://tailwindcss.com
*/*,:after,:before{box-sizing:border-box;border:0 solid #e5e7eb}:after,:before{--tw-content:""}:host,html{line-height:1.5;-webkit-text-size-adjust:100%;-moz-tab-size:4;-o-tab-size:4;tab-size:4;font-family:ui-sans-serif,system-ui,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji;font-feature-settings:normal;font-variation-settings:normal;-webkit-tap-highlight-color:transparent}body{line-height:inherit}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,pre,samp{font-family:var(--font-jetbrains),JetBrains Mono,monospace;font-feature-settings:normal;font-variation-settings:normal;font-size:1em}small{font-size:80%}sub,sup{font-size:75%;line-height:0;position:relative;vertical-align:baseline}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}button,input,optgroup,select,textarea{font-family:inherit;font-feature-settings:inherit;font-variation-settings:inherit;font-size:100%;font-weight:inherit;line-height:inherit;letter-spacing:inherit;color:inherit;margin:0;padding:0}button,select{text-transform:none}button,input:where([type=button]),input:where([type=reset]),input:where([type=submit]){-webkit-appearance:button;background-color:transparent;background-image:none}:-moz-focusring{outline:auto}:-moz-ui-invalid{box-shadow:none}progress{vertical-align:baseline}::-webkit-inner-spin-button,::-webkit-outer-spin-button{height:auto}[type=search]{-webkit-appearance:textfield;outline-offset:-2px}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-file-upload-button{-webkit-appearance:button;font:inherit}summary{display:list-item}blockquote,dd,dl,figure,h1,h2,h3,h4,h5,h6,hr,p,pre{margin:0}fieldset{margin:0}fieldset,legend{padding:0}menu,ol,ul{list-style:none;margin:0;padding:0}dialog{padding:0}textarea{resize:vertical}input::-moz-placeholder,textarea::-moz-placeholder{opacity:1;color:#9ca3af}input::placeholder,textarea::placeholder{opacity:1;color:#9ca3af}[role=button],button{cursor:pointer}:disabled{cursor:default}audio,canvas,embed,iframe,img,object,svg,video{display:block;vertical-align:middle}img,video{max-width:100%;height:auto}[hidden]:where(:not([hidden=until-found])){display:none}.\!visible{visibility:visible!important}.visible{visibility:visible}.relative{position:relative}.block{display:block}.inline{display:inline}.flex{display:flex}.grid{display:grid}.hidden{display:none}.h-\[calc\(100vh-100px\)\]{height:calc(100vh - 100px)}.h-full{height:100%}.w-full{width:100%}.shrink{flex-shrink:1}.resize{resize:both}.border{border-width:1px}.border-0{border-width:0}.lowercase{text-transform:lowercase}.filter{filter:var(--tw-blur) var(--tw-brightness) var(--tw-contrast) var(--tw-grayscale) var(--tw-hue-rotate) var(--tw-invert) var(--tw-saturate) var(--tw-sepia) var(--tw-drop-shadow)}:root{--paper:#fff;--text:#1d1d1f;--soft:#3a3a3e;--muted:#6e6e73;--rule:#e3e3e6;--wash:#f5f5f7;--link:#1f77b4;--accent-rgb:31 119 180;--sans:var(--font-inter),"Inter",system-ui,-apple-system,"Segoe UI",sans-serif;--mono:ui-monospace,"SF Mono",Menlo,Consolas,monospace;--maxw:1000px;--gutter:24px;color-scheme:light}html{-webkit-text-size-adjust:100%;scroll-behavior:smooth}[id]{scroll-margin-top:24px}body{margin:0;background:var(--paper);color:var(--text);font-family:var(--sans);font-size:16px;line-height:1.65;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}::-moz-selection{background:rgba(31,119,180,.18)}::selection{background:rgba(31,119,180,.18)}a{color:var(--link);text-decoration:none}a:hover{text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:.2em}:focus-visible{outline:2px solid var(--link);outline-offset:3px;border-radius:2px}img{-webkit-user-drag:none;-webkit-user-select:none;-moz-user-select:none;user-select:none;-webkit-touch-callout: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:0}.site-shell{position:relative;z-index:1}.page{max-width:var(--maxw);margin:0 auto;padding-left:var(--gutter);padding-right:var(--gutter)}.page-title{margin:0;font-size:40px;line-height:1.1;font-weight:600;letter-spacing:-.022em}.site-nav{display:flex;flex-wrap:wrap;align-items:baseline;justify-content:space-between;gap:8px 24px;padding-top:24px;padding-bottom:24px;font-size:15px}.site-nav.is-home{justify-content:flex-end}.site-nav-name{color:var(--text);font-weight:600}.site-nav-name:hover{text-decoration:none}.site-nav-links{display:flex;gap:22px}.site-nav-links a{color:var(--muted)}.site-nav-links a:hover,.site-nav-links a[aria-current=page]{color:var(--text);text-decoration:none}.site-footer{display:flex;flex-wrap:wrap;justify-content:space-between;gap:8px 24px;margin-top:112px;padding-top:24px;padding-bottom:48px;font-size:14px;color:var(--muted)}.site-footer nav{display:flex;gap:20px}.site-footer a{color:var(--muted)}.site-footer a:hover{color:var(--text)}.not-found{min-height:50vh;padding-top:32px}.not-found p{margin:16px 0 0}.home{display:grid;grid-template-columns:minmax(0,1fr) 288px;-moz-column-gap:64px;column-gap:64px}.hero{grid-column:1;grid-row:1;padding-top:24px}.side{grid-column:2;grid-row:1/span 2;padding-top:30px}.sections{grid-column:1;grid-row:2}.name{margin:0;font-size:40px;line-height:1.1;font-weight:600;letter-spacing:-.022em}.role{margin:12px 0 0;color:var(--muted);line-height:1.5}.bio{margin-top:24px}.bio p{margin:0 0 14px}.quick-links{display:flex;flex-wrap:wrap;gap:4px 22px;margin:20px 0 0}.portrait{display:block;width:100%;height:auto;aspect-ratio:1;-o-object-fit:cover;object-fit:cover;border-radius:4px}.figure-sticky{position:sticky;top:28px;margin-top:44px}.section{margin-top:96px}.home .section{margin-top:64px}.section h2{margin:0;font-size:21px;line-height:1.3;font-weight:600;letter-spacing:-.012em}.home .section h2{position:relative;display:inline-block}.home .section h2:after{content:"";position:absolute;left:0;right:-4px;bottom:-5px;height:3px;border-radius:2px;background:var(--accent)}.dated{list-style:none;margin:18px 0 0;padding:0}.dated li{display:grid;grid-template-columns:92px minmax(0,1fr);-moz-column-gap:20px;column-gap:20px;padding:4px 0}.dated-when{padding-top:1px;font-size:15px;color:var(--muted);font-variant-numeric:tabular-nums;white-space:nowrap}.more{margin:8px 0 0;font-size:15px}.entry{margin-top:36px}.section h2+.compact,.section h2+.entry{margin-top:20px}.entry-head{display:flex;flex-wrap:wrap;align-items:baseline;justify-content:space-between;gap:2px 24px}.entry h3{margin:0;font-size:16px;line-height:1.4;font-weight:600}.entry h3 a{color:inherit;text-decoration:underline;text-decoration-color:rgba(31,119,180,.35);text-decoration-thickness:1px;text-underline-offset:.22em}.entry h3 a:hover{color:var(--link);text-decoration-color:currentColor}.entry-date{font-size:14px;color:var(--muted);font-variant-numeric:tabular-nums;white-space:nowrap}.entry p{margin:8px 0 0}.entry .entry-meta{margin-top:0;font-size:15px;color:var(--muted)}.entry .entry-links{display:flex;flex-wrap:wrap;gap:4px 20px;margin-top:8px;font-size:15px}.work{margin-top:20px;padding-left:16px;border-left:2px solid var(--rule)}.work h4{margin:0;font-size:16px;line-height:1.4;font-weight:600}.entry .work p{margin-top:4px}.compact .entry{margin-top:18px}.compact .entry:first-child{margin-top:0}.compact .entry p{margin-top:0;font-size:15px;color:var(--muted)}.draft-tag{display:inline-block;margin-left:8px;padding:0 7px;border-radius:999px;background:#fff1e0;color:#a14c00;font-size:12px;font-weight:500;line-height:1.6;vertical-align:1px}.fig,.train-fig{margin:0}.train-fig canvas{display:block}.fig figcaption,.train-fig figcaption{margin-top:12px;font-size:14px;line-height:1.5;color:var(--muted)}.fig-num{color:var(--text);font-weight:600}.fig-live{display:block;margin-top:4px;color:var(--text);font-variant-numeric:tabular-nums}.blog-head{max-width:660px;padding-top:24px}.blog-lede{margin:14px 0 0;font-size:17px;color:var(--soft)}.blog-empty{margin-top:40px;color:var(--muted)}.post-list{max-width:800px;margin:44px 0 0;padding:0;list-style:none}.post-item{padding:24px 0;border-top:1px solid var(--rule)}.post-item:last-child{border-bottom:1px solid var(--rule)}.post-item.has-thumb{display:grid;grid-template-columns:minmax(0,1fr) 200px;align-items:start;gap:32px}.post-meta{margin:0;font-size:14px;color:var(--muted);font-variant-numeric:tabular-nums}.post-item-title{margin:4px 0 0;font-size:20px;line-height:1.35;font-weight:600;letter-spacing:-.012em}.post-item-title a{color:var(--text)}.post-item-title a:hover{color:var(--link);text-decoration:none}.post-item-summary{margin:6px 0 0;color:var(--soft)}.post-tags{display:flex;flex-wrap:wrap;gap:6px;margin:12px 0 0}.post-tags span{padding:1px 9px;border-radius:999px;background:var(--wash);color:var(--muted);font-size:12.5px}.post-thumb img{display:block;width:100%;aspect-ratio:4/3;-o-object-fit:cover;object-fit:cover;border:1px solid var(--rule);border-radius:4px}.post-body,.post-foot,.post-head{max-width:660px}.post-head{padding-top:24px}.post-title{margin:0;font-size:36px;line-height:1.15;font-weight:600;letter-spacing:-.022em}.post-byline{margin:14px 0 0;font-size:15px;color:var(--muted);font-variant-numeric:tabular-nums}.post-dek{margin:22px 0 0;font-size:18px;line-height:1.55;font-style:italic;color:var(--soft)}.post-body{margin-top:36px;font-size:17px;line-height:1.72}.post-body .katex-display,.post-body blockquote,.post-body ol,.post-body p,.post-body pre,.post-body table,.post-body ul{margin:0 0 1.15em}.post-body h2{margin:2em 0 .6em;font-size:23px;line-height:1.3;font-weight:600;letter-spacing:-.012em}.post-body h3{margin:1.7em 0 .5em;font-size:19px;line-height:1.35;font-weight:600}.post-body ol,.post-body ul{padding-left:1.4em}.post-body ul{list-style:disc}.post-body ol{list-style:decimal}.post-body li+li{margin-top:.35em}.post-body li::marker{color:var(--muted)}.post-body blockquote{margin-left:0;padding-left:18px;border-left:3px solid var(--rule);color:var(--soft)}.post-body hr{margin:2.2em 0;border:0;border-top:1px solid var(--rule)}.post-body code{padding:.1em .35em;border-radius:4px;background:var(--wash);font-family:var(--mono);font-size:.85em}.post-body pre{padding:14px 16px;overflow-x:auto;border:1px solid var(--rule);border-radius:6px;background:#fafafb;font-family:var(--mono);font-size:14px;line-height:1.6}.post-body pre code{padding:0;background:none;font-size:inherit}.post-body table{display:block;width:100%;overflow-x:auto;border-collapse:collapse;font-size:15px;font-variant-numeric:tabular-nums}.post-body td,.post-body th{padding:6px 14px 6px 0;border-bottom:1px solid var(--rule);text-align:left}.post-body th{font-weight:600;border-bottom-color:var(--text)}.post-body img{max-width:100%;height:auto}.post-fig{margin:1.8em 0}.post-fig img{display:block;width:100%;height:auto;margin:0 auto}.post-body .katex-display{overflow-x:auto;overflow-y:hidden;padding:2px 0}.post-body a[data-footnote-ref]{padding:0 1px;font-size:.78em}.post-body .footnotes{margin-top:3em;padding-top:1em;border-top:1px solid var(--rule);font-size:14.5px;color:var(--soft)}.post-body .footnotes p{margin:0}.sidenote{display:none}@media (min-width:1200px){.post-body .sidenote{display:block;float:right;clear:right;width:240px;margin:.3em -284px .8em 0;font-size:13px;line-height:1.55;font-style:normal;color:var(--muted)}.post-body .footnotes{display:none}}.sn-num{margin-right:2px;color:var(--text);font-weight:600}.sn-block{display:block}.sn-num+.sn-block{display:inline}.post-foot{margin-top:56px;padding-top:20px;border-top:1px solid var(--rule);font-size:15px}.post-foot p{margin:16px 0 0}.cite summary{color:var(--muted);cursor:pointer}.cite pre{margin:10px 0 0;padding:12px 14px;overflow-x:auto;border-radius:6px;background:var(--wash);font-family:var(--mono);font-size:13px;line-height:1.55}.token.cdata,.token.comment,.token.doctype,.token.prolog{color:#8a8a8e;font-style:italic}.token.atrule,.token.important,.token.keyword,.token.selector{color:#1f6fa8}.token.attr-value,.token.char,.token.inserted,.token.regex,.token.string{color:#23802a}.token.boolean,.token.constant,.token.deleted,.token.number{color:#c4252a}.token.class-name,.token.function{color:#7d4fb3}.token.attr-name,.token.builtin,.token.property,.token.tag{color:#b35900}.token.operator,.token.punctuation{color:var(--muted)}.snake-intro{max-width:640px;padding-top:32px}.snake-intro .lead{margin:16px 0 0;font-size:19px;line-height:1.5}.snake-controls{display:flex;gap:12px;margin-top:24px}.snake-figures{display:grid;grid-template-columns:minmax(0,1.25fr) minmax(0,1fr);align-items:start;gap:48px;margin-top:48px}.snake-board{height:auto;aspect-ratio:4/3;border:1px solid var(--text)}.snake-board,.snake-net{display:block;width:100%}.snake-net{height:340px}.snake-curve{margin-top:56px}.snake-chart{position:relative;height:260px}.snake-how dl{display:grid;grid-template-columns:150px minmax(0,1fr);gap:14px 32px;max-width:820px;margin:20px 0 0}.snake-how dt{font-weight:600}.snake-how dd{margin:0}.btn{display:inline-flex;align-items:center;gap:8px;padding:8px 16px;border:1px solid #c7c7cc;border-radius:8px;background:#fff;color:var(--text);font:inherit;font-size:15px;font-weight:500;cursor:pointer}.btn-primary,.btn:hover{border-color:var(--text)}.btn-primary{background:var(--text);color:#fff}.btn-primary:hover{background:#000}.btn:disabled{opacity:.5;cursor:not-allowed}@media (max-width:1023px){.home{grid-template-columns:92px minmax(0,1fr);-moz-column-gap:20px;column-gap:20px}.hero,.side{display:contents}.portrait{grid-column:1;grid-row:1/span 2;align-self:center;width:92px;margin-top:16px}.name{grid-row:1;align-self:end;padding-top:16px;font-size:32px}.name,.role{grid-column:2}.role{grid-row:2;align-self:start;margin-top:6px;font-size:15px}.bio{grid-column:1/-1;grid-row:3;margin-top:28px}.quick-links{grid-column:1/-1;grid-row:4}.figure-sticky{grid-column:1/-1;grid-row:5;position:static;max-width:440px;margin-top:48px}.sections{grid-column:1/-1;grid-row:6}.section{margin-top:80px}.snake-figures{grid-template-columns:1fr;gap:40px}.snake-how dl{grid-template-columns:1fr;gap:2px}.snake-how dd{margin-bottom:14px}}@media (max-width:560px){:root{--gutter:20px}.page-title{font-size:34px}.name{font-size:28px}.dated li{grid-template-columns:76px minmax(0,1fr);-moz-column-gap:14px;column-gap:14px}.post-title{font-size:30px}.post-body{font-size:16.5px}.post-item.has-thumb{grid-template-columns:1fr;gap:16px}.post-thumb{grid-row:1}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}}@font-face{font-family:__Inter_a1ac3b;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/ba9851c3c22cd980-s.woff2) format("woff2");unicode-range:u+0460-052f,u+1c80-1c8a,u+20b4,u+2de0-2dff,u+a640-a69f,u+fe2e-fe2f}@font-face{font-family:__Inter_a1ac3b;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/21350d82a1f187e9-s.woff2) format("woff2");unicode-range:u+0301,u+0400-045f,u+0490-0491,u+04b0-04b1,u+2116}@font-face{font-family:__Inter_a1ac3b;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/c5fe6dc8356a8c31-s.woff2) format("woff2");unicode-range:u+1f??}@font-face{font-family:__Inter_a1ac3b;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/19cfc7226ec3afaa-s.p.woff2) format("woff2");unicode-range:u+0370-0377,u+037a-037f,u+0384-038a,u+038c,u+038e-03a1,u+03a3-03ff}@font-face{font-family:__Inter_a1ac3b;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/df0a9ae256c0569c-s.woff2) format("woff2");unicode-range:u+0102-0103,u+0110-0111,u+0128-0129,u+0168-0169,u+01a0-01a1,u+01af-01b0,u+0300-0301,u+0303-0304,u+0308-0309,u+0323,u+0329,u+1ea0-1ef9,u+20ab}@font-face{font-family:__Inter_a1ac3b;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/8e9860b6e62d6359-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,u+1d00-1dbf,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c0,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:__Inter_a1ac3b;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/e4af272ccee01ff0-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:__Inter_Fallback_a1ac3b;src:local("Arial");ascent-override:90.49%;descent-override:22.56%;line-gap-override:0.00%;size-adjust:107.06%}.__className_a1ac3b{font-family:__Inter_a1ac3b,__Inter_Fallback_a1ac3b;font-style:normal}.__variable_a1ac3b{--font-inter:"__Inter_a1ac3b","__Inter_Fallback_a1ac3b"}