talk: Wasm Research Day 2026 — "Change the Tires, Not the Car" - #150

Merged

avrabe merged 57 commits into

mainfrom

talk/wasm-research-day-2026

Aug 6, 2026

Commits on Aug 4, 2026

talk: Wasm Research Day 2026 deck, presentable from a tablet

avrabe
and
claude
committed
25ae5d0
talk: fix the overview, add the code, and calibrate to the published slot

avrabe
and
claude
committed
1d6a24f
talk: fix the type scale — it was sized like a web page, not a slide

avrabe
and
claude
committed
cba69de
talk: presentation-sized type, and slide 5 runs the real dissolve

avrabe
and
claude
committed
4697d0f
talk: slide 5 shows the whole chain — wac and meld included — on the OS itself

avrabe
and
claude
committed
fc850a5
talk: the cost slide now carries the measured response, not just the cost

avrabe
and
claude
committed
ffabdb7
talk: scale the type to slide HEIGHT, so no slide overruns at any aspect

avrabe
and
claude
committed
9bbc00b
talk: add synth's architecture — where the evidence enters the pipeline

avrabe
and
claude
committed
98ba9b5
talk: all three architectures, readable top-to-bottom, one tab each

avrabe
and
claude
committed
e972fa1
talk: show the wsc.facts bytes, and explain what "faster" actually means

avrabe
and
claude
committed
48aa0a4
talk: split the dense slides, and stop hiding the controls

avrabe
and
claude
committed
5d5bdc6
talk: the fonts were never loading — and a single-file export that needs no server

avrabe
and
claude
committed
4e9c386
talk: eight factual corrections from an adversarial persona review

avrabe
and
claude
committed
f24ee4c
talk: state the premise — the code is AI-authored, and that is why the gates exist

avrabe
and
claude
committed
2859293
talk: the drone is the north star — move it to the close

avrabe
and
claude
committed
28a9156
talk: execute the review proposal — and land the sharper version of the LLVM point

avrabe
and
claude
committed
09712dd
talk: cut the drone slide

avrabe
and
claude
committed
0410e00
talk: declare the bias on the title slide, where the metaphor actually lands

avrabe
and
claude
committed
1eaea24
talk: five corrections from clean-room verification — four of them my errors

avrabe
and
claude
committed
d741578
talk: slide 3 was a strawman of a system that ships in billions of units

avrabe
and
claude
committed
c8791d6
talk: slide-by-slide audit — six slides could not stand on their own

avrabe
and
claude
committed
3cc9063
talk: cut the prior-art slide

avrabe
and
claude
committed
1b66202
talk: unify the four architectures onto one spine, and add scry

avrabe
and
claude
committed
da619da
talk: say what each tool DOES, in plain words, when its tab is selected

avrabe
and
claude
committed
d0938ce
talk: restore the inversion — I deleted the proposal while strengthening the incumbent

avrabe
and
claude
committed
96c6096
talk: slide 5 named tools the audience meets eleven slides later

avrabe
and
claude
committed
354195c
talk: fix "composewac" — the sub-label rule never compiled

avrabe
and
claude
committed
a87c03c
talk: lead on the 8 KB part — every decision answers to one number

avrabe
and
claude
committed
c0938d4
talk: the 8 KB part is the emergency motor controller, not the smallest board we had

avrabe
and
claude
committed
79070cf
talk: the failsafe property is a typed artifact, not a sentence on a slide

avrabe
and
claude
committed
f992b0e
talk: name the stack bound as a gap — 2048 of 8192 bytes reserved on our word

avrabe
and
claude
committed
6e7b0b3
talk: restore the LLVM point — my slide split had silently deleted it

avrabe
and
claude
committed
40d6c73

Commits on Aug 5, 2026

talk: syntax highlighting for source blocks, and restore the DMA seam

avrabe
and
claude
committed
b2d32f3
talk: say where loom's facts come from — the slide claimed a proof with no source

avrabe
and
claude
committed
5ed02d0
talk: connect the fact channel to the abstract-interpretation work presented today

avrabe
and
claude
committed
7020578
talk: correct my own RFC-46 answer — we DO implement it, for the sync subset

avrabe
and
claude
committed
5bfd97c
talk: tag every slide with what it is about — one thing, or a set

avrabe
and
claude
committed
d94dd4f
talk: cut the four process slides — wrong venue

avrabe
and
claude
committed
94b6105
talk: give the deck a measurable ask, and keep the cut slides as backup

avrabe
and
claude
committed
d390b9b
talk: cut the unnamed-credit slide — half-crediting is worse than either option

avrabe
and
claude
committed
5ff1b85
talk: name the technique on the scry tab — this room knows what it means

avrabe
and
claude
committed
d3ba012
talk: the closing slide gives rather than asks — five minutes is no time to transact

avrabe
and
claude
committed
2b36007
talk: promise up front what the close delivers

avrabe
and
claude
committed
53c299b
talk: put the speaker on it

avrabe
and
claude
committed
20d97cd
talk: "say" -> "explain" on the promise slide

avrabe
and
claude
committed
55c642b
talk: establish the drone on slide 8, and make 43/45 mean what it measures

avrabe
and
claude
committed
dead194
talk: speaker notes — every number, what it measures, what it does not mean

avrabe
and
claude
committed
1b91b66
talk: name what synth actually eats, key the colour code, show the failure's shape

avrabe
and
claude
committed
fe800a2

Commits on Aug 6, 2026

talk: state the inversion as a claim, name the exact parts, and end on an outlook

avrabe
and
claude
committed
d1e1147
talk: merge the watchdog pair, drop an unexplained acronym, name software-defined

avrabe
and
claude
committed
77c1ec9
talk: the backup slide's heading was a sentence fragment from the merge

avrabe
and
claude
committed
dfa15eb
fix(talk): a BOM in main.css silently killed the dark palette in the bundle

avrabe
and
claude
committed
a98a144
talk: point the DMA slide at the general shared-memory direction

avrabe
and
claude
committed
e25e465
talk: name the question slide 12 answers, and both references

avrabe
and
claude
committed
8c09a14
talk: let the outlook run the full slide width, and unstuff slide 12

avrabe
and
claude
committed
7e87c6f
Merge remote-tracking branch 'origin/main' into talk/wasm-research-day-2026
avrabe
committed
81c5633
site: merge talks + preprints into Publications, and publish the delivered deck

avrabe
and
claude
committed
1a430e8