root
/
public
mirror of https://github.com/01-edu/public.git
14
27
Fork 0
Code Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
3714 Commits
91 Branches
11 Tags
349 MiB
 
 
 
 
 
 
Tree: 594cef3d46
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '594cef3d46'
${ noResults }
public/subjects/tron/game_students/index.html

761 lines
23 KiB
Raw Blame History

<!DOCTYPE html>
<html>
<head>
<title>Tron</title>
<meta charset="utf-8" />
<meta
name="viewport"
content="width=device-width, initial-scale=1, shrink-to-fit=no"
/>
<link
rel="shortcut icon"
type="image/x-icon"
href="data:image/x-icon;base64,AAABAAEAEBAQAAEABAAoAQAAFgAAACgAAAAQAAAAIAAAAAEABAAAAAAAgAAAAAAAAAAAAAAAEAAAAAAAAAAAAAAAx42QAFP/FABXQkMAQC0uAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAQAAAAAAAAAQBEREREREREAFEREREREQQAURERERERBABREREREREEAFEREREREQQAURERERERBABQERAAEREEAFCBEIiREQQAUQgRERERBABRAJEREREEAFAJEREREQQAUJERERERBABRERERERDEAEREREREREQQAAAAAAAAAQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA"
/>
<script>
location.pathname.endsWith("/") || (location.pathname += "/");
</script>
<style>
body {
background: #13191a;
display: grid;
grid-template-columns: 1fr 300px 300px 1fr;
font-family: monospace;
color: #7cecff;
margin: 0;
padding: 0;
}
h1 {
letter-spacing: 6px;
}
h2 {
margin-bottom: 6px;
text-overflow: ellipsis;
max-width: calc(50vw - 300px);
}
h2:after {
display: block;
content: " ";
margin-top: 12px;
height: 3px;
}
h2 b {
display: block;
overflow: hidden;
text-overflow: ellipsis;
}
#ai-0 h2:after {
background-image: linear-gradient(
to left,
#0000,
currentColor 18px,
#0000
);
margin-right: -10px;
}
#ai-1 h2:after {
margin-left: -10px;
background-image: linear-gradient(
to right,
#0000,
currentColor 18px,
#0000
);
}
canvas {
display: block;
width: 600px;
height: 600px;
grid-column: 2/4;
box-shadow: 0 0 20px 1px #7cecff42;
outline: 1px solid;
outline-offset: -1px;
}
button {
border: 1px solid;
color: currentColor;
background: transparent;
padding: 0 2px;
border-radius: 3px;
}
svg {
margin-top: 36px;
width: 300px;
}
#notice {
display: flex;
justify-content: space-between;
padding: 2px 0;
user-select: none;
}
.hide {
visibility: hidden;
pointer-events: none;
}
#title {
display: block;
margin: 0;
padding: 0;
grid-column: 2/4;
text-align: center;
color: cyan;
}
#ai-0,
#ai-1 {
margin: 12px;
padding: 6px;
user-select: none;
}
#ai-0 {
grid-column: 1;
text-align: right;
}
#ai-1 {
grid-column: 4;
}
#controls {
grid-column: 2/4;
height: 10px;
background: #7cecff20;
margin-top: 1px;
}
#bar {
overflow: hidden;
position: relative;
box-shadow: 0 0 20px 1px #7cecff30;
outline: 1px solid;
outline-offset: -1px;
}
#loading {
background: #7cecff40;
}
#position {
background: #7cecff;
}
#loading,
#position {
position: absolute;
transform: translate(-600px);
pointer-events: none;
}
#bar,
#loading,
#position {
height: 100%;
width: 100%;
}
@media (orientation: portrait) {
h2 {
max-width: 300px;
}
#controls {
grid-row: 3;
}
#ai-0 {
grid-column: 2;
grid-row: 4;
}
#ai-1 {
grid-column: 3;
grid-row: 4;
}
}
</style>
</head>
<body>
<div id="title">
<svg
fill="cyan"
xmlns="http://www.w3.org/2000/svg"
viewBox="0 0 449.9 184.1"
>
<defs>
<filter id="g">
<feDropShadow dx="0" dy="0" stdDeviation="3" flood-color="cyan" />
</filter>
</defs>
<path
style="filter: url(#g)"
d="M36 62.6H5.2v-19H36v19zM38.4 39H3l-3 2.8v23l3 2.5h35.4l3.1-2.7V41.7L38.4 39z"
/>
<g
clip-path="url(#clipPath4354)"
transform="matrix(1.25 0 0 -1.25 -135 647)"
>
<path
style="filter: url(#g)"
d="M333.3 426.4a18.9 18.9 0 00-19.1 18.5c0 10.3 8.6 18.6 19.1 18.6a18.9 18.9 0 0019.2-19.2c-.4-10-8.8-18-19.2-18m0 41.2c-12.8 0-23.2-10.1-23.2-22.6a22.9 22.9 0 0123.2-22.5c12.9 0 23.2 10 23.2 22.5a22.9 22.9 0 01-23.2 22.6"
/>
<path
style="filter: url(#g)"
d="M333.3 406.6c-21.8 0-39.4 17.2-39.4 38.3s17.6 38.3 39.4 38.3c21.8 0 39.5-17.1 39.5-38.3s-17.7-38.3-39.5-38.3m0 80.6a42.9 42.9 0 01-43.4-42.9c.3-23 19.6-41.6 43.4-41.6a42.9 42.9 0 0143.5 42.2 42.9 42.9 0 01-43.5 42.3M463.7 407H457l-28.4 31.8v9.5H448v34.5h15.6V407zm1.5 79.5H447l-2.7-3.2v-31.5h-17.1c-2.2 0-2.2-1.2-2.2-2.1v-12.2l30.4-34.4h9.8l2.6 2.4v78.1l-2.6 3zM419.2 441.1h-19.6v-33.9h-15.7v75.6h6.9l28.4-32.1V441zm-26.9 45.3h-9.8l-2.6-2.5v-78.1l2.6-2.7h18.2l2.7 3v31.6h17.1c2.2 0 2.2 1.1 2.2 2V452l-30.4 34.5zM283.2 407h-18.8l-31.8 32.5v13.1h52a22.5 22.5 0 00-22-15.5h-9.2l29.8-30m-20 26.2c13.8.3 24.6 9.7 26.2 23h-58l-2.7-2.6V439c0-.5 0-1 .4-1.5l33.4-34.3h26.3v4.1l-26.2 26h.6zM220.2 407h-15.7v45.6h15.7V407zm1.3 49.4h-18.7l-2.5-2.7v-48l2.7-2.6h18.6l2.6 3v47.6l-2.7 2.7z"
/>
<path
style="filter: url(#g)"
d="M172.5 467.4c-3.7 0-6.8-3.1-6.8-6.8v-53.5l-15.6-.1v54.8a20.7 20.7 0 0021.2 20.8h91.2a23 23 0 0022-15.2h-112zm90 19.1h-91.1a24.6 24.6 0 01-25.6-25v-55.9l3-2.4h18.5l2.4 2.9v54.4a3 3 0 003.2 3h116.4a27 27 0 01-26.7 23"
/>
</g>
</svg>
</div>
<div id="ai-0">
<h2><b>AI-0</b></h2>
<b>LOADING</b>
<br />
<b>0</b>
</div>
<canvas width="1200" height="1200"></canvas>
<div id="ai-1">
<h2><b>AI-1</b></h2>
<b>LOADING</b>
<br />
<b>0</b>
</div>
<div id="controls">
<div id="bar">
<div id="loading"></div>
<div id="position"></div>
</div>
<div id="notice" class="hide">
> scroll or keys to move step by step, click to jump. (shift = fast)
<button>hide</button>
</div>
</div>
<script type="module">
const vertexArray = new Float32Array(100 * 100 * 12);
const colorArray = new Float32Array(100 * 100 * 6);
const state = new Float32Array(100 * 100 * 2);
const [canvas] = document.getElementsByTagName("canvas");
const gl = canvas.getContext("webgl2", { antialias: false });
const S = 0.02;
const applyState = (x, y, turn) => {
const index = x * 100 + y;
const color = state[index * 2 + 0] > turn ? 0 : state[index * 2 + 1];
colorArray[index * 6 + 0] = color;
colorArray[index * 6 + 1] = color;
colorArray[index * 6 + 2] = color;
colorArray[index * 6 + 3] = color;
colorArray[index * 6 + 4] = color;
colorArray[index * 6 + 5] = color;
};
const colorize = (x, y, color) => (state[(x * 100 + y) * 2 + 1] = color);
const move = (x, y, color, turn) => {
const index = (x * 100 + y) * 2;
if (state[index]) return state[index];
state[index] = turn;
state[index + 1] = color;
};
const loop = (fn) => {
let x = -1,
y = -1;
while (++x < 100) {
y = -1;
while (++y < 100) fn(x, y);
}
};
const compileShader = (type, script) => {
const shader = gl.createShader(type);
gl.shaderSource(shader, script.trim());
gl.compileShader(shader);
if (!gl.getShaderParameter(shader, gl.COMPILE_STATUS)) {
throw gl.getShaderInfoLog(shader);
}
return shader;
};
// program
const program = gl.createProgram();
gl.attachShader(
program,
compileShader(
gl.VERTEX_SHADER,
`
#version 300 es
in vec2 a_position;
in float a_color;
out float v_color;
void main() {
gl_Position = vec4(a_position * vec2(1, -1), 0, 1);
v_color = a_color;
}`
)
);
gl.attachShader(
program,
compileShader(
gl.FRAGMENT_SHADER,
`
#version 300 es
precision mediump float;
in float v_color;
out vec4 outColor;
vec4 unpackColor(float f) {
vec4 color;
color.r = floor(f / 65536.0);
color.g = floor((f - color.r * 65536.0) / 256.0);
color.b = floor(f - color.r * 65536.0 - color.g * 256.0);
color.a = 256.0;
return color / 256.0;
}
void main() {
outColor = unpackColor(v_color);
}`
)
);
gl.linkProgram(program);
if (!gl.getProgramParameter(program, gl.LINK_STATUS)) {
throw gl.getProgramInfoLog(program);
}
gl.useProgram(program);
// initialize state
loop((x, y) => {
const x1 = (x + 1 - 50) / 50 - S;
const y1 = (y + 1 - 50) / 50 - S;
const x2 = x1 + S;
const y2 = y1 + S;
const index = (x * 100 + y) * 12;
vertexArray[index + 0x0] = x1;
vertexArray[index + 0x1] = y1;
vertexArray[index + 0x2] = x2;
vertexArray[index + 0x3] = y1;
vertexArray[index + 0x4] = x1;
vertexArray[index + 0x5] = y2;
vertexArray[index + 0x6] = x1;
vertexArray[index + 0x7] = y2;
vertexArray[index + 0x8] = x2;
vertexArray[index + 0x9] = y1;
vertexArray[index + 0xa] = x2;
vertexArray[index + 0xb] = y2;
});
const vertexBuffer = gl.createBuffer();
const a_position = gl.getAttribLocation(program, "a_position");
gl.bindBuffer(gl.ARRAY_BUFFER, vertexBuffer);
gl.vertexAttribPointer(a_position, 2, gl.FLOAT, false, 0, 0);
gl.enableVertexAttribArray(a_position);
gl.bufferData(gl.ARRAY_BUFFER, vertexArray, gl.STATIC_DRAW);
gl.drawArrays(gl.TRIANGLES, 0, 60000);
// color buffer
const colorBuffer = gl.createBuffer();
const a_color = gl.getAttribLocation(program, "a_color");
gl.bindBuffer(gl.ARRAY_BUFFER, colorBuffer);
gl.vertexAttribPointer(a_color, 1, gl.FLOAT, false, 0, 0);
gl.enableVertexAttribArray(a_color);
gl.bindBuffer(gl.ARRAY_BUFFER, colorBuffer);
const update = (turn) => {
loop((x, y) => applyState(x, y, turn));
gl.bufferData(gl.ARRAY_BUFFER, colorArray, gl.STATIC_DRAW);
gl.drawArrays(gl.TRIANGLES, 0, 60000);
};
const reset = () => {
state.fill(0);
update(0);
};
const SIZE = 100;
const h = SIZE / 2;
const m = h * 0.8;
const max = (m) => (n) => n > m ? max1(n - m) : n;
const max1 = max(1);
const max2PI = max(Math.PI * 2);
const toInt = (r, g, b) => (r << 16) | (g << 8) | b;
const toRange = (n) => Math.round(n * 0xff);
const hue2rgb = (p, q, t) => {
if (t < 0) t += 1;
if (t > 1) t -= 1;
if (t < 1 / 6) return p + (q - p) * 6 * t;
if (t < 1 / 2) return q;
if (t < 2 / 3) return p + (q - p) * (2 / 3 - t) * 6;
return p;
};
const hslToRgb = (h, s, l) => {
if (!s) return toInt(toRange(l), toRange(l), toRange(l));
const q = l < 0.5 ? l * (1 + s) : l + s - l * s;
const p = 2 * l - q;
const r = hue2rgb(p, q, h + 1 / 3);
const g = hue2rgb(p, q, h);
const b = hue2rgb(p, q, h - 1 / 3);
return toInt(toRange(r), toRange(g), toRange(b));
};
const init = ({ ais, seed }) => {
let w = (123456789 + seed) & 0xffffffff;
let z = (987654321 - seed) & 0xffffffff;
const rand = () => {
z = (36969 * (z & 65535) + (z >>> 16)) & 0xffffffff;
w = (18000 * (w & 65535) + (w >>> 16)) & 0xffffffff;
return (((z << 16) + (w & 65535)) >>> 0) / 4294967296;
};
const angle = (Math.PI * 2) / ais.length;
const rate = SIZE / ais.length / SIZE;
const shift = angle * rand();
// shuffle using seeded random
ais.sort((a, b) => a.name - b.name);
let i = ais.length,
j,
tmp;
while (--i > 0) {
j = Math.floor(rand() * (i + 1));
tmp = ais[j];
ais[j] = ais[i];
ais[i] = tmp;
}
return ais.map((name, i) => {
const jsonName = `"name":${JSON.stringify(name)}`;
const hue = max1(i * rate + 0.25);
const ai = {
hue,
name,
x: Math.round(max2PI(Math.cos(angle * i + shift)) * m + h),
y: Math.round(max2PI(Math.sin(angle * i + shift)) * m + h),
color: hslToRgb(hue, 1, 0.5),
toString: () =>
`{${jsonName},"dead":${!!ai.dead},"color":${ai.color},"x":${
ai.x
},"y":${ai.y}}`,
};
return ai;
});
};
const injectedCode = `
if (typeof update !== 'function') throw Error('Update function not defined')
addEventListener('message', self.init = initEvent => {
let { seed, id } = JSON.parse(initEvent.data)
const r4 = () => Math.floor(Math.random() * 4)
let w = (123456789 + seed) & 0xffffffff
let z = (987654321 - seed) & 0xffffffff
Math.random = () => {
z = (36969 * (z & 65535) + (z >>> 16)) & 0xffffffff
w = (18000 * (w & 65535) + (w >>> 16)) & 0xffffffff
return (((z << 16) + (w & 65535)) >>> 0) / 4294967296
}
const prev = {}
let me
removeEventListener('message', self.init)
addEventListener('message', ({ data }) => {
const ais = JSON.parse(data)
me || (ais
.sort((a, b) => a.name - b.name)
.forEach(a => prev[a.name] = [{...a, cardinal: r4(), direction: 0 }]))
for (const ai of ais) {
const { x, y, name, dead } = ai
if (dead) {
ai.coords = []
continue
}
name === id && (me = ai)
const { cardinal, direction } = prev[name].find(c => c.x === ai.x && c.y === ai.y)
ai.index = ai.x * 100 + ai.y
ai.direction = direction
ai.cardinal = cardinal
ai.coords = prev[name] = [
{ index: x*100+(y-1), x, y: y - 1, cardinal: 0, direction: (4 - cardinal) % 4 },
{ index: (x+1)*100+y, x: x + 1, y, cardinal: 1, direction: (5 - cardinal) % 4 },
{ index: x*100+(y+1), x, y: y + 1, cardinal: 2, direction: (6 - cardinal) % 4 },
{ index: (x-1)*100+y, x: x - 1, y, cardinal: 3, direction: (7 - cardinal) % 4 },
]
}
me.me = true
try { postMessage(JSON.stringify(update({ ais, ai: me }))) }
catch (err) {
console.error(id, err)
throw err
}
})
postMessage('loaded') // Signal that the loading is over
})
`;
const [hide] = document.getElementsByTagName("button");
const bar = document.getElementById("bar");
const loading = document.getElementById("loading");
const position = document.getElementById("position");
hide.onclick = () => {
hide.parentElement.classList.add("hide");
localStorage.hide = 1;
};
localStorage.hide || hide.parentElement.classList.remove("hide");
const buildInfo = (ai, i) => {
const elem = document.getElementById(`ai-${i}`);
if (!elem) return { score: () => {}, status: () => {} };
const [name, status, score] = [...elem.children]
.map((e) => e.firstChild)
.filter(Boolean);
name.firstChild.data = ai.name;
elem.style.color = `hsl(${ai.hue * 360}, 100%, 70%)`;
elem.style.textShadow = `0 0 6px hsla(${ai.hue * 360}, 100%, 70%, 0.4)`;
elem.style.width = "calc(100% - 36px)"; // force width force redraw
// this fix a bug on chrome, not re-applying `currentColor` to gradients
return {
score: (text) => ai.dead || (score.data = text),
status: (text) => (status.data = text),
};
};
const notInBounds = (n) => n >= 100 || n < 0;
const toBlob = async (r) => {
if (!r.ok) throw Error(`${r.status}: ${r.statusText}`);
const code = await r.text();
const type = { type: "text/javascript" };
const blob = new Blob([`'use strict';${code}${injectedCode}`], type);
return { url: URL.createObjectURL(blob, type), code };
};
const memo = {};
const fetchBlob = (url) =>
memo[url] || (memo[url] = fetch(url).then(toBlob));
const remoteURL = (login, sha) =>
`https://git.${location.host}/${login}/tron/raw/branch/${
sha || "master"
}/ai.js`;
const formatURL = (url) => {
if (url.startsWith("/")) return `${location.pathname}/ai${url}`;
if (url.startsWith("https://")) return url;
if (url.includes(location.hostname)) return `https://${url}`;
return url.includes("@")
? remoteURL(...url.split("@"))
: `${location.origin}/${url}`;
};
const start = async ({ urls, seed }) => {
if (urls.length < 2) throw Error("2 AI urls are required to play");
const ais = init({ ais: urls, seed });
let turn = 1,
maxTurn = 1,
t = 1,
cap = 10000,
down;
const done = new Set(ais);
const setPosition = (e) => {
const v =
typeof e === "number"
? Math.max(e, 1)
: Math.floor((Math.max(e.pageX - bar.offsetLeft, 1) / 600) * cap);
t = Math.min(v, maxTurn);
requested || (requested = requestAnimationFrame(refresh));
};
window.onkeydown = (e) => {
const step = e.shiftKey ? 10 : 1;
switch (e.key) {
case "ArrowLeft":
case "a":
case "q":
case "l":
return setPosition(t - step);
case "ArrowRight":
case "e":
case "d":
case "k":
return setPosition(t + step);
}
};
window.onmousemove = (e) =>
e.buttons ? down && setPosition(e) : (down = false);
bar.onmousedown = (e) => (down = true) && setPosition(e);
bar.onwheel = canvas.onwheel = (e) =>
setPosition(t + Math.sign(e.deltaY) * (e.shiftKey ? 10 : 1));
let requested, timeout;
const refresh = () => {
requested = update(t);
ais[0].score(turn);
ais[1].score(turn);
loading.style.transform = `translate(${(turn / cap) * 600 - 600}px)`;
position.style.transform = `translate(${(t / cap) * 600 - 600}px)`;
};
const next = (ai) => {
clearTimeout(ai.timeout);
done.add(ai);
requested || (requested = requestAnimationFrame(refresh));
// check if all AI are done
if (done.size >= ais.length) {
turn++;
const data = `[${ais.join(",")}]`;
let allDead = true;
for (const a of ais) {
if (a.dead) continue;
allDead ? (allDead = false) : cap--;
done.delete(a);
a.worker.postMessage(data);
a.timeout = setTimeout(a.kill, 50, "TIMEOUT");
}
allDead && (cap = turn);
t === maxTurn ? (t = maxTurn = turn) : (maxTurn = turn);
}
};
await Promise.all(
ais.map(async (ai, i) => {
const info = buildInfo(ai, i);
ai.score = info.score;
const kill = (cause) => {
if (ai.dead) return;
console.log(
`${ai.name} died because he ${cause} at ${ai.x} ${ai.y}`
);
ai.cause = cause;
ai.dead = true;
ai.worker && ai.worker.terminate();
info.status(cause);
};
// init the worker
try {
const { url, code } = await fetchBlob(await formatURL(ai.name));
ai.code = code;
ai.worker = new Worker(url, { type: "module", name: ai.name });
await new Promise((s, f) => {
ai.worker.onmessage = (e) =>
e.data === "loaded" ? s() : f(Error(e.data));
ai.worker.onerror = f;
ai.worker.postMessage(JSON.stringify({ id: ai.name, seed }));
});
// activate the AI
info.status("ACTIVE");
ai.kill = (cause) => {
kill(cause);
next(ai);
};
} catch (err) {
console.error(err);
return kill("FAILED-TO-LOAD");
}
move(ai.x, ai.y, ai.color, turn);
// handle each response from the AI
ai.worker.onmessage = ({ data }) => {
if (done.has(ai)) return ai.kill("UNEXPECTED-MESSAGE");
if (!data) return ai.kill("STUCK");
const { x, y } = JSON.parse(data);
if (typeof x !== "number" || typeof y !== "number")
return ai.kill("INVALID_INPUT");
if (notInBounds(x) || notInBounds(y))
return ai.kill("OUT_OF_BOUNDS");
if (
!(x === ai.x - 1 && y === ai.y) &&
!(x === ai.x + 1 && y === ai.y) &&
!(x === ai.x && ai.y === y + 1) &&
!(x === ai.x && ai.y === y - 1)
)
return ai.kill("IMPOSSIBLE_MOVE");
ai.x = x;
ai.y = y;
const failure = move(x, y, ai.color, turn);
if (failure === turn) {
for (const a of ais) {
a.x === ai.x && a.y === ai.y && a.kill("MULTI-CRASH");
}
colorize(x, y, 0xffffff);
return ai.kill("MULTI-CRASH");
} else if (failure) return ai.kill("CRASH");
next(ai);
};
ai.worker.onerror = ({ lineno }) => {
const errorCode = ai.code
.split("\n")
.slice(lineno - 5, lineno + 4)
.map((l, i) => `%c${lineno - 4 + i}｜ ${l}`)
.join("\n");
const styles = Array(4).fill(
"color:#888;background:black;display: block;padding:0 4px"
);
console.log(
`${ai.name}:${lineno}\n${errorCode}`,
...[
...styles,
"color:white;background:#333;display: block;padding:0 4px",
...styles,
]
);
ai.kill("AI-ERROR");
};
})
);
next(ais[0]);
};
const params = new URLSearchParams(location.search);
const { ai = "", seed } = Object.fromEntries(params);
const search = () =>
String(params).replace(/%2F/g, "/").replace(/%40/g, "@");
if (!seed) {
params.set("seed", Math.abs(~~(Math.random() * 0xffffffff)));
location = `${location.origin}${location.pathname}?${search()}${
location.hash
}`;
}
start({ urls: ai.split(" "), seed }).then(console.log, console.error);
</script>
</body>
</html>