mugi:

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

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

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

Это чувство когда твой любимый фильм это woke communist propaganda.

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

За пять лет пропаданий из transhuman@ я совершенно пропустил полный пиздец, который творится с Complex Numbers, с которыми я прекрасно работал мастеринговым инженером какое-то время.
Вкратце: говорят, Витя ёбнулся на почве торчебосия, Ариэлька съебала к чертям, он притащил какую-то блядь в проект, которая даже петь не умеет, поэтому я очень рад что не занимаюсь автотюном этой хуйни.
А ведь так хорошо все начиналось...

Если представить историю человечества как гонку, то Китай, конечно, сегодня вырвался вперед. От того, куда сейчас пойдет Китай, зависит, куда пойдет человечество. В современном Китае огромный технологический прорыв. Это касается не только компьютерных технологий, но и всего остального. Другим странам за Китаем не поспеть, как бы они ни старались. Вот смотрите, мой обычный телефон Huawei — в нем пять камер. Вот такой прогресс. Другие страны отстают уже, наверное, лет на десять.

Здравствуй, АЭШ-овец, я рыночек, которому ты молишься. Ты наверное не знал, но меня можно исследовать. У меня есть границы, сразу три: географические, временные и продуктовые. Так что я не могу "порешать" все сразу, раз уж на то пошло.

На мне существует конкуренция. Разная: динамическая и статическая; совершенная, монополистическая, олигополистическая, дуополистическая...; со стратегическим поведением и без; по Курно, по Бертрану и по Штакельбергу. И все они приводят к разным результатам. Сложно? Тогда как же ты усвоишь и то, что монополии могут быть как эффективны, так и неэффективны в зависимости от формы кривой средних долгосрочных издержек? А знаешь ли ты, что многопродуктовая монополия ведет себя иначе, чем монопродуктовая? А о том, что монополия может конкурировать сама с собой? А о типах продуктовой дифференциации, моделях линейного города, Салопа...? Ну хотя бы о том, как ценовая эластичность на рыночную власть влияет? Об индексах HHI и Лернера?

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

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

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

Нет? Что-то не очень то интересно с тобой. А я думал, ты знаешь, во что веришь.

Ребята, я закончил монтаж последнего эпизода о моем путешествии через США. В этой серии происходит много всего, что нельзя показывать на YouTube, поэтому я решил устроить оффлайн показ. Встречаемся 2 ноября в Москве в …

https://www.facebook.com/gleb.kuznetzov/posts/2796517007136317

Европа и Россия, как часть Европы, вступила в идеальный шторм. Адекватные – поначалу – меры правительств привели к общественной истерии, а она в свою очередь заставила правительства повысить градус и выступить с чрезвычайными ограничительными мерами, не имеющими никакого отношения к медицине, зато прямо относящимися к экономике. Настроение “бросай мешки - вокзал отходит”, попытка потрафить патерналистским ожиданиям народов, которые сами же и перепугали до смерти – это даже не глупость, это та самая ошибка, которая хуже любой глупости.

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

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

• За социальной защитой последует система здравоохранения. Она станет тоже беднее. Будет меньше возможностей, меньше денег, меньше зарплат, меньше ставок, меньше всего. Это произойдет в тот самый момент когда закончится “чрезвычайка”. А она закончится значительно быстрее чем начнется т.н. “восстановление”. То есть разговоры чиновников с озабоченными лицами про то что главное “сохранить систему здравоохранения” – это самообман. Ничего вы не сохраните. Сначала она получит удар от чрезвычайной ситуации, а потом у нее не будет возможности от нее оправиться.

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

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

В чем причина? Общество, в котором темпы роста образованности сильно уступают темпам роста возможностей доступа к информации с побочным эффектом в виде тревожной зависимости от поступления информации, которую мало кто способен осмыслить и вообще оценить. Те, кто предоставляет эту информацию – работники медиа - падут первыми жертвами бедности, в которую новостями вроде “В Урюпинске +2”, “В красножопинском ашане дядя Петя подрался с дядей Лешей” сами себя загоняют.

Сначала общество убедило себя в том, что это сезонный грипп (не понимая, что такое сезонный грипп в цифрах мертвых, осложнений и используемой медтехники), потом – фактически без прехода - что КВ – это “чума 21го века”, которая всех неизбежно убьет, если не принять чрезвычайных немедицинских мер. И что нечего говорить об экономике, образе жизни и будущем, когда вирус уже сегодня убивает всех подряд. А это не грипп, и не чума. Это новая болезнь, о которой каждый день ученые узнают новые важные, а возможно и ключевые вещи.

При этом позитивная повестка науки в истеричном обществе не представлена никак. Как и количество закрытых кейсов, то есть “количество выздоровевших”, как и количество людей болеющих бессимптомно, как и то, что подавляющее большинство людей не узнают о том, что были носителями. И что по “пессимистичной” оценке жертв при полной выявляемости носителей вируса было бы не более 0,6 %, а “итальянские” высокие проценты объясняются тем, что тесты (пока) доступны только тем, кто демонстрирует тяжелую симптоматику, их контактам и медработникам.

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

Кстати, о гриппе. У меня под рукой португальская статистика. 14 января 2019 от “инфлюэнцы” на территории Португалии скончалось 482 человека. Большинство тех, кто был госпитализирован с этим диагнозом и впоследствии скончался были люди старше 65 лет с “сопутствующими заболеваниями”. За первые 5 недель эпидемии гриппа в 2019 умерло 2844 португальца. 65% больничных случаев нуждались в искусственной вентиляции легких, 10% - в процедуре ЭКМО. Советы министерства – мыть руки, кашлять в локоть, соблюдать социальную изоляцию. Сегодня это вылилось бы в истеричные посты: “В Португалии + 500 покойников за день. А вот наш яндекс-кошелек”.

Воспаление легких – в вечном топе причин смерти в старшей возрастной группе. Ухудшают ситуацию сопутствующие заболевания – рак, инфаркт\инсульт, ХОБЛ. Те цифры, которые дает Италия и Испания сегодня этого не поменяют. Тем более что по наиболее полной и достоверной сегодня итальянской статистике у пятой части плохих исходов рак в анамнезе, а у 75% ССЗ. С точки зрения медстатистики не происходит вообще ничего экстраординарного. По моим ощущениям, когда в Китае до этого дошли, он все “обнулили”, перезапустили страну, разобрали больницы из блоков, и теперь только завозные острые случаи регистрируют. И объявляют наполеоновские планы развития и восстановления, нанимают тысячи людей в Али Экспресс.

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

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

Любая чрезвычайка для государства – это как запой для алкоголика. Войти в него легко и приятно, на первых стадиях можно испытать энергию и подъем, а вот выход – это всегда травма. Которая оборачивается катастрофой, худшей, чем формальная причина объявления чрезвычайного положения.

Leo considered several languages for implementation, including Ocaml. While I'm certain his familiarity with C++ played a big part in the final decision, he has very justified reasons for choosing it. He claims that it's extremely hard to get excellent performance without breaking the nice abstractions built by such languages (memory management, data structure layout etc.), and I have to say, Lean is blindingly fast when type-checking. A lot of things become easy when working with such a mainstream language, like writing FFI bindings and using compiler frameworks.

Ничего не напоминает?

Like many of the places we frequent online, the Red Pill has become an echo chamber. The psychologist I spoke to, Mike Wood, told me this can lead to people adopting more and more extreme views. "If you’re in some sort of a group that defines itself by its opinions, then people will get more and more polarised over time," he says. "Individuals will try to conform to what the group mandates.” This is true of not just the Red Pill, but its opponents. While radical feminists on Tumblr, for example, become more extreme in their views, so too does the subreddit. In many ways, the extremes of each group justify one another's existence in their minds.

“People within the group will try to get social approval from other members of the group,” Wood continues. “So they’ll play to that standard that they’re supposed to live up to – and then people will take it further because they reason ‘If I’m more extreme about this then I will get more approval’, so the norms of the group shift over time.”

Поражение советской IT-отрасли в конкуренции с США обыкновенно объясняют сочетанием трех факторов. Во-первых, слабой технологической базой СССР и ставкой на копирование американских компьютеров, сделанной уже в 1970-е. Во-вторых, отсутствием частной собственности, конкуренции и предпринимательской инициативы. И, наконец, изоляцией перспективных технологий в военном секторе и минимальным количеством разработок двойного назначения, доступных советскому народному хозяйству. Питерс не пытается опровергнуть все эти аргументы, но сосредоточивается на альтернативном объяснении: по его мнению, ключевой вклад в провал красного интернета внесла советская бюрократия. Главный тезис его книги звучит так: в тех ситуациях, где агенты капиталистической экономики, будто бы обязанные конкурировать между собой, в действительности демонстрировали способность сотрудничать для решения комплексных и принципиально новых задач, там советские ведомства, задача которых формально заключалась в том, чтобы обеспечивать социалистическую кооперацию, напротив, усердно защищали собственные аппаратные позиции. В итоге неспособность номенклатуры договариваться затормозила проект Глушкова, а после ранней смерти академика в 1982 году у ОГАС вообще не осталось крупных лоббистов. Формально не отвергнутый окончательно проект был закрыт из-за неактуальности лишь к 1989 году. «Советский Союз не смог построить интернет не столько из-за нехватки технологий или отсутствия частной собственности, — пишет Питерс, — сколько из-за невозможности протолкнуть столь масштабный проект через все ведомства, интересам которых он противоречил».

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

Всё начинается с того что мудак-функциональщик читает какую-нибудь «умную» книгу типа Little Schemer. Ну обычно хуже того: поциент узнает про самый лучший в мире язык хаскель. И во всяких быдлосайтах и говноблогах типа хабры он черпает свои знания.
Он долго тужится, пытаясь вникуть в суть буковок и однажды он вроде что-то там понимает. И тут начинается срашное: эта пиздота лезет на форумы и выплескивает свой ментально-функциональный гной на ничего не подозревающих окружающих, обязательно делая это наиболее ублюдочным способом: на языке хаскель или лисп.

«Ах, вы знаете господа я давеча читал про комбинатор неподвижной точки. Ах, ах, божественно! Ах, какая прелесть лябмда-исчисление! Какой блеск, функции высшего порядка, рекурсия. Ах! Ах! Высший класс! Циклы? Ах, глупости! Императивщина. Фи, как скучно!»

Просто и понятно ответить на законный вопрос недоумевающих читателей «зачем это простому человеку» тупой функциональный пиздюк не может. Вместо этого он начинает с важным видом дристать многабукав о том как всё нетривиально, и тупым идиотам на том форуме куда он пришёл конечно не понять генитальных задумок. Но как говорил Лев Толстой: «Самый верный признак истины — простота и ясность. Ложь всегда сложна и многословна.»

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

I learned to program on a course that follows SICP, I spent all my college years learning how to program from first principles, building all the pieces from scratch. Building compilers, soft threads implementations, graph parsing algorithms... and I was happy with that way of programming!

Today I'm an iOS developer

http://ivan-gandhi.livejournal.com/3493927.html?thread=57238311#t57238311
Я общался со спутникостроителями, а также с любителями Ады (я не спрашивал где они работали, насколько я понимаю - военка).

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

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

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

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

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

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

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

Вобщем какой там ООП - там процедурно всё.

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

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

На Маска выйти пока не довелось. Допускаю что у него несколько иначе, поскольку Маск автомобилист по образованию.

С самолетчиками общался, так у них автопилот совершенно тупая, но чувствительная машина, чуть кто на борту чихнет, он сразу отключается и больше рулить не пытается.

А эти которые "буран" делали, у них тоже был водопад, и они для типа верификации сделали язык графический, у которого программы являются чертежами, которые соответствуют требованиям госта на ЕСКД :))))

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

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

Предоставляя своим клиентам свободу от немедленного требования оплаты, Мария не встречает никакого сопротивления, когда, через регулярные промежутки времени, она существенно увеличивает цены на самые популярные напитки - вино и пиво.
Следовательно, увеличивается и объем продаж бара Марии.

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

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

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

Поскольку Мария не может выполнять свои кредитные обязательства она вынуждена объявить дефолт. Теперь она банкрот.

Бар закрывается, и 11 сотрудников теряют работу.

За одну ночь Бухало- и Алкооблигации теряют в цене 90 процентов стоимости.

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

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

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

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

Средства на этот спасательный пакет были найдены путем обложения налогами работающего среднего класса, который ни разу не заглядывал в бар к Марии.

«Кроме того, денежные суррогаты более конкурентоспособны по сравнению с легальными деньгами, что влечет их стремительное распространение. По экспертным оценкам, объем оборота денежных суррогатов в России уже достигает 1 процента от ВВП», — сказал Бастрыкин.

При превышении этого показателя более чем на 10% данный инструмент будет представлять реальную угрозу финансовой стабильности государства, подчеркнул глава СКР. «Ведь неконтролируемое расширение фактического объема денежной массы в обороте за счет суррогатов повлечет обесценивание и постепенное вытеснение с валютного рынка рубля. В результате государство может утратить монополию на эмиссию денег и доход от этой деятельности», — сказал он.

Охуительно.

Заебали уже эти леваки ебучие.

Look at all the biggest companies in the world, they are all based on the internet. Look at what they are selling: nothing. Facebook has no product. Airbnb, the biggest hotel chain in the world, has no hotels. Uber, the biggest taxi company in the world, has no taxis whatsoever.

http://motherboard.vice.com/read/pirate-bay-founder-peter-sunde-i-have-given-up

Парни, я вчера видел на улице лиспера. Ну вы знаете, как это обычно бывает - идет вам на встречу человек бомжеватого вида, а когда подходит ближе у него на лбу можно разглядеть 2 скобки и большую лямбду между ними.
Но в это раз передо мной был ребенок, на вид лет 14-16 от роду. И знаете, что самое удивительное? Мне стало его жалко. Чисто по-человечески жалко, вы понимаете. "Такой молодой, а уже лиспер" - на секунду подумал я и тут же отвернулся. Потом повернуля обратно и догнал юнца.
Как тебя зовут? Где ты живешь? Кто твои родители?
ERROR: Unbound variable: Как
Пришлось переспрашивать.
"Скобка. Как тебя зовут? Где ты живешь? Кто твои родители? Скобка. " -
"Мандрюшей меня зовут. Родителей нет, живу в парке Горького."
Скобка. Пошли ко мне, Мандрюша. Поживешь некоторое время у меня, накормлю, найду тебе работу и жилье на первое время. Скобка.
Нет, не пойду. Меня друзья-лисперы потеряют! Мы с ними каждую пятницу собираемся в Буране и читаем вслух SICP. А сегодня как раз пятница. Я не могу пропустить.
Загоревшись интересом посмотреть на это зрелище, я спросил, можно ли мне присуствовать. Получив утвердительный ответ, мы вдвоем направились в прямиком в парк Горького.
На месте сразу бросилось в глаза: привычная для этого места очередь на аттракцион куда-то пропала. Касса с билетами - тоже. Только внутри горел свет.
"Только тихо, и ничего не говори про теорию типов" - неожиданно предупредил Мандрюша.
"Хорошо" - сказал я.
Мы вошли внутрь. Сказать, что я сильно удивился - значит не сказать ничего. На стенах висели портреты разных известных лисперов, вроде Рича Хикки и Джона Маккарти, разбавляя бесконечное море листингов на лиспе и его диалектах. Нас ждало около 30 человек, чьим запахом, как мне тогда казалось, можно было травить тараканов. Среди них были женщины, дети и старики.
"И сказал Сассман: не продавайте Библий, а ловите лулзы! И да будет так! Пусть всегда будет так! Lambda!" - доносилось из хвостовой части.
"Но ведь Сассман - жид! Жид, родные, жид, ребята! Негоже жидам угнетать настоящих людей, нас, русских людей, построивших этот Буран, венец человеческого творения!" - воскликнул какой-то лысый толстяк поблизости. Из толпы сразу вышли несколько человек с горбатыми носами, которые вытолкали смутьяна на улицу.
ЭНе обращайте внимание, мои lambda-братья" - продолжал голос их хвоста - "Сегодня мы собрались обсудить построение абстракций при помощьи данных. Сестра с зелеными волосами, подойдите, возьмите книгу и читайте! Читайте же!"
"Ой вы знаете, я хочу сначала на листочке завести трекер, чтобы можно было отслеживать где я прочитала. Вы и сами можете отписываться на нем, отслеживая свои дела. Знаете, это должно быть очень весело!" - неожиданно ответила деловитым тоном невысокая девушка с необычно большими глазами и зелеными, как газон после дождя, волосами.
- Читайте уже, милая - сказал загадочный голос и девушка начала неспешно и размеренно читать вслух.
Пока она читала, я присмотрелся в Главного, который все это время находился в хвосте, внимательно: на нем была синяя футболка с изображением гну, борода с крошками, белые шорты, желтые резиновые тапки и длинные волосы. Он внимательно посмотрел на меня. "Вы, да вы, подойтите , пожалуйста сюда" - громко сказал он - "Я вас вижу на наших собраниях первый раз. Представьтесь пожалуйста! Расскажите, чем вы занимаетесь"
Я немного замялся, но просьбу выполнил - прошел в хвост, куда устремили свой взгляд все присуствующие.
Меня зовут Семен, я работаю в Microsoft, программистом - начал я.
А на каких языках вы пишите? - поинтересовался Главныйю
на C#, F#, Haskell - ответил я без задней мысли.
Вдруг наступила тишина. Девушка-чтец выранила книгу из рук. Мандрюша нервно скукожился. Глаза Главного налились кровью. Тишину прервал резкий крик из толпы: "СТАТИКОПЕТУХ, БРАТЦЫ! БЕЙ ЕГО". В меня сразу же полетели несколько советсикх калькуляторов МК-61, ящик котрых стоял рядом с кабиной пилота. Чудом уклонившись от них, я завернулся в монаду. Теперь лисперы не могли меня достать. "Кто его привел? Кто привел этого Статикопетуха?" - закричал главный - "пусть он тогда ответит за все!". Мандрюша икнул. Для него было все кончено. 30 лисперов сейчас стояли и смотрели на него, как на живой труп. Впрочем, Мандрюша про себя думал тоже самое. Резким рывком, я прыгнул через 3-х лисперов и оказался возле Мандрюши. " Скобка. Сейчас будет немного больно. Скобка. " сказал я и завернул его в Maybe-монаду. И снова наступила тишина. Злыми глазами на меня смотрели лисперы. Обалдевший от такой наглости на меня смотрел Мандрюша.
Тишину разрезал смех. "Вы не выйдете отсюда, глупые статикодилы! Какой-то статикодебил однажды пытался завернуть этот корабль в State монаду, и теперь вам нужен трансформер, чтобы выйти отсюда!".
Неожиданный поворот. В один миг все оказалось кончено. Развернуться из монады означало сдать себя на корм голодным лисперам. Не разворачиватья - просидеть в этом памятнике человеческой мысли до тех пор, пока кто-то не узнает про инцидент.
Неожиданно для всех, в носовой части открылась дверь и зашел тот самый толсяк, который до этого кричал про жидов.
Жиды, вы все жиды. Вы должны умереть чтобы очистить русскую землю от жидовской заразы! - закричал он и подключился с ноутбука к бортовому компьютеру.
Я написал специальный язык на лиспе, с помощью которого запущу это аппарат в космос! - еще более громко закричал он - Три! Два! Один! Пуск!
Громкий гул раздался в хвосте. В одно мгновение стало очень жарко. Дверь у кабины закрылась и космический аппарат поехал в сторону Крымского Вала. Немного оторвавшись от земли, он процарапал своим шасси несколько машин, стоявших в пробке у моста, упав из-за этого в реку.
Как сообщили потом новости, аппарат упал из-за того, что в управляющей программе случился сегфолт - сказался недостаток тестов для всех возможных вариантов RealWorld - не была учтена возможность тарана нескольких машин в пробке. Из всех невольных пассажиров выжило лишь двое - я и Мандрюша. После этого инцидента он больше не пишет на лиспе, нашел работу C#-девелопером и обходит других лисперов стороной. Я же пишу историю здесь по тому, что официальные СМИ ее умалчивают. Большинство новоствных агенств ссылается на личную просьбу некоего Давида Моисеевича.

Аноны, меня вдруг осенило, что всякое дрочево типа ФП и модных фреймворков нинужны и в 99% случаев мы занимаемся скучным говном. 

Это норма. Большая часть программистской работы это айти-сантехника - создание машинных переводчиков с одного языка на другой (с HTTP-запросов в SQL-запросы и т.д. и т.п. в интерпрайзе программирование это сплошная серилизация и десериализация).

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

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

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

С нульчана:

Местный плебс и не слышал о том что считается достойными задачами:
САПРы для разработчиков электроники содержащие алгоритмы для размещения миллиардов транзисторов на кристалле в соответствии с высокоуровневой спецификацией.
Системы управления роботами самых разнообразных типов, ракетами, БПЛА.
Алгоритмы распознавания образов, визуальных, звуковых, каких-либо ещё. (Это и есть распознавние лиц, речи и т.д.)
Обработка информации на естественном языке.
Планирование для принятия решений (в т.ч. составление расписаний) таким образом чтобы решения были оптимальными по заданному критерию.
Моделирование сложных технических и экономических систем.
Биоинформатика.
Список можно продолжать и продолжать, я затронул лишь малую часть релевантных тем.

Области информатики где сейчас действительно есть большой прогресс это машинное обучение, алгоритмическая теория информации.
Новые, эффективные алгоритмы разработаны для применения в компьютерном зрении и биоинформатике.
Ваша PLT всегда была на обочине, и совершенно заслуженно.
До чего же тупыми нужно быть чтобы не понимать того что Programming Language Theory это очень узкое подмножество Computer Science?