1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
:root{color-scheme:light;--paper:#f5f3ec;--ink:#172e35;--muted:#53656a;--accent:#086c60;--orange:#c95932;--line:#cbd3cd;--blue:#24648a;--purple:#715694;--scale:1}
.two-up.language-layout{margin-top:24px}.language-layout.library-wide{grid-template-columns:1fr}.panel.language-panel{height:530px;min-width:0;padding:0}.language-flip{display:flex;flex-direction:column;justify-content:space-between;width:100%;height:100%;padding:29px;text-align:left;border:0;background:transparent}.language-flip:disabled{opacity:1;cursor:default}.language-face,.language-title,.language-paragraph{display:block}.language-title{font-size:28px;font-weight:bold;line-height:1.14}.language-paragraph{font-size:24px;line-height:1.4;margin-top:23px}.language-hello{display:block;font:23px/1.5 Consolas,monospace;margin:28px 0}.language-face .cycle{font-size:22px}.panel.library-panel,.panel.methods-panel{padding:18px;display:flex;flex-direction:column}.library-toolbar{display:flex;gap:8px;align-items:center;flex-shrink:0}.library-toolbar button{font-size:16px;padding:8px 10px}.library-toolbar strong{font-size:19px;flex:1;text-align:center}.library-crumbs{display:flex;align-items:center;gap:6px;flex-wrap:wrap;margin-top:10px;flex-shrink:0}.library-crumbs button{font:17px Consolas,monospace;padding:5px;border:0;background:transparent}.library-crumbs span{color:var(--muted)}.panel .library-origin{font-size:14px;color:var(--muted);margin:5px 0 12px}.library-list{min-height:0;overflow:auto;flex:1}.library-entry{display:flex;align-items:center;gap:16px;width:100%;text-align:left;border:0;border-radius:0;border-bottom:1px solid var(--line);padding:8px 12px;font:19px Consolas,monospace;background:transparent}.file-kind{font:12px Arial,sans-serif;color:var(--muted);width:30px}.file-arrow{margin-left:auto;color:var(--accent)}.panel .library-text{flex:1;min-height:0;max-width:100%;overflow:auto;overscroll-behavior:contain;white-space:pre;margin:0;padding:14px;background:#152e36;color:#ecf1e8;border-radius:5px;font:17px/1.45 Consolas,monospace;tab-size:4}.library-text:focus-visible,.library-list:focus-visible{outline:2px solid var(--orange);outline-offset:2px}.panel .methods-source{flex:1;min-height:0;overflow:auto;font:20px/1.38 Consolas,monospace;white-space:pre;margin:18px 0 10px}.panel .methods-caption{font-size:19px;line-height:1.4;border-top:1px solid var(--line);padding-top:10px}
.slide h2.sccp-title{font-size:48px}.rich-lattice-page h2{font-size:52px}.rich-domains{font-size:20px;line-height:1.4;color:var(--muted);margin-top:12px}.rich-lattice-link{display:block;margin-top:12px}.rich-lattice-image{display:block;width:100%;height:455px;object-fit:contain}.rich-takeaways{display:grid;grid-template-columns:1fr 1fr;gap:40px;margin-top:12px}.rich-takeaways p{font-size:32px;font-weight:bold;border-top:3px solid var(--accent);padding-top:12px}.rich-takeaways small{display:block;font-size:26px;font-weight:normal;margin-top:4px}.rich-caption{font-size:16px;color:var(--muted);margin-top:16px}
.backend-source{font:20px/1.4 Consolas,monospace;margin:16px 0 0;white-space:pre-wrap;color:var(--blue)}.pipeline.backend-pipeline{margin-top:18px}.pipeline-card.backend-card{padding:0;height:502px;min-width:0}.backend-flip{display:flex;flex-direction:column;justify-content:space-between;width:100%;height:100%;border:0;padding:26px;text-align:left;background:transparent;border-radius:8px}.backend-flip:disabled{opacity:1;cursor:default}.backend-face,.backend-title,.backend-discussion,.backend-card .number{display:block}.backend-title{font-size:28px;font-weight:bold;line-height:1.14;letter-spacing:-.02em;margin-bottom:18px}.backend-discussion{font-size:23px;line-height:1.4}.flip-hint{display:block;font-size:14px;color:var(--accent);margin-top:12px}.flipped .backend-flip{padding:15px 16px}.dump-heading{display:block;font-size:18px;font-weight:bold;margin-bottom:12px;color:var(--accent)}.backend-card .backend-dump{border:0;padding:0;margin:0;font:14px/1.27 Consolas,"Liberation Mono",monospace;white-space:pre-wrap;overflow-wrap:anywhere;color:var(--ink)}.backend-card .backend-dump.selected{font-size:14.5px;line-height:1.25}.backend-card .backend-dump.encoded{font-size:16px;line-height:1.3}.backend-dump strong{color:var(--orange);font-weight:bold}.lower-line.backend-provenance{margin-top:15px}.backend-provenance p{font-size:18px}.backend-provenance .chips span{font-size:16px;padding:6px 12px}
*{box-sizing:border-box}body{margin:0;background:#dfe4df;color:var(--ink);font-family:Arial,Helvetica,sans-serif}button,a,input{touch-action:manipulation}button{font:inherit;cursor:pointer}button:focus-visible,a:focus-visible,textarea:focus-visible{outline:3px solid #e17d39;outline-offset:5px}button:disabled{opacity:.4;cursor:default}a{color:var(--accent);text-underline-offset:5px}button{border:1px solid var(--line);background:var(--paper);color:var(--ink);border-radius:6px;padding:9px 14px}button:hover:not(:disabled){background:#e0e9e2}button.primary{background:var(--accent);color:#fff;border-color:var(--accent)}button.primary:hover{background:#09584f}
#viewport{position:fixed;inset:0 0 54px;overflow:hidden}.slide{position:absolute;left:50%;top:50%;width:1440px;height:900px;transform:translate(-50%,-50%) scale(var(--scale));background:var(--paper);padding:54px 72px 64px;overflow:hidden;box-shadow:0 20px 80px #172e3518;display:flex;flex-direction:column}
.slide:not(.still) .slide-content{animation:arrive .3s ease-out}@keyframes arrive{from{opacity:0;transform:translateY(9px)}to{opacity:1;transform:none}}
.kicker{display:flex;justify-content:space-between;align-items:center;font-size:17px;letter-spacing:.12em;text-transform:uppercase;font-weight:700;margin-bottom:30px}.kicker .tag{border:1px solid var(--accent);padding:7px 11px;border-radius:30px;color:var(--accent);letter-spacing:.05em;font-size:14px}
h1,h2,h3,p{margin:0}h1{font-size:100px;line-height:.99;letter-spacing:-.055em;font-weight:750}h2{font-size:62px;line-height:1.04;letter-spacing:-.04em;font-weight:700}h3{font-size:28px;letter-spacing:-.02em;line-height:1.14}p{font-size:25px;line-height:1.4}.muted{color:var(--muted)}.accent{color:var(--accent)}.orange{color:var(--orange)}.eyebrow{font-size:16px;font-weight:bold;text-transform:uppercase;letter-spacing:.13em;color:var(--muted);margin-bottom:14px}
.slide-content{flex:1;min-height:0}.footer{position:absolute;bottom:25px;left:72px;right:72px;border-top:1px solid var(--line);padding-top:13px;display:flex;justify-content:space-between;font-size:15px;color:var(--muted)}.footer strong{color:var(--ink)}.build-dots{display:flex;gap:7px}.build-dots i{width:7px;height:7px;border-radius:50%;background:#c9d1ca}.build-dots i.on{background:var(--accent)}
.title-layout{display:grid;grid-template-columns:1.2fr .8fr;gap:82px;height:100%;padding-bottom:110px;align-items:center}.title-copy h1{font-size:116px;line-height:.98}.title-copy .subtitle{font-size:29px;line-height:1.35;max-width:650px;margin-top:30px}.speaker{margin-top:55px}.speaker strong{font-size:30px;display:block}.speaker span{font-size:19px;display:block;margin-top:9px;color:var(--muted)}.portrait{width:100%;height:440px;object-fit:cover;object-position:50% 35%;border-radius:3px}.photo-caption{font-size:14px;color:var(--muted);margin-top:12px}.title-line{width:74px;height:6px;background:var(--orange);margin-bottom:30px}
.title-layout .portrait-block{height:auto}.title-repo{position:absolute;left:72px;bottom:82px;font:26px/1.25 Consolas,monospace}.title-repo span{display:block;font:18px Arial,Helvetica,sans-serif;color:var(--ink);margin-bottom:8px}
.bio-grid{display:grid;grid-template-columns:1.2fr .8fr;gap:82px;align-items:center;height:100%}.bio-name{margin-top:20px}.portrait-block{height:642px}.portrait-block .portrait{display:block}.bio-media .club-image{display:block;height:145px;margin-top:16px}.bio-media .club-caption{font-size:17px;margin:8px 0 0}.bio-list{list-style:none;padding:0;margin:35px 0 30px}.bio-list li{border-top:1px solid var(--line);padding:18px 0;font-size:25px;line-height:1.35}.bio-list small{display:block;font-size:20px;color:var(--muted);margin-top:6px}.club-image{width:100%;height:340px;object-fit:contain;mix-blend-mode:multiply}.club-caption{font-size:20px;margin:20px 0;text-align:center}.link-row{display:flex;gap:12px;flex-wrap:wrap;margin-top:22px}.link-row a{font-size:20px;padding:12px 16px;border:1px solid var(--line);border-radius:5px;text-decoration:none}.link-row a:hover{background:#e0e9e2}
.demo-layout{display:grid;grid-template-columns:1.03fr .97fr;gap:46px;margin-top:27px}.demo-code{background:#152e36;color:#ecf1e8;border-radius:9px;overflow:hidden;box-shadow:0 10px 25px #122b3410}.code-head{display:flex;justify-content:space-between;align-items:center;padding:13px 20px;background:#203d46;font:16px Consolas,monospace;color:#bdcec8}.code-head button{font-family:Arial,sans-serif;font-size:15px;background:#2e5356;color:#fff;border-color:#638582;padding:6px 13px}.demo-code pre{padding:24px 23px;margin:0;font:25px/1.5 Consolas,"Liberation Mono",monospace;tab-size:4;white-space:pre-wrap;overflow-wrap:normal}.demo-code.long pre{font-size:22px;line-height:1.45}.comment{color:#a6c0b5}.demo-actions{display:flex;gap:10px;margin-top:14px;flex-wrap:wrap}.demo-actions button,.demo-actions a{font-size:17px}.demo-actions a{display:inline-flex;align-items:center;padding:9px 2px}.launch{font:18px Consolas,monospace;display:block;margin-top:17px;color:var(--muted)}.demo-right{padding-top:5px}.thesis{font-size:28px;line-height:1.35;max-width:580px;margin-bottom:23px}
.fact{border-top:1px solid var(--line);padding:14px 0;display:flex;align-items:baseline;gap:18px}.fact b{font-size:18px;color:var(--accent);min-width:65px}.fact span{font-size:22px;line-height:1.32}.result{background:#e2ebe2;border-left:5px solid var(--accent);padding:19px 22px;margin-top:22px}.result strong{font:30px/1.3 Consolas,monospace}.result small{font-size:17px;display:block;margin-top:10px;color:var(--muted)}.watch{margin-top:20px;font-size:19px;line-height:1.45;color:var(--muted)}.watch strong{color:var(--ink)}.demo-tabs{display:flex;gap:8px;margin-top:17px}.demo-tabs button{font-size:16px}.demo-tabs button.active{background:var(--accent);color:white}
[data-reveal]{transition:opacity .25s,transform .25s}[data-reveal].unrevealed{opacity:.12;transform:translateY(5px)}.state-card{border:1px solid var(--line);padding:20px;border-radius:7px;margin-top:20px;background:#ffffff50}.state-card .state{display:none}.state-card .state.active{display:block}.formula{font:34px/1.5 Consolas,monospace}.formula small{font-size:19px;display:block;color:var(--muted)}.svg-graph{width:100%;height:235px;overflow:visible}.svg-graph text{font-family:Consolas,monospace;fill:var(--ink);font-size:20px}.svg-graph .node{fill:#e9efea;stroke:var(--accent);stroke-width:2}.svg-graph .phi{fill:#eee7f5;stroke:var(--purple)}.svg-graph .ctrl{fill:#faedce;stroke:#b88228}.svg-graph .edge{fill:none;stroke:#587075;stroke-width:2}.svg-graph .memory-edge{stroke:var(--blue);stroke-width:3}.graph-caption{font-size:15px;color:var(--muted);text-align:center}
.pipeline{display:grid;grid-template-columns:repeat(3,1fr);gap:22px;margin-top:44px}.pipeline-card{position:relative;border:1px solid var(--line);padding:27px 26px;min-height:380px;background:#ffffff50;border-radius:8px}.pipeline-card .number{font:56px/1 Consolas,monospace;color:var(--accent);margin-bottom:24px}.pipeline-card h3{margin-bottom:18px}.pipeline-card p{font-size:23px}.pipeline-card code{display:block;border-top:1px solid var(--line);margin-top:25px;padding-top:20px;font:21px/1.7 Consolas,monospace;color:var(--blue)}.lower-line{display:flex;justify-content:space-between;align-items:center;margin-top:30px}.chips{display:flex;gap:12px}.chips span{font-size:20px;border:1px solid var(--line);padding:9px 17px;border-radius:30px}
.two-up{display:grid;grid-template-columns:1fr 1fr;gap:36px;margin-top:38px}.panel{background:#ffffff60;border:1px solid var(--line);border-radius:8px;padding:29px;min-height:400px}.panel .eyebrow{color:var(--accent)}.panel pre{font:23px/1.5 Consolas,monospace;white-space:pre-wrap;margin:28px 0}.panel p{font-size:24px}.cycle{display:flex;align-items:center;justify-content:center;gap:16px;margin:26px 0;font:22px Consolas,monospace}.cycle span{padding:15px;background:#e1eae2;border:1px solid var(--line);border-radius:6px}.cycle b{color:var(--orange)}.statement{font-size:30px;line-height:1.4;margin-top:32px}
.sccp-table{width:100%;border-collapse:collapse;margin-top:24px;font-size:24px}.sccp-table th,.sccp-table td{text-align:left;padding:16px;border-bottom:1px solid var(--line)}.sccp-table th{font-size:17px;text-transform:uppercase;color:var(--muted);letter-spacing:.08em}.sccp-table td:not(:first-child){font-family:Consolas,monospace}.sccp-table tr:last-child td{color:var(--accent);font-weight:bold}.sccp-warning{font-size:21px;margin-top:28px;line-height:1.4}.takeaway-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:32px;margin:45px 0}.takeaway-grid div{border-top:4px solid var(--accent);padding-top:23px}.takeaway-grid h3{font-size:33px;margin-bottom:15px}.takeaway-grid p{font-size:25px}.repo-link{font:27px Consolas,monospace}.optional-link{font-size:19px;margin-top:23px;display:block}.module-diagram{display:flex;gap:25px;align-items:center;justify-content:center;margin:38px 0}.module-diagram div{padding:25px;border:1px solid var(--line);border-radius:7px;background:#fff8;font-size:25px;line-height:1.5}.module-diagram b{font-size:35px;color:var(--orange)}
#controls{position:fixed;bottom:0;height:54px;left:0;right:0;display:flex;gap:7px;justify-content:center;align-items:center;background:#f5f3eced;border-top:1px solid var(--line);z-index:5}#controls button{font-size:13px;padding:6px 11px}#position{font:13px Consolas,monospace;min-width:82px;text-align:center}.control-divider{height:20px;border-left:1px solid var(--line);margin:0 6px}#notes{position:fixed;z-index:8;right:20px;bottom:70px;width:min(650px,90vw);max-height:70vh;overflow:auto;padding:24px;background:#fffdf7;border:1px solid var(--line);box-shadow:0 15px 70px #102d3540;border-radius:10px;font-size:18px;line-height:1.5}#notes p,#notes li{font-size:18px;line-height:1.5}#notes ol{padding-left:24px}#notes li{margin:12px 0}.notes-toolbar{display:flex;gap:10px;align-items:center}.notes-toolbar strong{flex:1}.notes-toolbar button{font-size:13px}#pace{margin:16px 0;padding:10px;background:#e2ebe2;font:16px Consolas,monospace}#pace.over{background:#ffe5d6}#notes-content h3{font-size:23px;margin-bottom:15px}
dialog{border:1px solid var(--line);border-radius:12px;background:var(--paper);color:var(--ink);max-width:min(1150px,95vw);max-height:90vh;width:950px;padding:34px}dialog::backdrop{background:#0b202dcc;backdrop-filter:blur(5px)}.dialog-close{float:right;font-size:26px;padding:1px 10px}dialog h2{font-size:34px;margin:5px 0 20px}dialog p{font-size:19px;line-height:1.5;margin:12px 0}dialog .overview-grid{display:grid;grid-template-columns:repeat(2,1fr);gap:10px}dialog .overview-grid button{text-align:left;padding:16px;line-height:1.5}dialog .overview-grid small{display:block;color:var(--muted)}dialog img{max-width:100%;max-height:68vh;display:block;margin:auto;object-fit:contain}dialog textarea{width:100%;height:250px;font:18px/1.5 Consolas,monospace;padding:15px}.keys{display:grid;grid-template-columns:130px 1fr;gap:13px;font-size:18px}kbd{font-family:Consolas,monospace;background:#e2e7df;padding:3px 7px;border-radius:4px}#toast{position:fixed;left:50%;bottom:73px;transform:translateX(-50%);padding:12px 22px;border-radius:8px;background:#172e35;color:white;z-index:30;opacity:0;pointer-events:none;transition:opacity .15s}#toast.show{opacity:1}#blackout{position:fixed;inset:0;background:#000;z-index:50}
body.presenter #viewport{right:390px}body.presenter #notes{display:block;top:15px;right:15px;bottom:69px;width:360px;max-height:none;box-shadow:none;padding:20px}body.presenter .notes-toolbar{flex-wrap:wrap}body.presenter .notes-toolbar strong{flex-basis:100%}body.presenter #controls{right:390px}body.presenter #notes-toggle,body.presenter #presenter,body.presenter #fullscreen{display:none}body.presenter #notes p,body.presenter #notes li{font-size:16px}body.presenter #notes-content h3{font-size:21px}
#slide[data-id="title"] .kicker .tag{visibility:hidden}
.view-tabs{display:flex;gap:5px;letter-spacing:0;text-transform:none}.view-tabs button{font-size:16px;padding:8px 12px}.view-tabs button[aria-pressed="true"]{background:var(--accent);border-color:var(--accent);color:white}
.lattice-page h2{font-size:55px}.lattice-subtitle{font-size:23px;color:var(--muted);margin-top:16px}.lattice-layout{display:grid;grid-template-columns:900px 1fr;gap:30px;margin-top:24px;align-items:start}.lattice-layout figure{margin:0}.lattice-svg{display:block;width:900px;height:500px}.lattice-svg text{font:25px Arial,Helvetica,sans-serif;fill:var(--ink)}.lattice-svg .hint{font-size:21px;fill:var(--muted)}.lattice-svg .domain-name{font-size:21px;font-weight:bold}.lattice-svg .ellipsis{font-size:32px;fill:var(--muted)}.lat-edge{stroke:#7d9090;stroke-width:2;fill:none}.lat-node{stroke-width:1.7;fill:#e5edf1;stroke:var(--blue)}.lat-node.control{fill:#faedce;stroke:#b88228}.lat-node.tuple{fill:#f4e2eb;stroke:#99617f}.lat-node.pointer{fill:#cce4d6;stroke:#267654}.lat-node.struct{fill:#e2edd7;stroke:#648539}.lat-node.memory{fill:#dbe8f4;stroke:#24648a}.lat-node.function{fill:#e9e1f2;stroke:#715694}.lat-node.global{fill:var(--ink);stroke:var(--ink)}.lat-node.global+text{fill:white}.lat-node.chosen{fill:#f9e3d6;stroke:var(--orange);stroke-width:3}.lat-elided{fill:var(--paper);stroke:var(--line);stroke-dasharray:4 4}.lat-solve{stroke:var(--orange);stroke-width:4;fill:none;stroke-dasharray:9 5}.lattice-svg .solve-label{font-size:22px;fill:var(--orange)}.lattice-layout figcaption{font-size:18px;line-height:1.35;color:var(--muted);margin:12px 0 0;text-align:center}.lattice-point{border-top:2px solid var(--line);padding:17px 0}.lattice-point h3{font-size:25px;line-height:1.15;margin-bottom:12px}.lattice-point p{font-size:22px;line-height:1.35}.lattice-point code{font:19px/1.5 Consolas,monospace}.lattice-legend{font-size:19px;color:var(--muted);margin-top:21px}
#slide[data-id="control"] .svg-graph{height:190px}
.demo-code.long pre{font-size:24px;line-height:1.4}
.pending-link{display:inline-flex;align-items:center;font-size:18px;color:var(--muted);padding:12px 0}
@media(prefers-reduced-motion:reduce){*,*::before,*::after{animation:none!important;transition:none!important}.unrevealed{transform:none!important}}
@media(max-width:650px){#controls{gap:3px}#controls button{padding:6px 8px}#presenter{display:none}.control-divider{margin:0 2px}.keys{grid-template-columns:95px 1fr}dialog{padding:24px}dialog .overview-grid{grid-template-columns:1fr}}
@media print{body{background:white}#viewport{position:static;overflow:visible}.slide{position:relative;left:auto;top:auto;transform:none;width:100%;height:auto;min-height:95vh;box-shadow:none;break-after:page}.slide:not(.still) .slide-content{animation:none}#controls,#notes,#toast,dialog,#blackout{display:none!important}[data-reveal].unrevealed{opacity:1;transform:none}.state-card .state:last-child{display:block}.state-card .state:not(:last-child){display:none}@page{size:landscape;margin:10mm}}
.result math{font-size:30px;math-style:normal;text-align:left;margin:0}
#slide[data-id="control"] .result{padding:12px 22px;margin-top:14px}
.memory-partition{margin:0 0 16px}.memory-partition svg{display:block;width:100%;height:auto}.memory-partition text{font:25px Consolas,monospace;fill:var(--ink)}.memory-partition .partition-title{font:bold 24px Arial,sans-serif}.memory-partition .partition-detail{font:17px Arial,sans-serif;fill:var(--muted)}.alias-x{fill:#d9e9dd}.alias-y{fill:#e8e0f1;transition:fill .25s}.alias-y.touched{fill:#f4cba9}.alias-rest{fill:#dfe8ef}.partition-outline{fill:none;stroke:#6b8285;stroke-width:2}.memory-partition figcaption{font-size:20px;line-height:1.35;color:var(--muted);text-align:center;margin-top:5px}
.research-note{font-size:17px;line-height:1.4;margin-top:16px;padding-top:10px;border-top:1px solid var(--line);color:var(--muted)}
|
