@font-face{font-family:Newsreader Variable;font-style:normal;font-display:swap;font-weight:200 800;src:url(/_astro/newsreader-vietnamese-wght-normal.Czsa-EzN.woff2)format("woff2-variations");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:Newsreader Variable;font-style:normal;font-display:swap;font-weight:200 800;src:url(/_astro/newsreader-latin-ext-wght-normal.C-3rgBeH.woff2)format("woff2-variations");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-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Newsreader Variable;font-style:normal;font-display:swap;font-weight:200 800;src:url(/_astro/newsreader-latin-wght-normal.CCVVNp6i.woff2)format("woff2-variations");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:Public Sans Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/_astro/public-sans-vietnamese-wght-normal.CtlIRbEm.woff2)format("woff2-variations");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:Public Sans Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/_astro/public-sans-latin-ext-wght-normal.MQgHevqp.woff2)format("woff2-variations");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-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Public Sans Variable;font-style:normal;font-display:swap;font-weight:100 900;src:url(/_astro/public-sans-latin-wght-normal.DdeTHZLK.woff2)format("woff2-variations");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:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(data:font/woff2;base64,d09GMgABAAAAAAfsABQAAAAAEAwAAAeCAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGhwbHhwoP0hWQVJbBmA/U1RBVIFiJyYAdC9qEQgKhGSEAAsgADCGCAE2AiQDOgQgBYlMB4EUDAcbLQ4onoexrSC/2ZyLAa8p8VHB8/x3Vue+V0hVJalMJg2nx/TCrQXxBeqLjQG7FyM1WEa/X1tEXN7cFz9EJEMmMUz3RihWSSKeQCbcIou0izz/C8v+fq3VfajEa9gDD11CImXS7qL/RJFVzC1qiB6KmKeD6TZdQ6IRGv78dL6uSVVCfgni5mzu7kcgQBgAEAQTQRCoL++STTYybkJxNfQxAAIAGu8OdEB9teW2jh4BpgDqFjAeSEByW3zFP0CBBgNMsMCGEDjgggdhiEAUAeIIED7ABTDUEnkIE9Q9ahFgKttcVhApo4ACB4qobHaccgDfEjFO6aaWUhjMLt2SyIvHKoDqoA4CSUwEIYQCEjhAO9R1G6keDeDZGjNo+AhxOjCEGTr1WeIF3kYBiLAOKvkJSMiKX0VdAyQt3SDJClCkxJCHkCzfqyVTriJZLcolS32JZHUekq2TYNkYtCtjYHMQXSxGjXDz2t/yLWXzDzxz+o3zFwDEaN23F+13pyMdQAEaSKAR9vcGq4A4MTSKCElGW+M7UcY7xqkggITb28ZJhlqc9q2twYKTt0NjixBgYvO9BIihEBLYuOFXQzfIQ7dXGUEEEgFDooBfAzqiQbpJrhiWSuKJCRFKYbHCyJKI2G5GiZbNAvgAu5pc3vwx4G+g3aDkhklABiSz0BICXrYghtYhx/cdJ+44rY2oZ0aMNRFz3VZjb6W33F3gzltqtOCV8tTHSpOeXuItfvr5lCdfzFpqtEitvqdcdGGFd28ZqqC0tPbeChGXgrIlnhSWu/eUso4uKWFLugyDzQJhflY4659+WjQ++6x72WUMv9G8mw6QJl7BVxX5fe/kpUsOvnZwee9uQ0cGXYd0o89XB2748sDSnt8d2VphdOTTgceDVvOds0v9P/s7HPq15aGun/6Vllb56f1dl0t1LejqrNkpdRZsG8TOnM5vkBG5oiVyVGnS8LHps5cfNWJs6qKPfaNSxiQNBUm3cKNWROr0GSur7Za31k1vieq7LH11VF+jXdRIasRKflc7jkobm1Z9te1IyZA0pDkhLR98+H37Zf1c/8at+dB7x+7GfVyTfJMPiYztsnl59Y5l4j+0n1RXlpHnF3Tq7HecmNF/CJodEMAikruxiyJaGLvHOdAfoA+oDvpjBm2b91cHGRZMU9n25xEU0A8fgEEAdKI3Q1iDtc034sug5YVMkE2jsE+BIkwSoQ3gxXMqz9tELp48bd0cFKOKS7xYjEuXBnZP5ia7DyiO/X/YI+PQSbt2uSdqAkWL9nQbV1XB94/+uPfdZz8dnXYFBYrcTl2SIR/ybxJNJPz/Gupb0JaZeens2ekC7EKr8t+Ls/P5VJPYJdHKyqfg2nqU6bhlidzcddQV/7MmecTzJ5VPcKXkNKSEogHjYFx6QZ7rQ+FSe8njaiNuOnXS8H2ScQ619c2mC3VTtauL0rRbXd/CkSOP37FY9Zkjz8+GibYUMOEWF+RdrFS8Ecv1SHOpPUPZGEIpjPvFyU5cXKjd6OXqorTqy9GwRd++HVufPGnVsW+aO3vggKZ18jR9sXaTC1PWTEsVUaK0FkNySbTQDqlm2PfDjZcu4aalnSLKjnOoYQ0nUlqqXcGpPu/4VgV/xU2pAqW4BW3qzhQ8/hFKhV2qE3+BKAtDqBXjfgnVdH4y0wg5tbVNRenNdTWOrenWLcupQdmsbq5b+18piTe/xRdp1xbILxNPJGInm2z6hoB21Lal0i+ePTtd7B45+3XhFJ329evskXm7qurUVREotqSluSo/L29d3qDhI4YOQqWhI4YNvBNfsMHeXKemXrxQfKeuPOGRVayA3JtkJKEgbPp+dXUDluddutRYLFoXGXWX6N3WFaGLbQtRSitVYNacTNSdy7AaG/HSaUEANcBoGXNdcZvZsOqQ1icBDv21/gzAoYPHH/WDW0qNR3QTYKEAEHig6o13NXbND06CQPlRtYjGNnSktRc09k1mAMDvAlDKfQjgy6fssInlfzmNAjKkDxoxHOBLdVRAIVt9j4qo+hA1w9T1aNBNTUOTTNUHLbqokE+UAfJXCIGw/IxCSL5GRUJeR40rL/UxTm4Q08H6MbCs70ObuNyIIXrINHQYInF06UUlevTjbQzTh5upiDMzMMogUtEnjPs/Y7jAHCJeB0GBHh04tC6FiB6ZFB1oArUSIoFoqhzCeAN6lHwm0T4C3VVPWvjpSMXReuWesMEcoqrmgtNBGd2noWeV0hNAz9rFeShNJxHGsPa3HXeKTk8b55hahySYHaYKKFFLpCfN8rsoaJn01CR04Gkc+5k7KVTCmClX8Q10HCrUEkVlSX+XO33oQR9609tJ516H497WSobWs5Up6TLaS10/dessIskgJSLiDlWvHVUywpkQ7hdPZqGyiEF0uVQerVcPamT1A3eKXdyI1vG9OoflrSXihZ1qqGE3nhmAgiIbRCQgPLEPtOM3UQwTLYaYYomNlpA44opnjV6jkD6id80OOrzf6BzmMD6eEa1zKyeYG1fzfEf16V6jw9XYOaar1/b2kP/IYX8oR2mcFvv2GtBV3JXgd437AQAA)format("woff2-variations");unicode-range:U+460-52F,U+1C80-1C8A,U+20B4,U+2DE0-2DFF,U+A640-A69F,U+FE2E-FE2F}@font-face{font-family:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(/_astro/jetbrains-mono-cyrillic-wght-normal.D73BlboJ.woff2)format("woff2-variations");unicode-range:U+301,U+400-45F,U+490-491,U+4B0-4B1,U+2116}@font-face{font-family:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(/_astro/jetbrains-mono-greek-wght-normal.Bw9x6K1M.woff2)format("woff2-variations");unicode-range:U+370-377,U+37A-37F,U+384-38A,U+38C,U+38E-3A1,U+3A3-3FF}@font-face{font-family:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(/_astro/jetbrains-mono-vietnamese-wght-normal.Bt-aOZkq.woff2)format("woff2-variations");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:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(/_astro/jetbrains-mono-latin-ext-wght-normal.DBQx-q_a.woff2)format("woff2-variations");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-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:JetBrains Mono Variable;font-style:normal;font-display:swap;font-weight:100 800;src:url(/_astro/jetbrains-mono-latin-wght-normal.B9CIFXIH.woff2)format("woff2-variations");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}:root{color-scheme:light dark;--bg:#fcfcfd;--bg-sub:#f2f3f6;--fg:#14161a;--fg-muted:#5c616b;--fg-faint:#868c97;--rule:#e2e4ea;--rule-strong:#c8ccd6;--link:#2a4c8f;--link-hover:#16305e;--selection:#dce6f8;--ff-prose:"Newsreader Variable", Newsreader, Georgia, "Times New Roman", serif;--ff-ui:"Public Sans Variable", "Public Sans", system-ui, -apple-system, sans-serif;--ff-mono:"JetBrains Mono Variable", "JetBrains Mono", ui-monospace, Menlo, monospace;--fs-display:clamp(2rem, 5vw, 2.75rem);--fs-h1:clamp(1.75rem, 4vw, 2.25rem);--fs-h2:1.4rem;--fs-h3:1.125rem;--fs-body:1.1875rem;--fs-ui:.9375rem;--fs-meta:.8125rem;--fs-label:.6875rem;--lh-tight:1.15;--lh-body:1.65;--s1:.25rem;--s2:.5rem;--s3:.75rem;--s4:1rem;--s5:1.5rem;--s6:2rem;--s7:3rem;--s8:4.5rem;--measure:68ch;--measure-wide:940px}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--bg:#101215;--bg-sub:#171a1f;--fg:#e6e8ec;--fg-muted:#9ba2ae;--fg-faint:#757c88;--rule:#23262d;--rule-strong:#363b45;--link:#8fb2ee;--link-hover:#b7cdf6;--selection:#1a2333}}:root[data-theme=dark]{--bg:#101215;--bg-sub:#171a1f;--fg:#e6e8ec;--fg-muted:#9ba2ae;--fg-faint:#757c88;--rule:#23262d;--rule-strong:#363b45;--link:#8fb2ee;--link-hover:#b7cdf6;--selection:#1a2333}*,:before,:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{background:var(--bg);color:var(--fg);font-family:var(--ff-ui);font-size:var(--fs-ui);line-height:var(--lh-body);-webkit-font-smoothing:antialiased;flex-direction:column;min-height:100vh;margin:0;display:flex}::selection{background:var(--selection)}.wrap{width:100%;max-width:var(--measure);padding-inline:var(--s5);margin-inline:auto}main{padding-block:var(--s7) var(--s8);flex:1}.skip{position:absolute;left:-9999px}.skip:focus{left:var(--s4);top:var(--s4);z-index:10;background:var(--bg);color:var(--fg);padding:var(--s2) var(--s4);border:1px solid var(--rule-strong)}.site-header{border-bottom:1px solid var(--rule)}.site-header .wrap{align-items:baseline;gap:var(--s5);padding-block:var(--s4);flex-wrap:wrap;display:flex}.brand{font-family:var(--ff-prose);letter-spacing:-.01em;color:var(--fg);margin-inline-end:auto;font-size:1.0625rem;font-weight:600;text-decoration:none}.site-nav{gap:var(--s5);flex-wrap:wrap;display:flex}.site-nav a{color:var(--fg-muted);text-decoration:none}.site-nav a:hover{color:var(--fg);text-underline-offset:3px;text-decoration:underline}.site-nav a[aria-current=page]{color:var(--fg);font-weight:600}.theme-toggle{font:inherit;font-size:var(--fs-label);font-family:var(--ff-mono);letter-spacing:.1em;text-transform:uppercase;border:1px solid var(--rule-strong);color:var(--fg-muted);cursor:pointer;background:0 0;border-radius:2px;padding:3px 8px}.theme-toggle:hover{color:var(--fg);border-color:var(--fg-faint)}.tt-dark{display:none}:root[data-theme=dark] .tt-dark{display:inline}:root[data-theme=dark] .tt-light{display:none}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .tt-dark{display:inline}:root:not([data-theme=light]) .tt-light{display:none}}.name{font-family:var(--ff-prose);font-size:var(--fs-display);font-weight:600;line-height:var(--lh-tight);letter-spacing:-.02em;margin:0 0 var(--s2);text-wrap:balance}.role{font-family:var(--ff-mono);font-size:var(--fs-label);letter-spacing:.11em;text-transform:uppercase;color:var(--fg-faint);margin:0 0 var(--s6)}.page-title{font-family:var(--ff-prose);font-size:var(--fs-h1);font-weight:600;line-height:var(--lh-tight);letter-spacing:-.02em;margin:0 0 var(--s6);text-wrap:balance}.post-list{margin:0;padding:0;list-style:none}.post-list li{gap:var(--s5);padding-block:var(--s4);border-top:1px solid var(--rule);grid-template-columns:6.5rem 1fr;align-items:baseline;display:grid}.post-list li:last-child{border-bottom:1px solid var(--rule)}.post-list time{font-family:var(--ff-mono);font-size:var(--fs-meta);font-variant-numeric:tabular-nums;color:var(--fg-faint)}.post-list h3{font-family:var(--ff-prose);margin:0 0 var(--s1);font-size:1.1875rem;font-weight:600;line-height:1.3}.post-list h3 a{color:var(--fg);text-decoration:none}.post-list h3 a:hover{text-underline-offset:3px;text-decoration:underline}.post-list p{color:var(--fg-muted);font-size:var(--fs-meta);margin:0;line-height:1.5}@media (width<=40rem){.post-list li{gap:var(--s1);grid-template-columns:1fr}}.site-footer{border-top:1px solid var(--rule)}.site-footer .wrap{gap:var(--s3) var(--s5);padding-block:var(--s5);font-size:var(--fs-meta);color:var(--fg-faint);flex-wrap:wrap;display:flex}.site-footer a{color:var(--fg-muted)}a{color:var(--link);text-underline-offset:2px;text-decoration-thickness:1px}a:hover{color:var(--link-hover)}:focus-visible{outline:2px solid var(--link);outline-offset:2px;border-radius:2px}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}.prose{font-family:var(--ff-prose);font-size:var(--fs-body);line-height:var(--lh-body);color:var(--fg);max-width:var(--measure)}.prose>*+*{margin-block-start:var(--s4)}.prose p{margin:0}.prose p+p{margin-block-start:var(--s4)}.prose .lead{font-size:1.3125rem;line-height:1.5}.prose h2{font-size:var(--fs-h2);margin-block:var(--s7) var(--s3);text-wrap:balance;letter-spacing:-.01em;font-weight:600;line-height:1.25}.prose h3{font-family:var(--ff-ui);font-size:var(--fs-h3);margin-block:var(--s6) var(--s2);font-weight:600}.prose h2+*,.prose h3+*{margin-block-start:0}.heading-anchor{color:var(--fg-faint);opacity:0;font-family:var(--ff-mono);margin-left:.4em;font-size:.7em;text-decoration:none}:is(h2,h3):hover .heading-anchor,.heading-anchor:focus-visible{opacity:1}.prose ul,.prose ol{margin:0;padding-left:1.3em}.prose li+li{margin-top:var(--s2)}.prose li::marker{color:var(--fg-faint)}.prose blockquote{padding-left:var(--s4);border-left:2px solid var(--rule-strong);color:var(--fg-muted);margin:0;font-style:italic}.prose hr{border:0;border-top:1px solid var(--rule);margin-block:var(--s7)}.prose :not(pre)>code{font-family:var(--ff-mono);background:var(--bg-sub);border:1px solid var(--rule);border-radius:2px;padding:.1em .35em;font-size:.82em}.prose pre{font-family:var(--ff-mono);padding:var(--s4);border:1px solid var(--rule);border-radius:2px;font-size:.8125rem;line-height:1.6;overflow-x:auto}:root[data-theme=dark] .astro-code,:root[data-theme=dark] .astro-code span{color:var(--shiki-dark)!important;background-color:var(--shiki-dark-bg)!important}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .astro-code,:root:not([data-theme=light]) .astro-code span{color:var(--shiki-dark)!important;background-color:var(--shiki-dark-bg)!important}}.prose .table-wrap,.prose table{max-width:100%;display:block;overflow-x:auto}.prose table{border-collapse:collapse;font-family:var(--ff-ui);font-size:var(--fs-meta)}.prose th,.prose td{text-align:left;padding:var(--s2) var(--s3);border-bottom:1px solid var(--rule);white-space:nowrap}.prose th{background:var(--bg-sub);font-weight:600}.prose td:not(:first-child){font-variant-numeric:tabular-nums}.fig{margin:var(--s6) 0}.fig img,.fig svg{width:100%;height:auto;display:block}.fig figcaption{font-family:var(--ff-ui);font-size:var(--fs-meta);color:var(--fg-faint);margin-top:var(--s2);line-height:1.45}.fig--wide{width:min(var(--measure-wide), 92vw);margin-inline:calc(50% - min(var(--measure-wide), 92vw) / 2)}.only-dark{display:none}:root[data-theme=dark] .only-dark{display:block}:root[data-theme=dark] .only-light{display:none}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) .only-dark{display:block}:root:not([data-theme=light]) .only-light{display:none}}.prose pre.mermaid{text-align:center;background:0 0;border:0;padding:0;overflow-x:auto}.prose .katex-display{padding-block:var(--s1);overflow:auto hidden}.callout{margin:var(--s5) 0;padding:var(--s3) var(--s4);border-left:2px solid var(--rule-strong);font-family:var(--ff-ui);font-size:var(--fs-meta);color:var(--fg-muted)}.callout .callout-label{font-family:var(--ff-mono);font-size:var(--fs-label);letter-spacing:.11em;text-transform:uppercase;color:var(--fg-faint);margin-bottom:var(--s1);display:block}.callout--warn{border-left-color:var(--link)}.syndication{font-family:var(--ff-ui);font-size:var(--fs-meta);color:var(--fg-faint);margin-block-start:var(--s6)}.subscribe{font-family:var(--ff-ui);font-size:var(--fs-meta);color:var(--fg-muted);border-top:1px solid var(--rule);padding-top:var(--s3);max-width:var(--measure);margin-block-start:var(--s5)}.pub-list{margin:0;padding:0;list-style:none}.pub-list li{margin:0 0 var(--s4)}.pub-list .pub-authors,.pub-list .pub-venue,.pub-list .pub-tech{font-family:var(--ff-ui);font-size:var(--fs-meta);margin-top:2px;display:block}.pub-list .pub-authors{color:var(--fg-muted)}.pub-list .pub-venue{color:var(--fg-faint);font-style:italic}.pub-list .pub-tech{color:var(--fg-faint);font-family:var(--ff-mono);font-style:normal}.pub-list .pub-year{font-family:var(--ff-mono);font-size:var(--fs-meta);color:var(--fg-faint);font-variant-numeric:tabular-nums;margin-right:var(--s2)}.cv-list{margin:0;padding:0;list-style:none}.cv-list li{gap:var(--s5);padding-block:var(--s4);border-top:1px solid var(--rule);grid-template-columns:6.5rem 1fr;display:grid}.cv-list li:last-child{border-bottom:1px solid var(--rule)}.cv-list .cv-year{font-family:var(--ff-mono);font-size:var(--fs-meta);color:var(--fg-faint);font-variant-numeric:tabular-nums;white-space:nowrap}.cv-list .cv-tech{font-family:var(--ff-mono);font-size:var(--fs-label);color:var(--fg-faint);margin-top:var(--s2);letter-spacing:.02em;display:block}@media (width<=40rem){.cv-list li{gap:var(--s1);grid-template-columns:1fr}}