pouce: (Default)
[personal profile] pouce
 
Подите вон, Писец, мы вас не звали

логика

Jan. 15th, 2026 02:52 pm
yigal_s: (Default)
[personal profile] yigal_s
с некоторым удивлением узнал как правильно раскрывать кванторы в импликациях.
Т.е. что выражение

( для любого y Летает(y) ) -> Все_Летают

Эквивалентно

существует y (Летает(y) -> Все_Летают)

Чисто на уровне формул булевой алгебры переход совершенно элементарный, а вот интуитивно кажется что что-то сильно не так. И даже сесть и написать почему это так - получается со скрипом, и тут же забываю объяснение. Вот вроде уже понял объяснение, и всё равно смотрю на переход выше как баран.

Если что, логику я нормально не учил и, кажется, как выносить кванторы из импликаций или иных бинарных логических операций, мне никогда не давали. Догадался ли бы я в 17-20 лет, что кванторы можно выносить из дизъюнкции и конъюнкции - не знаю. А сейчас уже опять - мозги надо напрягать, чтобы понять, что этот трюк правильный.

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

Вообще, если ещё немного порефлексировать, то видится так, что смысл первого выражения совершенно интуитивно ясен, а вот смысл второго выражения неясен совершенно. Что значит для любого "y" верна некая импликация? Да просто фиг его знает, надо садиться и кропотливо разбираться. Вот наверное да - именно в этом месте интуиция полностью отваливается. Даже и непонятно как эту вторую формулу на человеческом бытовом языке произнести.
svyatogorodski: (Default)
[personal profile] svyatogorodski
Демократия - не только власть большинства, но это и не диктатура меньшинства. Граждане полны решимости восстановить равновесие. из речей смотрящего за минюстом блевина.

Праваки чуть пониже чином открыто говорят о небходимости борьбы с "судебной диктатурой", а товарищам поважнее приходится маленько маскироваться, но так, чтобы всем всё понятно. И граждане внимают! Вот на днях какая-то пара пенсов в Хадере вывесила на своем заборе плакат в поддержку юрсоветницы. В такой ответственный для страны момент решили, блядь, что им тут государство ТА. Тем разрушительней их месседж -- смотри, Галя, с тобой не только ТА, но и Хадера. Это же может ее немедленно спровоцировать на окончательный захват власть в стране из рук законноизбранного правительства! Как можно такое терпеть? И неизвестный патриот проехал мимо на велике, закутав морду, и бросил в сторону их двора светошумовую гранату. Просто как намек, что тут вам не ТА, гржадане, имейте совесть. Обычную классовую совесть, много не просим. И что теперь? Даже гвир не помог, патриота ищет полиция. Пока не нашла, слава богу, а ну как найдет? Короче, всё как и говорил блевин. И неравнодушные граждане, им помянутые и борящиеся с диктатурой, попадают под удар вместе со своей решимостью. Пока диктатуру не снесут, так она и будет огрызаться. И только тогда, когда и менты, и багац, и юрсоветник, и все остальное кроме тех, кто работает и служит будет наше, вот тогда можно будет спокойно ставить на место всяких врагов народа. И ничего патриоту за это не будет! Наоборот, публичное спасибо скажут, земной поклон героям.

P.S. Заодно давайте сделаем небольшой опрос читателей, но вначале напомним два известных исторических факта:

1. Сам смотрящий блевин регулярно контактирует с видным ликудником из герцлии святожитейским, агитирует за него и опирается на голоса его "солдат" в отделении ликуда. Никому совершенно не мешает то, что святожитейский бывший(?) уголовник местного значения с тремя-четырьмя отсидками.

2. В цк ликуд состоял и мафионер федерального израильского масштаба Муса Альперон. Вот уж кто точно умел обращаться с гранатой, хотя ему и не надо было. Достаточно было просто поговорить с человеком и помянуть авторитетнейшего брата Яшу.

А теперь внимание, опрос:

Open to: Registered Users, detailed results viewable to: All, participants: 4


Связано ли нынешнее событие и истории 1 и 2?

View Answers

Никакой связи. И вообще, может, это левак провокацию сделал, чтобы опорочить правый лагерь.
1 (25.0%)

Никакой связи. Кто сказал, что это ликудник? А если и ликудник, случайное совпадение.
0 (0.0%)

Связь не причинно-следственная, но есть явная корреляция.
2 (50.0%)

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



P.P.S. Хотел поставить тэг опрос. Но такого у меня нет, а на оп высветилось опг ликуд. Я им нечасто пользуюсь, но тут сам бог велел.

Птичий рынок

Jan. 15th, 2026 10:26 pm
schulz_flory: (Default)
[personal profile] schulz_flory
Всем известно, что богатенькие арабы увлекаются соколиной охотой. Но я как-то не задумывался раньше, где они берут соколов. Оказывается, в Катаре купить их можно в нескольких магазинах на старом рынке Дохи. Причем самых разных, от сапсанов до белого кречета. Вот они, красавцы.
20260103_174358 (2).jpg
С кречетом даже можно было сфотографироваться, он смирный пока сытый.

Гренландія

Jan. 15th, 2026 08:37 pm
argument_q: (owl)
[personal profile] argument_q
Сенатори США подали законопроєкт, який забороняє американським військовим окуповувати або анексовувати території країн НАТО, включаючи Гренландію
https://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
[syndicated profile] linuxorgru_feed

В январе 2026 года вышла очередная версия Ngraph — программы для создания научных двумерных графиков для исследователей и инженеров. Построенные графики можно экспортировать в форматы PostScript, SVG, PNG или PDF.

Данный выпуск — багфикс релиз.

В программу встроены примеры, показывающие основные возможности.

>>> User’s manual — онлайн перевод с японского на английский.

 ,

oVirt 4.5.7

Jan. 15th, 2026 07:39 pm
[syndicated profile] linuxorgru_feed

13 января этого года объявлено об очередном релизе платформы управления виртуализацией с открытым исходным кодом 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
natalia_il_1992: (улыбнитесь перед сном)
[personal profile] natalia_il_1992
— Лева, а как вы думаете, почему у Пушкина кот ученый все-таки сидит на цепи?
— Я думаю, Моня, если кот ученый, то цепь для того, чтобы он не эмигрировал.

Про харедим и армию

Jan. 15th, 2026 01:19 pm
ny_quant: (Default)
[personal profile] ny_quant
распедаливает Гендельман со товарищи

Понравилось замечание Аси Каниэля: Сегодня в Израиле каждая религиозная, ультраортодоксальная семья получает от государства каждый месяц 6000 шекелей. <…> Должно государство говорить: человек, который не служит в армии, не получает ничего от государства. И это решит всё.
argument_q: (ukrainian girl)
[personal profile] argument_q
МЗС України назвало заяву "ганебною"

Напередодні представники Міжнародного комітету Червоного Хреста в соцмережах написали, що нещодавні удари по критичній інфраструктурі України та Росії "залишили мільйони людей майже без електропостачання, води та опалення за умов низьких температур в Києві, Дніпрі, Донецьку, Білгороді та інших містах". Ішлося, що такі удари "заборонені".
"Напади, що призводять до непропорційної шкоди для цивільних осіб, зокрема, позбавляють їх доступу до життєво необхідних послуг, як-от світло і тепло, які наразі абсолютно необхідні для виживання, заборонені", - заявила регіональна директорка МКЧХ у Європі та Центральній Азії Аріана Бауер.

Глава МЗС України розкритикував цей допис та назвав заяву організації "ганебною", а моральну еквівалентність між агресором і країною, яка захищається, — "хибною і неприйнятною".
Відтак голову делегації МКЧХ викличуть до МЗС для пояснень.


https://censor.net/ua/n3595674

Официально

Jan. 15th, 2026 12:09 pm
[personal profile] yury_nesterenko
Поскольку мой биологический отец - подонок, поддержавший русскую агрессию против Украины, прошу никогда впредь не называть меня по отчеству.  По документам мое полное имя с 2018 г. - George Yury Right (Джордж Юрий Райт), таким образом, имена "Джордж" и "Юрий"  оба являются моими официальными, и прошу, как и прежде, при обращении ко мне использовать любое из них, без каких-либо дополнений. Если кому-то это кажется слишком панибратским, можете использовать форму "уважаемый Юрий" при обращении по-русски и "пане Юрію"  по-украински. Имя "Юрий Нестеренко" (без отчества), как и прежде, остается моим литературным псевдонимом.
Моя мать, умершая в 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


СМЕРТЬ РУСНЕ! И СМЕРТЬ любым пособникам русни в любой точке мира! ДА СДОХНУТ РЫЖАЯ ГАДИНА ТРАМП, ВЫБЛЯДОК ШЛЮХИ ВЭНС и все, кто за них агитировал!
avva: (Default)
[personal profile] avva
Я писал в прошлом о двух примерах честных рассказов о своем "математическом потолке": Джеффа Безоса, когда он решил бросить физику, и Дагласа Хофштадтера, когда он решил бросить чистую математику. Вот свежий пример еще одного такого рассказа, от прикладного математика Джонатана Горарда, в твиттере (перевод с англ.):

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

Однажды я боролся около 5 часов с задачей из одного задачника (доказывая некоторое свойство групп классов) и в конце концов придумал очень громоздкое трёхстраничное алгебраическое доказательство. Затем я увидел, как один из моих друзей посмотрел на ту же самую задачу, подумал около 30 секунд и записал (в стиле "Умницы Уилла Хантинга") красивое, пятистрочное, чисто арифметическое доказательство. Его доказательство было явно правильным способом решения. Моё доказательство было явно неправильным способом.
Но я также знал, что даже если бы я смотрел на эту задачу ещё 10 часов, я бы никогда не придумал его доказательство. Мой мозг просто так не работал. [Должен добавить, что этот друг потом стал арифметическим геометром.]

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

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

Одно из лучших событий, что когда-либо со мной случалось."
avva: (Default)
[personal profile] avva
В школьном курсе физики решают задачи типа: если подбросить камень вверх с такой-то начальной скоростью, как быстро он упадет, до какой максимальной высоты долетит итд. В этих задачах пренебрегают сопротивлением воздуха и считают силу притяжения постоянной. И тогда все легко решается - не только при броске строго вверх, но и вбок тоже - движение по параболе.

Но вот что я не знал, и что меня удивило: что если учитывать, как сила притяжения меняется с высотой (предположим, "камень" залетает на высоту сотен километров, а потом падает обратно, и пусть это будет на Луне, без атмосферы), то даже при движении в одном измерении, строго вверх-вниз, нет простого аналитического решения, нет формулы, дающей координаты объекта как функцию от времени. Казалось бы, GMm/R^2, чего уже проще, но нет. Есть параметрическое решение, позволяющее оценить высоту в любое время и время для любой высоты с какой угодно точностью, но нет простой формулы.

Наверное, весь школьный курс физики это такой проход канатоходца, слева не вычислить, справа не объяснить, с трудом находим наипростейшие варианты, которые можно дать школьникам.

(no subject)

Jan. 15th, 2026 05:52 pm
[syndicated profile] georg_pik_feed
Ира... мне так нужна твоя квартира.

Группа "Кирпичи", 2004 год

Ведь ты же знаешь — я тебя люблю
Давай пропьём квартиру твою!


Группа "Биртман", 2025 год

Revelation

Jan. 15th, 2026 05:57 pm
elvit: (random_winter_branches)
[personal profile] elvit
Я поняла, чем мне нравится Дипсик. Он ведет себя примерно как наша 1С ERP, только на него можно ругнуться, и он повинится. От 1С-то хрен чего дождешься.

Привычный диалог в отделе:
- Ты с кем так ругаешься?
- С монитором.
- А, ну это нормально. Хуже будет, если он тебе отвечать начнет.
lilibay: (магия)
[personal profile] lilibay
Федоров: 2 млн украинцев находятся в розыске, а еще - 200 тысяч - в СВЧ.
 
Фёдоров это новый министр обороны Украины, предыдущее место работы —  министра цифровой трансформации Украины.  Т.е. чем будет заниматься новый министр обороны понятно, искать уклонистов всей силой діджиталізації с помощью ИИ и социальной капитализации мужского населения.

Арест за акцент

Jan. 15th, 2026 11:51 am
yakov_a_jerkov: (Default)
[personal profile] yakov_a_jerkov
ЖЖешные трамписты по-английски говорят идеально, без малейшего намека на иностранный акцент, им беспокоиться нечего. LOL. (Агент ICE, кстати, и сам говорит с акцентом.)

Абсолютный неописуемый пиздец. This is America indeed.

Кстати, Трамп сегодня повторил, что Путин готов к миру, а проблема в Зеленском. Украина соглашается на американские пункты, Путин их отвергает и пытается лишить украинцев света и тепла в самую холодную зиму за последние лет двадцать — президент США заключает, что проблема в Украине. This is America too.

Видео:

Телеграм: https://t.me/yakov_a_jerkov

January 2026

S M T W T F S
     12 3
45 6 7 8 9 10
11 12 13 14 151617
18192021222324
25262728293031

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 18th, 2026 02:17 pm
Powered by Dreamwidth Studios