Соварій

Стандартом де-факто для PC XT был видеоадаптер CGA (1981 год разработки). Схемотехнически он красиво сделан, но разрешения и цветности недоставало. К 1984-му году появился EGA, а в 1987-м VGA. В наши дни всё ещё можно отыскать дисплеи с интерфейсом VGA. Есть и недорогие конвертеры VGA в современный интерфейс HDMI.

Существовали видеоадаптеры VGA для 8-битной шины ISA, но сейчас найти их крайне тяжело. К счастью, отыскался Trident TVGA8900C, который переключается в режим восьмибитности. Для этого надо на нём установить джампер J4. На моей плате джампер не был установлен, пришлось просто запаять перемычку.



Вынимаем из XT-шки плату CGA и вставляем VGA. На материнской плате надо изменить микропереключатели, чтобы биос не пытался искать видеопамять CGA.



Надо поставить SW 5 и 6 в положение "on", то есть "no display adapter". Фишка в том, что VGA (и MDA) обслуживаются основным биосом. А на платах EGA и VGA уже работает свой собственный биос.



Загружаемся - совсем другое дело! Сравните с CGA.



И даже тетрис повеселел. Для сравнения смотрите видео с CGA.



Теперь куча разных игрушек должна запускаться. Буду собирать коллекцию.

К 2000-м годам ретро энтузиасты осознали, что древние компьютеры PC XT почти вымерли, по одной и той же причине: все жёсткие диски типа MFM заржавели и вышли из строя.

Возник опенсорсный проект по разработке нового дискового контроллера под названием XT-IDE. Контроллер для 8-битной шины ISA позволяет подключать стандартные IDE-накопители, в том числе CompactFlash. Также сделали качественный биос к дисковому контроллеру. Исходники: github.com/glitchwrks/xt_ide

Нынче фирма The Glitch Works продаёт контроллеры XT-IDE на Ebay как в виде конструктора для самостоятельной пайки, так и в собранном виде. Один такой контроллер я и приобрёл. А также переходник для CompactFlash к нему.



Установка джамперов:



Вот такой экран загрузки биоса. Стрелками можно выбрать, откуда грузиться: диск C, флопики A или B, или загрузчик в ПЗУ.



Чтобы карточка CompactFlash надёжно опозналась, её лучше сначала "стереть" на другом компьютере. То есть записать несколько килобайт нулей, к примеру Линуксной командой "dd bs=1k count=100 if=/dev/zero of=/dev/sdX", где sdX - имя флешки на вашем компьютере.

После чего грузим MS-DOS с флопика и командой fdisk создаём разделы. Двухгигибайтную флешку XT-IDE видит как диск с 997 цилиндрами и 63 головками. Раздел максимально разрешённого досовского размера (32 мегабайта) занимает 16 цилиндров. Для начала создаём раздел C.

Снова перезагружаемся с флопика и форматируем раздел С как системный (format c: /s). Переписываем туда файлы MS-DOS с флопика, и диск готов. Добавим Нортон Командер для удобства. Настроим config.sys и autoexec.bat.

Перезагружаемся с диска. Вот так теперь выглядит писишка:



Пробовал я и хитачевский микродрайв. XT-IDE опознаёт его без проблем, но поскольку он 4-гигабайтный, показывает как диск с 127 головками. От этого MS-DOS маленько дуреет. Создать раздел даёт, но читать его не может.

Как на маке, имея образ флопика, достучаться до его содержимого? Лайфхак:

hdiutil attach -imagekey diskimage-class=CRawDiskImage floppy.img 

Флопик будет подключен как файловая система, как если бы его воткнули в порт USB:

/dev/disk8        /Volumes/NO NAME

Есть успехи на фронте ретрокомпьютинга. Вчера удалось загрузить MS-DOS 3.30 с флопика.



Путь к этому делу был тернистый.

1. Машина пришла с жёстким диском, но он не работал. Физически не раскручивался. Было понятно, что надо браться за флопики.
2. У меня имелся исправный пятидюймовый флоповод и "свежая" неоткрытая упаковка флопиков 1.2 Мбайта.
3. Встала задача сформатировать флопик и записать загрузочный диск MS-DOS. Но как это сделать? К современному лаптопу или даже настольному компьютеру пятидюймовый флоповод не подключишь. Прошерстил свою коллекцию ретро компьютеров на тему наличия интерфейса к флоповоду - отыскались Pentium 4 и Celeron. Эксперименты показали, что пентиумный компьютер понимает только трёхдюймовые флопы. Зато у селерона оказался выбор типа флоповода в биосе.
4. Стал выяснять какой MS-DOS выбрать для XT. Узнал много нового про историю разных досов и соответствующего писишного хардвера. Исторически последней массовой версией именно для 8086 оказался MS-DOS 3.31. Более поздние или не грузились, или кушали заметно больше резидентной памяти.
5. Загрузочных флопиков MS-DOS в сети куча, но чтобы именно версия 3.31 и образ 1.2 мегабайта - отыскался только один: winworldpc.com/product/ms-dos/331.
6. На селероне у меня установлен Linux Debian. Внезапно обнаружилось, что пару лет назад из ядра Линукса убрали возможность форматировать флопы. Соответствующий системный вызов в драйвере флопа просто не выполняется. Нужно пересобрать модуль floppy.ko, благо он загружаемый.
7. Удивительным образом в Линуксе до сих пор невозможно скомпилить один отдельно взятый загружаемый модуль. Перекомпиляция всего ядра на селероне заняла бы не меньше суток. И даже перекомпиляция только модулей. А сборка только драйверов блочных устройств возможна, но не фурычит.
8. Проблема решилась установкой того же Дебиана на виртуальном i386 на маке, и компиляцией линуксного ядра в нём. Бинарник драйвера был переслан на селерон и задействован для форматирования флопа.
9. Загружаемый 1.2-мегабайтный флопик был записан, но... XT-шка отказалась с него грузиться. И тут пришлось чесать репу. Смутные воспоминания довелось освежать гуглением. Не знал XT-шный флоповый контроллер и биос про существование 1.2 мегабайтных флопов. Они стали поддерживаться только в PC AT и позже. Надо добывать флопы 360 килобайт.
10. Заказ пачки флопов 360к через Ebay приехал через несколько дней.
11. Я решил, что для надёжности надо эти флопы и форматировать на XT-шном флоповоде. Ведь биос в селероне их вроде понимает. Убил два дня на борьбу с линуксным флоповым драйвером и утилитами floppycontrol и superformat. Коту под хвост: XT-шные флоповоды отказывались форматировать. Выдавали i/o error.
12. Опять смутные воспоминания и мысль: ведь 1.2 мегабайтные флоповоды умели писать 360 килобайтные диски. Взял изначальный флоповод, и действительно, удалось сформатировать 360-килобайтные флопы.
13. Образы загрузочных флопиков отыскались только версии MS-DOS 3.30: winworldpc.com/product/ms-dos/3x.
14. Результат загрузки вы видите на фотке.

Дальше будем оживлять жёсткий диск.

Представьте что у нас имеется два выражения, состоящие их переменных и констант. Ну или два дерева, ведь выражения однозначно представляются деревьями. И нам хочется сравнить эти два выражения или дерева. Это одно и тоже или разные вещи? В том смысле, что при каких-то значениях переменных выражения совпадают.

Такой алгоритм сопоставления назвали унификацией. Когда-то на нём строили экспертные системы: помните язык Пролог? Алгоритм унификации пытается сделать два символических выражения равными, вычисляя объединяющую подстановку для этих выражений. Подстановка — это функция, заменяющая переменные другими выражениями. Очень важно, что она действует одинаково на все вхождения одной и той же переменной: если подстановка меняет одно вхождение переменной x на a, она должна заменить все вхождения x на a.

Объединяющая подстановка (или унификатор) для двух выражений e1 и e2 — это подстановка σ, такая что применение σ делает e1 и e2 структурно одинаковыми. Рассмотрим на примерах.

Пример 1: простая унификация. Выражения f(x) и f(y) можно унифицировать, заменив y на x (или наоборот).
Тогда унификатор σ действует так:

σ(y) = x

σ оставляет остальные переменные без изменений.

Пример 2: неудачная унификация. Выражения x + 1 и y + 2 нельзя унифицировать. Не стоит пытаться подставить 3 вместо x и 2 вместо y, чтобы оба выражения стали равны 4. Унификация требует символического равенства, а 1 не сопоставляется с 2.

Пример 3: несколько возможных унификаторов. Для выражений f(x, y) и f(1, y) возможны разные унификаторы:

σ₁ = { x ↦ 1 } даёт результат f(1, y).
σ₂ = { x ↦ 1, y ↦ 5 } даёт f(1, 5).

Оснований менять y нет, поэтому σ₁ предпочтительнее.

Алгоритмы унификации обычно стремятся получить наиболее общий унификатор (most general unifier, MGU). Это когда делаются только необходимые подстановки. Все остальные унификаторы получаются из MGU путём добавления новых замен. В примере выше σ₁ — MGU, а σ₂ — его частный случай.

Красивая реализация унификации приведена как пример в книжке The Scheme Programming Language: Section 12.10. A Unification Algorithm. Меньше сотни строчек с комментариями, но понять непросто: unify.ss.

А давайте перепишем на смешной язык Gisp. Который внутри тот же Scheme, но с синтаксисом Go. Мне кажется, гораздо яснее выходит.

( исходный код )

Текстовым редактором в Visual Studio Code невозможно пользоваться, по одной простой причине. При листании клавишами PageUp/PageDown текущая строка (которая с курсором) прыгает по экрану то вверх, то вниз - невозможно предсказать. Нажав PageDown, а потом PageUp, возвращаешься не в исходную точку, а не знамо куда. Поэтому до сих пор я избегал VS Code.

Но сегодня решил разобраться. Как выяснилось, проблема имеет решение. Я сваял расширение, которое обрабатывает кнопки PageUp/PageDown классическим образом, как принято в старых добрых Vim, Emacs и прочих редакторах. Пользуйтесь на здоровье:

github.com/sergev/vscode-classic-paging

Народ умудрился загрузить Windows 95 на микроконтроллере ESP32-S3. Затащили туда симулятор i386. Тормознуто, но прикольно.

hackaday.io/project/204408-tiny386

Все ржут над российским роботом, а может он вовсе и не кретин. Просто его искусственный интеллект натренирован на советской классике.

"Ничего, ничего, закройся от ветра и потихоньку иди. И дыши так редко, редко. Так дыши, чтобы ноги за коленки не задевали. И куда-нибудь да иди. Все равно куда. Если даже ты пойдешь налево попадешь на Курский вокзал; если прямо - все равно на Курский вокзал; если направо - все равно на Курский вокзал. Поэтому иди направо, чтобы уж наверняка туда попасть. - О тщета!"



Моя дипломная специальность называлась «Системы автоматического управления роботами и космическими летательными аппаратами». База - институт прикладной математики Келдыша. Математика прикладывалась качественная, спутники неплохо летали, а вот с роботами был полный швах. Изготовить точную механику советские заводы были неспособны. Шарниры и шестерёнки выходили говённые. В результате суставы у роботов расшатывались как у прокажённых.

Микропроцессоров для управления роботами не было. Мой шеф мечтательно рассказывал, что ему обещали привезти в кармане из-за бугра микроконтроллер Motorola 68000. Теоретически существовали советские 8080, но и их было не достать в конце 80-х. Клятые буржуи ставят по 32-битному процессору на каждую степень свободы, а нам хоть бы один 8-битный на всего робота.

Звали в аспирантуру, но я поглядел на это убожество, и сказал: спасибо, лучше буду юниксом в курчатнике заниматься. Удачно проинтуичил.