?

Log in

No account? Create an account
  Journal   Friends   Calendar   User Info   Memories
 

Zametki na polyah's Journal

15th May, 2019. 10:06 pm. честный ноль в программировании?

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

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

double A=0;

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

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

Read 33 Notes -Make Notes

15th May, 2019. 1:52 pm. Распределение дробных частей степеней

А все-таки удивительная штука. Мы знаем, что почти для всех чисел(в смысле меры Лебега) A > 1 дробные части их степеней An должны быть равномерно распределены на отрезке [0,1]. То есть те числа, для которых это не так, можно покрыть системой интервалов суммарной сколько угодно малой длины. Но при этом мы не знаем НИ одного конкретного числа A для которого мы можем это строго доказать. Даже для A=3/2.

http://www.ams.org/journals/bull/1993-29-02/S0273-0979-1993-00418-X/S0273-0979-1993-00418-X.pdf

Это к вопросу, что на самом деле мы мало что понимаем даже про самые как будто бы обычные числа (даже не континуум, а просто рациональные).

Да, возведение 3\2 в степень и взятие дробной части это один из самых популярных датчиков псевдослучайных чисел. При это не доказано, что сия процедура корректна, то есть вопрос совершенно не абстрактный, а очень конкретный с точки зрения приложений. Есть у вас конкретное число A - у вас корректный датчик, а сейчас это вопрос веры.

Read 11 Notes -Make Notes

12th May, 2019. 9:49 pm. Заменять все синтетические примеры на реальные (преподавание математики)

При изучении математики абсолютно все группы людей ненавидят выполнение скучных синтетических примеров. Решить систему больше чем на 2 на 2 методом Крамера, то же самое с Гауссом, посчитать 100 производных\интегралов из Демидовича. И вершиной ненависти конечно же посчитать жорданову форму.

Причем подобные задания не любит буквально никто:
1) люди с ярко выраженными матспособностями, поскольку они тупо отнимают у них время от содержательных вещей
2) люди со способностями но не математики, потому как они считают что все поняли и так, а это опять таки затраты времени
3)люди, которые пытаются понять, и вроде понимают, но куча ошибок в процессе делает процесс мучительным при условии что надо решить много.
4) условные гуманитарии которых мучают этим заданием, а они и одного примера не способны толком сделать.

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

Ну, и в заключении пример для преподающих композицию функций:

Пусть

A(X)=X+27*X*X
B(X)=X+8*X*X+16*X*X*X

C(X)=X+32*X*X+256*X*X*X
D(X)=X+3X*X

Посчитать A(B(X))-C(D(X)).

A(B(x))=6912 x^6 + 6912 x^5 + 2592 x^4 + 448 x^3 + 35 x^2 + x

Read 101 Notes -Make Notes

9th May, 2019. 7:34 pm. Математическое: кольцо из двух элементов

Забавно, просматривая по диагонали вот этот обзор про свойства группы формальных степенных рядов над кольцом

http://www.mathnet.ru/links/4cdf1e76d8b2f25b1d5d45b4778d3ff8/rm9471.pdf

в надежде зацепиться на что-то интересное именно мне. Первое, за что зацепился взгляд, это пример кольца из двух элементов, которое не поле (пример 2.25). В нем есть нулевой элемент 0 и нетривиальный элемент a. Причем, a+a=a*a=0. Ясно что это не поле F_2, и там нет единицы. Вроде все просто. Но почему-то я явно был уверен, что других колец из двух элементов кроме F_2 не существует.

А потом мне еще вспомнился пример из Паркинсона, когда комиссия за 5 минут принимает решение о строительстве ядерного реактора, потому что всем нечего сказать, и 45 минут обсуждает вопрос о марке мыла в туалетах главного здания. Вот и я тут также: смотрел-смотрел прдвинутый обзор, а отметил лишь кольцо из двух элементов, которое не поле...

Update: Продолжу обсуждение "сортов мыла в туалет" - другой забавный факт(Замечание 3.6) из этого обзора, что если N целое число, а q произведение всех простых, делящих N (например для N=8*9*5, q=2*3*5), то все к-ты разложения

(1+N*q*X)1/N

в ряд Тейлора по степеням X в нуле будут целыми.

Read 1 Note -Make Notes

5th May, 2019. 6:25 pm. Еще пара "апгрейдов"

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

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

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

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

Read 15 Notes -Make Notes

29th April, 2019. 3:41 am. секрет интернет-дрочера раскрыт!

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

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

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

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

Read 23 Notes -Make Notes

24th April, 2019. 2:16 am. что можно добавить в ЖЖ

Вопросы:

1) а какой функционал вы бы добавили в ЖЖ в текущий формат поста?

2) кто в курсе, а что МОЖНО собственно добавить без переписывания движка? Но например выделением большего количества ресурсов на сервере.

Update: Грубо говоря, чего вам не хватает из того, что вы видели где-то еще(а где?), или просто мечтали?

Read 30 Notes -Make Notes

23rd April, 2019. 10:30 pm. расставляйте тайм-коды!

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

Read 15 Notes -Make Notes

22nd April, 2019. 3:59 pm. тютельку в тютельку(украинские экзит-полы)

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

Read 20 Notes -Make Notes

21st April, 2019. 4:40 am. Разбиение на страницы против сплошной прокрутки

Слушайте, но вот кто может раскрыть секрет - почему в старой версии Хром поиск в Ютуб разбивает найденное на старые добрые страницы по 10 ссылок, а в новых браузерах эта сплошная долбанная непрерывная прокрутка. Ну как сделать чтобы и там были страницы? И не надо говорить, что это невозможно, если старая версия Хрома(на старом компе в одной из систем) прямо сейчас работает именно так. И, да, я нигде не залогинен. Ни там, ни тут.

Read 28 Notes -Make Notes

19th April, 2019. 8:02 pm. оголодали по реальной политике

А все-таки с каким энтузиазмом на российском ТВ подхватили и с неподдельным голодным энтузиазмом обсуждают президентские выборы на Украине. И кстати выяснилось что перебивать и орать можно конечно но в пределах допустимого(иначе журналисты и политики с Украины не будут участвовать в передачах). Российские журналисты и общественность реально оголодали до реального политического действия, пусть хоть и у соседа. Это же надо: действующий президент разгромно проигрывает некоему тамошнему Галкину.

Что неужели даже дебаты будут транслировать по российскому ТВ в прямом эфире?

Read 16 Notes -Make Notes

19th April, 2019. 12:17 am. До свиданья, Microsoft Edge

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

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

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

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

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

Read 52 Notes -Make Notes

17th April, 2019. 3:07 pm. Первые впечатления(новый комп)

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

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

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

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

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

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

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

Read 21 Notes -Make Notes

15th April, 2019. 11:18 pm. интеллект дерева?

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

Read 20 Notes -Make Notes

15th April, 2019. 7:43 pm. список программ на новую систему?

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

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

Read 85 Notes -Make Notes

15th April, 2019. 1:58 pm. Math: формула для вычисления длин кривых

В очень интересной статье

http://www.ams.org/journals/bull/1995-32-01/S0273-0979-1995-00571-9/S0273-0979-1995-00571-9.pdf

про "Как много корней случайного действительного полинома действительны" меня больше всего заинтересовало простое но изящное тождество.

А именно, если у нас дана вектор функция одного аргумента

v(t)=(A_1(t),..., A_n(t))

то оказывается есть очень простой и изящный путь посчитать евклидову норму ее производной, которая является интегрантом при вычислении длины кривой, задаваемой посредством v(t).

А именно, введем

K(x,y)=(v(x),v(y)). (здесь и далее скобки это станадартное скалярное произведение в n-мерном пространстве)

Тогда можно легко проверить, что

(Dv(t), Dv(t))=F(t,t)

где F(x,y)=D_xy (Ln(K(x,y))).

где D_xy это вторая смешанная частная производная функции двух скалярных переменных, а Dv(t) просто производная по t.

В чем прикол? А в том, что для многих вектор функций можно сначала упростить выражение для K(x,y), а потом уже дифференцировать.

Например, для
v(t)=(1,t,t^2,..., t^n)
K(x,y)= (v(x),v(y))=1+xy+(xy)^2+...+(xy)^n
есть геометрическая прогрессия.

Вообще там в статье много вкусного и интересного.

Кстати, знакомые с машинным обучением могут распознать в K(x,y) известный объект(воспроизводящее ядро).

Make Notes

14th April, 2019. 3:57 pm. о внутренней оценке шахматной позиции

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

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

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

Ну и есть еще полно вариантов шахматной игры, и для них можно поставить ту же задачу.

Read 15 Notes -Make Notes

13th April, 2019. 5:27 pm. информационные данные по вузам

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

http://indicators.miccedu.ru/monitoring/?m=vpo

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

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

Read 17 Notes -Make Notes

12th April, 2019. 8:06 pm. Петр Вилли Вонка!

Стоя в очереди на кассу в провинциальной российской Пятерочке(сеть) и рассматривая конфеты Рошен(дороговато все-таки), до меня наконец то дошел тривиальный факт: Петр Порошенко получается это ведь ни кто иной, как самый натуральный Вилли Вонка, занявшийся политикой!

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

Ну и чтобы два раза не вставить: также очень интересует вопрос - доработает ли Владимир Зеленский в качестве ведущего Лиги Смеха до конца сезона.

Read 7 Notes -Make Notes

12th April, 2019. 12:17 am. МГУ на википедии

Да, да, я снова про Карфаген

МГУ

Какая содержательная страница. Из нее невозможно узнать ни общее количество студентов, ни бюджет, ни число преподавателей МГУ. Ни-че-го.

Наверное потому, что это вопрос незначимый, неинтересный. Подумаешь, ведущий вуз страны с легендарной историей...

Update:
Ура, в английской версии есть число студентов! (47 000) Какое счастье!

Read 11 Notes -Make Notes

Back A Page -Forward A Page