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

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

stackoverflow stats от juan-gandhi
2018








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

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

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

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

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

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

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

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

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

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

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



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

Вот она намотана! от ru-antireligion
Posted by: [personal profile] 20_00

Долгожданная разгадка!

(Read more ...)

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

Роберт Шекли. Чудовища от 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 ...)

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

Сцена от vitus-wagner
Очевидно, что такому сложному программно-аппаратному комплексу, как Машина, нужна возможность тестирования новых версий. Обычно в современном мире у всяких сложных клиент-серверных систем есть production server и staging сервер. Stage можно перевести с английского как "Сцена". Потому что основная проблема тестового сервера это создать на нем реалистичную нагрузку. Когда речь идет о Машине, управляющей человеческим обществом - это еще сложнее. Нужно запустить туда настоящих людей, которые бы там совершали какие-то поступки в виртуальном мире, добивались каких-то целей, в общем ролевая игра получается. А раз там играют роли, то название Сцена вполне подходит. То есть это такая большая ММОРПГ (возможно с несколькими мирами с принципиально разными моделируемыми обществами) за которой присматривает бета-версия Машины.

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

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

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


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

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

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

(Read more ...)

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

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


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

(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... 

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

обращая списки от 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 О сделке уже объявлено.

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

Вопрос о производительности труда в России от gonchar
Быка за рога. А потом пояснения.

Вопрос.

Отчего производительность труда в России столь хреновая - если её сравнивать с нормальными промышленными странами? 


Уточнения, разъяснения вопроса.

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

2. Рассмотрение производительности труда отдельного человека - поверьте уж, чтобы не отвлекаться - непременно сведёт вопрос к производительности труда группы. Исключения есть, но это редчайшие исключения, штучные. Почему так, можно пояснять, но просто поверьте, не стоит сейчас время и бумагу электроны :) тратить. Тем более, что потом из правильного ответа на вопрос о группе вытечет ответ на вопрос о единице.

3. Не обсуждаем "контрпримеры" типа цеха по производству шампуня. То есть, не обсуждаем ситуации, в которых производителем является машина, робот. Разумеется, эти ситуации лежат вне нашего рассмотрения и вне исходного вопроса. Это банальность.

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


Важность.

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


Мои наводящие соображения.


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

Но тут добавляется ещё один очень важный аспект, относящийся именно к России. Это из пока "закрытой" части моей теории :)
Но на самом деле, этот аспект в данном случае вполне прозрачен, необязательно знать теорию, чтобы на аспект обратить внимание и понять его роль. Да, из теории он вытекает мгновенно и автоматически, но здесь для обсуждения это не необходимо. Грубо, нам достаточно заметить, что Эф = Эм * Же, нам необязательно обращаться именно к Эф = Гэ * Эм1 * Эм2 / Эр**2. :)

===================================

Просьба высказываться, не стесняясь. Тут интересны даже мелочи и частности.

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



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

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.

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

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

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

http://news.lenta.ch/k515


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

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

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



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

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

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

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

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

(Read more ...)

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

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

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

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

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

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

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

О wildcards от vitus-wagner
Ненавижу локале-специфичную сортировку. Теперь для того, чтобы объединить в кучку несколько файлов, так чтобы файл 04.something.txt оказался перед 041.otherthing.txt нужно писать

cat `LC_COLLATE=C ls *.txt` 

вместо
 cat *.txt


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

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

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

(Read more ...)

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

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

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

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

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

Самиздат от 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] 20_00

На днях рунет облетела новость о происшествии в Третьяковской галерее. Нажравшееся водкой животное бросилось уничтожать знаменитую картину Ильи Репина "Иван Грозный и сын его Иван 16 ноября 1581 года". Животное люто, бешено кидалось в картину металлическими стойками ограждения, разбило остекление, и с необычайным остервенением было готово измочалить холст зубами, но его вовремя оттащила служба безопасности. Теперь, в ближайшие годы, картина не вернется в постоянную экспозицию, а может быть -- не вернется больше никогда.

(Read more ...)

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

Испания от ru-antireligion
Posted by: [personal profile] m_ike

1980 год. Родители обращаются в мэрию, чтобы зарегистрировать новорожденную девочку, и происходит примерно такой диалог:
- Имя ребенка?
- Наталья.
- Нет, Наталья нельзя, имя не католическое.
- Хм... ну тогда Мария Наталья, так можно?
- Можно, записываем.

(Read more ...)

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

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


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

(Read more ...)

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

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

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

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

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

Ну неважно.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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



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

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



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

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

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

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

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

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

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

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


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

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




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

Read more... )


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

Ватаватанах от jonathan-simba
*голосом Левитана* Дорогие товарищи! Нас постигла очередная горькая утрата. Сегодня, ровно в 12:00 по Брюссельскому времени, зашкварилась одна из поисковых систем, которая ранее позиционировала себя как такая, что не отслеживает своих пользователей - DuckDuckGo.



А ведь как дышал, как он дышал! Открытый код, прайвеси ферст, все дела... И такие мелкоуголовные наклонности!

Как известно, в соответствии со ст. 1488 Кримінального Кодексу Київської Хунти від 1 славня року 7522 за Колом Сварожим, сотрудничество с российско-фашистскими оккупантами (в данном случае - Хуяндексом) карается высшей мерой социальной защиты - пожизненным посыланием к Бениной матери (как это ранее было с Aimp).

Посему, единогласным решением Екзекутивної Палати Верховного Суду Київської Хунти від 29 травня року 7526 за Колом Сварожим Ватаватанах Дакдакго - го впесту идет нах. Быстро, решительно!

Решение окончательное и обжалованию не подлежит.

Слава Перуну!

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

Я очень рада, что Бабченко оказался жив! от gracheeha
Надеюсь, что у СБУ были серьёзные основания устраивать инсценировку его смерти, и нам будут предъявлены сногсшибательные результаты расследования, которые стали возможны в результате этой инсценировки.  В противном случае, эта инсценировка сильно ударит по престижу Украины. :(


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

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

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

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

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


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

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

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

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

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


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

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

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

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

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

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

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

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

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

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



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

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

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

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

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

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



(Read more ...)

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

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



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

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

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