Category: it

Category was added automatically. Read all entries about "it".

Математическое: Реализация поверхности как геодезического многообразия

Что-то я не соображу, а при каких условиях на первую квадратичную форму двумерная поверхность может быть изометрически вложена(локально) в евклидово пространство как тотально-геодезическое многообразие. То есть, чтобы можно было измерять внутреннее расстояние по поверхности как просто расстояние в объемлющем пространстве между точками.

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

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

честный ноль в программировании?

Вопрос, всегда ли в программировании поддерживается честный ноль. То есть ноль с основными двумя свойствами нуля: умножение на ноль всегда ноль, а сложение с нулем не изменяет элемент.

То есть вот я определил

double A=0;

Могу ли я теперь быть уверенным, что если я теперь умножу A*B, для любого выражения B, у меня это останется нулем. И если возьму B=A+B, то B от этой операции не изменится.

Где может быть ситуация, когда указаные выше свойства нуля перестанут быть таковыми?

Еще пара "апгрейдов"

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

Вот на Lichess сделали подобный "апгрейд" дизайна, в котром пропала часть привычного функционала, а остальная часть переделана откровенно говоря не в лучшую сторону. Причем абсолютно очевидно, что новый дизайн готовили люди, которые сами не играют в шахматы на этом сайте. До этого все было предельно функционально именно для игрока, сейчас намного хуже.
вот например выводилась раньше фича - сколько человек на сайте, сколько играет, сколько смотрят данныую партию через личесс.тв. В новом варианте это все убрали(не убрали а переместили оказывается в другое место, что сразу и не заметишь) и будут доказывать что это не нужно! Нужно, это была мелкая, но очень социальная фича. Типа не только я смотрю игру Карлсена на сайте, а еще тысяча человек.

В Microsoft Edge после апгрейда виндоус на Ctrl+ масштаб стал меняться по 25%(100-125-150) и в настройках не видно никакой опции установить наприер 111%, как было еще возможным несколько дней назад(поскольку тогда по Ctrl+ шаг был 11%). Микрософт - большой учитель! Я в результате сразу выучил возможность настройки масштаба колесиком мышки (крутишь центральное колесико и ловишь момент), раз мне не дают просто поставить цифру в одном месте в настройках.

Слушайте, и не надо про то что пользователи, де, этого хотят. Создатель личесс сделал свой сайт на коленке и завоевал рынок именно за счет функциональности. И пользователи слетелись именно на старый дизайн. Потом, видимо, приперлись эффективные менеджеры с апдейтами ради апдейтов, и вот все дружно плюются... Я не против нового, я против того чтобы мне его навязывали.

секрет интернет-дрочера раскрыт!

По некоторому размышлению, я, кажется, догадался, что мотивировало авторов браузера Microsoft Edge не иметь стандартной функции "последние закрытые вкладки". Следите за руками - смотрите вы какой-нибудь неправильный-контент. И вдруг заходит ваш коворкер или домочадец. Вы, бах, закрыли вкладку. И можете спокойно пускать пришельца даже поработать на том же компе - он СЛУЧАЙНО не узнает, что вы смотрели до него. Да, он может нажать волшебное сочетание клавиш(ctrl-shift+T) или щелкнет правой мышкой на заголовке вкладки. Но судя по тому, что я оба этих действия сам узнал на днях, то средний чел этого скорее всего тоже не знает. Он поработал, после чего вы начинаете восстанавливать ваши закрытые вкладки последовательно. А был бы список - он случайно может увидеть, что вы смотрели нехорошие картинки за минуту до него

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

Другими словами, разработчик браузера Microsoft Edge, судя по всему, банальный дрочер-подкаблучник, а нам всем от этого теперь страдать.

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

До свиданья, Microsoft Edge

Мой краткосрочный роман с браузером Microsoft Edge подошел к концу, как только выяснилось, сначала что если случайно закрыть вкладку, то пришлось гуглить(яндексить ибо по умолчанию тут Яндекс и непонятно где поменять), чтобы найти, где находится История(очень "интуитивный" интерфейс).

Я слишком привык к опции - недавно закрытые вкладки в Хроме И Firefox. Здесь я ее не вижу. И первый раз в жизни узнал, что в браузерах оказывается кликом правой мышки на открытой вкладке можно открыть опцию восстановить последнюю закрытую(и еще Ctrl-Shift-T оказывается). Всю жизнь я использовал явно список "недавно закрытые вкладки". Ну бог с ним с этим, однако случайным кликом вкладки из основного окна стали переходит в отдельное, а как их возвращать в таком случае, где они были я никогда не знал и в Хроме с Огнелисом. Но, оказалось, что если их в этом новом окне закрыть, то их не остается даже в Журнале(Истории). Эта была последняя капля - сворачиваю активность и перехожу в Хром.

Не говоря уже о мелочи, что новая вкладка по ссылке из поисковика или гиперлинка также запросто открывается через несколько уже открытых(почему не в соседней?). В Огнелисе точно была опция настройки этой штуки, но где она в ублюдочном интерфейсе Edge, не знаю. Возможно, оно все есть, но если даже элементарные вещи так спрятаны, то нафига мне тратить мои ресурсы на поиск любого чиха? Я уже молчу, что в современных браузерах, то что было раньше в менюшках, типа как открытие файла с жесткого диска, теперь можно сделать только через Ctrl-O - не осталось этого в менюшках (опять таки может где-то это наверняка включается, но пусть они прячут это "золото" без меня).

Но вот это случайное закрытие вкладок и переброс в новое окно, после чего они кануют в лету, это перебор. Вот мне реально интересно - вот почему уже 20 лет нельзя сделать как у людей. Почему до сих пор нет банального функционала? Компания Microsoft молодая и бедная наверное, надо дать им еще 20 лет на разработку браузера...

А шанс у них был, я мог бы остаться на этом браузере как основном.

Первые впечатления(новый комп)

Пришел новый комп. Инсталлирую всякий мелкий софт, о котором спрашивал в предыдущем сообщении. Причем случайно(искал откуда скачать FireFox) вышел на удобный инструмент InstallPack (https://installpack.net/), который предлагает список некоторого стандартного софта, и уже в этом списке удобно выбирать на ходу вспоминая свой опыт, ответы на вопросы, случайную инфу. Мне настолько это понравилось - выбирать из списка, что я пожалуй бы поинтересовался другими подобными менеджерами, где можно было бы выбирать из списка скажем менее известных на слуху приложений. Единственно, что он каждый раз пытается впарить аваст и яндекс-сервисы(сии товарищи настолько достали своей наглостью(а-ля легендарный Американский-Английский), что вот все-все браузеры инсталлирую (кстати на какие из новых кроме большой тройки FireFox, Chrome, Opera обратить внимание?), а вот этот назло не буду) и надо аккуратно снимать галочки. Кстати, про антивирусы, есть ли сейчас антивирусы с анализатором от нейронных сетей? Или еще техника не дошла?

При этом, вы знаете, в целом от Win 10 скорее положительное. Например, для моих полуслепых глаз просто поставил масштаб 225% и ничего не надо настраивать в каждом приложении или браузере или ставить крупные значки, и подобные танцы с бубном, как раньше. Недостаток, который бросается правда в глаза - совершенно угребищная организация списка программ в Пуске. Есть ли скины, которые это лечат, ибо сплошной список вместо старого иерархического, в котором еще и не все программы появляются...

Кстати, новые корпуса удивительно легкие по сравнению с 15-летней давности. Раза в два легче. А вот то, что монитор норовит два раза в сутки выключиться, если не перенажмешь на кнопку включения - неприятная мелочь(и, кстати, по-русски непонятно с первого раза что делать). Раньше вроде бы хватало отслеживания активной работы пользователя.

Забавная штука - на новый блок не поставишь настольную лампу как раньше - крыша округлая, и эту мелочь невозможно учесть, если у тебя был прямоугольный металлический корпус. А места нема на старом еще советском столе...

Вопрос, а какого хрена программы ставят Microsoft Visual C++ 2008 и 2010, если уже стоит 2017 и 2013 (наверное при инсталляции видеокарт). Впрочем, раз они ставятся, значит кому-то это нужно. Лишь бы не конфликтовали. Хотя меня эта загадка мучает уже много лет.

Кстати, от встроенного браузера (Microsoft Edge) были бы совсем хорошие впечатления, но при просмотре френд ленты и ныряние в пост с последующем возвращением в ленту, не работает PgUp PgDown, пока не щелкнешь мышкой на полосе прокрутки.

Да, какие виртуальные машины поддерживаются десяткой? А то какую-то начал инсталлировать, а она заявила, что на время пропадет интернет, и антивирус стоит отключить, и я отложил сие действо.

список программ на новую систему?

Ориентировочно на этой неделе придет новый заказанный компьютер с предустановленной Win 10 (и c RTX-2060 видео карточкой - GPU!).

Вопрос: чего сейчас следует ставить на такую систему дополнительно из стандартных системных программ. Ну типа flash, direct-X, java, видео- и аудио кодеки? Что еще?
То есть то, что обязательно требуется какими-то продвинутыми программами или играми.
Может, где список подобного излагается.

Посещающий США не имеет права работать и на работодателя из другой страны

Математическое: сложность многочленов

Интересная статья в Bull of AMS

Cubics in 10 variables vs. cubics in 1000 variables: Uniformity phenomena for bounded degree polynomials
Daniel Erman, Steven V Sam and Andrew Snowden.
Bull. Amer. Math. Soc. 56 (2019), 87-114

http://www.ams.org/journals/bull/2019-56-01/S0273-0979-2018-01652-2/S0273-0979-2018-01652-2.pdf

на тему, какие многочлены сложные, а какие не очень.

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

Вот эти результаты должны быть критически важны для машинного обучения, поскольку они как раз про представления одних многочленов через композиции других в духе проблемы Гильберта которую решили Арнольд с Колмогоровым.

Математическое: концентрация корней на окружности

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

Но если почитать вот это обсуждение:

https://mathoverflow.net/questions/182412/why-do-roots-of-polynomials-tend-to-have-absolute-value-close-to-1?rq=1

То там помимо ссылок на статьи со строгими доказательствами, приводится столько эвристических аргументов почему это должно быть именно так, что по прочтении задаешься себе вопросом - почему этого нет в учебниках по ТФКП. Во всяком случае я четко намерен упомянуть об этом в той паре базовых курсов, которую читаю в этом семестре. Факт просто вопиет о том, что бы о нем рассказать и продемонстрировать например мощь контурного интегрирования и вычетов, да и вообще методов ТФКП.

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