gemelen | Reading

"Машу Дрокову", наверно, многие помнят.

Что меня глубоко поражало, лет десять назад, что у неё на линктине среди контактов было порядочное количество моих порядочных знакомых. Сейчас пять осталось. Думаю, и здесь кто-нибудь ещё есть среди её, э, "друзей". Я нахер недоумевал до крайности. Поразительно же. А им ничего так, ничего. Типа важная персона эта сучка, или что там вообще.

Ну вот; и теперь опять.

Я ничего не предлагаю, просто отмечаю ещё раз, что вкусы бывают разные. Кому-то нравится арбуз, а кому и кобыла невеста. Ps.1:1 - он же не обязателен к исполнению.

vak

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

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

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

/dev/disk8        /Volumes/NO NAME

vak

Все мозги разбил на части, все извилины заплёл. Интересно, подтверждаются ли эксперименты этого чувака независимыми исследователями.

Watch on YouTube

vak

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

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

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

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

juan_gandhi

На первой же странице выяснилось - гебня.

Закрыл тему.

juan_gandhi

caveat: вот здесь пишут, что не надо обобщать

Вчера на твитере напоролся на жалобу (на отмену мультивиз), мол, а российские коррупционеры ездиют и ездиют, воруют и воруют; вот каб они не воровали, всё бы по-хорошему и было бы.

А я такой возьми да ляпни: пусть воруют, меньше вам на бомбы останется.

И мне она такая: "дурачок, бомбы же не коррупционеры оплачивают, а простой народ; деньги на бомбы у народа отнимают, а у коррупционеров не отнимают."

Для меня это в переводе означает, что войну оплачивает российский народ (что хоть и неожиданно, но, может быть, так и есть) - так и претензии же надо предъявлять народу (что, наверно, так и есть), а не коварным коррупционерам, которые лишают народ возможности купить ещё больше бомб и разнести весь мир вообще, ну или хотя бы Европу (не Китай же).

Но как-то стало ещё понятнее, что навальнизм - это не гуманизм, а русский империализм. И, наверно, их единственная претензия насчёт войны - это что слишком дорого война обходится российскому народу, надо награбить награбленное коррупционерами, и вот на эти деньги и победить всех.

vak

Вынесу из комментов, где

chaource предложил реализацию на Хаскеле.

В исходной статье Робинсона алгоритм звучит не особо ясно.

The following process, applicable to any finite nonempty set A of well-formed expressions, is called the Unification Algorithm:
Step 1. Set σ₀ = ε and k = 0, and go to step 2.
Step 2. If Aσₖ is not a singleton, go to step 3. Otherwise, set σ_A = σₖ, and terminate.
Step 3. Let Vₖ be the earliest, and Uₖ the next earliest, in the lexical ordering of the disagreement set Bₖ of Aσₖ. If Vₖ is a variable, and does not occur in Uₖ, set σₖ₊₁ = σₖ {Uₖ / Vₖ}, add 1 to k, and return to step 2. Otherwise, terminate.

Переведём на современный язык.

Step 1. Initialization
Start with a substitution σ₀ = ∅.
Let k = 0.
Continue to Step 2.
Step 2. Check Whether Unification Is Complete
Apply the current substitution σₖ to the entire set A, producing Aσₖ.
If all resulting expressions in Aσₖ are identical, the algorithm stops and returns σₖ as the most general unifier.
Otherwise proceed to Step 3.
Step 3. Find a Disagreement
Identify the first position (in a left-to-right, top-down scan) where two expressions in Aσₖ differ.
Let the disagreeing subexpressions be p and q.
Step 4. Process the Disagreement
Depending on the form of p and q:
1. If one is a variable and it does not occur inside the other term (occurs-check in modern terminology):

Construct a substitution that maps that variable to the other term.
Compose this substitution with the current one to produce Aσ_k+1.
Increment k; return to Step 2.
2. If both are variables but different:

Substitute one variable with the other, compose as above, and repeat Step 2.
3. If both are compound expressions with different functors or different arity:
Unification fails; the set has no unifier, and the algorithm terminates unsuccessfully.
4. If both are compound expressions with the same functor and arity:

Add their corresponding arguments to the set of expressions being unified.
Return to Step 2.

Бегая глазами по исходникам unify.gisp и по описанию, вроде всё однозначно соответствует, разве нет? Дело же не в количестве строк, а в лёгкости понимания.

vak

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

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

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

izard

Когда мы впервые оказались в Германии 2000-х, русская речь тоже слышалась на каждом шагу. Не так массово, как сейчас, но всё же привычно. И почти каждая первая встреча с новым русскоязычным знакомым начиналась одинаково:
— Вы шпэти или конти?
Я смотрел в ответ и искренне не понимал, о чём речь. Видимо, по моему виду собеседники решали: только приехали, ничего не знают. И терпеливо объясняли:
— Ну… русские немцы или русские евреи?
— Русские русские, — отвечал я.
На это обычно кивали: мол, да, таких здесь каждый второй. А в голове у них явно стояла другая мысль: «Но только идиоты в этом признаются».
Следующий уточняющий вопрос:
— А по какому параграфу приехали? Четвёртый или двадцать третий?
— По параграфу 18c.
На самом деле, все три вопроса обозначали одно и то же. После такого ответа наступала пауза. Про параграф 18c никто не слышал. Собеседники переглядывались, пытались что-то вспомнить, но сдавались.

vak

Zed интересный редактор, из всех появившихся за последнее время. Всё бы хорошо, но... Открываю в нём текстовый файл. Встаю куда-нибудь в середину окна, скажем на строку 20, и нажимаю PageDown. Файл перелистывается на страницу вперёд, а курсор улетает... вниз окна, на 4-ю строку снизу. Что за ерунда. Жму PageUp, файл листается обратно, но не на всю страницу, а на несколько строк. Курсор оказывается вверху экрана, на 4-й строке сверху. Ëшкин кот! Я не готов прыгать глазами в поисках курсора, увольте.

Легкими пинками мне удалось привести Zed в приемлемое состояние. Переделать клавиши PageUp и PageDown как предписано богом. Чтобы при перелистывании текущая строка (курсор) сохраняла своё относительное положение на экране. Когда вы уже находитесь на последней странице, клавиша PageDown ничего не делает. Верхняя строка остаётся на месте, а курсор не перемещается. В emacs такой режим включается установкой:

(setq scroll-preserve-screen-position t)

Настройки такой в редакторе нет. Надеялся найти плагин - благо, к Zed уже понаделано много extensions. Однако увы, не могут extensions обрабатывать клавиши и влиять на позицию текста в окне. Пришлось править исходник самого Zed.

Сам бы я в исходниках долго ковырялся. Но теперь в помощниках имеем Cursor. Он за пару минут разобрался и передеалал функции move_page_up() и move_page_down(). С первого раза это дело крашанулось, но я показал Курсору дамп стека и он шустро исправил проблему. Правку можно видеть вот тут:

https://github.com/sergev/ved/commit/e1896e99aeaa76b18944e8c0277647366aabe5a2

Чтобы получить такую версию Zed, вам придётся собрать его из исходников. Это нетрудно, по сути одна простая команда "cargo build --release".

juan_gandhi

River Garonne in Thouars-sur-Garonne

Thouars-sur-Garonne

vak

Давно ли вам приходилось форматировать 5-дюймовую дискету? И грузиться с неё. А я сегодня получил удовольствие. 😀 Вот так выглядит загрузка MS-DOS 3.31, исторически последней 8-битной версии. Последующие уже на XT-шках не использовались.

Провозившись пару часов, удалось собрать из имеющихся в гараже причандалов работающий флоповод, пересобрать линуксный драйвер, чтобы умел форматировать, и записать загрузочный флопик с MS-DOS.

Флопик приятно в руках подержать.

Вот из чего состоял тогда MS-DOS.

juan_gandhi

At 15:15 the hero asks how moving back in time is compatible with the free will.

vak

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

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

github.com/sergev/vscode-classic-paging

vak

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

hackaday.io/project/204408-tiny386

Watch on YouTube

vak

Как превратить карточку CompactFlash в диск IDE для писишки? Есть решение.

А дальше эта штука воткнётся в дисковый контроллер для 8-битной шины ISA.

juan_gandhi

juan_gandhi

В начале пятого дико завыл детектор дыма. Мы бегали по дому, искали, где тот, который пищит. Нашли один, потом другой. Нет. дыма-то не было. Батарейка закончилась. Самое время.

Ну что, мы заодно поели, посмотрели кино, и снова спать.

Утром ходили по магазинам. Примеряли мне кепочку, чтоб под француза косить - а ни одна не налезла. Ну зато еды купили два, э, мешка. Ну в смысле два пакета. Как мы всё это съедаем - бог весть. Ну там овощи и фрукты, в-основном.

Сидел редактировал книжку (у Билла вопросы были). К двум пошли в класс. Даже не к двум, а пораньше, чтоб места занять, а то народу много, особенно у Кристины.

Сначала какую-то чушь из грамматики проходили, а потом вернулись к той теме, образование во Франции, и чего народ хочет. Народ понятно чего хочет - чтобы их детушки на халяву и не особо прилагая усилия приобрели самые современные знания, нужные в промышленности именно сегодня, и при этом чтобы у них была возможность выбора и много свободного времени для песен и плясок. Здесь вам не Китай и не Эстония.

После этой темы в учебнике стали обсуждать, в каких странах у кого чо. Четверо британцев рассказали, что у них в Британии та же фигня; Кристиан, рассказав про свой взгляд на вещи, попросил затем других британцев рассказать свой. Вот хороший пример политической культуры в действии. Кстати, в Шотландии немножко по-другому, там учат лучше, и полезному.

В Германии те же проблемы - никто не учится, и каждая земля по-своему с ума сходит. И в Дании. И в Нидерландах. В Марокко и в Турции хорошие частные школы и плохие остальные; ну и что тут сделаешь? Да ничего. Дошло до Америки. Сначала подёргали Кристофера, как коренного американца - но Кристофер в школе учился в Германии, потом жил в Британии, потом немножко в Америке... короче, теоретик. Сказал только, что белых лучше учат, чем чёрных, но всё равно, в целом в Америке больше возможностей получить образование. Мы это тоже как бы подтвердили. Короче, к своему изумлению, пришли к выводу, что в Америке образование лучше. И я тут ещё понял, что и к советскому образованию у нас претензий нет, кроме разве что училки попадаются сволочи - но где они такие не попадаются?

Потом пошли домой, попили чайку, да пошли гулять... ну там чо гулять, нам много не надо. Так. Погода - ветрюга, но тепло.

А, пока я в классе был, набросал "ответ Биллу" - "почему не все множества натуральных чисел можно перечислить". Ну в смысле, в сноску в книжку. Развлечь гипотетических читателей. Вообще сколько можно-то! Напечатал бы уже как есть, продавал бы на Амазоне. Одну копию купили бы в Китае, одну на Тайване, 10 тысяч в Японии...

Ладно. Вечером сидел редактировал книжку, пока не устал. Завтра... Ну или завтра на хайк надо, а то чо.

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

vak

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

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

Watch on YouTube

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

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

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

vak

Watch on YouTube

Been beat down, but I don′t stay low
Got mud on my jeans, still ready to go
Every scar's a story that I survived
I′ve been through hell, but I'm still alive
They say, "Slow down, boy, don't go too fast"
But I ain′t never been one to live in the past
I keep moving forward, never looking back
With a worn-out hat and a six-string strap

You can kick rocks if you don′t like how I talk
I'ma keep on talking and walk my walk
Ain′t changing my tone, ain't changing my song
I was born this way, been loud too long
You can hate my style, you can roll your eyes
But I ain′t slowing down, I was born to rise
So kick them rocks if you don't like how I talk
I′ma keep on talking and walk my walk

I've lost some friends, made a few new foes
But that's just life, that′s how it goes
I ain′t bending over just to please a crowd
If I fall down, I'll fall down proud
I talk my truth, I live my way
Ain′t nobody gonna take my say
This road's been rough, but I learned the trade
It′s sweat, soul, and dues I paid

You can kick rocks if you don't like how I talk
I′ma keep on talking and walk my walk
Ain't changing my tone, ain't changing my song
I was born this way, been loud too long
You can hate my style, you can roll your eyes
But I ain′t slowing down, I was born to rise
So kick them rocks if you don′t like how I talk
I'm gon′ keep on talking and walk my walk (mm, mm)

Let the haters talk, let the rumors fly
I ain't got time to wonder why
The good Lord knows the man I am
And I′ll die standing tall with a mic in my hand

You can kick rocks if you don't like how I talk
I′m gon' keep on talking and walk my walk
Ain't selling my soul for a seat at your table
I′m rough, I′m raw, I'm wild, I′m able
You can hate my fire, but you can't kill my spark
I′m a midnight flame burning through the dark
So kick them rocks if you don't like how I talk
I′ma keep on talking and walk my walk

You can kick rocks (mm-mm)
You can kick rocks (mm-mm)
You can kick rocks (mm-mm)
I'ma keep on talking and walk my walk

Profile

gemelen

June 2025

M	T	W	T	F	S	S
						1
2	3	4	5	6	7	8
9	10	11	12	13	14	15
16	17	18	19	20	21	22
23	24	25	26	27	28	29
30

Page Summary

juan_gandhi - и заодно на тему
vak - Читаем содержимое флопиков на маке
vak - Взаимодействуйте разумом с материей
vak - PC XT загрузилась с флопика
juan_gandhi - Начал было читать про Булычёва, "как я стал писателем"
juan_gandhi - поговорил с навальнисткой
vak - Унификация по Робинсону
vak - Унификацию помните?
izard - Параграфы
vak - Текстовый редактор Zed не безнадёжен
juan_gandhi - a couple of pics
vak - MS-DOS 3.31 стартует c 1.2 мегабайтной дискеты
juan_gandhi - Tenet, a movie
vak - Чиним VS Code
vak - Хотите Windows 95 на микроконтроллере
vak - CompactFlash как диск IDE
juan_gandhi - вечер в нашем городке
juan_gandhi - белый дыбр
vak - Роботы это весело
vak - ИИ отжигает

Style Credit

Style: Voyage en Orient for Funky Circles by ninetydegrees
Resources: Wagom

Expand Cut Tags

No cut tags

Page generated Nov. 22nd, 2025 15:48

Amber

Reading

и заодно на тему

Читаем содержимое флопиков на маке

Взаимодействуйте разумом с материей

PC XT загрузилась с флопика

Начал было читать про Булычёва, "как я стал писателем"

поговорил с навальнисткой

Унификация по Робинсону

Унификацию помните?

Параграфы

Текстовый редактор Zed не безнадёжен

a couple of pics

MS-DOS 3.31 стартует c 1.2 мегабайтной дискеты

Tenet, a movie

Чиним VS Code

Хотите Windows 95 на микроконтроллере

CompactFlash как диск IDE

вечер в нашем городке

белый дыбр

Роботы это весело

ИИ отжигает

Profile

June 2025

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags