Недавние тренды рунета

Недавние тренды рунета

stackoverflow stats от juan-gandhi
2018








Женщин меньше семи процентов среди профессионалов, да что ж это делается-то.

Ну и там много еще смешного.

Оригинал и комментарии

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

Дашь им задачу "найти функцию f на int32, для которой ∀x f(f(x)) = -x" - да запросто; только их функция на некоторых аргументах будет давать другой результат - "потому что мы инженеры, нам некогда, и у нас эффективно".

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

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

Я вот не понимаю, а кто делает авионику? Понятно, что Маску стоило бы нанять команду авиационных инженеров, которые умеют делать автопилоты. Но это какая-то специфика, другой мир. А обычные софтверные инженеры, их "исключительные случаи" не касаются. Потому что это монада, а монада - это для гиков, типа Тони Морриса, и с такими лучше дела не иметь (опять же, Тони и обматерит по-всякому, если чо).

Кстати, и в "машинном лернинге" та же фигня. В конторе хвастаются, что наш продукт делает two million predictions a day. Все стесняются спросить, сколько из них сбываются. Но тут еще вписываются статистики, для которых ошибка - это всего лишь collateral damage, как солдаты для маршала Жукова.

А доказуемые решения инженерам ни к чаму. У них тесты идут (почти все) - ну и ладно тогда.

Так кто же делает авионику? Вот тут для меня загадка.



Оригинал и комментарии

Роберт Шекли. Чудовища от juan-gandhi
Небольшой рассказ на темы морали

Чем дальше, тем своевременнее 

Оригинал и комментарии

И еще о распределенных средствах поддержки разработки от vitus-wagner
Что, собственно, бывает нужно от системы поддержки разработки? Очевидно, что система поддержки разработки это больше чем система управления версиями.

1. Управление версиями
2. Управление issues/тикетами.
3. Некая knowledge base для внутрипроектного применения (в наше время обычно wiki).
4. Управление правами (на коммиты, на постинг/обработку issues, на редактирование wiki).
5. Публикация релизов
6. Интеграция с репозиториями библиотек и прочего софта, от которого мы зависим.

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

Что из этого умеет собственно git? Он делает п.1 и немного п.6 (submodules и subtrees, обе фичи кривые).

Что из этого делает fossil - все кроме 4 и 6. При этом 4 он не делает by design. Хипп считает, что список юзеров на каждом из узлов - личное дело администратора узла и репликации не подлежит.

Кстати, хорошего решения для п.6 я вообще не знаю. externals в subversion не лучше submodules в git.

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

В принципе, ее решением мог бы быть authorized_keys файл в формате ssh, закоммиченный непосредственно в репозитории. Если человек аутентифицируется ключом, содержащимся в этом файле, значит он правильный коммитер. Правда, встает вопрос о том, что такое "аутентифицироваться ключом". Если коммит по ssh, то тут все понятно. Хотя лично мне с моей политикой "на каждом устройстве свой ключ" будет несколько напряжно это дело менеджить. Если же человек коммитится по http, то тут немного непонятно как быть.
Можно, конечно каждому проекту стать своим собственным CA, и выписать пользователям на их ssh-ключи X509-сертификаты. git можно с конфирурировать чтобы при пуше по https предъявлял клиентский сертификат.

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

Было бы проще, если бы сущестововал глобальный CA, выдающий бесплатно сертификаты не для сайтов, как Let's Encrypt, а для юзеров (идентифицируемых их E-Mail).

В принципе, конечно, существует cacert.org, но его рутовый сертификат отовсюду выпилили. А так идея там красивая - web of trust over x509. Comodo выдает Free S/MIME certificates но там в пользовательском соглашении явно запрещено использовать его для авторизации на https-сайтах.

Оригинал и комментарии

Жизнь без бога от ru-antireligion
Posted by: [personal profile] 20_00

Появились слухи о предстоящем переиздании книги бывшего участника сообщества Дмитрия Казённова "Жизнь без бога". Если вы впервые слышите об этой замечательной книге, или успели о ней забыть, прочитайте посты Андрейоса-АБ: Анонс "Жизни без бога" и Жизнь без бога.

(Read more ...)

Оригинал и комментарии

Разновидности религий для самых маленьких. от ru-antireligion
Posted by: [personal profile] inkognitov

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

(Read more ...)

Оригинал и комментарии

Иисус до, во время и после евангелий от ru-antireligion
Posted by: [personal profile] enkidus



(Read more ...)

Оригинал и комментарии

Мысли от yostrov
Перед поездкой решил освободить голову от лишних раздумий. В Нью Йорке будет не до того. Написал пост "Неотправленное", хочу добавить: 
 
Тарифные игры Трампа показали, что США закупают много металла по всему миру. Это доказательство, что мы очень много чего производим. Разговоры идут за ввозные тарифы на сырье и вывозные на машины. Это хороший показатель. 
 
Вопрос евреям-демократам
Иерусалим - столица Израиля или нет? 
Еврей должен сказать да. Демократ - нет.
 


Оригинал и комментарии

Миссия среди молодого среднего класса... продолжается от ru-antireligion
Posted by: [personal profile] enkidus


«
Валерия Гай Германика стала ведущей интернет-проекта о совмещении веры и современной жизни, сообщает РИА «Новости».

(Read more ...)

Оригинал и комментарии

О совпадениях от ru-antireligion
Posted by: [personal profile] oleg_ttt

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

(Read more ...)

Оригинал и комментарии

Без собственности от vitus-wagner
https://www.rbc.ru/economics/06/06/2018/5b180ddd9a7947044b4ffaf9

До аналитиков ЦБ наконец дошло, что:


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

«Конечную ценность для потребителя в большинстве случаев несет именно пользование, а не владение. Это, в свою очередь, может оказать влияние на баланс сбережений в экономике и стратегии их накопления населением»,


А я об этом еще полтора года назад в ХиЖ писал:

http://www.hij.ru/read/issues/2016/december/6297/

Оригинал и комментарии

а, задачку задали от juan-gandhi
Я тут по приколу типа интервью время от времени, э, даю?

Сегодня один занятный мужик звонил.
Задача 1. Есть массив интервалов (целочисленных); надо слить пересекающиеся. Ну это фигня, это foldl.
Задача 2. Есть LinkedList (ну или там что-то), с дополнительными линками на элементы того же списка (случайным образом). Скопировать.

Так вот, эту вторую задачу, мне что-то кажется, что без мутабельности не решается. 

Оригинал и комментарии

quoting trump от juan-gandhi
"Wow, what a tough sentence for Paul Manafort, who has represented Ronald Reagan, Bob Dole and many other top political people and campaigns. Didn’t know Manafort was the head of the Mob. What about Comey and Crooked Hillary and all of the others? Very unfair!"

Somehow some people think that the author of this text has some kind of decent IQ. I wonder... 

Оригинал и комментарии

"Чтобы объединиться, надо сначала размежеваться..." от silent-gluk
Вдруг подумалось: интересно, а на что был бы сейчас похож толкинофэндом (которого я толком не знаю), если бы не были написаны "Черная книга Арды" и другие "фэндомообразующие произведения", "оттянувшие" к себе сторонников "темного блока"?.. Было бы популярно в толкинофэндоме (именно в нем!) доказывание, что "Валинор - это плохо, а Мордор - это хорошо", грубо говоря?..

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

Оригинал и комментарии

сволочи! от gracheeha
Полюбовалась говорящими головами.  Эти политические собаки грызутся между собой на экране и "энергизируют свою базу" к выборам вместо того, чтобы спокойно решить проблему.  Им плевать на детей, беженцев и человеческое горе, они решают одну задачу - как остаться в своём нагретом кресле или выкарабкаться в кресло повыше.

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

Оригинал и комментарии

обращая списки от juan-gandhi
Приснилась мне сегодня задача. У вас есть строка текста, представленная в UTF8 (не обязательно канонически). Переверните ее.

Особенно прикольно будет посмотреть на оптимальных сишных программистов. Но и джавщики со скальщиками тоже могут ошибиться.

Уточняю. Есть строка текста, закодированного в UTF8.

Задача: переставить символы так, как если бы мы читали это текст в обратную сторону. Варианты могут быть, что zero-width diacriticals или стоят на месте, или не стоят на месте.



Оригинал и комментарии

какой горячий китаец попался от juan-gandhi
 https://gmachine1729.com/2018/06/14/on-russia-and-russians/

Оригинал и комментарии

GitHub, M$ и SourceForge от vitus-wagner
На /. пишут, что MicroSoft покупает GitHub. Официально сделка еще не объявлена, но инсайдерские источники утверждают что стороны пришли к соглашению.

По этому поводу SourceForge выкатила GitHub importing tool, надеясь что народ с гитхаба теперь ломанется, а куда крестьянину кроме сурсфорджа-то податься?

Вообще похоже надо фрешмит возрождать. В смысле делать поисковик по проектам которые хостятся хрен знает где. Но с учетом нынешней моды на распределенные VCS делать его таким, чтобы он показывал, где СЕГОДНЯ находится главный репозиторий проекта.

Для этого стырить микрософтовскую же (уже забытую самим M$) технологию выбора мастер-бровсера в SMB и прикрутить ее к распределенным VCS.

Upd еще пост на слэшдот

Upd2 О сделке уже объявлено.

Оригинал и комментарии

TIL от juan-gandhi
That about 44% of US people think H1B foreigners are taking away their jobs.

Well, ok, a friend of mine is sure I took away his job at Borland. I never argued with him about that, because it would involve telling him that he did not understand any Java while working in JBuilder team, and this might be the reason he was laid off. 

So, just a caveat.

Your professional skills are mostly not appreciated and not understood, according to Dunning's letter to Krueger, 1939.

Оригинал и комментарии

Живем в малине от klebestr
Я терпеть не могу Трампа. Ну хотя бы за "Grab 'em by the pussy". Но вот это вот по-моему тоже гадко и уравновешивает оба лагеря. Гопники какие-то вокруг, ей-бо!



Оригинал и комментарии

Надо срочно скачать всё необходимое.... от slava68
Microsoft подтвердил, что покупает GitHub.

Сумма сделки — $7 500 000 000

http://news.lenta.ch/k515


Гугл уже купил "Фликр" и закрыл его .....

Оригинал и комментарии

revisiting mathoverflow от juan-gandhi
https://mathoverflow.net/questions/171809/building-a-product-of-two-categories 

It was a pretty legit question, but Doctor Wofsey says it's off-topic, and all categories are based on sets; seems like, in his view all theories are based on sets.

So, what should we do with a bunch of idiots pretending to be mathematicians? I don't know. I'm not one. But neither are they.

Reasked.

Оригинал и комментарии

Из истории современной клерикализации от ru-antireligion
Posted by: [personal profile] ioann_holokaust

Эта статья написана почти 20 лет назад и ее можно уже по праву называть исторической. Называется она "Мысли о будущем России", а написана православным попом из Массачусетса Д. Константиновым, ныне покойным. Из названия видно, что он там делится своими мыслями о том, какой, по его мнению, должна стать будущая "возрожденная" страна. В статье очень много букв, если кто пожелает, полностью можно ознакомиться здесь, а пока особо избранные цитаты по теме.

(Read more ...)

Оригинал и комментарии

Почему загнулась борьба с РПЦ. от ru-antireligion
Posted by: [personal profile] monahgrigoriy

 

Конечно глубина этой борьбы, её стили и методы стоит признать необходимыми во всём многообразии. Истинное лицо Гундяевской религии  для  школьников проявиться в суде над очередным ловцом покемонов. А интеллекту повзрослее хочется послушать доводов контр проповеди креационистам. Кому переводы Докинза и Харриса, а кому книги Сенькина  и бывшей послушницы... Тем не менее перспектива страны с уверенной поступью клерикалов отнюдь не радужна.  У себя на сайте "Расцерковление" я решил обобщить причины печальных тенденций на основе фактов с которыми столкнулся.

Оригинал и комментарии

Устами младенца от ru-antireligion
Posted by: [personal profile] zakrit_dver

А мальчик-то совсем не дурак :)

(Read more ...)

Оригинал и комментарии

Корабль с багом от vitus-wagner
Прилетает некто на захолустную космическую станцию на окраине освоенной галактики, а там ему предлагают:
"Хочешь боевой крейсер инсектоидской постройки?"
Ну, думает мужик, инсектоидская постройка это круто.
"А почем?"
"Десять миллионов галактических кредитов."
"А что так дешево?"
"А он с багом."
"С каким-таким багом?
"Да мы когда его на абордаж брали, один инсектоид забарикадировался на складе запчастей и вылезать не хочет."

Оригинал и комментарии

О втором сроке Трампа. Кратко от darkoman
 Он будет.



Оригинал и комментарии

Вопрос залу. от ru-antireligion
Posted by: [personal profile] inkognitov

Итак, читайте внимательно и отвечайте да/нет.
Может ли "ватник", государственник, сторонник твердой руки и крепкого хозяйствования быть ЛГБТ антирелижн?
Неужели только человек либеральных, демократических взглядов может быть антирелижн?
А если человек антирелижн, то он неизбежно должен быть сторонником определенной модели политического устройства?
Возможен ли здоровый антирелижн между двумя политическими оппонентами?

(Read more ...)

Оригинал и комментарии

Фейсбук как государство от glav
Существует аргумент, что государство не дает выбора, платить налоги или не платить, тем самым насильно заставляя человека делать то, что он не хочет. Но это ерунда, поскольку, за исключением Северной Кореи и СССР, границы государств открыты для выезда, и если человеку не нравится политика конкретного государства, то он может выбрать то, которое ему по душе из списка остальных 200+ государств. На открытом рынке государств, в либертарианских терминах. Прям как на открытом рынке стиральных порошков.

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

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

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

Вот есть такая компания - Фейсбук. Которая проводит достаточно авторитарную политику в вопросах свободы слова, по факту ограничивая её. Казалось бы: частная компания, значит имеет право делать что хочет. Но. В Фейсбуке "живут" сотни миллионов людей, которые тесно друг с другом общаются. Несогласие человека с политикой Фейсбука, и как следствие "добровольный исход из Фейсбука" приведёт к потере всех его социальных связей. Того самого "социального капитала". Более того, уходить такой человек будет "в никуда", т.к. альтернативного фейсбука, в отличие от альтернативных государств, не существует.

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

Но вот некоторые либертарианцы так не считают: https://users.livejournal.com/-moss/1405122.html (в комментах). Для них важна не стройность теории, которой они якобы придерживаются (про добровольность и открытый рынок), а религиозная догма "государство это зло".

Оригинал и комментарии

Безналичное будущее не такое уж светлое от vitus-wagner
https://yro.slashdot.org/story/18/06/11/2147244/sweden-tries-to-halt-its-march-to-total-cashlessness

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

Чтобы по крайней мере в радиусе 25 километров от жилья 99% шведов можно было найти работающий банкомат или иной способ снять деньги с банковского счета.

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

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

Оригинал и комментарии

Шнайер сделал выводы из битвы Телегама с Роскомнадзором от vitus-wagner
https://www.schneier.com/blog/archives/2018/06/russian_censors.html

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

Корпорации выгодней прогнуться под цензуру, чем нарваться на запрет деятельности в стране.

Оригинал и комментарии

Игумения хочет повара от ru-antireligion
Posted by: [personal profile] 20_00

Пацаны отличная вакансия, хорошая зарплата! Может надо кому? И НДФЛ вычитать не будут!

(Read more ...)

Оригинал и комментарии

Самиздат от vitus-wagner
Зачем-то завел себе аккаунт на Самиздате. Попытался залить туда "Детей пространства". Не смог. Определять кодировку html-файла по мете оно не умеет, а в менюшке просто не предлагает нужной мне кодировке. Видимо, для того чтобы заливать туда мои тексты, нужно написать специальный перекодировщик, который будет все что отсутствует в koi8-r конвертировать в entities. Я, конечно, еще через fb2 попробую и через rtf, но есть у меня подозрение что с ними тоже все плохо будет.

В общем, вознило желание:

1, Преодолев все трудности. залить туда Город Вращенцы
2. Объявить данный сайт каноническим местом хранения данного текста как самый извращенный хостинг текстов XXI века.
3. Выдать [livejournal.com profile] moshkow диплом почетного гражданина славного города за номером 20866. Да, да, 20866, а вовсе не 1489.

Впрочем, я чувствую что, когда я преодолею проблему с кодировкой, проблем с форматированием там тоже будет немало.

Оригинал и комментарии

Избиение младенцев от ru-antireligion
Posted by: [personal profile] vitusw


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

(Read more ...)

Оригинал и комментарии

Вопрос об этом журнале от gonchar
Коллеги, у меня просьба - кто может, ответьте, пожалуйста, на два вопроса.

Был пост "О пенсионном возрасте", в котором я изложил свои взгляды на этот предмет. Эти взгляды содержат:
1) полный охват проблемы
2) обоснование предлагаемых решений
3) конструктивный путь к решению
(в этом вопросе я не написал, пожалуй, лишь об одной старой идее, с этим связанной, но она есть некая частность третьего пункта).

Вопросы же такие:

1) есть ли где-либо описание таких же взглядов, если есть, то где?
2) предложены ли кем-либо лучшие системы (полно, обоснованно, конструктивно); если да, где они описаны?

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

Примечание:
Часто слышно мнение - "повышение пенсионного возраста - это ограбление тех, кто трудился, зарабатывал себе на пенсию....". 
Верно ли это? Конечно, нет.
Ограбление было тогда, когда с человека ОТОБРАЛИ СИЛОЙ часть его дохода.
Мошенничество было тогда, когда эту часть не вложили в реальные активы, а истратили и/или разворовали.
А сейчас - никакого ограбления-жульничества. Просто признание в совершённом ранее ограблении и жульничестве.

Лично я всегда и всем говорил, что на государство надеяться бессмысленно, что отчисления в ПФР и куда там ещё - это просто грабёж, названный законным действием. Что думать о будущем надо самому. Но что, думаете, многие слушают? :)


Оригинал и комментарии

О боги, боги мои, яду мне, яду!.. от klebestr
(с)



Оригинал и комментарии

немножко ликбеза от juan-gandhi
Я тут что-то понял, что народ совершенно не в курсе, но гонит.

Короче, насчет исторической роли теории множеств.

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

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

Ну неважно.

Числа тоже не нуждаются в теории множеств. Пеано когда определял числа, он определил так: 0 число, и если n число, то следующее, n', - тоже число; и при этом 0 не является следующим, и еще, если m'=n', то m=n. Все. Оттуда следует куча всяких свойств, коммутативность умножения, например. А вот тот "факт", что последовательность Гудстейна (Goodstein) сходится к нулю - не следует. Вот есть такая "истина", которая не следует из аксиом арифметики. 

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

Числа, кстати, можно смоделировать в аксиоматике Эвклида. В геометрии, в смысле. И так получается, что и геометрия Эвклида тоже неполна. 

В 20-м веке пошла такая мода - "никто не выгонит нас из рая, в который загнал нас Кантор".

А что это за рай? А это теория множеств. В теории множеств можно много что смоделировать. И числа, и геометрию Эвклида. Но именно что смоделировать. Потому что если сам по себе треугольник - это элемент теории Эвклида, то он не состоит из множеств.

А что такое треугольник, смоделированный в теории множеств? Это вот что такое.

1. Моделируем натуральные числа множествами (есть много способов... что характерно).
2. Моделируем целые числа - пары (натуральное > 0, знак), добавляем ноль.
3. Моделируем рациональные числа - берем тройки (натуральное >0, натуральное >0, знак), и факторизуем по отношению эквивалентности (т.е. каждое рациональное число - это класс эквивалентных троек).
4. Моделируем вещественные числа - берем последовательности рациональных (т.е. графики функций из целых в рациональные), берем только сходящиеся, и вводим отношение эквивалентности - так что это классы эквивалентности функций.
5. Моделируем 2D - это декартово произведение множества вещественных чисел на себя.
6. Объявляем точками такие пары (точки в декартовом произведении), линиями... ну там по-разному можно; треугольники тоже по-разному можно, окружности тоже. Проверяем, что в этой нашей геометрии, при этих определениях, аксиомы Эвклида почему-то выполняются. Ура-ура. Значит, пятая аксиома - истинна! Воистину. Боремся с Энштейном (и Лобачевским, и Минковским).

И так и пошло. Теперь спросишь у студента, "что такое группа"? Это множество с операцией и со свойствами.

Окей-окей. Множество. А множество-то что такое? Это тоже множество? Ан нет; множество - это понятие из теории множеств. У него есть только одно право - быть элементом другого множества. И там аксиомы всякие еще; некоторые очевидные, некоторые непонятные зачем-то, ими топологи пользуются.

Ну хорошо, а без множеств нельзя?

А можно. В лямбда калкулюсе все эти натуральные числа моделируются только так. Тремя способами как минимум. И пары моделируются. И вообще все функциональные структуры данных моделируются. Ну а если есть пары и числа, можно начать строить геометрию. Ну только вычислить у нас получится одни вычислимые объекты. А невычислимые нельзя. То ли дело в теории множеств, там все есть, и невычислимые объекты, и недостижимые кардиналы, и неизмеримые множества. Я не скажу, что это плохо, просто такая теория. Ну хотя бы непротиворечива, и то слава богу.

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

Ну вот такие дела.

Я никого не ругаю, я просто пытаюсь очевидные вещи рассказать.

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



Оригинал и комментарии

Я и 6га винограда от an54444
S1050023 * S1050034 никто меня уже не полюбит....

Оригинал и комментарии

Мы, кажется, дошли или, все же, уже перешли? от ru-antireligion
Posted by: [personal profile] hand_file

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

Оригинал и комментарии

от tat-oshka
Как-то во время обсуждения претенденток в конкурсе красоты я упомянула про рекламный ролик один. Гоняюсь за ним уже месяца 2. По тв изредка показывали, а в инете не найду никак. Пришлось записать.

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

Оцениваем)



особенно мне нравится словачка в самом конце ролика)

Оригинал и комментарии

Shorter Mansion от yostrov
По дороге из Атланты в Панама Сити, остановились в городке Eufaula, Alabama. Раз десять в прошлые годы его проскакивали, а в этот раз решили посмотреть подробнее. Погуляли по улицам, посмотрели памятники, зашли в пару музеев.
Shorter Mansion - городской народный исторический музей. Выкупили особняк у разорившегося владельца, чтоб на его месте не построили апартменты, содержится за счет нескольких сотен граждан. Сейчас там проводят свадьбы и прочие мероприятия. Экскурсанты заходят не часто: перед нами (26 мая) посетители были в феврале, судя по записи в журнале. Написал, что я из Украины - так прикольнее. 




Особенно меня заинтересовал один экспонат в зале, посвященном Адмиралу Thomas Moorer, который командовал американским флотом во время Вьетнамской войны, хотел воевать с Израилем после атаки на  USS Liberty.

Read more... )


Оригинал и комментарии

Kyjiv і «Ghe» та ще трохи транслітераційного порно от ukurainajin
Цікава стаття Вакуленка М.О. «Транслітерація українською латиницею: слов’янське коріння та національні особливості»
Варто прочитати її повністю, щоби зрозуміти аргументацію, але я спробую тезово про головне.
  1. Йдеться про офіційну систему транслітерації української кирилиці латиницею. Це не те саме, що правопис на основі латиниці, але певне відношення до нього має і підказує деякі корисні речі. Транслітерація не має вирішувати проблему із відтворенням звучання, отже спиратися на стандарти якоїсь певної іноземної мови у разі транслітерації — це хибний шлях.
  2. Тема залишається актуальною, бо хоча саму статтю написано ще у 2010, ми досі користуємося затвердженою у тому ж самому році системою, яка має помітні вади. У статті наголошується на необґрунтованості затвердження такого варіанту (за підписом Володимирівни, ги-ги) і пропонується власна система, що спирається на наукові принципи.
  3. Йотованість і пом'якшення пропонують передавати літерою «j» (привітання Людевитові Ґаю). Таким чином Київ записується як Kyjiv, а не як штучне Kyiv. При цьому забезпечується транслітераційна вимога однозначності перетворень, а на додаток ще й відбувається наближення до вимови.
  4. Пропонується цілковито відмовитися від надання літері «h» будь-якого власного значення і використовувати її лише як модифікатор (як у ch, sh, zh, kh, th, ph). Таким чином українські «ґ – г» без діакритиків передаються з допомогою «g – gh». Це також сприяє однозначності перетворень, враховує міжнародну практику, а ще: «відтворює також історію перетворення давньослов’янського проривного [g] в український щілинний [г]».


Оригинал и комментарии

Ну и очередной вопрос ко всем- Знаете сколько стоит эта бумажка? от an54444
 





да, и второй вопрос- тот кто это подписал почему не в тюрьме


Оригинал и комментарии

Продажный прокремлёвский блогер больше не любит Путина :-))) от slava68
Срок наказания Кунгурова закончился 15 июня. По словам блогера, во время разговора с журналистом он находился «на пути из Тюмени в сторону государственной границы». При этом он подчеркнул, что пока еще не думал о том, чтобы просить в какой-либо стране политическое убежище.

«Планирую до ближайшей государственной границы добираться. Задерживаться тут я считаю бессмысленным. Ничего меня не держит, пора уходить. Так всем будет лучше, включая тех борцов с терроризмом, которым так будет даже лучше, достанется меньше работы», — сказал Кунгуров.

Оригинал и комментарии

Не выходи из комнаты, не совершай ошибку (с) от klebestr
Только что дошло, что в Швейцарии шанс погибнуть от своей собственной руки в 20 раз (в двадцать раз!) выше, чем от чьей-то другой.  Правда-правда. На сто тыщ жителей 0.6 убийств. Зато более 12 самоубийств! Из этих вот 6 убийств на мульён более трети приходится на семейные (чаще всего запланированные) убийства. Из чего делаем вывод. От кого надо в первую очередь спасаться в ночь глухую? Правильно, от себя. Вот ужас-то!



Оригинал и комментарии

Black Cat Theory от vit-r
RU_el_18_javka_count_of_uiks_dependent_on_percent_putin_2018-06-05

Опять про выборы. После того, как написал про теорию чёрного кота, увидел статью про целочисленную аномалию и спросил, как они считают целочисленный процент.

Наконец-то, нашёл время посмотреть. Да! Оно работает.

last digitcount of uiks int percent putin
01062
5 327
6 87
2 85
8 78
4 72
1 12
3 7
7 5
9 1


В этой весёлой табличке в первой колонке стоит последняя цифра в явке.

Напоминаю, явка - это число, которое складывается из всех бюллетеней, то есть из чисел бюллетеней:
- выданных избирателям, проголосовавшим досрочно
- выданных в помещении для голосования в день голосования
- выданных вне помещения для голосования в день голосования

Вторая колонка - это число УИК, у которых явка как сумма трёх вышеназванных чисел оканчивается на эту цифру.

А вырезает запрос УИКи по простому правилу: число голосов за путина составляет целый процент от числа голосовавших, кроме тех случаев, когда это 100%:

WHERE
 -- integer percent in putin

    100.0 * n_putin % n_golosov    = 0.0
 AND
            n_putin < n_golosov


Число голосов тоже не стоит в протоколе УИК, а является суммой двух чисел бюллетеней:
- недействительных
- действительных

(В протоколе есть ещё утраченные.)

Короче, чтобы получить целый процент голосов у путина, явку делают удобной для математики руками. Причём, если исключить УИК с целочисленным процентом у путина, аномальное число УИК с явкой, заканчивающейся нулём, становится вполне средним.

Оригинал и комментарии

И танки наши быстры от ernestine-16



Оригинал и комментарии

еще решение про обращение списка от juan-gandhi
Предположим, что список двунаправленный.
Меняем два пойнтера.
Mission accomplished (цитируя Дабью Буша) 

Оригинал и комментарии

239 от vit-r
Начало...

Биссектриса -
- это крыса.
Ходит крыса по углам,
Делит угол пополам.

"Жи", "ши" пиши с буквой "и".

Уж замуж невтерпёж.

Цыган на цыпочках подошел к цыпленку и цыкнул: "Цыц!"

Пифагоровы штаны на все стороны равны.



Математик Сохань Игорь Павлович, ныне канадский писатель и философ, был Экспериментатором. Так я называю тех учителей, которые учитывают, что у учеников есть мозги.

Мы рисовали по памяти схемы теорем и отвечали домашнее задание магнитофону. Ещё математик синхронно заслушивал ответы двух учеников, одного - в левое ухо, другого - в правое, при этом утверждая, что ошибки он сразу замечает, а остальное - не важно. Он рассказывал про преферанс и давал задания, обсуждая которые мы зависали на час около раздевалки.

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

В школах Экспериментаторы встречаются достаточно редко. Обычно для учителя ученик - это чёрный ящик. В него что-то вкладывается. Из него что-то вынимается. Периодически проверяются некоторые реакции. Если что-то не так, вызывается ремонтная бригада. (Родители.)
Read more... )

Оригинал и комментарии

Слово о футболе (и не только) от ru-antireligion
Posted by: [personal profile] a_los



(Read more ...)

Оригинал и комментарии

Отзывы (через аккаунты в социальных сетях Вконтакте, Facebook или Google+):

Оставить отзыв с помощью аккаунта ВКонтакте:

Оставить отзыв с помощью аккаунта FaceBook:

Архив лучших постов