Skip to content

Commit b28881f

Browse files
committed
английский интерфейс в демо
1 parent 2bcdd4b commit b28881f

1 file changed

Lines changed: 3 additions & 3 deletions

File tree

index.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -214,7 +214,7 @@ <h2 data-i="h_tl"></h2>
214214
p_what2: "This works because iterated string rewriting is Turing-complete: it is a Markov algorithm, one of the classic 1950s models of computation. The 544 rules implement a small 32-bit CPU whose adder is a 512-entry lookup table with the carry threaded through capture groups, whose memory access jumps an exact number of characters assembled from the digits of the address, and whose instruction fetch lands on the current opcode the same way, guided by the program counter. DOOM itself is compiled to that CPU with 8cc and ELVM on top of the doomgeneric port, in BFDoom's footsteps.",
215215
p_what3: "Every step is verified. A reference emulator written in Python executes the same instruction set, and after every single substitution the string has to match the emulator's encoded state byte for byte. On top of that, the SHA-256 of the rendered frame matches a natively compiled DOOM, so three independent implementations keep arriving at the same bytes.",
216216
h_clip: "A hundred frames of actual gameplay",
217-
p_clip: "These are frames 160 through 259 of the built-in timedemo: the player grabs the armor, picks up the shotgun, and the demons attack. Getting there took about 1.25 billion substitutions, and every one of the 100 frames is byte-identical to the native oracle. Drag the slider to scrub.",
217+
p_clip: "These are frames 160 through 259 of the built-in timedemo: the player grabs the armor, picks up the shotgun, and the demons attack. Getting there took about 1.25 billion substitutions, and every one of the 100 frames is byte-identical to the native build. Drag the slider to scrub.",
218218
b_play: "Play",
219219
b_pause: "Pause",
220220
clip_note: "12 fps playback | computed at about 3 minutes per frame on five machines in parallel",
@@ -266,9 +266,9 @@ <h2 data-i="h_tl"></h2>
266266
h_what: "Что здесь происходит",
267267
p_what1: "Вся машина живёт в одной длинной строке. Регистры, память, фреймбуфер и сам движок DOOM, скомпилированный в самодельную систему команд, лежат там обычным текстом. Драйвер применяет к строке фиксированный упорядоченный список правил поиска с заменой: на каждом шаге срабатывает первое совпавшее правило, и срабатывает ровно один раз. Больше в системе не считается ничего, на стороне хоста нет ни интерпретатора, ни арифметики, и если удалить все правила, от машины останется просто текстовый файл.",
268268
p_what2: "Работает это потому, что итерированная замена строк Тьюринг-полна: по сути перед нами алгоритм Маркова, одна из классических моделей вычислений пятидесятых годов. Правила набора реализуют небольшой 32-битный процессор, где сложение идёт через таблицу-сумматор на 512 записей, перенос протаскивается группами захвата, а выборка инструкции устроена как буквальный прыжок на точное число символов вглубь секции программы, посчитанное из счётчика команд. DOOM скомпилирован под этот процессор связкой 8cc и ELVM.",
269-
p_what3: "Каждый шаг проверяется. Референсный эмулятор на Python исполняет ту же систему команд, и после каждой подстановки строка обязана байт в байт совпасть с его закодированным состоянием. SHA-256 готового кадра при этом сходится с кадром нативно скомпилированного DOOM, так что ответ подтверждают два независимых оракула, и оба говорят одно и то же.",
269+
p_what3: "Каждый шаг проверяется. Референсный эмулятор на Python исполняет ту же систему команд, и после каждой подстановки строка обязана байт в байт совпасть с его закодированным состоянием. SHA-256 готового кадра при этом сходится с кадром нативно скомпилированного DOOM, так что ответ подтверждают два независимых эталон, и оба говорят одно и то же.",
270270
h_clip: "Сто кадров настоящей игры",
271-
p_clip: "Это кадры со 160-го по 259-й встроенного таймдемо: игрок подбирает броню, берёт дробовик, и на него нападают демоны. На всё ушло около 1,25 миллиарда подстановок, и каждый из ста кадров совпал с нативным оракулом байт в байт. Тяните ползунок, чтобы промотать клип в любое место.",
271+
p_clip: "Это кадры со 160-го по 259-й встроенного таймдемо: игрок подбирает броню, берёт дробовик, и на него нападают демоны. На всё ушло около 1,25 миллиарда подстановок, и каждый из ста кадров совпал с нативным эталон байт в байт. Тяните ползунок, чтобы промотать клип в любое место.",
272272
b_play: "Пуск",
273273
b_pause: "Пауза",
274274
clip_note: "12 fps | около трёх минут на кадр, пять машин параллельно",

0 commit comments

Comments
 (0)