- 1
Есть те, кто вопреки IT-культуре, не зассыт написать свою зп?-
C++ / Говнокод #25203
−2
Есть те, кто вопреки IT-культуре, не зассыт написать свою зп?
Запостил:
crestoblyad,
18 Декабря 2018
Говнокод: по колено в коде.
Нашли или выдавили из себя код, который нельзя назвать нормальным, на который без улыбки не взглянешь? Не торопитесь его удалять или рефакторить, — запостите его на говнокод.ру, посмеёмся вместе!
© 2008-2025 «Говнокод.ру»
Обратная связь | Лицензионное соглашение | 
Follow us!
Follow us!
Если получать больше, то так и отнимут. Тут ведь главное — не зарплата, а tax returns.
> А что так мало?
Я не выёбывался на счёт денег, ибо текущий проект мне добавит крайне жирную строчку в CV, плюс тут распределённое верифицированное алгоритмозадротство для души. Которое, как Сёма совершенно справедливо говорит, обычному программисту не грозит.
Ты доказываешь корректность распределённых алгоритмов в питушке? Как ты пришёл к такому успеху?
Ага, и фундаментальных таких алгоритмов. Мы обычно используем модел-чекер на основе https://concuerror.com/ , петушня тоже есть, но в меньших количествах.
> Как ты пришёл к такому успеху?
Путём бросания на вакансию с зубами.
Нет, тесты просто другие нужны. Берёшь компонент распределённой системы, рассматриваешь его как стейт-машину, генеришь случайные наборы событий, проверяешь инварианты компонента.
Самое сложное — сообразить, какие должны быть инварианты и нагенерить интересные достаточно интересные последовательности событий.
Тулза, которую я привёл, это и делает. Путём записи событий и проверки условий для каждой возможной перестановки этих событий. Формальная верификация устроена так же, только в более ручном режиме, допускающем борьбу с комбинаторными взрывами.
> Erlang
А ты именно корректность кода на Erlang доказываешь, или на чем-то другом? Или в каком-то абстрактном виде? А атомики там есть?
> А атомики там есть?
В каком смысле? P.S. Если операции атомарны в VM, то они будут атомарны и в модели.
Возврат налогов тоже есть (за квартиру, лечение или образование).
Сотни нефти на содержание корабле-няшки?
Да. А есть какая-то ещё интерпретация?
Понятно, жалею, что спросил.
Meh.
Авторы, видимо, одно и то же заболевание имеют.
Что первое, что второе, вызывает только эмоции вида: "Что это? Как можно было до этого дойти? Зачем?"
Например, убийства -- похуже, чем эти вазы, но нередко у убийств есть логичные объяснения, которые делают их менее жуткими.
https://ru.wikipedia.org/wiki/Бондаж
Психологический аспект
В большинстве случаев психологический аспект бондажа является превалирующим для практикующих. В соответствии с основным назначением бондажа — ограничением подвижности — на передний план психоэротических переживаний выступают основные садомазохистские переживания, то есть чувство беспомощности, покорности, неспособности к сопротивлению — для подчиняющегося партнёра, и абсолютной власти, контроля и господства — для доминирующего. При этом важно, что, как правило, бондаж как таковой не имеет отношения к причинению подчиняющемуся физической боли. С одной стороны, это лишний раз подтверждает главенство психологического аспекта практики бондажа. С другой — обуславливает широкое распространение бондажа в составе БДСМ в силу его универсальности.
Интересно, что психологи отмечают высокую распространённость фантазий о лишении подвижности в эротическом контексте среди представителей обоих полов, причём далеко не всегда эти фантазии носят ярко выраженный садомазохистский характер. В частности, по мнению английского сексолога начала XX века Г. Эллиса, «любое сдерживание мышечной и эмоциональной активности вообще имеет тенденцию повышать состояние сексуального возбуждения».
Я уже джва года жду такую игру.
Girls' frontline?
> Цу гросс! Цу кляйн! Эр кённте этвас грёссер зайн!
Равшайн или КрафтТверк?