ПОЧЕМУ 2025 — Обзор live-bootstrap скачать в хорошем качестве

ПОЧЕМУ 2025 — Обзор live-bootstrap

https://media.ccc.de/v/why2025-139-re... live-bootstrap — это достойная попытка предоставить воспроизводимый, автоматический, полный, сквозной бутстрап из минимального количества исходных двоичных кодов до поддерживаемой полностью функционирующей операционной системы. Хотя он начинается с минимального исходного двоичного кода размером всего 280 байт, он также зависит от множества других источников. Что это за источники и как их проверить, чтобы убедиться, что live-bootstrap можно доверять? Последние два года я посвятил изучению нулевого этапа проекта live-bootstrap, чтобы понять, как он работает, выяснить, от каких источников он зависит, и создать интерактивную документацию, которая, надеюсь, поможет другим разобраться в нём и изучить исходные коды. В рамках этого процесса я написал программы для интерпретации скриптов kaem, эмулятор для нулевого этапа и программу для анализа вывода strace и генерации T-диаграммы. В презентации я расскажу о предпринятых мной шагах, представлю результаты, а также обсужу способы упрощения исходного кода stage0, например, разработку C-компилятора, предназначенного для компиляции Tiny C Compiler с использованием небольшого стекового языка в качестве промежуточного. Слайды презентации: https://iwriteiam.nl/WHY2025_talk.html Ссылки: https://iwriteiam.nl/Software.html https://iwriteiam.nl/livebootstrap.html https://github.com/FransFaase/Emulator/ https://fransfaase.github.io/Emulator... https://github.com/FransFaase/MES-rep... Франс Фаазе https://program.why2025.org/why2025/t... #why2025 #Wonderfulcreations Лицензия: https://creativecommons.org/licenses/...