Как научиться доказывать теоремы?
Здравствуйте! Например, читаю я книгу В. Чубарикова по матану и хочу доказать теорему сам, без подсматриваний. Но не могу этому научиться. Скажите, как это сделать, пожалуйста?
Здравствуйте! Например, читаю я книгу В. Чубарикова по матану и хочу доказать теорему сам, без подсматриваний. Но не могу этому научиться. Скажите, как это сделать, пожалуйста?
На рабочем месте недоступен проводной интернет, поэтому используется 4G-модем.
Есть 4 рабочих места. Во времена Windows XP, каждый из компьютеров был подключен по Ethernet к 5-типортовому свичу. Свич, как известно, не выдаёт IP-адреса, поэтому на каждый компьютер я вбил вручную 192.168.1.[1-4] вот здесь. Шлюз оставался пустым, так как не стояло задачи раздавать интернет, а только локальная файлообменная сеть.
К компьютеру 192.168.1.1 подключен тот самый 4G-модем. На компьютере 192.168.1.2 сейчас стоит полностью обновлённая Windows 7, и поэтому я туда вбил шлюз 192.168.1.1. На остальных двух компах система не обновлена, так что там шлюз по-прежнему не указан.
Я попытался поменять свич на роутер. Возникли проблемы с тем самым компом, в который вставлен модем. Почему-то шлюз роутера (который ведёт в никуда, так как Ethernet-кабель не вставлен в соответствующий разъём) становился главнее шлюза модема. Соответственно, не работал интернет. Попытался починить - интернет заработал, но компьютер «выпал» из локальной сети. В общем, я вернул обратно свитч.
Я вот думаю. Купить роутер с USB-портом, и вставить туда 4G-модем. А в настройках роутера указать, чтобы интернет раздавался только на два первых компа.
Подключил к последнему, не занятому порту свича, Raspberry Pi (он у меня на работе записывает видео с веб-камеры при помощи motioneye). На нём поднял dnsmasq с таким конфигом:
interface=eth0
dhcp-range=eth0,192.168.1.2,192.168.1.8,72h
IP-адреса прекрасно раздаются. Наверное, это глупо - делать роутер из RPi, учитывая, что больше 30 мегабит из него не выжать (у меня 3 модель, в 4 мдели уже пофиксили). Но ведь файловый обмен идёт не через RPi, а непосредственно между компами - RPi раздаёт им только адреса.
Теперь я хочу раздать интернет. Причём по-умному. Вот как я это делаю сейчас:
sudo sysctl net.ipv4.ip_forward=1
sudo iptables -t nat -A POSTROUTING -o ppp0 -j MASQUERADE
Интернет из ppp0 раздаётся вообще во все сетевые интерфейсы: eth0, wlan0, и во все IP-адреса на этих интерфейсах. А мне надо, чтобы 192.168.1.4 и 192.168.1.5 не получали интернет.
P. S. Ещё было бы здорово какую-нибудь веб-морду, как на настоящем роутере. Но это уже из области фантастики - мне было бы достаточно настроить «умный маскарадинг», и ничего больше. В веб-морде я бы хотел отрубать и давать интернет, ставя галочки. Может быть самба-шару можно было бы конфигурировать там же, ну и motioneye.
В давние времена из-за трудностей в передаче информации, а также намеренно, в том числе с развлекательной целью многие сведенья о реальных и нереальных событиях и личностях художественно переосмыслялись, преувеличивались, утрачивали несущественные детали, искажались и дополнялись вымыслом. Я уверен, вы знаете многие мифы, причем школьное образование явно способствует сохранению многих (например, античных) мифов в сознании населения. Так получилось, что одни периоды богаты на мифы, другие относительно бедны. Несмотря на то, что мы живем в современном мире, новые мифы продолжают появляться. Например, анекдоты и байки про Василия Ивановича Чапаева, как мне кажется, тоже можно рассматривать в качестве своеобразных героических мифов.
Можете ли вы назвать какие-нибудь совсем новые достаточно яркие и более-менее общеизвестные русскоязычному и англоязычному населению мифы?
РЖД начали делать объявления на станциях про китайский вирус. Вот вчера лично слышал на станции Подлипки Дачные. Что теперь делать? Молиться и пить водку?
Историк Роберт Конквест однажды написал: «Поведение любой бюрократической организации лучше всего понять, если предположить, что она контролируется тайной кликой ее врагов».
Сегодня я узнал, что Инициатива Open Source достигла этой точки бюрократизации. Меня выгнали из их списков за то, что я слишком риторически настроен против некоторых недавних попыток подорвать пункты 5 и 6 OSD. И это несмотря на тот факт, что я получил голоса поддержки от нескольких участников списка, которые поблагодарили меня за желание высказаться.
Ни для кого не должно быть новостью, что предпринимаются попытки изменить - я бы сказал, испортить - фундаментальные предпосылки культуры открытого кода. Вместо меритократии и «покажи мне код» нас теперь заставляют вести себя так, чтобы никто никогда не чувствовал себя неловко.
Эффект - предполагаемый эффект, я должен сказать, должен уменьшить престиж и автономию людей, которые делают работу - пишут код - в пользу самозваных политиков-окрика. В процессе этого свобода говорить необходимые истины, даже когда манера их выражения неприятна, постепенно удушается.
И это плохо для нас. Очень плохо. И непосредственно - это наносит ущерб нашему процессу самокоррекции - и его эффектам второго порядка. Привычку к институциональной тонизации, даже когда она имеет хорошие намерения, слишком легко заносит в активную цензуру нежелательных взглядов.
Ценой культуры, в которой избегание оскорблений побеждает свободу говорить, является то, что крики начинают контролировать дискурс. К нашему великому стыду, люди, которые должны знать лучше, такие как модераторы списков OSI и BOD, усвоили упреждающую отдачу «криклингу». Они больше даже не ждут, когда жертвы soi-недееспособных будут жаловаться, прежде чем использовать бан-хамер.
Мы подвергаемся социальному насилию из-за того, что являемся культурой, в которой свобода является высшей ценностью из той культуры, в которой свобода подавляется через подавление «неправильного мышления» и «неправильного высказывания». Наши враги - такие люди, как Коралине Ада-Эмке - даже не удосуживаются скрывать эту цель.
Наша культура еще не смертельно повреждена, но тенденция не очень хорошая. OSI был подкуплен и предает свою основополагающую приверженность свободе. «Кодексы поведения», предназначенные для регулирования даже внепроектного общения разработчиков, стали слишком распространенными.
Проснись и говори. Примите право быть грубым - не потому, что «грубость» сама по себе является хорошей вещью, а потому, что дегенеративное сползание к подавлению «неблаговидных мнений» должно быть остановлено именно там, где оно начинается, с помощью такого же полицейского окрика.
Ну, понятно, в США и Канаде всякие гуглы с амазонами. В России и на Украине - всякие Боинги с Интелами, в общем половина США, Китая, Кореи разрабатывают «у нас».
А что там в других странах? Особенно интересны Австралия, Новая Зеландия, Англия, Германия, Чехия, Италия.
Интересует статистика как по самому кол-ву центров, так и по кол-ву представленных корпораций.
Думаю, куда бы переместить тушку, но на унылых работах работать не хочется. Смотрю, в основном, на англоязычные и как-то понимающие р.я. страны.
Ещё нужна демократия, независимые неподкупные адекватные суды и вменяемое общество, как показатель - отсутствие легализованного рабства (привет, ВС РФ) и защищённость от «девочек» (гугл. «Фитнес-тренера обвинили в педофилии после того как он посидел на одном диване с девочкой» и «Ричард Столлман подал в отставку»)
По мотивам треда @DELIRIUM.
Наконец-то мой шквор отрос до 666. Где тут девственниц в жертву приносить?
Пруф: https://i.ibb.co/GcQzJNb/2020-03-09-19-16-41-www-linux-org-ru-0b5ff57dd228.png
В связи с пандемией начальство заинтересовалось «чёрными лебедями». Пришло к выводу, что сейчас потенциальным клиентам надо говорить «внедрение нашей программы для складского учёта повысит антихрупкость вашего бизнеса». Рекомендовало ознакомиться с творчеством Талеба. (Да, я знаю, что он не считает пандемию чёрным лебедем, т.к. есть опыт.)
Поэтому возникли вопросы по математической части. Что сейчас принято называть «fat tail»? Любое распределение угасающее медленнее нормального? Асимметричное? С несколькими максимумами? Когда и почему не работают моменты? Где можно прочитать про это в доступной младшекурсникам-естественникам форме?
В общем, довелось мне тут взглянуть на сабж. Насколько я понял из гугла известные алгоритмы установки режима всего лишь субоптимальны.
Там происходит какая-то чехарда с дискретизацией, PID и etc.
Динамика buck — это система линейных уравнений, обычно с комплексными характеристическиеи числами. В таком случае (в отличие от действительных хар. чисел) число переключений ключа для оптимального выхода на режим может быть больше одного.
Однако некоторые товарищи в http://aledan.ece.illinois.edu/files/2017/04/APEC_2014.pdf пишут:
when the system eigenvalues are real. The maximum principle
does not yield any insight into the number of switches when
the eigenvalues are imaginary.
Это какая-то херня.
В общем, товарищи инженеры, объясните мне что происходит, и используют ли в схемах оптимальные решения на основе принципа максимума? Если нет, то почему?
Настало время пятничного поста в /workspaces!
Сегодня на суд ЛОРа выставляется лежачее рабочее место под названием «Посадочный Модуль „Вульпекула“. (названный так по имени линейного корабля, участвовавшего в знаменитой атаке против ксеносов Сарути и предателей на 56-Изар).
Модуль представляет собой кронштейн из композиции двух дешевых икеевских стеллажей „Hyllis Shelving Unit“ и сложного деревянного выноса, закрепленного монтажной лентой, замками Bulat и пятью струбцинами, утяжеленного чугунными болванками, двух матрасов (один из них - медицинский), двух подушек, компьютеров Apple Mac Mini (MacOSX) и мощного самосбора (Linux), древней беспроводной клавиауры Logitech Cordless Desktop EX110 и трекпада Apple Magic Trackpad. Теоретически, монитор закреплен на легко вынимаемой из док-станции платформе (нужно всго лишь отстегнуть замки Булат и отвернуть струбцины).
На момент публикации модуль уже технически устарел и будет заменен на новый, который кроме кардинальных улучшений дизайна будет, возможно, содержать и принципиальные технические новшества типа автоматической авторизации по инсигнии Инквизиции. Перед уничтожением модуля, хотелось бы поделиться фотографиями с ЛОРом. Учтите, что все фотографии строго секретны, и после их просмотра, при опасности попадания вас в руки Хаоса, вы знаете что делать. Следи за собой и буть осторожен, юзернейм.
Вот краткая процедура сборки модуля.
( читать дальше... )
Ищу удобный офисный стул для дома. Для сидения за компьютером.
необходимые фичи:
всё это желательно как можно дешевле, и подойдут варианты с ebay /aliexpress
Это инструмент, который подскажет, когда YubiKey находится в режиме ожидания прикосновения пользователя для авторизации. Интегрируется с UI для отображения индикатора.
YubiKey может протребовать физическое прикосновение для подтверждения следующих операций:
sudo (через pam-u2f)gpg --signgpg --decryptssh до удаленного хоста (и связанные команды, вроде scp, rsync и т.д.)ssh с одного удаленного хоста до другого (через ssh-agent)С этим инструментом уже интегрированы py3status и barista.
>>> Подробности
Чего-то затупил. Есть таблица А, есть таблица B. Надо показать все записи с полем A.column1 которых нет в B. Не которые есть, а которых нет. То есть этакий not JOIN что ли.
Просто JOIN разумеется возможен по полю, то есть в его условии A.column1 = B.column1. А надо бы != но если так написать, то просто перемножение таблиц за вычетом одинаковых строк произойдет. Такая же ерунда, если where с != сделать, а надо бы что-то вроде where A.column1 is not IN B если бы был такой синтаксис
Говоря человеческим языком, надо найти в таблице A записи, которых нет в B (сами структуры таблиц немного отличаются).
Такое вообще можно?
Взяли мы, значит, сегодня, вилдкарт сертификат в руцентре за 10к деревянных...
Руцентр сразу же отправил письмо (с ссылкой на подтверждение прав на домен) на ящик admin@нашдомен.
Однако, такого ящика на этом домене у нас нет.
И действительно, можно же указать другой ящик... ой... ограниченный выпадающим списком, который предлагает руцентр (admin, administrator, hostmaster, webmaster, postmaster).
Ладно, меняем на postmaster и... ждём — ведь отправить повторное письмо можно только через час.
Пока ждём, генерируем на своем сервере *.key а из него *.csr.
Через час отправляем письмо на постмастер ящик. Письмо приходит. Серт выпускается и...
ОНИ СГЕНЕРИРОВАЛИ *.key и *.csr ДЛЯ НАС САМИ!!!
https://www.youtube.com/watch?v=1dRrE_ROot0
Хм... Что же делать? Оказывается, чтобы всунуть им свой *.csr, нужно заказать перевыпуск сертификата. Благо — это бесплатно.
Ладно, нажимаем кнопку «перевыпустить» и видим такую картину:
(тут и далее, красные рамки мои)
1) О! Так они и не скрывают, что секретный ключ скомпрометирован!
2) Да, они снова сразу хотят отправить письмо на admin@нашдомен без возможности выбора на этом шаге. Жмакаем «продолжить»:
Всё ещё впаривают тот *.csr от скомпрометированного ключа. Такая большая кнопка «сохранить приватный ключ» и такая блеклая ссылочка «использовать свой csr».
Жмакаем «использовать свой». Да, письмо уходит на «админ», снова правим на «постмастер», снова ждём час и жмакаем повтор отправки.
Теперь ждём ещё часик. Может два?
Ну, баба Маня у них там одна, и серты выпускает и письма рассылает. Ей и так тяжело, вот, решили они, сердобольные, оптимизировать её работу, а главное — безопасность повысить.
Будьте внимательны!!!
Модераторы, если считаете что теме место в другом разделе (security, talks) — переносите.
Есть желание пожать битмапные фонты для тощих эмбедов. Т.к. с памятью не очень, а фонтов хочется хранить побольше, чтобы показывать Material Design во всей красе. https://github.com/littlevgl/lv_examples/issues/26#issuecomment-473279547 - тут примеры «картинок», которые в итоге хочется отрисовывать.
- Фонты размером от 8px до 32px
- Пиксели черно-белые, обычно от 1 до 4 бит (зависит от предпочтений юзера).
Вырезание не используемых глифов и обрезку краёв пропускаем, это уже сделано, вопрос именно про дальнейшую компрессию. Пожеланию по алгоритму:
- декомпрессия должна быть простой, и не требовать много памяти
- сжатие желательно от 2 раз на шрифтах от 16px. Иначе мало смысла заморачиваться.
Можете посоветовать что-то более-менее готовое под такую задачу? Не абстрактно «юзай RLE, энтропию и посмотри сжатие факсов», а что-то более проработанное?
PS. То что внутри u8g2 я смотрел, но оно только под 1-битные пиксели, без оттенков.
Для генерации карты алгоритмом «diamond-square» (кстати, устоявшееся русское название есть?) требуется простая быстрая функция, которая преобразовывала бы координаты в случайное число от 0 до 3. Если взять линейный конгруэнтный генератор ( seed = seed * 1664525 + 1013904223; random = seed & 3 ), на первом шаге получается слишком периодично "... 1 2 3 0 1 2 3 ...". Хуже того, с большой вероятностью входные значения имеют период кратный 4. Если прогнать 6-10 его циклов — слишком долго, и период — бОльшая степень 2.
Есть ли что-либо столь же быстрое, но менее предсказуемое?
Пытался понять как реализовать SVG фильтр feComposite, ибо SVG дока унылая, поэтому залез в сорцы вебкита. Там тоже документации ноль, ещё и код очень странный.
Вот что это за ужас (src (github.com)):
static unsigned char clampByte(int c)
{
unsigned char buff[] = { static_cast<unsigned char>(c), 255, 0 };
unsigned uc = static_cast<unsigned>(c);
return buff[!!(uc & ~0xff) + !!(uc & ~(~0u >> 1))];
}
Я так понимаю, они проверяют что int в 0..255 диапазоне, но уж слишком странным образом.
UPD: коммит, который добавил этот код.
Кто подскажет какие есть программы для шахмат под linux? Из необходимого:
Доброго дня. Хотелось бы попробовать DNSCrypt и/или DoT,DoH. Посоветуйте кто какие бесплатные DNS знает? Спасибо.
Один знакомый раздумывает на своём нерадивом 15-летнем отпрыске применить вот такую штуку: https://mybrainstorm.ru/ По заявлению производителя, долговременно улучшает память, внимание, математические и лингвистические способности путём ударов низковольтным напряжением в голову. Называется метод «транскраниальная стимуляция постоянным током.»
И, казалось бы, ну обычные мошенники, но ведь авторы ссылаются на вполне научные исследования, https://mybrainstorm.ru/wp-content/uploads/2017/01/Научные-исследования.pdf
pdf-ка и правда содержит ссылки на pubmed
Неужели эта штука и правда помогает?
| ← назад | следующие → |