Пятнадцать байтов на стек от конца

Процессор i386 сделай сам

Tue, 26 May 2026 06:03:24 GMT

Я подумал: раз уж у нас имеется аутентичный микрокод процессора i386, и даже построенные на нём Верилоговские исходники для FPGA, не соорудить ли из этого богатства качественный симулятор?

Сделал детальный план разработки, разбитый на 14 последовательных шагов. Дал задание двум разным ИИ (Claude Code и Cursor) создать по этому плану симулятор i386. Независимо друг от друга, в разных бранчах. Поглядим, у кого лучше выйдет.

comments

Если бы Декарт, Маркс, Хайдеггер и Витгенштейн были программистами

Sun, 24 May 2026 07:53:33 GMT

Набрёл на фрагмент книги Алистера Кокбурна про разработку софта (1985-naur.pdf).

В книге "Work-Oriented Development of Software Artifacts" (1988) Pelle Ehn описывает серию проектов, исследовавших способы сделать программное обеспечение более соответствующим своему конечному применению, более удобным в использовании и создаваемым совместно программистами и конечными пользователями.

Для меня высшей точкой этой книги является то, как он рассматривает разработку программного обеспечения в контексте четырёх философов: René Descartes, Karl Marx, Martin Heidegger и Ludwig Wittgenstein.

Человек, работающий в стиле Декарта, мыслит внешнюю реальность как нечто достойное описания и направляет свои усилия на её фиксацию. Поэтому его интересует, насколько требования, модели и код соответствуют реальности. Этот картезианский подход заполнял первое полувековье нашей области.

Человек, работающий в стиле Маркса, прежде всего спрашивает: «Кому выгодна эта новая система? Как её внедрение изменяет структуру социальной власти?» Это осмысленный вопрос, независимо от того, нравятся вам политические теории Маркса или нет.

Человек, работающий в стиле Хайдеггера, рассматривает систему с точки зрения её эффективности как инструмента. В идеале пользователь вообще не должен «видеть» систему. Он должен видеть сквозь систему саму выполняемую задачу. Например, когда я печатаю документ, я вижу страницу, заполняющуюся текстом; я не «вижу» текстовый процессор. Опытный пианист видит создаваемую музыку, а не фортепиано; хороший плотник видит гвоздь, входящий в дерево, а не молоток. Подход Хайдеггера к оценке помогает нам создавать системы, более пригодные к использованию.

И только стиль Витгенштейна противопоставляется стилю Декарта. Человек, работающий в этом стиле, рассматривает развитие программного дизайна как разворачивание языковой игры, в которой со временем в язык добавляются новые слова.

Это сразу связывает разработку программного обеспечения с кооперативной игрой изобретения и коммуникации. Вероятно, значительной частью своей модели кооперативной игры я обязан работам Эна. За годы до того, как я разработал идею кооперативной игры, я прочитал и забыл следующую статью. Когда я начал писать эту книгу, я снова её перечитал и был поражён тем, насколько многие мои формулировки перекликались с формулировками Эна.

Эна интересует построение общего опыта через совместную практику, использование самой практики как непосредственной основы для выявления потребностей. Иными словами, он работает с неявным знанием. Более того, он подчёркивает роль мастерства в осуществлении практик (интересно читать слова Miyamoto Musashi, указывающие почти на то же самое). Хотя я и упоминал тему мастерства, Эн развивает её гораздо более глубоко и полно.

Там ещё есть от Питера Наура, про программирование как строительство теории. И от Миямото Мусаши, самурая 17-го века, не знавшего поражений.

comments

besmc как унивверсальный компилятор

Sun, 24 May 2026 00:32:13 GMT

Есть у нас в коллекции ретрокомпьютерных тулов такая штука как besmc. С её помощью можно программировать на БЭСМ-6 на разных языках программирования (и их смеси). Фактически это фронтэнд ко всем имеющимся компиляторам, ассемблерам, линкеру и симулятору. Для besmc надо также установить симулятор dubna. Подробности читайте в README.

К примеру, компилируем и выполняем программу на Паскале:

$ cat hello.pascal 
program main(output);
_(
    writeln('Hello, Pascal!');
_).
$ besmc hello.pascal 
$ ./hello.exe 
HELLO, PASCAL!

Или пусть главная программа будет на Паскале, а подпрограмма на Фортране:

$ cat caller.pascal 
program main (output);
procedure hello; fortran;
_(
    hello;
_).
$ cat callee.ftn 
        subroutine hello
        print 1000
 1000   format('Hello Fortran from Pascal!')
        end
$ besmc caller.pascal callee.ftn -o example
$ ./example.exe 
HELLO FORTRAN FROM PASCAL!

Есть куча примеров на разных языках: смотрите examples/README.md. Список примеров:

Pascal — `hello.pascal`
Pascal-re — `hello.pas`
Algol-ГДP — `hello.algol`
Fortran-ГДP — `hello.ftn`
Fortran Dubna — `hello.fortran`
Forex — `hello.forex`
Assembler Madlen — `hello.assem`
Assembler Madlen-3.5 — `hello.madlen`
Assembler БЕМШ — `hello.bemsh`
B language — `hello.b`
Object modules — `stdarray.std`
Mixed-language: Pascal calling Fortran — `caller.pascal` + `callee.ftn`

Да, а собственно новость в том, что утилита besmc теперь поддерживает язык программирования Би:

$ cat hello.b 
main() {
    printf("Hello, B!*n");
}
$ besmc hello.b
$ ./hello.exe 
HELLO, B!

Примеры интересных программ на Би можно глянуть здесь: examples/b.

Исторически языка Би на БЭСМ-6 не было. Это уже современная доделка. Хотя уже тогда ничто не мешало. Просто ни в Дубне, ни в ИТМиВТ не знали про язык Би.

comments

Си-программисту про setjmp/longjmp

Sat, 23 May 2026 22:44:50 GMT

Пока Дейкстра ругался на оператор goto (1968), Martin Richards изобрёл (в языке BCPL, 1967) механизм нелокальных переходов longjmp. Кен Томпсон и Деннис Ритчи встроили это дело сначала в язык Би, потом в Си. Идея прижилась, позже превратившись в try/catch в Си++.

Нелокальные переходы штука полезная в умелых руках. Иногда без неё не обойтись. Там есть куча подводных камней. Мне когда-то приходилось реализовывать setjmp/longjmp на разных архитектурах. Уже подзабылось маленько. Может кто и описал это дело в книжках, но где ж те книжки отыщешь. Благо имеем ИИ, можно спросить.

Вот статья с хорошим изложением темы от Клода: "Non-Local Jumps in C: Understanding setjmp and longjmp"

Целевая аудитория: программисты на C, знакомые с функциями, указателями и стеком вызовов, но ещё не сталкивавшиеся с нелокальным управлением потоком выполнения.

Цель: сформировать чёткое представление о том, как работают setjmp/longjmp, когда их следует использовать и — что не менее важно — когда их следует избегать.

comments

"Где сейчас хуйло?"

Fri, 22 May 2026 06:10:09 GMT

Дай, думаю, спрошу у Грока. Неестественный разум не подкачал.

Вернулся вчера/сегодня из Пекина после визита к Си (19–20 мая). Сейчас работает в столице, по данным Кремля и Пескова.

Обычно он либо в Кремле/Новом Огарёво, либо прячется в бункерах/резиденциях, но по последним новостям — в Москве.

grok.com/share/bGVnYWN5LWNvcHk_3f824a99-07e3-438a-9589-a24731f35751

comments

Что такое физический интеллект

Thu, 21 May 2026 21:53:05 GMT

Робот выгружает постиранную одежду из стиральной машины.

( +3 )

Подробная статья: bequiet-log.vercel.app/pi-review

comments

Клавиатура как бы IBM PC

Wed, 20 May 2026 18:55:26 GMT

Редкая вещь: современная клавиатура, но сделанная по технологии оригинальной IBM Model M. Просят $179 плюс доставка. Вес полтора килограмма, как и положено.

comments

Бэсмовский Си компилятор делает первые шаги

Wed, 20 May 2026 08:21:24 GMT

Компилируем пустую функцию.

$ cat empty.c
void foo()
{
    // Empty
}

$ ./parse empty.c empty.ast

$ ./lower empty.ast empty.tac

$ backend/genbesm empty.tac empty.mad

$ cat empty.mad
c Module: foo
      foo:   ,name,
             ,its, 13
          13 ,vjm, c/save
             ,uj, c/ret
             ,end,

Исходник на Си превращается в AST, потом в TAC, и окончательно а автокод Мадлен.

comments

Песенка от OpenBSD

Wed, 20 May 2026 07:01:57 GMT

По традиции с каждой новой версией OpenBSD выходит новая картинка и иногда стишок. Все их можно посмотреть на странице: openbsd.org/lyrics.htm

А почему бы не спеть это дело, подумалось мне, благо имеется suno.com. Вот что получилось для версии OpenBSD 7.3. Философская притча в стиле кантри.

Once there was a Wizard so old and wise
that he asked Mother Night for a new enterprise
falling asleep his wish was heard
and by Merlin's beard
what a strange world he entered
( дальше )

comments

Перуанской музыки вам в ленту

Wed, 20 May 2026 00:44:35 GMT

Эти твои глазки
меня околдовали,
твой сладкий взгляд,
мама!..
меня загипнотизировал.

Эльса, Эльса...
клянусь тебе, что люблю тебя,
что без тебя я бы умер,
если бы мне не хватало твоей любви.. (повтор)

Эльса... ах, Эльса...
ах, Эльса...
снимай туфельку...
я уже больше не могу!..
(Пусть играет кумбия, чтобы танцевать
с Эльсой!)

Смотри, как красотка шла,
песок тебя зовёт, и
иди, иди-иди, иди... я уже не могу!
(Пусть играет кумбия, чтобы танцевать
с Эльсой!)

Говоряяят... иди, смотри, иди-иди!
Я уже не могу!!
(Пусть играет кумбия, чтобы танцевать
с Эльсой!)..

comments

Что мы знаем о лисе? Ничего! И то - не все

Mon, 18 May 2026 08:53:10 GMT

Народ часто обвиняет язык Си в примитивности. Типа подумаешь: высокоуровневый ассемблер. Пока не столкнётся с правилами приведения типов. Мне пришлось потратить изрядные усилия, чтобы залудить это дело в компиляторе. Вот краткий конспект.

Type_Coercion.md

comments

Что такое HLS

Mon, 18 May 2026 05:05:25 GMT

Это когда пишем код на Си++ и превращаем его в чип. Только не всякий Си++ годится. Вот пример реализации числа с плавающей точкой для Siemens Catapult:

github.com/sergev/floatnum

comments

Есть ли у вас план, мистер Фикс?

Sat, 16 May 2026 02:44:39 GMT

Вот план разработки кодогенератора для БЭСМ-6. Не хухры-мухры между прочим: длиной 38 ~~попугаев~~ шагов. Разбит на несколько фаз:

Phase A — Infrastructure
Phase B — Instruction Selection
Phase C — Static Data
Phase D — Runtime Support Library
Phase E — Addressing and Basing
Phase F — Integration and Testing

comments

Калахи бывают разные

Fri, 15 May 2026 23:29:44 GMT

Навскидку надыбал несколько опенсорсных калахов. В основном минимакс с альфа-бета-отсечением, но есть и обучение с подкреплением.

comments

Made in Leningrad

Fri, 15 May 2026 19:42:26 GMT

Всю жизнь Анатолия Ивановича Волкова преследовали каверзным вопросом: кто такая Мадлен и что за роман между ними случился?

Madlen: The BESM-6 Autocode Assembler

comments

Документирую компилятор и его компоненты

Fri, 15 May 2026 08:08:24 GMT

comments

Разработчики ПО признают, что ИИ «разлагает» их мозги

Thu, 14 May 2026 19:47:30 GMT

(отсюда)

Пока руководители Google хвастаются тем, что 75% их кода генерируется ИИ, разработчики по всей Кремниевой долине тихо наблюдают, как их фундаментальные навыки программирования постепенно атрофируются. Разрыв между восторгом топ-менеджмента и раздражением «на земле» показывает тревожную картину того, как индустрия подходит к внедрению ИИ.

Цифры не показывают всей истории

Корпоративные метрики скрывают растущий кризис технического долга под поверхностью.

Заявление Google о 75% кода, написанного ИИ, прозвучало одновременно с прогнозом Microsoft, что к 2030 году 95% их кода будет создаваться ИИ. Meta и Anthropic сообщают о схожих внутренних показателях использования — свыше 90%. Эти цифры удобно оправдывают недавние увольнения: Meta сократила 10% сотрудников, а Microsoft продвигала программы добровольного ухода, затронувшие тысячи работников.

Посыл ясен: если ИИ заменяет человеческий труд, значит можно сокращать и число сотрудников. Но сами разработчики рассказывают другую историю. Многие сообщают, что использование ИИ-инструментов стало обязательным и даже влияет на оценку их работы, а команды реорганизуют в так называемые «AI-поды», которые больше похожи на показуху, чем на реальный рост производительности.

Первоначальный энтузиазм сменился раздражением: pull request’ы на тысячу строк, сгенерированные ИИ, превращают ревью кода в кошмар, пожирающий целые вечера. Ограничения на количество токенов прерывают работу посреди задачи, а разбор «крысиных гнёзд» из ИИ-кода требует как раз той самой экспертизы, которую компании утверждают, будто ИИ способен заменить.

Скрытая цена когнитивной разгрузки

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

И вот здесь становится по-настоящему тревожно: исследования Anthropic показывают, что помощь ИИ приводит к статистически значимому снижению уровня мастерства программистов. Разработчики начинают забывать базовые API, теряют ментальные модели своих кодовых баз и испытывают трудности с навигацией по сложным системам без «костылей» в виде ИИ.

Младшие разработчики приходят на работу, умея писать запросы для ChatGPT, но не способны отладить простой цикл. Знаете это неприятное чувство, когда Netflix зависает посреди просмотра? Примерно так же чувствуют себя разработчики, сталкиваясь с ИИ-сгенерированным кодом, который ломается в продакшене — кодом, который они не могут починить, потому что уже передали своё мышление на аутсорс ИИ.

Поиск баланса

Индустрии нужна устойчивая интеграция ИИ, а не показательное его внедрение.

ИИ-инструменты отлично подходят для прототипирования и работы в незнакомых областях. Согласно исследованию Morgan Stanley, в конечном итоге ИИ приведёт к росту занятости благодаря повышению производительности. Проблема не в самой помощи ИИ — проблема в демонстративном злоупотреблении им, продиктованном распоряжениями руководства, а не практической пользой.

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

comments

Система команд БЭСМ-6

Thu, 14 May 2026 04:59:17 GMT

Я сделал описание системы команд БЭСМ-6, хвала ~~всевышнему~~ ИИ. Покритикуйте пожалуйста.

BESM-6 Instruction Set Reference

comments

Один умный человек советует

Wed, 13 May 2026 22:02:53 GMT

In Claude, in your profile, "Settings -> Instructions for Claude",
Put this:

Follow these four rules:
1. Don’t make assumptions. Don’t hide confusion. Surface tradeoffs.
2. Minimum code that solves the problem. Nothing speculative.
3. Touch only what you must. Clean up only your own mess.
4. Define success criteria. Loop until verified.

comments

На входе Си, на выходе трёхадресный код

Wed, 13 May 2026 06:51:12 GMT

Давненько я не брал в руки бэсмовского Си компилятора. Начал я его ровно год назад, в мае. Но в июне отвлёкся на другие дела и выпал из темы. Сейчас только нашёл время продолжить его пинать. Компилятор наконец выдал первый результат. Берём простой код на Си:

int f() 
{ 
    int x = 10; 
    return x + 1; 
}

Запускаем проходы компилятора. Преобразуем сначала в AST, а потом в TAC. Выводим TAC в виде YAML:

$ cast test.c test.ast
$ tacker --yaml test.ast test.yaml
$ cat test.yaml
- toplevel:
  kind: function
  name: f
  global: true
  body:
    - instruction:
      kind: copy
      src:
        kind: constant
        const:
          kind: int
          value: 10
      dst:
        kind: var
        name: x
    - instruction:
      kind: binary
      op: add
      src1:
        kind: var
        name: x
      src2:
        kind: constant
        const:
          kind: int
          value: 1
      dst:
        kind: var
        name: t.0
    - instruction:
      kind: return
      src:
        kind: var
        name: t.0

Можно нарисовать картинку через Graphviz:

$ tacker --dot test.ast test.dot
$ dot -Tpdf test.dot -o test.pdf

Осталось закончить генерацию TAC для всех конструкций языка Си, а потом соорудить бэкенд. То есть преобразовалку команд абстрактной машины TAC в конкретные инструкции процессора БЭСМ-6.

comments

Серьёзной музыки вам в ленту

Wed, 13 May 2026 00:17:46 GMT

Филармонический оркестр Радио Франции исполняет "Atom Heart Mother" группы Пинк Флойд. Кто незнаком с музыкой Пинк Флойд - удачный момент приобщиться. Я с 12 лет их фанат.

comments

Горячая финская песенка с Евровидения

Tue, 12 May 2026 22:23:55 GMT

comments

Blaise

Mon, 11 May 2026 22:31:32 GMT

На одном FreePascal свет клином не сошёлся. Вот один крутой чувак пилит новый компилятор Паскаля, с чистого листа.

github.com/graemeg/blaise

comments

Будни войны

Mon, 11 May 2026 19:59:57 GMT

comments

Новости бэсмостроения

Mon, 11 May 2026 05:44:02 GMT

Покажу вам пару симпатичных картинок, случившихся за эти выходные.

(1) Народ из МГУ выложил исходники эмулятора дисплея VT-340. Был такой в 70-е годы, венгерского производства. Делался ещё для БЭСМ-4. Эмулятор написан несколько лет назад Николаем Макаровым-Землянским, светлой памяти профессором МГУ и большим энтузиастом БЭСМ-6. Сделан эмулятор на Паскале для Windows. За выходные мне удалось, с помощью молотка (Cursor), зубила (Claude Code) и какой-то матери, упинать эти исходники под Линукс и макОС. Далеко не всё там работает, но хоть дышит кое-как. Уже не потеряно для истории.

Исходники: besm6/vt340

(2) Не так давно Лёня spamsink восстановил исходники легендарной игры Калах. Тексты на Паскале, и разобраться в них было непросто. А надысь посредством ИИ Лёня перепёр их на Си++. Я добавил гуи, и теперь можно играть, в том числе на линуксном палмтопе.

Исходники: besm6/kalah-ui

comments