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

Проблевался.
https://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%B8%D1%80%D0%BE%D0%B4%D0%B0_%D0%B8_%D1%81%D1%83%D1%89%D0%BD%D0%BE%D1%81%D1%82%D1%8C_%D1%87%D0%B5%D0%BB%D0%BE%D0%B2%D0%B5%D0%BA%D0%B0

Просто булшит бинго какой-то.

http://emojitracker.com/

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Собрал i2pd,
закинул ему ~/.i2pd/subscriptions.txt вида:

inr.i2p/export/alive-hosts.txt
stats.i2p/cgi-bin/newhosts.txt
i2p-projekt.i2p/hosts.txt
i2host.i2p/cgi-bin/i2hostetag
no.i2p/export/alive-hosts.txt
rus.i2p/hosts.txt


Пытаюсь зайти на eepsite:
curl -vL http://echelon.i2p/ -x 127.0.0.1:4444

В ответ получаю хуй:

HTTP/1.0 500 Internal Server Error


В логах нихуя интересного.

22:00:20/info - --- HTTP Proxy requested: http://echelon.i2p/
22:00:20/warn - Remote destination echelon.i2p not found
22:00:20/error - --- HTTP Proxy Issue when creating the stream, check the previous warnings for more info.

Куда копать?

Sparse Procedural Volumetric Rendering

Spaceslug - Proton Lander

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Планирую провести эту ночь за игрой в The Witness и употреблением пиццы с шипучими газироваными напитками.
Норм? [Y/n]

Снизил ускорение, с которым двигаюсь в два раза.
Во сколько раз снизилась сила, которая на меня действует?

Короче, заменил в t430 термопасту на Arctic MX-2, теперь при игре в L4D2 под прыщами CPU и GPU греются до 90 градусов, играть можно.
Раньше t430 тупо вырубался через пару минут, т.к HDD перегревался до > 65 градусов.

Так что капитаню: если у вас ебучий синкпад и он греется, то замените термопасту.

Го кругодроч кто нарисует самого пиздатого робота.

http://www.uvm.edu/~mwagy/robots/dotbot/db.html

What's new in CPUs since the 80s and how does it affect programmers?

Являются ли разговоры о NAP ментальной мастурбацией?

Дано: thinkpad t430 @ i7 с оптимусом.
Запускаю под прыщами Left 4 Dead 2.
Через минуту ноут перегревается и вырубается.

Запускаю то же самое под шиндошс7. Работает.

Что бы это могло значить и как пофиксить?
Кто-нибудь юзал thermald? Помогает?

upower -d: http://dpaste.com/0DAM3WY

Будет ли работать анархокапитализм в условиях зомби апокалипсиса?

Один из главных отососов в современных языках программирования - это отсутсвие во многих из них поддержки keyword arguments.

Эта хуйня существенно повышает читаемость и, как следствие, качество кода.

В некоторых ЯП, в которых есть встроеные литералы для словарей проблема может решаться ими.
В остальных - это мрак, отсос и говно.

Как ни странно, божественная статическая типизация тут не роляет совершенно. Ведь очень легко перепутать аргументы с одинаковыми типами местами и потом долго ломать голову какого Х не работает. В случае keyword args достаточно поверхностного осмотра кода, чтобы понять что не так.

Накидайте причин выходить на улицу.