Skip to content

Commit 4524368

Browse files
gldubcgldubc
committed
Simplify ElixirConf resources page
1 parent 91ad97b commit 4524368

2 files changed

Lines changed: 83 additions & 210 deletions

File tree

‎elixirconf-2026/index.html‎

Lines changed: 37 additions & 111 deletions
Original file line numberDiff line numberDiff line change
@@ -21,21 +21,26 @@
2121
</nav>
2222

2323
<main class="about-container conference-container">
24-
<div class="announcement-badge">ElixirConf 2026</div>
25-
2624
<header class="conference-header">
2725
<div class="conference-copy">
26+
<p class="conference-kicker">ElixirConf 2026</p>
2827
<h1>Guard Analysis Test Files</h1>
28+
2929
<p class="conference-summary">
30-
Version-pinned <code>.exs</code> files from <em>From Guards to Types</em>,
31-
including a self-contained helper for the <code>1.20.0-rc.4</code> snapshot.
30+
These are the <code>.exs</code> files I shared after <em>From Guards to Types</em>.
31+
The bundle includes the <code>1.19.5</code> baseline and the
32+
<code>1.20.0-rc.4</code> snapshot used in the talk.
33+
</p>
34+
35+
<p class="conference-summary">
36+
The newer files are self-contained, so they do not need a full Elixir checkout.
3237
</p>
3338

3439
<nav class="social-links conference-links">
35-
<a href="./downloads/elixirconf-2026-guard-analysis-tests.zip">download zip</a>
36-
<a href="./README.md">readme</a>
37-
<a href="https://github.com/gldubc/gldubc.github.io/tree/main/elixirconf-2026" target="_blank" rel="noreferrer">github files</a>
38-
<a href="https://github.com/gldubc" target="_blank" rel="noreferrer">github profile</a>
40+
<a href="./downloads/elixirconf-2026-guard-analysis-tests.zip">zip</a>
41+
<a href="https://github.com/gldubc/gldubc.github.io/tree/main/elixirconf-2026" target="_blank" rel="noreferrer">github</a>
42+
<a href="../">home</a>
43+
<a href="../#about">about</a>
3944
</nav>
4045
</div>
4146

@@ -45,140 +50,61 @@ <h1>Guard Analysis Test Files</h1>
4550
</aside>
4651
</header>
4752

48-
<section class="defense-info conference-info">
49-
<div class="info-block">
50-
<span class="info-label">Talk</span>
51-
<span class="info-value">From Guards to Types</span>
52-
</div>
53-
<div class="info-block">
54-
<span class="info-label">Versions</span>
55-
<span class="info-value">Elixir 1.19.5 and 1.20.0-rc.4</span>
56-
</div>
57-
<div class="info-block">
58-
<span class="info-label">Format</span>
59-
<span class="info-value">Readable on GitHub, downloadable as a zip, runnable locally</span>
60-
</div>
61-
</section>
62-
6353
<section class="cv-section">
64-
<h3>Bundle</h3>
65-
<div class="projects-grid">
66-
<a href="./downloads/elixirconf-2026-guard-analysis-tests.zip" class="project-card">
67-
<span class="project-title">Full bundle (.zip)</span>
68-
<p class="project-desc">All shared files in one folder, with pinned names and the vendored 1.20 helper.</p>
69-
</a>
70-
<a href="./README.md" class="project-card">
71-
<span class="project-title">README</span>
72-
<p class="project-desc">Short notes on file contents, version mapping, and the exact run commands.</p>
73-
</a>
74-
<a href="https://github.com/gldubc/gldubc.github.io/tree/main/elixirconf-2026" target="_blank" rel="noreferrer" class="project-card">
75-
<span class="project-title">GitHub tree</span>
76-
<p class="project-desc">Browse the same files online with syntax highlighting and stable links.</p>
77-
</a>
78-
</div>
79-
</section>
80-
81-
<section class="cv-section">
82-
<h3>Shared Files</h3>
83-
<div class="entries files-list">
54+
<h3>Files</h3>
55+
<div class="entries conference-files">
8456
<article class="entry">
8557
<span class="entry-year">1.19.5</span>
8658
<div class="entry-content">
87-
<span class="entry-title">Negation examples</span>
88-
<p class="entry-authors">Baseline assertions for the older compiler behaviour.</p>
89-
<div class="entry-links">
90-
<a href="./downloads/guard_negation_examples_elixir_1.19.5.exs">download</a>
91-
<a href="https://github.com/gldubc/gldubc.github.io/blob/main/elixirconf-2026/downloads/guard_negation_examples_elixir_1.19.5.exs" target="_blank" rel="noreferrer">view on github</a>
92-
</div>
59+
<a href="./downloads/guard_negation_examples_elixir_1.19.5.exs" class="entry-title">
60+
Negation examples
61+
</a>
62+
<span class="entry-venue">Older compiler baseline.</span>
9363
</div>
9464
</article>
9565

9666
<article class="entry">
9767
<span class="entry-year">1.19.5</span>
9868
<div class="entry-content">
99-
<span class="entry-title">Refinement examples</span>
100-
<p class="entry-authors">Baseline assertions for precision, residual clauses, and diagnostics.</p>
101-
<div class="entry-links">
102-
<a href="./downloads/guard_refinement_examples_elixir_1.19.5.exs">download</a>
103-
<a href="https://github.com/gldubc/gldubc.github.io/blob/main/elixirconf-2026/downloads/guard_refinement_examples_elixir_1.19.5.exs" target="_blank" rel="noreferrer">view on github</a>
104-
</div>
69+
<a href="./downloads/guard_refinement_examples_elixir_1.19.5.exs" class="entry-title">
70+
Refinement examples
71+
</a>
72+
<span class="entry-venue">Older compiler baseline.</span>
10573
</div>
10674
</article>
10775

10876
<article class="entry">
10977
<span class="entry-year">1.20 rc4</span>
11078
<div class="entry-content">
111-
<span class="entry-title">Negation examples</span>
112-
<p class="entry-authors">Self-contained talk snapshot for the newer guard-negation results.</p>
113-
<div class="entry-links">
114-
<a href="./downloads/guard_negation_examples_elixir_1.20.0_rc4.exs">download</a>
115-
<a href="https://github.com/gldubc/gldubc.github.io/blob/main/elixirconf-2026/downloads/guard_negation_examples_elixir_1.20.0_rc4.exs" target="_blank" rel="noreferrer">view on github</a>
116-
</div>
79+
<a href="./downloads/guard_negation_examples_elixir_1.20.0_rc4.exs" class="entry-title">
80+
Negation examples
81+
</a>
82+
<span class="entry-venue">Self-contained talk snapshot.</span>
11783
</div>
11884
</article>
11985

12086
<article class="entry">
12187
<span class="entry-year">1.20 rc4</span>
12288
<div class="entry-content">
123-
<span class="entry-title">Refinement examples</span>
124-
<p class="entry-authors">Self-contained talk snapshot for the newer refinement and warning results.</p>
125-
<div class="entry-links">
126-
<a href="./downloads/guard_refinement_examples_elixir_1.20.0_rc4.exs">download</a>
127-
<a href="https://github.com/gldubc/gldubc.github.io/blob/main/elixirconf-2026/downloads/guard_refinement_examples_elixir_1.20.0_rc4.exs" target="_blank" rel="noreferrer">view on github</a>
128-
</div>
129-
</div>
130-
</article>
131-
132-
<article class="entry">
133-
<span class="entry-year">helper</span>
134-
<div class="entry-content">
135-
<span class="entry-title">Vendored 1.20 helper</span>
136-
<p class="entry-authors">Adapted from Elixir test code so the newer scripts run without a full checkout.</p>
137-
<div class="entry-links">
138-
<a href="./downloads/type_helper_elixir_1.20.0_rc4.exs">download</a>
139-
<a href="https://github.com/gldubc/gldubc.github.io/blob/main/elixirconf-2026/downloads/type_helper_elixir_1.20.0_rc4.exs" target="_blank" rel="noreferrer">view on github</a>
140-
</div>
89+
<a href="./downloads/guard_refinement_examples_elixir_1.20.0_rc4.exs" class="entry-title">
90+
Refinement examples
91+
</a>
92+
<span class="entry-venue">Self-contained talk snapshot.</span>
14193
</div>
14294
</article>
14395
</div>
14496
</section>
14597

14698
<section class="cv-section">
147-
<h3>Run Notes</h3>
148-
<div class="run-notes">
149-
<article class="run-card">
150-
<span class="run-label">Elixir 1.19.5</span>
151-
<pre><code>elixir guard_negation_examples_elixir_1.19.5.exs
99+
<h3>Run</h3>
100+
<div class="conference-code">
101+
<p class="conference-code-label">Elixir 1.19.5</p>
102+
<pre><code>elixir guard_negation_examples_elixir_1.19.5.exs
152103
elixir guard_refinement_examples_elixir_1.19.5.exs</code></pre>
153-
</article>
154104

155-
<article class="run-card">
156-
<span class="run-label">Elixir 1.20.0-rc.4</span>
157-
<pre><code>/path/to/elixir-1.20.0-rc.4/bin/elixir guard_negation_examples_elixir_1.20.0_rc4.exs
105+
<p class="conference-code-label">Elixir 1.20.0-rc.4</p>
106+
<pre><code>/path/to/elixir-1.20.0-rc.4/bin/elixir guard_negation_examples_elixir_1.20.0_rc4.exs
158107
/path/to/elixir-1.20.0-rc.4/bin/elixir guard_refinement_examples_elixir_1.20.0_rc4.exs</code></pre>
159-
</article>
160-
</div>
161-
</section>
162-
163-
<section class="cv-section">
164-
<h3>Elsewhere On This Site</h3>
165-
<div class="projects-grid">
166-
<a href="../" class="project-card">
167-
<span class="project-title">Home</span>
168-
<p class="project-desc">Back to the main page.</p>
169-
</a>
170-
<a href="../#thesis" class="project-card">
171-
<span class="project-title">Thesis</span>
172-
<p class="project-desc">Defense page, jury, and manuscript link.</p>
173-
</a>
174-
<a href="../#about" class="project-card">
175-
<span class="project-title">About / talks / papers</span>
176-
<p class="project-desc">Publications, talks, and the rest of the profile page.</p>
177-
</a>
178-
<a href="../assets/duboc-phd-thesis-typing-elixir.pdf" class="project-card">
179-
<span class="project-title">Thesis PDF</span>
180-
<p class="project-desc">Direct link to the manuscript hosted on the site.</p>
181-
</a>
182108
</div>
183109
</section>
184110
</main>

0 commit comments

Comments
 (0)