Skip to content

docs(website): blog post -- a WASM interpreter ran on the board #1624

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
gHashTag merged 1 commit into from
Oct 12, 2026
Merged

docs(website): blog post -- a WASM interpreter ran on the board #1624

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 4 additions & 3 deletions apps/website/public/term/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@
<meta property="og:title" content="Recordings · Trinity S³AI">
<meta property="og:description" content="Terminal sessions recorded from real commands: the output is what the commands printed.">
<meta property="og:url" content="https://t27.ai/term/">
<meta property="og:image" content="https://t27.ai/term/t27b-release-verify/card.png">
<meta property="og:image" content="https://t27.ai/term/wasm-board-ax7203/card.png">
<meta name="twitter:card" content="summary_large_image">
<meta name="twitter:image" content="https://t27.ai/term/t27b-release-verify/card.png">
<meta name="twitter:image" content="https://t27.ai/term/wasm-board-ax7203/card.png">
<style>@font-face{font-family:Outfit;src:url(../fonts/outfit-latin.woff2) format('woff2');font-weight:100 900;font-display:swap}
*{box-sizing:border-box}html,body{margin:0;background:#000;color:#ebebeb}
body{font:16px/1.6 Outfit,system-ui,sans-serif;background-image:linear-gradient(rgba(255,255,255,.025) 1px,transparent 1px),linear-gradient(90deg,rgba(255,255,255,.025) 1px,transparent 1px);background-size:40px 40px}
Expand Down Expand Up @@ -44,8 +44,9 @@
<main>
<div class="top"><a class="brand" href="../"><img src="../favicon.svg" alt="">Trinity S³AI</a></div>
<h1>Recordings</h1>
<p class="lede">Terminal sessions recorded from real commands: the output is what the commands printed. 108 so far.</p>
<p class="lede">Terminal sessions recorded from real commands: the output is what the commands printed. 119 so far.</p>
<div class="grid">
<a href="wasm-board-ax7203/"><img src="wasm-board-ax7203/card.png" alt="" loading="lazy"><div><b>WASM on the AX7203: flash, self-test, 134/134 exact</b><small>2026-10-12 04:14 UTC · 32.5 s real</small></div></a>
<a href="hot-check/"><img src="hot-check/card.png" alt="" loading="lazy"><div><b>tri hot: the hot paths against their budgets</b><small>2026-10-11 06:55 UTC · 3.6 s real</small></div></a>
<a href="hot-caches/"><img src="hot-caches/card.png" alt="" loading="lazy"><div><b>tri hot caches: every cache against its eviction limit</b><small>2026-10-11 06:55 UTC · 1.4 s real</small></div></a>
<a href="hot-frontier-before/"><img src="hot-frontier-before/card.png" alt="" loading="lazy"><div><b>Before: frontier with no gen-hash cache, one spec at a time</b><small>2026-10-11 06:55 UTC · 19.2 s real</small></div></a>
Expand Down
Binary file added apps/website/public/term/wasm-board-ax7203/card.png
View file
Open in desktop
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
98 changes: 98 additions & 0 deletions apps/website/public/term/wasm-board-ax7203/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,98 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width,initial-scale=1">
<title>WASM on the AX7203: flash, self-test, 134/134 exact · Trinity S³AI</title>
<meta name="description" content="The t27-generated WASM interpreter on an ALINX AX7203 (xc7a200t), bitstream from the openXC7 flow, spec at trinity-fpga 4655702ed: openFPGALoader flashes over the onboard FT232H, the model-board self-test shows every conformance check able to fail, and one run answers all 134 requests exactly over UART.">
<link rel="canonical" href="https://t27.ai/term/wasm-board-ax7203/">
<link rel="icon" href="../../favicon.svg" type="image/svg+xml">
<meta property="og:type" content="article">
<meta property="og:site_name" content="Trinity S³AI">
<meta property="og:title" content="WASM on the AX7203: flash, self-test, 134/134 exact">
<meta property="og:description" content="The t27-generated WASM interpreter on an ALINX AX7203 (xc7a200t), bitstream from the openXC7 flow, spec at trinity-fpga 4655702ed: openFPGALoader flashes over the onboard FT232H, the model-board self-test shows every conformance check able to fail, and one run answers all 134 requests exactly over UART.">
<meta property="og:url" content="https://t27.ai/term/wasm-board-ax7203/">
<meta property="og:image" content="https://t27.ai/term/wasm-board-ax7203/card.png">
<meta property="og:image:width" content="1200">
<meta property="og:image:height" content="630">
<meta property="og:image:alt" content="WASM on the AX7203: flash, self-test, 134/134 exact: the terminal session it shows">
<meta name="twitter:card" content="summary_large_image">
<meta name="twitter:title" content="WASM on the AX7203: flash, self-test, 134/134 exact">
<meta name="twitter:description" content="The t27-generated WASM interpreter on an ALINX AX7203 (xc7a200t), bitstream from the openXC7 flow, spec at trinity-fpga 4655702ed: openFPGALoader flashes over the onboard FT232H, the model-board self-test shows every conformance check able to fail, and one run answers all 134 requests exactly over UART.">
<meta name="twitter:image" content="https://t27.ai/term/wasm-board-ax7203/card.png">
<meta name="twitter:image:alt" content="WASM on the AX7203: flash, self-test, 134/134 exact: the terminal session it shows">
<style>@font-face{font-family:Outfit;src:url(../../fonts/outfit-latin.woff2) format('woff2');font-weight:100 900;font-display:swap}
*{box-sizing:border-box}html,body{margin:0;background:#000;color:#ebebeb}
body{font:16px/1.6 Outfit,system-ui,sans-serif;background-image:linear-gradient(rgba(255,255,255,.025) 1px,transparent 1px),linear-gradient(90deg,rgba(255,255,255,.025) 1px,transparent 1px);background-size:40px 40px}
main{max-width:980px;margin:0 auto;padding:28px 20px 64px}
a{color:#00ff88}a:hover{color:#fff}
.brand{display:flex;align-items:center;gap:10px;color:#fff;text-decoration:none;font-weight:700;font-size:20px}
.brand img{width:30px;height:30px}
.top{display:flex;justify-content:space-between;align-items:center;margin-bottom:28px}
.top .all{color:#888;font-size:14px;text-decoration:none}.top .all:hover{color:#00ff88}
h1{font-size:clamp(26px,4.4vw,42px);line-height:1.15;margin:0 0 10px;color:#fff}
.lede{color:#888;margin:0 0 22px;font-size:18px}
.facts{display:flex;flex-wrap:wrap;gap:8px;margin:18px 0}
.facts span{border:1px solid rgba(255,255,255,.08);border-radius:999px;padding:3px 12px;font-size:13px;color:#bbb}
.facts b{color:#ffd700;font-weight:600}
.cmds{font:13px/1.5 'JetBrains Mono',Menlo,monospace;background:#0a0a0a;border:1px solid rgba(255,255,255,.08);border-radius:10px;padding:12px 16px;margin:18px 0;white-space:pre-wrap;overflow-wrap:anywhere}
.cmds i{color:#ffd700;font-style:normal}
.honest{color:#888;font-size:14px;border-left:2px solid #00ff88;padding-left:12px}
.links{display:flex;flex-wrap:wrap;gap:10px;margin-top:22px}
.links a{border:1px solid rgba(255,255,255,.16);border-radius:8px;padding:6px 14px;text-decoration:none;font-size:14px}
.links a.x{background:#00ff88;color:#000;border-color:#00ff88;font-weight:600}
.grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(280px,1fr));gap:18px}
.grid a{display:block;border:1px solid rgba(255,255,255,.08);border-radius:12px;overflow:hidden;text-decoration:none;color:#ebebeb;background:#050505}
.grid a:hover{border-color:#00ff88}.grid img{width:100%;display:block;aspect-ratio:1200/630}
.grid div{padding:10px 14px}.grid b{display:block;color:#fff}.grid small{color:#888}</style>
</head>
<body>
<main>
<div class="top"><a class="brand" href="../../"><img src="../../favicon.svg" alt="">Trinity S³AI</a><a class="all" href="../">All recordings →</a></div>
<h1>WASM on the AX7203: flash, self-test, 134/134 exact</h1>
<p class="lede">The t27-generated WASM interpreter on an ALINX AX7203 (xc7a200t), bitstream from the openXC7 flow, spec at trinity-fpga 4655702ed: openFPGALoader flashes over the onboard FT232H, the model-board self-test shows every conformance check able to fail, and one run answers all 134 requests exactly over UART.</p>
<div id="player"><noscript><figure style='margin:0 0 1.6em;border:1px solid rgba(255,255,255,.08);border-radius:12px;overflow:hidden;background:#000'><div style='padding:8px 12px;background:#0a0a0a;color:#888;font:12px system-ui;text-align:center;border-bottom:1px solid rgba(255,255,255,.08)'>WASM on the AX7203: flash, self-test, 134/134 exact</div><pre style='margin:0;padding:14px 16px;color:#ebebeb;background:#000;font:12px/1.25 Menlo,monospace;overflow-x:auto'><span style='color:#ebebeb'> [ok ] pinned xmul_not 2/2 </span>
<span style='color:#ebebeb'> [ok ] pinned sub_and_or 2/2 </span>
<span style='color:#ebebeb'> [ok ] pinned shl_sar 2/2 </span>
<span style='color:#ebebeb'> [ok ] pinned eq 2/2 </span>
<span style='color:#ebebeb'> [ok ] pinned ne 2/2 </span>
<span style='color:#ebebeb'> [ok ] pinned le_s 2/2 </span>
<span style='color:#ebebeb'> [ok ] pinned ge_s 2/2 </span>
<span style='color:#ebebeb'> [ok ] pinned eqz 2/2 </span>
<span style='color:#ebebeb'> [ok ] pinned gt_s 2/2 </span>
<span style='color:#ebebeb'> [ok ] pinned set_get 2/2 </span>
<span style='color:#ebebeb'> [ok ] pinned tee_dup 2/2 </span>
<span style='color:#ebebeb'> [ok ] random add_double 8/8 </span>
<span style='color:#ebebeb'> [ok ] random answer 8/8 </span>
<span style='color:#ebebeb'> [ok ] random xmul_not 8/8 </span>
<span style='color:#ebebeb'> [ok ] random sub_and_or 8/8 </span>
<span style='color:#ebebeb'> [ok ] random shl_sar 8/8 </span>
<span style='color:#ebebeb'> [ok ] random eq 8/8 </span>
<span style='color:#ebebeb'> [ok ] random ne 8/8 </span>
<span style='color:#ebebeb'> [ok ] random le_s 8/8 </span>
<span style='color:#ebebeb'> [ok ] random ge_s 8/8 </span>
<span style='color:#ebebeb'> [ok ] random eqz 8/8 </span>
<span style='color:#ebebeb'> [ok ] random gt_s 8/8 </span>
<span style='color:#ebebeb'> [ok ] random set_get 8/8 </span>
<span style='color:#ebebeb'> [ok ] random tee_dup 8/8 </span>
<span style='color:#ebebeb'> [ok ] wrap add_double 1/1 </span>
<span style='color:#ebebeb'> [ok ] wrap sub_and_or 1/1 </span>
<span style='color:#ebebeb'>sent 134, answered 134, window 1 </span>
<span style='color:#ebebeb'>elapsed 0.3 s (492 answers/s) </span>
<span style='color:#ebebeb'>WASM BOARD RESULT: 134/134 responses exact (fails=0, lost=0) </span>
<span style='color:#ffd700'>t27 $ </span><span style='color:#ebebeb'> </span></pre></figure></noscript></div>
<div class="facts"><span>recorded <b>2026-10-12 04:14 UTC</b></span><span>real <b>32.5 s</b></span><span>shown <b>32.5 s</b></span><span>exit codes <b>0 0 0 0 0</b></span></div>
<div class="cmds"><i>$</i> git log -1 --format=&#39;%h %s&#39; | cut -c1-100
<i>$</i> openFPGALoader --scan-usb
<i>$</i> openFPGALoader -c digilent_hs2 --busdev-num 000:005 /tmp/wasm-build/wasm_board_ax7203.bit
<i>$</i> python3 conformance/wasm_board_ax7203.py --self-test
<i>$</i> python3 conformance/wasm_board_ax7203.py --port /dev/cu.usbserial-130</div>
<p class="honest">Staged: the prompt and the typing. Real: every byte the commands printed, at the time they printed it. Any silence longer than 2 s is shown for 2 s, and the title bar says so while it happens. Edited: nothing. No GIF: this recording has none.</p>
<div class="links"><a href="card.png">Preview card</a></div>
</main>
<script type="module">
import { mount } from '../player.js'
mount(document.getElementById('player'), { src: 'session.cast', share: "https://t27.ai/term/wasm-board-ax7203/", title: "WASM on the AX7203: flash, self-test, 134/134 exact" })
</script>
</body>
</html>
27 changes: 27 additions & 0 deletions apps/website/public/term/wasm-board-ax7203/meta.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,27 @@
{
"id": "wasm-board-ax7203",
"title": "WASM on the AX7203: flash, self-test, 134/134 exact",
"desc": "The t27-generated WASM interpreter on an ALINX AX7203 (xc7a200t), bitstream from the openXC7 flow, spec at trinity-fpga 4655702ed: openFPGALoader flashes over the onboard FT232H, the model-board self-test shows every conformance check able to fail, and one run answers all 134 requests exactly over UART.",
"url": "https://t27.ai/term/wasm-board-ax7203/",
"gif": null,
"post": "https://t27.ai/#/blog/a-wasm-interpreter-ran-on-the-board",
"recorded": "2026-10-12 04:14 UTC",
"real_s": 32.5,
"shown_s": 32.5,
"commands": [
"git log -1 --format='%h %s' | cut -c1-100",
"openFPGALoader --scan-usb",
"openFPGALoader -c digilent_hs2 --busdev-num 000:005 /tmp/wasm-build/wasm_board_ax7203.bit",
"python3 conformance/wasm_board_ax7203.py --self-test",
"python3 conformance/wasm_board_ax7203.py --port /dev/cu.usbserial-130"
],
"exit_codes": [
"0",
"0",
"0",
"0",
"0"
],
"redacted": [],
"published": "2026-10-12"
}
Loading
Loading