lauerz | Reading

Сегодня были объявлены победители ежегодного конкурса IOCCC (видео), и среди них обнаружился интересный проект.

Программа на Си размером 366 байт исходного кода (prog.c) запускает виртуальную машину.
Машина состоит из 32-битного процессора архитектуры SUBLEQ+, полутора гигабайт памяти, графического адаптера 800x512, клавиатуры, часов реального времени, с многозадачностью и прочими ништяками.
Для этой машины имеется компилятор Clang (и прочий LLVM).
На этой машине запускается Линукс.
Под Линуксом запускается Doom.
Из приложений также имеются веб сервер, текстовый браузер и прочее.

Цитата из README:

Автор разработал архитектуру, реализованную в этой виртуальной машине, и набор инструментов в рамках готовящейся к запуску инициативы Eternal Software Initiative, основанной на открытом исходном коде.

Учитывая, что большая часть современной культуры — искусство, наука, история, работа и развлечения — представлена или доступна через программное обеспечение, как нам сохранить это программное обеспечение в пригодном для использования виде, чтобы историки через 1000 лет смогли оглянуться на сегодняшний день и понять, что значило быть человеком в XXI веке? Культуры прошлого можно реконструировать из «самосохраняющихся» физических артефактов, таких как предметы и книги, но программное обеспечение по своей природе эфемерно. Без активных усилий по его сохранению в пригодном для использования виде, современная культура будет в значительной степени «забыта» для будущих поколений.

Задача: сохранения только программного обеспечения недостаточно. Для того чтобы оно было работоспособным, необходимо сохранить в пригодном для использования виде не только само программное обеспечение, но и всю экосистему (операционные системы, библиотеки, компиляторы, фреймворки) вплоть до аппаратного обеспечения. Однако эта экосистема невероятно сложна: большая её часть является собственностью компаний и неполно документирована, а её восстановление в будущем может оказаться очень сложным или даже невозможным, например, в случае краха и возрождения цивилизации, когда полная информация о современных вычислительных архитектурах вряд ли сохранится.

Цель Инициативы «Вечное программное обеспечение» — предложить решение этой проблемы. Мы определяем новую вычислительную архитектуру, настолько простую, что шаги по созданию виртуальной машины можно записать на салфетке, вместе с набором инструментов для компиляции любого современного программного обеспечения (включая операционную систему, фреймворки, библиотеки и т. д.) в единую самодостаточную «капсулу» чисел. Эти числа могут храниться в физической форме на прочном носителе (например, вытравленном на титановом цилиндре), который сохранится на протяжении тысячелетий без деградации. Демонстрации Mandelbrot, Pong и ядро Linux с приложениями, представленные в рамках этой заявки на IOCCC, являются примерами таких капсул.

Через 1000 лет антрополог, обнаруживший инструкцию на «салфетке» и капсулу, сможет воссоздать виртуальную машину менее чем за час (без необходимости знания современных вычислительных архитектур или языков программирования) и, следовательно, оживить содержимое капсулы в полностью функциональном виде. Таким образом, Инициатива «Вечное программное обеспечение» стремится сохранить современное программное обеспечение, чтобы наша цифровая культура могла быть воссоздана и пережита заново в далеком будущем.

selenga

Российская ракета вражеской РСЗО "Солнцепек" загорелась во время запуска, а оккупанты сразу бросились бежать
https://censor.net/ru/v4007039

*

Украинские силы атаковали арсенал ВМФ РФ, базу в Кронштадте и нефтебазу в Краснодарском крае
Подразделения СБУ, ВСУ и ГУР нанесли удар по 15-му арсеналу ВМФ РФ, Кронштадтской военно-морской базе и нефтебазе "Усть-Лабинск". Вывод этих объектов из строя затрудняет логистику и снабжение российских войск
https://censor.net/ru/n4007037

Пилоты истребителей Су-27 авиаударом уничтожили здание со скоплением оккупантов, боекомплект и 2 мотоцикла на Востоке
https://censor.net/ru/v4007031

Авиаудар Воздушных сил по месту дислокации оккупантов в Донецкой области
https://censor.net/ru/v4007047

Силы обороны нанесли удар по точке запуска БПЛА россиян в Покровске. ВИДЕО
https://censor.net/ru/v4006974

3-й полк ССО взял под воздушный контроль часть сухопутного пути в Крым
https://censor.net/ru/n4007042

*

Командование 36-й армии РФ ввело ограничения на расход боеприпасов для артиллерийских подразделений в июне после ударов ВСУ по складам россиян на временно оккупированных территориях Запорожской и Херсонской областей
https://censor.net/ru/n4007030

*

Суд в Швеции разрешил передать Украине российское судно Caffa, которое перевозило украденное украинское зерно из ВОТ
https://censor.net/ru/n4006972

avva

Любопытная задача. Нет уверенности, что я правильно над этим думаю, но все-таки рискну предположить, что правильный ответ --

*
*
* анти-спойлерное место
*
*

что правильный ответ "почти наверняка B, но в принципе может зависеть от материала, из которого сделана пружина/веревка, числа колец пружины и веса шаров".

Немного конкретнее о том, что я имею в виду. Предположим сначала, что пружина, на которой висит шар A, и веревка, на которой висит шар B, сделаны из одного материала (например стальная пружина и стальной трос, хоть и странно перерезать их ножницами, ну ладно). Тогда, мне кажется, первым коснется земли шар B. Оба шара не падают, потому что сила притяжения уравновешена натяжением в пружине/веревке. Для того, чтобы они начали падать, сверху донизу должна дойти волна, которая несет изменение натяжения, и которая движется со скоростью звука в данном материале. Если материал один и тот же и скорость одна и та же, то до B волна доберется намного быстрее, потому что дистанция намного меньше: не надо нарезать круги вокруг оси, а идем прямо по оси.

Предположим теперь, что A подвешен на металлической пружине, а B на обычной веревке. Скорость звука в веревке значительно меньше, чем в металле, скажем в 5 раз, но общая длина, которую нужно пройти звуку по пружине, еще намного больше, чем длина веревки. Для типичной пружины и веревки все равно крайне вероятно, что волна доберется до B раньше, чем до A, и B коснется земли первым. Но тут уже это зависит от количества колец, длины пружины и ее натяжения, а оно зависит в свою очередь от коэффициента упругости пружины и веса шара, который подвешен на ней (насколько он ее растягивает). В более растянутой пружине волна движется намного быстрее. Мне кажется, можно в принципе подобрать такую пружину и такую веревку, что A начнет падать первым и первым коснется земли, хотя во всех интуитивно логичных примерах все-таки побеждает наверное B.

Физик Зохар Комаргодски пишет у себя в ФБ, что более основательный анализ должен учитывать сжимание-разжимание пружины с шаром A относительно центра масс после начала падения. Если мы посмотрим на A в ускоряющейся системе координат свободного падения центра масс A+пружина, то в этой системе нет притяжения Земли, есть изначально растянутая (неравномерно!) пружина, которая начинает сокращаться в направлении центра масс. Если до земли достаточно расстояния, то в процессе падения шар пружина может сжаться и опять разжаться, сокращая тем самым "перевес" B от того, что он первым начал падать. С земли это может выглядеть как: B начал падать первым, а А еще какое-то время висел, но зато в отличие от B шар А падает не свободным падением, а еще и подталкивается сверх него разжимающейся пружиной. Если повезет, он может (? - в этом я не уверен) догнать шар А в момент касания земли.

juan_gandhi

Новый насос бассейна

Дорожка вечером

Жаба хочет в бассейн

Гриб, довольно вкусный

Утренний отдых белки

chaource

"Tagless-final" is an unfortunate piece of jargon in the functional programming community, but it is a bona fide FP design pattern. Hapless tutorials on tagless-final are just as numerous as monad tutorials, and they are as useless for learning about TF or for understanding it deeper as the monad tutorials for understanding monads.

Here is a recent blog post about TF:

https://blog.rafaelfernandez.dev/posts/tagless-final-is-denotational-semantics/

To understand "tagless-final" from the point of view of type theory, begin by extracting the type signatures from the following code snippet:

trait UserRepo[F[_]] {
  def find(id: UserId): F[Option[User]]
  def save(user: User): F[Unit]
}

def createUser[F[_]: Monad](repo: UserRepo[F], name: String): F[User] = ...

The type of "createUser" is a higher-kinded function type with type parameter F : * → * and an additional typeclass constraint (F : Monad). The argument "name : String" can be ignored as it is irrelevant for the tagless-final pattern. The important argument is UserRepo[F], which we can understand as this type:

UserRepo F = ( UserId → F (1 + User) ) × (User → F 1)

For brevity, let's rename UserRepo to just U, and let's replace the domain-specific types by some fixed types A, B, C, D. We obtain:

U F = (A → F B) × (C → F D)

So, the type of "createUser" becomes:

∀(F : Monad). (A → F B) → (C → F D) → F E

Now, if this were all, it wouldn't be worth talking about "tagless final". This example is not general enough. The functions of type A → F B and C → F D will be more general in another domain-specific example; most importantly, we could get arguments of type F X for some X. A more general example could look like this:

∀(F : MonadAndOtherStuff). (A → F B → F C) → (D → F E → F G) → F H

where "MonadAndOtherStuff" could be a typeclass having more operations than just a monad.

My goal is to understand this in a categorical language, which is hopefully going to show what this design pattern is about, how does it compare with and where it would be appropriate to use it.
( Read more... )

juan_gandhi

vak

Ох и дата сегодня…

ninazino

По-моему, прекрасный мем:

В соревновании холодильника и телевизора вперед неожиданно вырвались бензоколонки:))

imfromjasenevo

У меня есть три идеи насчет тактики в российско-украинской войне, которые противоречат идеям российских военных, Стрелкова и всех известных мне российских зет-специалистов. Хотя, возможно, я вообще все понимаю неверно.

1) У ВС РФ тупо нет достаточно точных ракет с конвенциональными боеголовками, чтобы сносить украинскую логистику. Примеры атак ВСУ по Антоновскому мосту и атак ВС РФ по мосту через Затоку под Одессой показывают, что нужно множество ракет, чтобы просто повредить мост. А окончательно вывести его из строя, скорее всего, почти нет шансов. Надежды Стрелкова на ракетные удары по мостам - напрасная мечта: конвенциональных средств, способных надежно выносить мосты, кроме тяжелых бомб, у РФ нет.

2)Целенаправленные удары по Киеву с военной точки зрения даже вредны, так как там мало военных целей. Плюс концентрация ударов дает возможность концентрировать ПВО и заранее готовиться. Даже если оставить в стороне гуманитарную часть и соответствие законам войны, это не имеет смысла. Мне трудно понять цели Путина, но, кроме пиара, он ударами по Киеву ничего не добьется. Только увеличит свои проблемы.

3)Расставление «Панцирей» на крышах домов в Москве и на специальных вышках в Подмосковье - потенциально опасная тактика. Она провоцирует противника заняться прицельным уничтожением «Панцирей», а нахождение их на фиксированном месте упрощает задачу. Кроме того, это делает такие дома легальными военными целями. То есть, если война продолжится и дальше, мы вполне можем увидеть прилетающие дроны-матки, которые атакуют отдельно стоящие «Панцири» малыми дронами.

tima

Вчера мелкая получила диплом Мастера здравоохранения, теперь у каждого члена нашей семьи мастерские степени, а у некоторых и по две.

chaource

Выношу изъ комментарiевъ у Иванова-Петрова.

evgeniirudnyi:
Причина разговоров про интерпретацию квантовой механики связана с правилом Борна. Это правило связывает теорию и эксперименты, но связь идет через введение распределения вероятностей. Таким образом проведение экспериментов связывается со случайной величиной, а представить себе существование случайной величины для нормального мышления невозможно.

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

Хорошая формулировка про "представить себѣ случайную величину невозможно".

Но въ другой части я не согласенъ - мнѣ кажется, что причина безконечныхъ споровъ про интерпретацiю КМ не въ томъ, что КМ является теорiей съ фундаментально вѣроятностными предсказанiями. А въ томъ, что технически невозможно строго осуществить вычисленiя, необходимыя для описанiя перехода отъ квантоваго описанiя системы къ классическому. Въ терминахъ "многомiровой" интерпретацiи Эверетта, волновая функцiя системы должна распадаться на квази-классическiя вѣтви, которыя другъ съ другомъ не взаимодѣйствуютъ. Вотъ этотъ распадъ на вѣтви слишкомъ сложенъ, чтобы его записать въ явномъ видѣ въ учебникахъ КМ. Вмѣсто этого въ учебникахъ КМ пишутъ какую-то невнятицу о "коллапсѣ волновой функцiи" или доходятъ до обсужденiя метафизическихъ вопросовъ о томъ, "что такое реальность въ КМ".

( Read more... )

vak

В статье описывается, как в памяти БЭСМ-6 хранятся все основные скалярные типы данных языка C — целые числа, числа с плавающей запятой, символы, логические значения и указатели.

Besm6_Data_Representation.md

selenga

«Муж говорит, что пора собирать тревожный чемоданчик, и что мы — следующие. Никто не верит. Я не верю. Трудно поверить в апокалипсис вот так сразу. И какой нафиг чемоданчик? У меня новый красивый дом с видом на «Донбасс Арену», и жабы ещё поют на закате, и рассада. И коты. И ворота нужно ставить, веранду. Ерунда какая-то…»...

*

Адамс Таня - Новейшая история кошмара --- https://loveread.info/audioknigi/roman-proza/120606-adams-tanya--noveishaya-istoriya-koshmara.html

Меня вчера спросили, когда вы поняли, что пришел п**дец. Сложно сказать. Муж понял сразу после Крыма, в феврале. Я — сильно позже.

Попробую коротко описать слайд-шоу по памяти.

Слайд 1

Легитимный свалил в голубом вертолёте.

Крым оккупирован ихтамнетами.

Что происходит в Киеве, до конца не ясно.

Нездоровая аквафрешная движуха под ОГА.

Муж говорит, что пора собирать тревожный чемоданчик, и что мы — следующие. Никто не верит. Я не верю.

Трудно поверить в апокалипсис вот так сразу. И какой нафик чемоданчик, у меня новый красивый дом с видом на Арену и жабы ещё поют на закате и рассада. И коты. И ворота нужно ставить, веранду. Ерунда какая-то…

Слайд 2

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

Мы выходим. Мы собираемся тысячами за сутки. Мы все молоды. Даже те, которые не очень. Мы улыбчивы, пока ещё расслаблены, мы просто тусим, поём песен и про степь донецкую и про червону руту. Всё клёво, мы за мир. У нас самодельные корявые плакаты и только что купленные флаги. Среди нас дети и собаки. Мы никого не боимся и никому не угрожаем.

Нам забавно, когда прохожие бабки обзываются понаехавшими бандеровцами. Мы машем им вслед паспортами с донецкой пропиской и кричим «Слава Украине!».

Слайд 3

Это когда погиб Чернявский. Это когда появилась арматура, ножи и биты. Это когда ментам было демонстративно похуй.

Это когда муж впервые сказал оставаться дома, потому что совсем сирота – не вариант.

Это когда первый раз в голове крутанулось «Что блять происходит?!».

selenga

https://telesyk.dreamwidth.org/2525120.html

https://allegoriya.dreamwidth.org/2145575.html

juan_gandhi

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

А к полудню где-то бац, и всё прошло, и я проплыл свои 400 метров (а ещё 400 вечером), и с Клодом мы улучшали скрипты, и ещё я постриг переднюю поляну.

Соседка Катя принесла персиков и кусочек пирога с персиками. Это у них в церкви принесли и всем раздавали.

Ходил гулял; натаптывал свои 10 тысяч шагов. Французское радио и интересно, а слушать не хочется, я лучше Шейтельмана да Наки. Ну правда.

Пробовал слушать Асланяна, но когда дошли до "трагедии в Старобельске", то написал ему "не охуели ли вы", и закрыл вопрос. Никаких Асланянов. Не знаю, как на ютьюбе ставят бан, но... и так запомню.

Ладно; уже 11-й час. Досмотрю-ка я The 5th Element.

Кстати, попал на ютьюбе на разъяснения насчёт Киндзадзы: оказывается КЦ - это инициалы Клары Цеткин.

vak

(переклад Володимира Панченка)

Варкало. Борщуки прузькі
Сверділися в садві,
Хруктіли жабани мізькі,
Мов псиці дальові.

"Чи чуєш, хлопчику, який
Між людом перекляк?
Реве в прапралісі струшний,
Зломісний Казнаяк!"

А той - сталізний меч узяв,
Страхетних повен дум,
І в думах тих покривував
Під дерево Тумтум.

Аж раптом чує злютий цвик -
То Казнаяк метить;
Прапраліс до землі поник,
Шморгонь навкруг горить!

Раз-два! Раз-два! Гордить трава,
Лунає дзист меча -
І вже збритає голова
З ворожого плеча!

Ти Казнаяка, хлопче мій,
У блитві подволав!
Твоєї сплави день гусний
На світі свім настав!

Варкало. Борщуки прузькі
Сверділися в садві,
Хруктіли жабани мізькі,
Мов псиці дальові.

Подробный разбор темы в статье Москвитиной и Корнелюка: zfs-journal.uzhnu.uz.ua/archive/31/25.pdf

imfromjasenevo

И в основном, конечно, на Украину дроны поступают из западных стран, достаточно только заниматься сборкой. Хотя пытаются там что-то разрабатывать сами, но мало что получается», — сказал Путин. PS Надо было спросить про операцию "Паутина", как он ее оценивает.

ninazino

Демократы, если кто не понял, слюнтяи. Они сейчас развозят пальцами рук по столу манную кашу в отношении некоего Грэма Платнера, кандидата от демпартии в Сенат в штате Мэн.

У него, видите ли, была татуировка “Мертвой головы”, которую он поимел, когда служил где-то на войне. Вот что известно про эту голову:

Религия и философия: В христианстве символизирует останки Адама, которые, по преданию, находились на Голгофе. Кровь распятого Христа омыла их, став знаком искупления грехов и победы над смертью. В античности и культуре этот знак ассоциируется с крылатым выражением Memento mori («Помни, что ты смертный»).

Военная история: Использовался как эмблема элитных и бесстрашных подразделений. Знак означал готовность к самопожертвованию. Его носили прусские гусары, русские «ударные» части Первой мировой войны, а также печально известные войска СС в нацистской Германии.

Предупреждение об опасности: В современном мире символ предупреждает о риске для жизни — например, на трансформаторных подстанциях (высокое напряжение) или на емкостях с ядами и токсичными веществами.

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

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

.

Ну ты посмотри! Из всех возможных значений и использований почему-то зациклились на том, что это было использовано разными “элитными и бесстрашными подразделениями” (ударение на “разными”), но в частности и немецкими.

Ни останков Адама, ни предупреждения об опасности, ни бабочки, ни даже пиратства, только СС.

А с другой стороны республиканцы номинировали в сенат Кена Пакстона от штата Техас. Там креста поставить негде, настолько грязное существо.

И вот, интервью Майка Пенса, который написал книжку про простигосподи “консервативные ценности” и раздает интервью в ходе промоушена этой книжки.

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

Ответ прост как два пальца об асфальт: речь идет о сохранении большинства в Сенате, поэтому я поддерживаю всех республиканцев across a board.

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

imfromjasenevo

Дональд Трамп не собирался нарушать территориальную целостность Гренландии, а его слова о возможном вторжении были истолкованы неправильно, утверждает посол США при ЕС Паздер. PS Готов поспорить: не пройдет и года, как Трамп снова начнет рассуждать о применении силы для решения вопроса Гренландии.

ny_quant

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

Это потому, что война с Ираном больше не главное. Сегодня правительство отрапортовало скачок в найме (+172К работ в мае), что похоронило надежды на снижение учетных ставок. Вот акции и упали, тогда как нефть живет своей жизнью.

Profile

lauerz

May 2026

S	M	T	W	T	F	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
31

Page Summary

vak - Eternal Software Initiative
selenga - горм горм ясно
avva - какой шар
juan_gandhi - фотки из жизни
chaource - Difficulty in formulating "tagless-final" categorically
juan_gandhi - бурундук/чка у меня в цветах
vak - 2026/6/6
ninazino - С просторов сети:)
imfromjasenevo - клея бумажные танчики
tima - Город мастеров
chaource - Снова о проблемѣ измѣренiя въ квантовой механикѣ
vak - Форматы данных БЭСМ-6
selenga - Современная русскоязычная украинская литература
selenga - позитивного
juan_gandhi - белый дыбр
vak - Казнаяк
imfromjasenevo - 311
ninazino - Слюнтяи.
imfromjasenevo - (no subject)
ny_quant - Корреляционное

Style Credit

Style: Green for Basic Boxes by branchandroot

Expand Cut Tags

No cut tags

Page generated Jun. 7th, 2026 05:11 am