vak: (Линукс)
[personal profile] vak
Достал с полки старенький макбук пятнадцатилетней давности, поставил на нём последнюю версию Pop OS. Приятно взглянуть. Экранчик потёртый за годы активного ежедневного употребления, но всё в лучшем виде фунциклирует. Даже батарейка пару часов держит.



Чтобы заработал Wi-Fi, пришлось добавить "blacklist b43" в файл /etc/modprobe.d/blacklist.conf. Тогда загрузижается нужная версия драйвера Broadcom BCM4360.

Меряем скорость.
DureMark 1.0 Results
=======================
Iterations : 1000000
Execution Time : 9.6 sec
List Workload : 48.5%
Matrix Workload : 14.2%
State Workload : 37.3%
-----------------------
Total Score : 104591.67 DureMark
vak: (Бодхидхарма)
[personal profile] vak
Как вам такая игра? Коллега написал на чистом Си++, без зависимостей. И без ИИ.

Исходный текст: arcanoid.cpp

dmm: (Default)
[personal profile] dmm
I have finally read the 1967 paper by Dana Scott, "A Proof of the Independence of the Continuum Hypothesis"

www2.karlin.mff.cuni.cz/~krajicek/scott67.pdf

That's so much better than Cohen's original approach. With Cohen's result, not only his "forcing technique" is difficult, but Cohen had to work with countable models, so a reader was left with the impression that something was "morally wrong" (ощущение что фокусник вытащил кролика из шляпы). Yes, logic is typically about finite texts over a finite alphabet, so one can often build countable models of this and that, but does the result actually shed any light on the nature of cardinalities, or only on the limitations of our formal methods?

Here the approach is very different and much more "elementary". First, one rewrites the Continuum Hypothesis as a property of subsets of real numbers (for any subset X of reals, either there is a surjective function from natural numbers onto X, or there is a surjective function from X onto reals).

Then one considers models where statements are valued not in [0,1], but in a complete Boolean algebra. Namely one considers a set Omega, a sigma-algebra of its subsets, and a countably additive probability measure over that. One considers the "sigma-ideal" of subsets having measure zero and factors the original sigma-algebra over that sigma-ideal to avoid algebraic pathologies. This factor serves as our complete Boolean algebra B of logical values.

Then it turns out that real random variables over B are a B-valued model of the theory of real numbers.

Then one takes the set Omega of sufficiently high cardinality (higher than continuum), and one can use a subset of Omega of an intermediate cardinality to build a "subset X of those real random variables", such that one can't "surjectively map naturals onto X", and one can't "surjectively map X onto the whole set of those random variables" (pages 18-20). So one gets a model where that rewrite of the Continuum Hypothesis is false.

This work and its neighborhood is also a start of the whole approach to "generalized fuzzy mathematics", where one uses Boolean algebras or Heyting algebras or even more general structures as spaces of logical values.

(no subject)

Apr. 27th, 2026 11:30 am
norian: (Default)
[personal profile] norian
нору опять засыпало снегом по самые помидоры

посаженные в грядки растения и дикорастущие тюльпаны играют в народную хуйлостанскую руледгу - то ли выжывут, то ли не очень

и ещё два дня снегопадов обещают
green_fr: (Default)
[personal profile] green_fr
В декабре 2025 года в России заблокировали Roblox. У меня сильная презумпция отсутствия логики у российских властей, поэтому, признаюсь, первая мысль была: придурки, чего от них ещё ждать? Запрещают чисто рандомно, вот теперь и Роблокс попал под раздачу.

Но на днях Arte показал выпуск про Roblox, из которого мне хотя бы стала понятна их логика. Roblox — это не игра, это платформа, где ты можешь создавать свои игры. Например — мир, с которого начинают передачу, — ты можешь создать игру «арест мексиканцев агентами ICE». Можешь играть за мексиканцев, можешь за ICE, можешь за «мирных жителей» с плакатами «ICE OUT». Утверждается, что практически к каждому митингу против американской миграционной службы был «зеркальный митинг», организованный на платформе Roblox. Даже не создавая отдельный мир, а внутри одного из уже готовых миров (Brookhaven). В передаче показывают разыгранные сцены вламывающихся в дом агентов миграционной службы, аресты мексиканцев, протесты с баррикадами, поджог полицейского участка.



Формально всё это запрещено правилами платформы, которая призывает «оставаться вне политики». Очевидно, что этого достичь можно либо массовыми инвестициями в модерацию (это не тот вариант, который выбрало руководство Roblox), либо блокированием платформы. Википедия приводит список 11 стран, где на настоящий момент заблокирован Roblox. Все приличные диктатуры прикрываются «опасениями за безопасность детей» (и действительно, если поискать — можно найти детей, который развели в Roblox на деньги, на порнографию, довели до самоубийства и пр. — с этой логикой можно все школы закрыть), ну или фундаментально закрыты для всего (Китай, Северная Корея, Иран). Только наши выделились — «пропаганда ЛГБТ». Искренне интересно, что там у этих «лидеров нации» за фобии с ЛГБТ. Страна зеков, блин.

В передаче рассказывают об аналогичных виртуальных мероприятиях внутри Fortnite и GTA. И о том, что игроки могут использовать виртуальные миры для тренировки — как реагировать в той или иной ситуации (например, вы — свидетель облавы). Исторический дискурс: ещё в 2020 году в Roblox были манифестации BLM, затем в поддержку Палестины. Ещё до этого — внутри Animal Crossing люди рисовали призывы к независимости Гон-Конга. Ну и чтобы у зрителя не складывалось впечатление, что в виртуальном мире все за всё хорошее — парочка примеров миров Roblox, где ты можешь поиграть за нацистов внутри концлагеря (можно подумать, мы в детстве не играли «за наших» и «за немцев»).

Вывод в передаче лично меня расстроил. Не надо печалиться, говорит приглашённый эксперт. Да, ультра-правые могут набирать себе молодёжь, которой нравится играть в смотрителя концлагеря. Но аналогично поступают и «светлые силы» — вы же помните, как ещё в 2014 году в Final Fantasy XIV была сцена с гомосексуальным браком? То есть да, лично мне тоже гомосексуальный брак кажется существенно более прогрессивным, чем нацистские концлагеря. Но мне не кажется правильным, во-первых, публично заявлять, что это мнение всех присутствующих. А во-вторых, нужно помнить, конечно же, об отличии между реальным миром и виртуальным. Повторяю: мы в детстве играли «за немцев» не потому, что нам нравилась их идеология, а просто потому, что без этого игры не будет. Если воспринимать всё буквально — может ещё арестовывать и расстреливать всех актёров, которые Гитлера сыграли?

Другая тема — это когда в игре идёт стрим (прямой эфир, когда люди могут смотреть, как играют другие люди), и этот стрим заранее заявляется с какой-то темой. Например, в поддержку исследований против рака. Или той же Палестины. И все собранные деньги (внутри стрима можно передавать деньги организаторам) идут на заявленную цель. Но тут уже игра выступает в другом амплуа, это просто медиа, которым привлекают зрителей. Примерно как во время телетонов комики или певцы развлекают публику, в конце напоминая «не забудьте перевести денег на благую цель».

Флибуста

Apr. 26th, 2026 05:44 pm
vak: (Знайка)
[personal profile] vak
Полтора года назад бессменный администратор библиотеки «Флибуста» Стивер объявил, что ему недолго осталось. Хоть я и неактивный читатель, я решил, что на всякий случай стоит заиметь собственную копию. Благо народ на торрентах раздаёт качественные снапшоты. Объём гигантский однако, так что для скачивания мне пришлось проапгрейдить план Comcast. 

В сыром виде Флибуста представляет собой набор из 395 файлов в формате ZIP, каждый в среднем 3 гигабайта. Внутри находятся файлы с абстрактными именами - собственно книжки. Плюс дополнительный ZIP архив с метаинформацией, из которой можно узнать название книги, автора, язык, жанр и другое. В сумме примерно 806000 записей.

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

Народ наделал для формата Флибусты некоторое количество вспомогательного софта, и один из них (freeLib) оказался полезным. Я установил freeLib на маке, вызвал - запускается. Спрашивает, где на диске лежит Флибуста, сканируем её всю и создаёт базу данных в формате SQLite. Размером 427 мегабайт, не хухры мухры. Прекрасно, ровно то что нужно!

Я дал Курсору исходники freeLib и файл базы freeLib.sqlite. Он тут же сделал прекрасное описание схемы базы: Database.md. И смастерил тулзу (на Golang) для поиска по базе.
$ ./flib
flib — search the freeLib SQLite catalog

Usage:
  flib show PATTERN [--max NUM]   Search books by title (regular expression). Default --max is 20.
  flib extract [--destdir DIR]    Extract books into language/author/book.format tree.
  flib by author                  List all books grouped by author (tab-separated columns).
  flib by genre                   List all books grouped by genre.
  flib by language                List all books grouped by language.
  flib help                       Show this message

Environment:
  FLIB_DB   Path to freeLib.sqlite (default: ~/Documents/freeLib.sqlite)
  FLIB_PATH Path to Flibusta library root with zip archives (required for extract)
Главное здесь: режим extract. Из Флибусты извлекаются все книжки одна за одной, и разкладываются в указанном месте по папкам в два уровня:
язык/автор/название.формат
Полный список всех получившихся файлов, полученный командой tree, занимает 59 мегабайт. Выглядит так:
.
├── ad
│   └── Автор Неизвестен -- Мифы. Легенды. Эпос. Сказания
│       └── Нартхэр.pdf
...
├── en
│   ├── Аноним
│   │   └── Diary of an Oxygen Thief.epub
│   ├── Библия
│   │   ├── От Марка святое благовествование[Параллельный перевод].fb2
│   │   ├── Евангелие от Иоанна[Параллельный перевод].fb2
│   │   ├── Holy Bible: New International Version (NIV).fb2
│   │   ├── Holy Bible. New Revised Standard Version (NRSV).fb2
│   │   ├── The Bible - New International Version.fb2
│   │   ├── The Gospel according to John[Good News Translation ( GNT Bible )].fb2
│   │   └── The New Jerusalem Bible(rtf).zip
...
├── ru
│   ├── АБ
│   │   └── Московская история.fb2
...
├── uk
│   ├── Алай
│   │   └── Коли курява спаде.fb2
│   ├── Алкей
│   │   └── Золоте руно. З античної поезії[Збірка].djvu
│   ├── Антология
│   │   └── Львівська антологія. Том I. Від давніх часів до початку ХХ ст..fb2
│   ├── Аристотель
│   │   ├── Нікомахова етика.fb2
│   │   ├── Метафізика.fb2
│   │   └── Поетика.fb2
│   ├── Аристофан
│   │   └── Комедії.fb2
...
└── zh
...
    ├── Лао-цзы
    │   ├── 道德经.fb2
    │   └── Dàodé jīng.fb2
    └── Сунь-цзы
        └── The Art of War (chinese).fb2

154598 directories, 680883 files
Суммарный объём всех книг в распакованном виде - 1.6 Tбайт.

Я считаю, Флибуста представляет собой ценный исторический артефакт. Не Александрийская библиотека, конечно, но 680000 книг тоже неплохо. Удивительно, но до сих пор не проводилось никаких исследований её с научной точки зрения.
nhura: (Madea)
[personal profile] nhura
via [personal profile] klink0v 
t.me/polden21/712

Многие люди любят рассуждать о том, как надо так мощно и мудро управлять, чтобы твоя страна быстро стала самой крутой и богатой. Это очень наивные рассуждения. Для понимания логики исторических траекторий, я предлагаю коротенько пройтись по основным моментам, позволившим набрать вес такой стране, как Великобритания. Да, понятно – колонии, все дела, но колонии же были не только у Британии. Нет, был целый ряд причин, почему всё вышло так, как вышло.

И начинается этот ряд причин еще в середине 14 века с приходом Черной смерти – чумы. Тогда в Северо-Западной Европе и Британии вымерло процентов 60 населения, зато для тех, кто не вымер, это стало билетиком в обеспеченную (по крайней мере, едой) жизнь. Я когда-то уже писал про логику аграрной экономики – земля не размножается, а как-то существенно улучшать урожайность на единицу площади люди научились уже не в средние века. Т.ч. если в аграрной стране растёт население, то пайка каждого едока постепенно снижается. Черная смерть едоков проредила.

Именно тогда во всей Северо-Западной Европе и Британии начало формироваться то, что называется «экономикой высоких зарплат», т.е. простые работяги стали получать больше. Ещё одним немаловажным следствием Черной смерти стало снижение фертильности, т.е. женщины стали меньше рожать. Связано это было с тем, что в условиях нехватки работников женский труд тоже стал востребован. Молодые девки могли стать успешными карьеристками, что-то зарабатывать и не спешить беременеть. В Британии и Северо-Западной Европе браки стали заключать позже, в результате чего количество рождавшихся детей снизилось. Снизилась и детская смертность (т.к. дети лучше питались), но всё равно темпы роста населения замедлились, что дополнительно стимулировало если не дальнейший рост доходов, то, как минимум, временное сохранение их уровня.

Также, одним из важнейших следствий вымирания людей, специфичным уже для Англии, стало кардинальное повышение пасторальности – уменьшение количества людей затруднило обработку земли, потому всё бОльшие площади переводились под пастбища. Природа в Англии к этому располагает, а овцы там и так были, только чахлые, с короткой шерстью от недокорма и стрессов. И вот когда люди массово померли, эти чахлые овцы начали отжираться на разрастающихся пастбищах, становясь всё больше и пушистее. И чуть позже это сыграло очень важную роль в возвышении Британии.

В целом музыка играла недолго – уже с 15-го века и в Британии и в Европе расплодившиеся люди опять начали объедать друг друга и производительность труда начала падать. Да, как ни странно, но для простого человека на бОльшей части территории Европы именно 15 век был самым жирным, а потом реальные доходы начали падать, не останавливаясь в этом падении аж до начала 19 века, когда, например, на территории современной Италии низы общества (его большая часть) жрала одну поленту, поголовно болея пеллагрой. Но не в Британии.

Британии очень сильно помогли те самые жирные и пушистые овцы. Дело в том, что их удлинившаяся шерсть позволила производить тонкие ткани, которые до того производились исключительно на территории упомянутой современной Италии. Да, пока всё то, что происходило, являлось чистой стихией, но вот появляется одно очень важное решение, которое будет иметь далеко идущие последствия – Британия вводит высокий налог на шерсть, её становится невыгодно экспортировать. Приходится производить ткань внутри страны и экспортировать уже её. Это решение похоронило производство тканей на территории современной Италии уже к 17 веку, и Британия стала чуть ли не монополистом (ещё Нидерланды немного производили). Кому-то это может показаться херней, но нет, в 17 веке экспорт таких тканей составлял порядка 70% от всего экспорта Британии. Это действительно имело критическое значение.

Но что самое главное, практически весь этот экспорт осуществлялся через морской порт Лондона – Лондон рос невероятными темпами, Лондон богател. Работягам там платили очень много денег, больше, чем они могли заработать на селе.

Japan Festival Boston

Apr. 26th, 2026 08:23 pm
nhura: (banana)
[personal profile] nhura
Вязаные сувениры


Read more... )
Read more... )Read more... )


vit_r: default (Default)
[personal profile] vit_r
ИZZВЕСТИЯ_ДУРДОМА_caption_2023-08-28_1600x200
Kletus 2026

Витязь в домике


[ itSotWC::2026-04-23_1 ]
Ужас окружающей действительности не овладеет тем, кого от неё уже тошнит.



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

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

Ко всем участникам происходящего.

Николай Травкин, 2026-04-25:
Включил телевизор — в стране полная благодать. Открыл интернет — страна на грани революции. Изложил в сети свой взгляд — ты мразь, недоумок и продался либо Кремлю, либо Госдепу...

Так и живём — кто не с нами, тот против нас.

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

Хроники Гераней, 2026-04-20:
Хроника ударов по территории Украины 19 апреля 2026 года - 20 апреля 2026 года.

Вчера днём и ночью ВКС и ракетные войска наносили удары по целям на Донбассе, в Сумской, Харьковской, Запорожской, Днепропетровской и Херсонской областях (весь спектр средств поражения), Николаеве, Броварах Киевской области и в окрестностях Киева (Герань 3/5), Ильичёвске Одесской области, Чернигове и Черниговской области, окрестностях Полтавв (Герани/Герберы).

Хронология:

[...]

20 апреля 2026 года.

[...]

- 03:20 Харьков и окрестности Броваров Киевской области - взрывы. Герани/Герани-3.

Сергій FLASH, Про технології, 2024-04-20:
Сегодня ночью русские попытались меня убить. Выпустили на меня 4 реактивных "Шахеда".

Один управляемый реактивный "Шахед" долетел и врезался в стену моего дома. Дома у меня больше нет.

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

Кто хочет помочь

44411111[...]

51687456[...]

sergey@aboutadriatic.com

Read more... )

Нанодрама

Apr. 26th, 2026 07:12 am
vit_r: default (Default)
[personal profile] vit_r
Побеждающей армии не нужны герои.
vak: (Знайка)
[personal profile] vak
В курсе ли вы, что современные эмуляторы терминала поддерживают произвольные цвета? Вы больше не ограничены восемью или 16-ю цветами, как в стандарте ANSI. Вот, к примеру.


Можно делать симпатичные мультики.



+1 )

Взято из статьи "Art In The Terminal". "Исходники на Си++ здесь: github.com/fritzone/linman-console-graphs
vak: (Аристипп)
[personal profile] vak
Задавали вопрос в комментах: умеет ли Buffalo BRXL-16U3 писать M-Disc. Я проверил - прекрасно пишет. Хоть и не заявлено на сайте производителя. Забэкапил некоторое количество ценных исходников для истории. Читается на любом DVD устройстве.
nhura: (mermaid)
[personal profile] nhura

Вот эта сработала: www.proxysite.com

Прогноз

Apr. 25th, 2026 11:54 am
vak: (Украина)
[personal profile] vak
Представим себе 2030 год. Первое – Украина становится полноценным членом Европейского Союза и настоящей инвестиционной Меккой. Второе — разрушенные города отстраиваются на средства страны-агрессора. Третье – российское руководство находится на скамье подсудимых специального трибунала.
(отсюда)

Kia K4

Apr. 24th, 2026 10:06 pm
sab123: (Default)
[personal profile] sab123
В последнем Кар Энд Драйвере сравнение мелких машин - типа Джетты, Сивика, и среди них Киа К4, по результатам оказавшаяся в середине. А мне эта К4 недавно попадалась в прокате (с менее мощным мотором, чем у них на тесте), и я вообще думал, что она среднеразмерная машина. Это что, Сивики нынче тоже так выросли? В-остальном К4 - довольно безобразная машина, в которой все ощущается как-то неправильно. С другой стороны, когда начинаешь ездить, то она вполне ездит, довольно большая, и видимо дешевая.

Очень низкая крыша (или высокое сиденье, и по высоте не регулируется). Даже в самой нижней позиции сиденья я почти скребусь головой по потолку, еще хуже чем в RX-8. Может она попала в категорию с Сивиком по внутреннему объему, где площадь большая, но высота маленькая?

Руль на малой скорости ощущется очень странно, очень легким, но когда начинаешь ехать побыстрее, то вроде исправляется. Кнопки управления всяким типа отопления сделаны почти как в электрической EV6, но ЛУЧШЕ: у них только одна функция и нет переключения режимов. Управление это все равно какое-то несколько странное, но зато настоящие кнопки. С Андроидом вполне работает. Задние двери открываются странныим ручками, но это теперь модно. Багажник приличного размера. То есть в-принципе номинально в ней все есть, хоть и по-дешевому. Но непонятно, почему сделали такое сиденье. Возможно, что она задумана как женская машина.
vak: (Путиномедвед)
[personal profile] vak
Народ во Французской Гвиане избавился от ненужной пусковой площадки. Пятнадцать лет назад отсюда навигационные спутники Галилео запускали. Но война для россиян важнее. Бомбили Украину - уничтожили российский космос.

Толстой и война

Apr. 24th, 2026 08:49 pm
[personal profile] artyom_ferrier

Забавно, но только сейчас, «свой первый век пройдя до середины», сподобился прочесть «Севастопольские рассказы». До того — доводилось читывать у Графа лишь более поздние и более монументальные увражи.

И, честно, мне никогда не нравился Толстой. Напрягал своей какой-то «назидательностью» (каковая усугублялась тяжеловесностью — или же «усугубляла тяжеловесность»).

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

Это вызывало раздражение. Думалось: «Чел, ну ты для дошкольников, что ли, пишешь? Так нет, вроде? Ну а тогда — нельзя как-нибудь поизящней свою «философь» пропихивать, не так в лоб, не так навязчиво?»

Впрочем, воздавая должное творческой усидчивости Графа, я про себя наградил его почётным титулом «Свинцовая Жопа Русской Литературы».

Сейчас же, почитав (вернее, послушав на променадах) эти военные рассказики, поймал себя на мысли, что Толстой будто бы услышал мою критику и принял к сведению (вот на заре своей литературной карьеры).

Read more... )

 

2025 год — окончание

Apr. 24th, 2026 09:43 am
green_fr: (Default)
[personal profile] green_fr
2025 год однозначно прошёл под знаком Анечкиной учёбы. Слева — очень показательная фотография: мы едем в осенний лагерь, дороги туда часов 7, поэтому я за рулём, а Анюта рядом учится. Лекции, конспекты и расчёты на компьютере, рядом «доска» для черновиков. Гвозди бы делать из этих людей. Я правда горжусь, что нахожусь рядом.
Справа — уже осенний лагерь, отличная лекция Вадима о многомерных шарах и сферах. В двух словах: сначала рекурсивно вывели формулу для площади n-мерной сферы и объёма n-мерного шара. Потом начали смотреть на эти формулы и видеть какие-то жутко контринтуитивные вещи. Например, что с ростом размерности весь объём шара концентрируется вдоль сферы (другими словами: объём «корочки» у многомерного апельсина составляет всё большую и большую долю объёма самого апельсина, стремясь к 100%). Или — аналогично, с ростом размерности, — что этот же объём концентрируется вдоль «экватора». При том, что сам экватор можно провести как угодно, лишь бы сферу напополам делил. Разрыв мозга.


Read more... )
vak: (Аристипп)
[personal profile] vak
Пессимисты отрицают искусственный интеллект и обзывают его стохастическим попугаем. Но взгляните на рассуждения Клода по поводу игры Хамурапи:
Продавать ещё больше земли, чтобы спасти всех в плохой год, кажется гуманным, но это оборачивается проблемами: выживших нужно кормить и в будущем, и если следующий год снова окажется неурожайным, появится больше ртов при меньшем количестве земли. В итоге голод просто переносится на более поздний год, а не уменьшается. Остановка на минимально безопасном уровне позволяет удерживать население в пределах, которые может прокормить имеющаяся земля.
Строить в уме модельную реальность, рассуждать в пределах этой реальности и делать конструктивные выводы - не это ли основное свойство явления, которое мы называем словом интеллект?

Из моих наблюдений, немногие из игравших в Хамурапи сапиенсов умели мыслить на подобном уровне. 😀

Profile

dennisgorelik: 2020-06-13 in my home office (Default)
Dennis Gorelik

April 2026

S M T W T F S
   1234
5 67 8 910 11
12 131415161718
19202122232425
2627282930  

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Apr. 28th, 2026 04:18 am
Powered by Dreamwidth Studios