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

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

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
Небольшой рассказ на темы морали

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

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

Жизнь без бога от 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 ...)

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

Благородное явление. от xxlcaliber
Хотелось бы что бы такое присутствовало на каждой бутылке, но увы...



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

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


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

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


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

(Read more ...)

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

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

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

(Read more ...)

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

Не знаю... от silent-gluk
Я надеялась, что если следовать завету дона Кондора - "Все дорогое, что у нас есть, должно быть либо далеко на Земле, либо внутри нас" (ну, с Землей в этом контексте некоторые проблемы, так что остается только один вариант) - то обойдется. Нас оставят в покое.

К сожалению, практика показала, что нет, не оставят. Причем спровоцировать может даже разговор на совсем другую тему.

Я никогда ни к кому не приходила со своим мнением - просто тихо существовала у себя в уголке. Но не помогло и это.

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

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

Вероятно, буду просто цитировать какой-нибудь словарь (идеи "Союза рыжих" мне в помощь). Фотографии? Они тоже не виноваты, поэтому старые фотографии будут. Новые - вряд ли. Издания тоже не виноваты, поэтому их придется тоже показывать. Вопросы к коллективному разуму? Надо бы обходиться без них, но они удобны, а я слаба. Но я постараюсь. Отмечание дней рождения родных и проч... Не знаю. С одной стороны, а смысл? С другой - может, людям лишняя лямишка. Ответы на комментарии? Не знаю. Надо бы, в общем, но не хочется. Да и, опять же, бессмысленно. Сообщества? Буду пытаться поддерживать в нынешнем режиме (они тоже не виноваты; интересно, насколько меня хватит; в принципе, от неприятных обязанностей чаще всего находится повод увернуться). Комментирование в других блогах? Нет (по причине бессмысленности). Личная переписка? Сводится к минимуму. Чтение френдленты? В принципе говоря, раз я прекращаю пополнять чужую френдленту, надо бы и мне перестать ее читать.

Может быть, когда-нибудь мне захочется вернуться. Не уверена, что скоро. Еще менее уверена, что смогу ответить - хотя бы себе - на вопрос "Зачем?". А без ответа на него - есть ли смысл возвращаться?..

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

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

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

И да, чуть не забыла: я прошу прощения у любителей анонимных сообществ. Я опасалась вас, а надо было опасаться совсем другого.

И да, не надо вопросов "ой, что случилось?", "ой, как же так?" и т.д. Кто присутствовал при выявлении проблемы - тот знает, а кто не присутствовал - тому, значит, и теперь не надо знать.

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

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
Я тут по приколу типа интервью время от времени, э, даю?

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

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

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

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

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

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

Каждый в жизни должен попробовать... от xxlcaliber
секс с козой

Попробовать ... )

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

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

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

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

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



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

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

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

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.

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

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.

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

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



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

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

 

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

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

в родную говень от daytonagtx
 -Так называемая "русская Америка" никогда не была полноценной частью московии. Ее всегда называли не иначе как «наши американские колонии». Варварским "освоением" ресурсов Аляски монопольно занималась частно-полугосударственная Российско-Американская компания , созданная по образцу западных колониальных торговых компаний. Почти за 70 лет компания так и не смогла продвинуться вглубь материковой Аляски, закрепившись лишь на Алеутских и прибрежных островах и в нескольких поселениях на континентальном берегу. 
- Оккупационное население Аляски состояло всего из нескольких сотен человек. Враждебные к московитам аляскинские индейцы оставались независимы и воинственны. Колонии, целиком зависевшие от морских поставок продовольствия и всего прочего, часто терпели голод. Московия не могла обеспечивать свои владения в Америке, лишь регулярно получая от государства субсидии.






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

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

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

(Read more ...)

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

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

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

Как нам порвать с совком и "русским миром" от jonathan-simba
Общий рецепт вроде простой и очевидный: возрождать свою автентичную культуру и мову, свои национальные традиции. Тысячу раз да!

Но одновременно нам необходимо и создавать новые традиции, которые были бы актуальны здесь и сейчас. И которые бы разительно отличались от совковых и рашистских практик.

Какие? Да вот хотя бы такие:Read more... )

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

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

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

(Read more ...)

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

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



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

Крайняя форма... от xxlcaliber


Хорошая знакомая мне уже давно рассказывала историю про своего первого мужа. Типа он скряга.
Собирает и копит всё что попадается под руку. Вписывается в любые программы, где бесплатно раздают продукты или вещи. Поет в христианском хоре (будучи евреем), где после службы кормят (это конечно может быть и совпадением). Из рассказов следовало, что вся семья придерживается подобных правил. Ну, думаю, преувеличивает? Или шутит.
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-платежей.

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

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

Игумения хочет повара от 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.

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

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

И ещё раз о свободе совести от xaxam

Старый анекдот*

❝ Приходит маленький Мойше домой, подходит к маме и говорит:
- Мама, мама, а я сегодня в школе написал в графе "Национальность", что я русский!
- Сынок, что ты каждый день кушал на ужин?
- Курочку.
- Вот, а теперь ты будешь есть картошку, как все русские дети.
Мойше расстроился, пошел к папе, думает, может папа одобрит. Подходит к папе:
- Папа, папа, а я сегодня в графе "Национальность" в школе написал что я русский!
- Сынок, а на чем ты каждый день ездил в школу?
- На твоей машине, папа!
- Вот, а теперь ты будешь ездить на трамвае, как все русские дети.
Мойше, совсем расстроенный, подходит к дедушке, вдруг тот пожалеет:
- Дедушка, дедушка, а я сегодня в графе "Национальность" написал что я русский!
- Внучек, сколько ты получал в школу каждый день карманных денег?
- Рубль, дедушка!
- Вот, а теперь ты будешь получать пятачок, как все русские дети.
Мойше совсем расстроился, садится вместе с семьей ужинать. Все едят курочку, перемигиваются межд собой, Мойше мрачно жуёт картошку. Тут мама спрашивает:
- Ну что сынок, каково тебе быть русским?
- Блять, всего пару часов как русский, а сколько всего от вас, жидов, успел натерпеться!!! ❞

_______________________________________________
* Отчасти, в устаревшем смысле этого слова.

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

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

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

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

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

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

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

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


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

Полиция, граждане и смолл гавнмент от leo-sosnine
Мудацкий коп в четверг выписал штраф на $50 за "трава выше 6 инчей", что по муниципальному коду деревни нарушение, караемое до $750 штрафом. "Free country", чо.

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

Что, сука, интересно, так это то, что многие соседи об этом, судя по всему, знали, т.к. внезапно в среду в сумерках сорвались косить траву, а богатый сосед слева в четверг утром пригнал контракторов, а обычно они у него это делают в пятницу в 7 утра, раз в пару недель, хоть часы сверяй. Йа подумал тогда ещё: тут какайа то нечистая игра, не иначе. Так и вышло. Один йа как лох ничё не знал.

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

Они охуели, йа щетайу.

Резервирую бюджет в до $1,000 на адвокатов, но заплачу, сука, адвокатам лучше в 20 раз больше, чем этим мудилам, которые на наши налоги вместо ловли несуществующих в деревне криминалов доколупываются до травы у честных граждан.

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

Ну ничё, мне тут дожить пока дети школу закончат, а далее к чёрту из этого говноштата.

I hate this.

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

О боги, боги мои, яду мне, яду!.. от 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. Объявляем точками такие пары (точки в декартовом произведении), линиями... ну там по-разному можно; треугольники тоже по-разному можно, окружности тоже. Проверяем, что в этой нашей геометрии, при этих определениях, аксиомы Эвклида почему-то выполняются. Ура-ура. Значит, пятая аксиома - истинна! Воистину. Боремся с Энштейном (и Лобачевским, и Минковским).

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

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

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

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

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

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

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

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



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

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




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

Read more... )


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

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

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

Оцениваем)



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

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

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





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


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

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


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

Как русские православные витязи святую Новороссию от нехристей освобождали от jonathan-simba

Верные гундяевцы, стрелковцы и путинцы - ихтамнеты "Русской православной армии".

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

Read more... )

Подробные изложения этой истории - на Укринформе и на Фокусе. Она же есть на Вики.

Чтобы помнили, таскааать...

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

5:0 от xxlcaliber
Правильно, теперь саудиты за это опустят цены на нефть или что-нибудь еще приятное сотворят. Уж не забудут.

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

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

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

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



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

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



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

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

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

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

Какой батон от malobukov
Ядерная доктрина какой страны вам наиболее близка? Я получил Францию.

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

... от brave-friar
А вот почему, я интересуюсь спросить, в московском аэропорту Домодедово самый дешевый бутербродик с колбасой стоит 500 рублей? Захотел, было, перекусить, пока ждали самолет домой, да увидев тамошние цены, сразу как-то перехотел... Для Москвы это вообще нормальные цены или это "особый сервис аэропортов"? Дома, как не крути, при хорошей испанской колбасе и азербайджанских помидорах, такой бутерброд по себестоимости ну максимум рублей в 50 выходит, никак не больше...

DSC02293

P.S. Смотрю сейчас "Тихий Дон" в версии 2006 года от режиссера Сергея Бондарчука. Ну что сказать... Версия 1958 года от режиссера Герасимова была неплохой, хотя и через чур идеологизированной, версия 2015 года от режиссера Урсуляка вообще, на мой взгляд, эталонна и безупречна, но версия Бондарчука... Ну не знаю кому как, но мне не понравилось решительно все - подбор актеров, их, с позволения сказать, игра, сюжетные особенности, реквизит... Единственное, что понравилось и впечатлило, это закадровый голос Никиты Михалкова, вот тут да, очень удачно и качественно вышло...

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

Что есть консерватизм от leo-sosnine
Отличное от з-мана:

http://thezman.com/wordpress/?p=14142

Насмехается над гнидой малышом Бенечкой Шапиро:

Here he is explaining the core principles of conservatism at a Young Americans Foundation event a couple of years ago.

In that speech, he starts out by claiming conservatism is about fairness of opportunity, rather than fairness of outcome. Then he says conservatism is about individual rights and individualism. He makes the point a few times that group identity is invalid, which is rather amusing coming from a guy who sports a yarmulke all the time. He actually says we should target people who discriminate and use the law against them. Not so long ago, conservatives warned that this was the ultimate goal of the Left. Now, here we are.


Цитирует какого-то фелосова, дающего определение:

To be conservative, then, is to prefer the familiar to the unknown, to prefer the tried to the untried, fact to mystery, the actual to the possible, the limited to the unbounded, the near to the distant, the sufficient to the superabundant, the convenient to the perfect, present laughter to utopian bliss.


Не могу не согласиться. Для себя, т.к. чукча не читатель, йа доехал на своём самокате до следующего своим ходом: "Accept what is working, reject what is not".

Сделал фид: https://zman-feed.dreamwidth.org/

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

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

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

Ну и т.д.

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

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

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