логика
Jan. 15th, 2026 02:52 pmТ.е. что выражение
( для любого y Летает(y) ) -> Все_Летают
Эквивалентно
существует y (Летает(y) -> Все_Летают)
Чисто на уровне формул булевой алгебры переход совершенно элементарный, а вот интуитивно кажется что что-то сильно не так. И даже сесть и написать почему это так - получается со скрипом, и тут же забываю объяснение. Вот вроде уже понял объяснение, и всё равно смотрю на переход выше как баран.
Если что, логику я нормально не учил и, кажется, как выносить кванторы из импликаций или иных бинарных логических операций, мне никогда не давали. Догадался ли бы я в 17-20 лет, что кванторы можно выносить из дизъюнкции и конъюнкции - не знаю. А сейчас уже опять - мозги надо напрягать, чтобы понять, что этот трюк правильный.
Возможно, тут проблема ещё и в том, что у меня нет в голове интуитивно прозрачного восприятия импликации. Ну т.е. таблицу истинности объяснить могу, а вот в интуицию, наверное, всё же не легло.
Вообще, если ещё немного порефлексировать, то видится так, что смысл первого выражения совершенно интуитивно ясен, а вот смысл второго выражения неясен совершенно. Что значит для любого "y" верна некая импликация? Да просто фиг его знает, надо садиться и кропотливо разбираться. Вот наверное да - именно в этом месте интуиция полностью отваливается. Даже и непонятно как эту вторую формулу на человеческом бытовом языке произнести.
Решительные граждане
Jan. 15th, 2026 09:00 pmПраваки чуть пониже чином открыто говорят о небходимости борьбы с "судебной диктатурой", а товарищам поважнее приходится маленько маскироваться, но так, чтобы всем всё понятно. И граждане внимают! Вот на днях какая-то пара пенсов в Хадере вывесила на своем заборе плакат в поддержку юрсоветницы. В такой ответственный для страны момент решили, блядь, что им тут государство ТА. Тем разрушительней их месседж -- смотри, Галя, с тобой не только ТА, но и Хадера. Это же может ее немедленно спровоцировать на окончательный захват власть в стране из рук законноизбранного правительства! Как можно такое терпеть? И неизвестный патриот проехал мимо на велике, закутав морду, и бросил в сторону их двора светошумовую гранату. Просто как намек, что тут вам не ТА, гржадане, имейте совесть. Обычную классовую совесть, много не просим. И что теперь? Даже гвир не помог, патриота ищет полиция. Пока не нашла, слава богу, а ну как найдет? Короче, всё как и говорил блевин. И неравнодушные граждане, им помянутые и борящиеся с диктатурой, попадают под удар вместе со своей решимостью. Пока диктатуру не снесут, так она и будет огрызаться. И только тогда, когда и менты, и багац, и юрсоветник, и все остальное
P.S. Заодно давайте сделаем небольшой опрос читателей, но вначале напомним два известных исторических факта:
1. Сам смотрящий блевин регулярно контактирует с видным ликудником из герцлии святожитейским, агитирует за него и опирается на голоса его "солдат" в отделении ликуда. Никому совершенно не мешает то, что святожитейский бывший(?) уголовник местного значения с тремя-четырьмя отсидками.
2. В цк ликуд состоял и мафионер
А теперь внимание, опрос:
Связано ли нынешнее событие и истории 1 и 2?
Никакой связи. И вообще, может, это левак провокацию сделал, чтобы опорочить правый лагерь.
1 (25.0%)
Никакой связи. Кто сказал, что это ликудник? А если и ликудник, случайное совпадение.
0 (0.0%)
Связь не причинно-следственная, но есть явная корреляция.
2 (50.0%)
Связь прямая. Это типичный ликуд -- партия джобов, коррупционеров и просто уголовников.
1 (25.0%)
P.P.S. Хотел поставить тэг опрос. Но такого у меня нет, а на оп высветилось опг ликуд. Я им нечасто пользуюсь, но тут сам бог велел.
Птичий рынок
Jan. 15th, 2026 10:26 pm
С кречетом даже можно было сфотографироваться, он смирный
Гренландія
Jan. 15th, 2026 08:37 pmhttps://censor.net/ua/n3595456
* * *
Гренландія не хоче бути частиною США. Наше бажання – право на власну територію, - прем’єр Нільсен
Прем’єр-міністр Гренландії Єнс-Фредерік Нільсен заявив, що острів не хоче бути частиною Сполучених Штатів, оскільки прагне залишитися частиною Данії та розвивати мирне співробітництво
https://censor.net/ua/n3595263
- Трамп пригрозив прем’єру Гренландії за намір залишитися з Данією: Я не знаю, хто це, але в нього буде велика проблема
https://censor.net/ua/n3595330
- Оборона Гренландії складається із "двох собачих упряжок", - Трамп
https://censor.net/ua/n3594988
- Данія "окупувала" Гренландію, обійшовши протокол ООН, - спецпосланець Трампа Лендрі
https://censor.net/ua/n3594979
- Конгресмен від Республіканської партії (Флорида) Ренді Файн представив на розгляд у Конгресі законопроєкт, що фактично дозволяє президенту США Дональду Трампу анексувати Гренландію
https://censor.net/ua/n3595122
- Трамп допустив, що може приєднати Гренландію до США ціною розпаду НАТО
https://censor.net/ua/n3594533
- Трамп про угоду щодо Гренландії: Якщо не зробимо це легким шляхом, то зробимо складним
https://censor.net/ua/n3594724
- Венс закликав Європу сприймати серйозно заяви Трампа про Гренландію
https://censor.net/ua/n3594531
- Дональд Трамп наказав Данії забиратися з Гренландії
https://censor.net/ua/n3595491
"Данія спочатку стрілятиме, потім ставитиме питання" щодо Гренландії, - Міноборони про заяви США
Міністерство оборони Данії заявило, що данські війська "спочатку стрілятимуть, а потім ставитимуть питання", якщо США вторгнуться на острів Гренландія
https://censor.net/ua/n3594501
Данія посилить військову присутність у Гренландії
https://censor.net/ua/n3595399
* * *
Естонія готова взяти участь у військових навчаннях у Гренландії
https://censor.net/ua/n3595619
Британія допускає масштабне розгортання своїх військ через зазіхання Трампа на Гренландію
https://censor.net/ua/n3594929
Франція візьме участь у спільних навчаннях, організованих Данією в Гренландії
https://censor.net/ua/n3595535
Франція відкриє консульство в Гренландії 6 лютого
https://censor.net/ua/n3595484
62% німців підтримують військову допомогу Данії у разі нападу США на Гренландію
https://censor.net/ua/n3595216
Пісторіус: Німеччина готова посилити безпеку Гренландії
https://censor.net/ua/n3595299
Німеччина цього тижня відправить військових до Гренландії
https://censor.net/ua/n3595517
До заяв Трампа щодо Гренландії треба ставитися серйозно, - глава МЗС Швеції Стенергард
https://censor.net/ua/n3594814
На прохання Данії: Швеція відправляє своїх військових до Гренландії для участі у навчаннях
https://censor.net/ua/n3595485
Ngraph 6.09.11 -- программа для создания научных двумерных графиков
Jan. 15th, 2026 07:40 pmВ январе 2026 года вышла очередная версия Ngraph — программы для создания научных двумерных графиков для исследователей и инженеров. Построенные графики можно экспортировать в форматы PostScript, SVG, PNG или PDF.
Данный выпуск — багфикс релиз.
В программу встроены примеры, показывающие основные возможности.
>>> User’s manual — онлайн перевод с японского на английский.
oVirt 4.5.7
Jan. 15th, 2026 07:39 pm13 января этого года объявлено об очередном релизе платформы управления виртуализацией с открытым исходным кодом oVirt 4.5.7. Напомню, что компания Red Hat, которая и запустила разработку проекта oVirt, прекратила вносить вклад в oVirt, сосредоточившись на платформе Red Hat OpenShift и дальнейшее развитие проекта легло на плечи сообщества разработчиков открытого исходного кода.
В релизе oVirt 4.5.7 добавлена поддержка CentOS 10 и AlmaLinux 10. Что касается аппаратной части, добавлена поддержка более новых серверных процессоров, включая AMD EPYC Milan/Rome/Genoa, Intel Sapphire Rapids и IBM POWER10.
В новой версии oVirt также исправлена уязвимость CVE-2024-7259, из-за которой пользователи с правами администратора могли использовать инструменты разработчика браузера для просмотра паролей провайдера в открытом виде.
>>> Страница загрузки
no title
Jan. 15th, 2026 06:55 pm— Я думаю, Моня, если кот ученый, то цепь для того, чтобы он не эмигрировал.
Про харедим и армию
Jan. 15th, 2026 01:19 pmПонравилось замечание Аси Каниэля: Сегодня в Израиле каждая религиозная, ультраортодоксальная семья получает от государства каждый месяц 6000 шекелей. <…> Должно государство говорить: человек, который не служит в армии, не получает ничего от государства. И это решит всё.
Explosion and fire in Dutch city of Utrecht caused by gas leak, officials say
Jan. 15th, 2026 10:48 pmEthiopia says seized ammunition sent by Eritrea to rebels as tensions rise
Jan. 15th, 2026 05:57 pmЧервоний Хрест прирівняв удари по українській енергетиці з атаками на РФ
Jan. 15th, 2026 07:02 pmНапередодні представники Міжнародного комітету Червоного Хреста в соцмережах написали, що нещодавні удари по критичній інфраструктурі України та Росії "залишили мільйони людей майже без електропостачання, води та опалення за умов низьких температур в Києві, Дніпрі, Донецьку, Білгороді та інших містах". Ішлося, що такі удари "заборонені".
"Напади, що призводять до непропорційної шкоди для цивільних осіб, зокрема, позбавляють їх доступу до життєво необхідних послуг, як-от світло і тепло, які наразі абсолютно необхідні для виживання, заборонені", - заявила регіональна директорка МКЧХ у Європі та Центральній Азії Аріана Бауер.
Глава МЗС України розкритикував цей допис та назвав заяву організації "ганебною", а моральну еквівалентність між агресором і країною, яка захищається, — "хибною і неприйнятною".
Відтак голову делегації МКЧХ викличуть до МЗС для пояснень.
https://censor.net/ua/n3595674
Официально
Jan. 15th, 2026 12:09 pmМоя мать, умершая в 2020 г., российскую агрессию осуждала. К ней претензий нет.
Сын за отца не отвечает. Зато за него ответили мои дроны, уничтожившие, как я уже докладывал, как минимум 23 руснявых (с подохшими от ран наверняка больше). Будут доходы - буду и дальше увеличивать этот счет. Сальвадор Дали в свое время послал своему отцу бумажку, испачканную спермой, со словами "это все, что я тебе должен" - я послал своему отчет о своих дронах. Завершив письмо словами: "ЕДИНСТВЕННАЯ причина, по которой я не желаю тебе смерти - каждый рубль, который ваше ублюдочное недогосударство тратит на твою пенсию, оно не может потратить на убийство украинцев. Желаю тебе дожить и увидеть, как будет гореть ваша проклятая Москва."
И в очередной раз прошу всех, кто меня читает, распространять мои стихи и песни в тему, в том числе ссылки на мои посты на BMC!
А на российских ресурсах непременно распространяйте эти 2 песни:
Будь как Руслан Зинин
Взорви Лубянку, убей чекиста!
Их там, конечно, будут тереть и банить, а вы все равно распространяйте. Только сайт BMC в рашке недоступен, их надо выкачивать и куда-то заливать. Вот прямые ссылки, по которым их можно скачать:
https://cdn.buymeacoffee.com/uploads/audio/3516256/2025-12-02/1764673805____.mp3
https://cdn.buymeacoffee.com/uploads/audio/3516256/2025-12-01/1764587517____.mp3
СМЕРТЬ РУСНЕ! И СМЕРТЬ любым пособникам русни в любой точке мира! ДА СДОХНУТ РЫЖАЯ ГАДИНА ТРАМП, ВЫБЛЯДОК ШЛЮХИ ВЭНС и все, кто за них агитировал!
мой мозг просто так не работал
Jan. 15th, 2026 08:07 pm"Я очень ярко помню этот момент... Изначально я поступил в университет с намерением стать чистым математиком, и первые пару лет эта мечта казалась вполне осуществимой. Я обычно занимал первое (или близкое к первому) место на экзаменах, посещал курсы для аспирантов, занимался некоторыми исследовательскими задачами, публиковал статьи. Я убедил себя, что смогу понять любую математическую структуру, если просто запишу правила и немного поразмышляю над ними. Затем, на третьем курсе, я начал посещать аспирантский курс по алгебраической теории чисел. У меня никогда не было особого интереса или интуиции к теории чисел, но я неплохо разбирался в кольцах/модулях/и т.д., и по мере прохождения курса я все больше и больше полагался на свою алгебраическую/геометрическую интуицию, чтобы компенсировать недостаток арифметической.
Однажды я боролся около 5 часов с задачей из одного задачника (доказывая некоторое свойство групп классов) и в конце концов придумал очень громоздкое трёхстраничное алгебраическое доказательство. Затем я увидел, как один из моих друзей посмотрел на ту же самую задачу, подумал около 30 секунд и записал (в стиле "Умницы Уилла Хантинга") красивое, пятистрочное, чисто арифметическое доказательство. Его доказательство было явно правильным способом решения. Моё доказательство было явно неправильным способом.
Но я также знал, что даже если бы я смотрел на эту задачу ещё 10 часов, я бы никогда не придумал его доказательство. Мой мозг просто так не работал. [Должен добавить, что этот друг потом стал арифметическим геометром.]
Этот момент был на самом деле чрезвычайно освобождающим. Я тогда понял, что у меня есть выбор: провести остаток жизни, пытаясь догнать таких людей, соглашаясь быть (в лучшем случае) только второсортным чистым математиком, или попробовать заняться чем-то другим, где у меня может быть шанс оказать более серьёзное влияние.
Я также понял, что всё это время я ослеплял себя собственным интеллектуальным самодовольством: всё, что было менее абстрактным, чем самая абстрактная математика, казалось мне неполноценным, низкосортным, как будто ниже моего достоинства. Но реальность была в том, что мои интересы были гораздо шире. Меня интересовала общая теория относительности, гамильтонова механика, математическая биология, автоматическое доказательство теорем, численный анализ, сложные системы и много других вещей. Но эти вещи не соответствовали моему тогдашнему представлению о себе, поэтому я никогда всерьёз не рассматривал возможность заниматься ими. В тот момент я решил перестать подавлять своё любопытство. Я стану прикладным математиком, буду следовать своим случайным интеллектуальным интересам (куда бы они меня ни завели), не беспокоясь о том, достаточно ли они "чисты".
Одно из лучших событий, что когда-либо со мной случалось."
чуть левее наклон - все равно не спасти
Jan. 15th, 2026 09:05 pmНо вот что я не знал, и что меня удивило: что если учитывать, как сила притяжения меняется с высотой (предположим, "камень" залетает на высоту сотен километров, а потом падает обратно, и пусть это будет на Луне, без атмосферы), то даже при движении в одном измерении, строго вверх-вниз, нет простого аналитического решения, нет формулы, дающей координаты объекта как функцию от времени. Казалось бы, GMm/R^2, чего уже проще, но нет. Есть параметрическое решение, позволяющее оценить высоту в любое время и время для любой высоты с какой угодно точностью, но нет простой формулы.
Наверное, весь школьный курс физики это такой проход канатоходца, слева не вычислить, справа не объяснить, с трудом находим наипростейшие варианты, которые можно дать школьникам.
(no subject)
Jan. 15th, 2026 05:52 pmГруппа "Кирпичи", 2004 год
Ведь ты же знаешь — я тебя люблю
Давай пропьём квартиру твою!
Группа "Биртман", 2025 год
Revelation
Jan. 15th, 2026 05:57 pmПривычный диалог в отделе:
- Ты с кем так ругаешься?
- С монитором.
- А, ну это нормально. Хуже будет, если он тебе отвечать начнет.
Цифровая мобилизация
Jan. 15th, 2026 07:50 pmАрест за акцент
Jan. 15th, 2026 11:51 amАбсолютный неописуемый пиздец. This is America indeed.
Кстати, Трамп сегодня повторил, что Путин готов к миру, а проблема в Зеленском. Украина соглашается на американские пункты, Путин их отвергает и пытается лишить украинцев света и тепла в самую холодную зиму за последние лет двадцать — президент США заключает, что проблема в Украине. This is America too.
Видео:
“Why are you asking me for my papers?”
— The Tennessee Holler (@TheTNHoller) January 15, 2026
“Because of your accent.”🤔🤔🤔
“YOU have an accent.”
“Where were you born?”
“Where were YOU born?”
*arrests him for no reason* 🇺🇸 pic.twitter.com/inrlFgYAix
Телеграм: https://t.me/yakov_a_jerkov
