Pull to refresh
65
-8.8
Илья Поздняков @iliazeus

Пользователь

Send message

Суть теоремы Эмми Нётер заключается в том, что если есть какое-то преобразование координат q, непрерывно зависящее от параметра a, и при этом преобразовании траектория остаётся правильной (действие остаётся минимальным), то

0 = \frac{dS}{da} = \int_{t_a^1}^{t_a^2} dt_a \frac{d}{dt_a}\left(\frac{\partial L}{\partial \dot{q_a}} \left(\frac{\partial q_a}{\partial a} - \dot{q_a}\frac{\partial t_a}{\partial a} \right)  + L \frac{\partial t_a}{\partial a}\right)

После этого постулируем, например, что смещение не меняет правильность траектории, то есть что при сдвиге в пространствеq_a = q + a, t_a = tтраектория всё равно остаётся правильной, и только отсюда получаем закон сохранения импульса:

\frac{\partial q_a}{\partial a} = 1\frac{\partial t_a} {\partial a} = 0

И подставив это в интеграл мы получим:

\frac{\partial L}{\partial \dot{q_a}} \left(\frac{\partial q_a}{\partial a} - \dot{q_a}\frac{\partial t_a}{\partial a} \right)  + L \frac{\partial t_a}{\partial a} = constL\cdot0 + \frac{\partial L}{\partial \dot{q_a}}\left( 1 - \dot{q_a} \cdot 0\right) = constI = \frac{\partial L}{\partial \dot{q_a}} = const

Где величинаIназывается импульсом системы. Плюс-минус аналогично получают остальные законы сохранения.

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

Группы Ли так-то тоже чисто математическая конструкция, которая получает связь с реальным миром через постулаты, но, опять же, если постулатов нет, то и к физике это никакого отношения не имеет

Кстати, хорошая идея. У некоторых песен очень интересная история, все равно на фоне размера самого трека 10 КБ из Википедии ничего не изменят, а почитать в процессе прослушивания было бы интересно. Может быть есть софт, который сам такое добавляет в теги mp3?

Соглашусь с другими комментаторами, что наверняка у подобного рода методов будет много false positive и false negative. Например:

  • Если задача сводится к тому, чтобы неочевидным способом применить стандартный алгоритм, то само решение может на 95% состоять из кода этого алгоритма, который выучен наизусть или (если правила позволяют) скопирован откуда-нибудь из общедоступного источника.

  • Если задача - это какая-нибудь хитрая комбинаторика, в которой надо долго корпеть над бумажкой и получить какую-нибудь простую формулу, реализация которой будет занимать лишь несколько строк кода.

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

Мне кажется, более перспективным направлением был бы сравнительный анализ по нескольким решениям, т. е. реализация критерия "участник X реализовал все задачи в одном стиле A, а одну задачу реализовал в совершенно непохожем стиле B". И то, здесь надо быть осторожным, потому что, может быть, этот "непохожий стиль" - какой-нибудь развесистый стандартный алгоритм, выученный или скопированный из общедоступного источника.

Из "насущного" - нужно оплачивать сервер в DigitalOcean.

Карты соответственно не работают, сами они в крипте оплату не принимают, пересоздавать сервер через что-то типа bitlaunch пока не хочется.

Есть ли биржа, которая выдает виртуальные или реальные карты с балансом в биткойнах, работающая для России?

Можно ещё в сторону self-hosted mattermost посмотреть.
Выглядит как слак, переучиваться даже не надо. Только ботов переписывать…
UFO landed and left these words here

Ф. Клейн «Элементарная математика с точки зрения высшей»

Немного практических советов из собственного опыта начинающего.

1. Для первого раза я бы рекомендовал не SDR, а "классические" приемники. Тот же Tecsun, к примеру. SDR, безусловно, более интересная и гиковская игрушка, но в самом начале пути обычный хороший приемник будет практичнее SDR, а результат — скорее всего — сильно лучше

2. Электрические помехи — враг коротких волн. В лесу прием лучше чем в деревне, в деревне лучше чем в городе, в городе лучше чем в плотной застройке мегаполиса.

3. На встроенную телескопическую антенну или 6-метровый кусок провода в принципе можно неплохо ловить мощные станции при условии минимальных помех. Т.е. надо отойти на километр-другой от ближайшего электрического столба. Большой лесопарк хорошо подойдет.

4. Для стационарного использования нужна внешняя антенна, желательно с усилителем. Ниже перечислю 3 типа распространенных антенн. Их можно как купить готовые, так и, обладая нехитрыми навыками, изготовить самостоятельно

4.1. Полуволновая антенна — для кв это такой набор проводов и оттяжек длинной 12…18 метров. Можно найти на али и у перекупов-энтузиастов на авито, обычно, в комплекте есть простенький усилитель сигнала. Минус: не всегда есть возможность растянуть такую конструкцию возле дома. А в некоторых случаях, вероятно, потребуется еще и грозозащита.

4.2. Магнитная антенна (Magnetic Loop) упомянутая в посте. Не нужно много пространства для монтажа, устанавливается очень просто. Но, желательно, отодвинуть от стены хотя бы на метр (готовые кронштейны есть в садово-строительных магазинах). Водится опять таки на алике в ассортименте, ну и на авито тоже. Как и в варианте выше, часто идет усилитель в комплекте.

4.3. MiniWhip. Самый компактный вариант из трех, монтажа как такового нет. Сам лично не использовал, а отзывы про них очень противоречивые. Не могу ничего сказать

5. Станции. Если планируете принимать в большом городе, то базово для вас будет доступно вещание Международного Радио Китая и Радио Румынии. Это одни из немногих солидных бродкастеров, которые активно вещают на КВ на многих языках, в тч русском. У них очень мощные передатчики. Прием других станций — зависит от вашего местоположения, качества сетапа, условий приема, времени года, погоды и везения.

У меня (окраина Мск, 11 этаж 12 этажного дома, ML-антенна + усилитель, Tecsun 660) стабильный прием из станций из Европы (BBC, Ватикан, Радио Франции и другие). Иногда — Аравийский полуостров и Южная Африка. Если повезет — Турция, Вьетнам (у них тоже есть вещание на русском). Если очень повезет, то могу на пределе слышимости КНДР на русском языке

6. Расписание. На коротких волнах вещание идет по расписанию. Обычно передачи часовые. Реже — получасовые или двух-, трехчасовые. Расписания меняются раз в полгода, тк зимой и летом "прохождение" радиоволн на разных частотах разное (утром и вечером кстати тоже).

Расписания, а также расположение и мощность передатчиков можно найти на специализированных сайтах. Сайты легко гуглятся. Советую использовать не один, а 2 или 3 сайта. Дело в том, что расписания эти поддерживаются энтузиастами кв вещания, соответственно, никакого "единого" или "самого правильного" расписания нет: актуальность данных на разных сайтах может быть чуть разная в разные периоды. Номинально, конечно, есть какой-то реестр ITU с сеткой вещания, но с реальностью он расходится довольно сильно.

  1. Радиолюбители, пираты и прочая "радиовольница". Можно поймать случайно, если повезет. Можно изучать профильные сообщества. Иногда встречается очень забавное: типа чтения аудиокниг :-)

  2. Бюджет новичка. На примере моего, цены в ₽, лето 2021. Второй и третий пункты можно при желании изготовить самостоятельно

    1. Приемник: ~9000 на авито

    2. Антенна с кабелем и усилителем: ~3000 на али

    3. Кронштейн, монтажные мелочи: ~700 в леруа

Теоретически, можно завести виртуальную карту в сервисе типа US Unlocked или там Revolut и с неё оплачивать. Практически — не факт, что через какое-то время удастся её пополнить.

UPD: только что проверил, US Unlocked отказывается пополнять карту для России...

Ну на эту тему Хорстман обстебался в своём The March of Progress

1980: C
printf("%10.2f", x);

1988: C++
cout << setw(10) << setprecision(2) << fixed << x;

1996: Java
java.text.NumberFormat formatter = java.text.NumberFormat.getNumberInstance();
formatter.setMinimumFractionDigits(2);
formatter.setMaximumFractionDigits(2);
String s = formatter.format(x);
for (int i = s.length(); i < 10; i++) System.out.print(' ');
System.out.print(s);

2004: Java
System.out.printf("%10.2f", x);

2008: Scala and Groovy
printf("%10.2f", x)

(Thanks to Will Iverson for the update. He writes: “Note the lack of semi-colon. Improvement!”)

2012: Scala 2.10
println(f"$x%10.2f")

(Thanks to Dominik Gruntz for the update, and to Paul Phillips for pointing out that this is the first version that is checked at compile time. Now that's progress.)

Помню пробовали этот прикольный сайт WHERE THE FUCK SHOULD I GO TO EAT?
Только, что-то барахлит с сертификатом
image

В OS Windows есть встроенный инструмент «problem steps recorder». Запускается из коммандной строки алиасом PSR. Автоматом делает скрины с пометками, где какие действия совершались, позволяет вставлять текстовые комментарии. Результат сохраняет в виде архива с .mht файлом. В Win 7 уже точно есть.
UFO landed and left these words here

@Exosphereвот вы пишите, что не нужны пустые статьи про nft, и кто-то выпускает их из песочницы. Ну как так-то?) Ладно бы ещё тезисы новые были, так их около недели назад активно обсудили в коментах к другой статье про nft. Теже самые квартиры, медкарты и тд.

UFO landed and left these words here
пилить и сверлить при -5 комфортно


На фото («Конечное размещение») видна планировка, практически аналогичная планировке моей лоджии (правда, у меня лоджия несколько уже)

Я там оборудовал стол-верстак, со всем необходимым. Очень удобно — ни сверление, ни пайка с покраской никому в квартире не мешают :)

image
Рамы двойные, в случае жары можно открыть дверь на кухню (там кондер), в случае холода — включить электрокамин. И, главное — никаких проблем с выводом вытяжки наружу :)

А много кто использует nginx именно как веб-сервер? Для чего? Сейчас повсеместно все написано на джавах, го, джаваскриптах, питонах и прочих, где внутри свои серверы. Нджинкс он и есть прокси, это основное его применение сколько я его помню. И сейчас его ткают в тот же кубер именно с той же целью. В этом плане он очевидно начинает уступать более современным решениям. Есть envoy, мы вот traefik гоняем. Сложность и неудобство конфигурации я читал уже неоднократно. Dropbox хороший бложик писал по миграции с nginx на envoy https://dropbox.tech/infrastructure/how-we-migrated-dropbox-from-nginx-to-envoy

Fractal Design Node 202 и аналоги. Да, там нет таких посадочных мест по умолчанию, но места внутри полно (если вы не ставите видеоадаптер).

Точно, хотел об этом написать, но забыл.

Чтобы улучшить качество SBC без модификации стека (да и, в принципе, любого аудиокодека, но не aptX), имеет смысл обрезать верхние частоты, которые вы не слышите.
На стандартном профиле используется 8 частотных диапазонов, т.е. аудио нарезается на 8 диапазонов по 2756 Гц (для 44.1 кГц). Если полностью подавить верхние частотные диапазоны эквалайзером плеера, то битрейт будет более эффективно расходоваться на слышимые диапазоны.
Например, я не слышу выше ≈16500 Гц, это как раз на границе разделения частот SBC (2756 * 6 = 16536). Убрав всё, что выше 16536 Гц, я улучшу качество аудио для своих ушей.

Энкодеры психоакустических кодеков, как правило, сами обрезают диапазоны выше какой-то частоты, в зависимости от битрейта.
Это объясняет почему, но не объясняет зачем. Как минимум, наборные кассы бы облегчились на одну литеру — латинская I нужна в любом случае; и вдобавок бумаги на І расходовалось бы меньше, чем на И. (Ферт и фита в обоих этих отношениях равноправны.)

Ну или взять Ъ. В современном русском он обозначает /й/. Зачем эту /й/ обозначать иначе, чем остальные /й/? Почему слово /сйем/ не писать как сйем? Всё равно же Ъ на конце отменяли, так отменили бы до конца!

Information

Rating
Does not participate
Location
Казахстан
Registered
Activity