Автор Тема: wonderzine.com - #ЯНеБоюсьСказать  (Прочитано 183906 раз)

Оффлайн vms

  • Ветеран
  • *****
  • Сообщений: 4227
  • Карма: +526/-21
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #780 : 12 Июля 2016, 22:14:40 »
Программирование - ремесло. ахахаха.
Лол.

Да. Явно не наука.

Не ремесло - это там где refined types, доказательства окончания программ, ATS2, SPARK, F* и другие сложные аббревиатуры.

Оффлайн CrimsonKing

  • Постоялец
  • ***
  • Сообщений: 400
  • Карма: +57/-10
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #781 : 12 Июля 2016, 22:43:40 »

Оффлайн Ангел Сияющий

  • Ветеран
  • *****
  • Сообщений: 2384
  • Карма: +193/-38
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #782 : 12 Июля 2016, 22:57:15 »
Да. Явно не наука.

Не ремесло - это там где refined types, доказательства окончания программ, ATS2, SPARK, F* и другие сложные аббревиатуры.
На самом деле, говоря "программирование", люди говорят о слишком обширной вещи.

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

Даже анализ данных, которым я занимаюсь сейчас, почти все программированием называют.
« Последнее редактирование: 12 Июля 2016, 23:07:50 от Ангел Сияющий »

Оффлайн CrimsonKing

  • Постоялец
  • ***
  • Сообщений: 400
  • Карма: +57/-10
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #783 : 12 Июля 2016, 23:05:00 »
Да, ведь кроме программирования есть еще и предметная область.

Оффлайн vms

  • Ветеран
  • *****
  • Сообщений: 4227
  • Карма: +526/-21
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #784 : 12 Июля 2016, 23:11:56 »
вот это вполне себе научное дело, если корректность алгоритма доказывается

Даже не обязательно доказывать, важно, чтобы было абсолютно новое, тогда это наука CS. Просто без доказательств это новое научное обычно мало кому интересно и поэтому быстро забудется.

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

Оффлайн CrimsonKing

  • Постоялец
  • ***
  • Сообщений: 400
  • Карма: +57/-10
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #785 : 12 Июля 2016, 23:19:00 »
Кстати и тут плюс.

Оффлайн Ангел Сияющий

  • Ветеран
  • *****
  • Сообщений: 2384
  • Карма: +193/-38
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #786 : 12 Июля 2016, 23:35:38 »
Даже не обязательно доказывать, важно, чтобы было абсолютно новое, тогда это наука CS. Просто без доказательств это новое научное обычно мало кому интересно и поэтому быстро забудется.
Алгоритм должен быть корректным, иначе это не алгоритм же. А как можно быть уверенным, что он корректный, без доказательства?

Оффлайн vms

  • Ветеран
  • *****
  • Сообщений: 4227
  • Карма: +526/-21
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #787 : 12 Июля 2016, 23:59:53 »
Алгоритм должен быть корректным, иначе это не алгоритм же. А как можно быть уверенным, что он корректный, без доказательства?

А более менее работает, и хрен с ним. Классический пример - quick sort в Яве. Да и вообще quick sort особо ничего не гарантирует, что не мешает им пользоваться во всю.

Или т. Ферма сколько лет была без доказательства? И что - нельзя было ей пользоваться?
« Последнее редактирование: 13 Июля 2016, 00:01:47 от vms »

Оффлайн Ангел Сияющий

  • Ветеран
  • *****
  • Сообщений: 2384
  • Карма: +193/-38
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #788 : 13 Июля 2016, 00:18:05 »
А более менее работает, и хрен с ним. Классический пример - quick sort в Яве. Да и вообще quick sort особо ничего не гарантирует, что не мешает им пользоваться во всю.

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

Оффлайн Nicole White

  • Ветеран
  • *****
  • Сообщений: 39293
  • Карма: +13692/-524
  • на "ты"
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #789 : 13 Июля 2016, 00:23:24 »
Алгоритм должен быть корректным, иначе это не алгоритм же. А как можно быть уверенным, что он корректный, без доказательства?

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

Я конечно понимаю, что мы живем в интересный исторический момент, но верните неинтересный.

Оффлайн vms

  • Ветеран
  • *****
  • Сообщений: 4227
  • Карма: +526/-21
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #790 : 13 Июля 2016, 00:38:15 »
QSort гарантированно точно работает на абстрактной машине с бесконечным стеком.

В смысле - результат отсортирован? Ну, любим мы его всё-таки не только за это.

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

Ага. И даже в абсолютно верифицированном коде есть возможность некоторых ошибок. Например, что доказывалось совсем не то, что нужно. Недавно в туториале F* заметил ошибку именно такого сорта. :-)

Оффлайн Netochka

  • Ветеран
  • *****
  • Сообщений: 13345
  • Карма: +3881/-169
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #791 : 13 Июля 2016, 00:39:53 »
...виноват тот, у кого был выбор. Совершать половой акт или нет - выбрать можно. А подвергнуться насилию или нет - выбора нет.
Доктор, доктор, есть в зале доктор?
да есть, что случилось?
коллега, какую же х8йню нам втирают.

Что тебе непонятно? что тебе доктор должен объяснить?  Что грабитель, убийца, насильник, пьяный водила, поджигатель - виноват. Потому что он - инициатор и он мог бы это и не делать? А пострадавший лишён выбора изначально.
С уважением, Aneta

Оффлайн Nivellen

  • Ветеран
  • *****
  • Сообщений: 12452
  • Карма: +2387/-396
  • Я только на минуточку...
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #792 : 13 Июля 2016, 00:50:52 »
да, именно это мне и надо объяснить.
что пострадавший лишен выбора изначально.
Говорят я сатанист, алкоголик, наркоман.

Оффлайн Ангел Сияющий

  • Ветеран
  • *****
  • Сообщений: 2384
  • Карма: +193/-38
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #793 : 13 Июля 2016, 01:00:32 »
В смысле - результат отсортирован? Ну, любим мы его всё-таки не только за это.
Не только.
Ещё и среднее время O(n log n) и дополнительная память O(log n) в среднем.
Это тоже доказывается :)

Оффлайн vms

  • Ветеран
  • *****
  • Сообщений: 4227
  • Карма: +526/-21
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #794 : 13 Июля 2016, 01:02:47 »
Ещё и среднее время O(n log n) и дополнительная память O(log n) в среднем.
Это тоже доказывается :)

Разговор про рассчитанные средние уместен только для какой-то функции распределения. Т.е. это та ещё гарантия.

Оффлайн Ангел Сияющий

  • Ветеран
  • *****
  • Сообщений: 2384
  • Карма: +193/-38
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #795 : 13 Июля 2016, 01:08:11 »
Разговор про рассчитанные средние уместен только для какой-то функции распределения. Т.е. это та ещё гарантия.
Не нравятся рассчитанные средние - иди и используй пирамидальную сортировку ~_~

Оффлайн vms

  • Ветеран
  • *****
  • Сообщений: 4227
  • Карма: +526/-21
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #796 : 13 Июля 2016, 01:11:05 »
Не нравятся рассчитанные средние - иди и используй пирамидальную сортировку ~_~

А теперь мы вернёмся на несколько комменов вверх, и увидим, что лично мне всё нравится, а ты забыл с чего начинался это трёп.

Оффлайн pysh000000

  • Ветеран
  • *****
  • Сообщений: 38511
  • Карма: +5669/-493
  • Поджигаю гусей
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #797 : 13 Июля 2016, 09:10:11 »
Санек-то дурак. Но если проводить аналогии со впиской, то Санек упился вусмерть и поимел проблем со здоровьем или даже помер с перепою, а не был изнасилован, потому что для изнасилования все еще нужен второй человек.
Если нужна аналогия с изнасилованием, то друзья Санька посреди речки и притопили.
Ну ок, Саньку сказали, что вон тот чувак любит притопить ради смеха чуток, а Санек все равно пошел, в результате нахлебался. А ведь мог бы отказаться.

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

Оффлайн murmur

  • Ветеран
  • *****
  • Сообщений: 49255
  • Карма: +9453/-246
  • Добрячок
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #798 : 13 Июля 2016, 10:12:49 »
Объясните мне, блть, в какой момент дееспособный человек (насильник) становится недееспособным и перестает отвечать за свои действия
Когда напивается?
Так это, насколько я знаю, не смягчающее обстоятельство, а отягчающее
« Последнее редактирование: 13 Июля 2016, 10:14:44 от murmur »
my wallet's too small for my fifties and my diamond shoes are too tight

Оффлайн TolstyiKot

  • Ветеран
  • *****
  • Сообщений: 14534
  • Карма: +1945/-1891
  • male chauvinist cat
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #799 : 13 Июля 2016, 13:36:15 »
Объясните мне, блть, в какой момент дееспособный человек (насильник) становится недееспособным и перестает отвечать за свои действия
Либо никогда, либо всегда, в зависимости от точки зрения.
Кота покорми едой из пакета!

Оффлайн Maryam

  • Ветеран
  • *****
  • Сообщений: 2651
  • Карма: +439/-34
  • neko nyan nyan
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #800 : 13 Июля 2016, 14:15:48 »
вот щас было ощущение, что кто то сам с собой разговаривает Т_т
neko nyan nyan

Оффлайн Ангел Сияющий

  • Ветеран
  • *****
  • Сообщений: 2384
  • Карма: +193/-38
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #801 : 13 Июля 2016, 14:50:58 »
вот щас было ощущение, что кто то сам с собой разговаривает Т_т
Прицепились к этим аватаркам, блин.

Оффлайн Maryam

  • Ветеран
  • *****
  • Сообщений: 2651
  • Карма: +439/-34
  • neko nyan nyan
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #802 : 13 Июля 2016, 15:03:54 »
вот щас было ощущение, что кто то сам с собой разговаривает Т_т
Прицепились к этим аватаркам, блин.
так а как прикажешь идентифицировать форумчан? буквы на аватаркой, что ли, читать? ч_Ч
neko nyan nyan

Оффлайн Gorioann

  • Ветеран
  • *****
  • Сообщений: 4161
  • Карма: +1629/-45
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #803 : 13 Июля 2016, 15:09:40 »
Если почитаешь и хочется мурчать это мур мур
Если прочитаешь и рука тянется за банкой фэйри это толстый

Оффлайн Ангел Сияющий

  • Ветеран
  • *****
  • Сообщений: 2384
  • Карма: +193/-38
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #804 : 13 Июля 2016, 15:26:55 »
так а как прикажешь идентифицировать форумчан? буквы на аватаркой, что ли, читать? ч_Ч
Я ники читаю.
Если почитаешь и хочется мурчать это мур мур
Если прочитаешь и рука тянется за банкой фэйри это толстый
Вангую, что это на самом деле один человек мурчит. Только по-разному.

Оффлайн whc

  • Ветеран
  • *****
  • Сообщений: 66835
  • Карма: +17696/-428
  • Video, ergo sum
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #805 : 13 Июля 2016, 15:27:59 »
Надо же, и внешность меняется кардинально.
Мур, ты мутагена где-то достала? Делись, нехорошо жадничать!
Domine, miserere mei, quoniam peccabo tibi.

Оффлайн Maryam

  • Ветеран
  • *****
  • Сообщений: 2651
  • Карма: +439/-34
  • neko nyan nyan
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #806 : 13 Июля 2016, 17:03:53 »
украла из ЖЖ

Веди себя правильно — ничего никогда не случится.
Просто всегда бери себя в руки, просто всегда будь в границах.
Не предадут, не обворуют, не оболгут, не убьют, не изнасилуют, не ударят —
если выполнить все десять тысяч правил, не засекут радары,
не спровоцируешь, не доведёшь, не заметит зло никакое.
Веди себя правильно, всегда берегись, и будешь спокойна.
А если попался кто-то, проверь, там точно были проколы;
разъясни их в блоге постом, пожалей доведённого и снова живи спокойно.
Мир справедлив, мироздание бьёт виноватых, инфа сто процентов.
Веди себя правильно. Будь позитивна. Учись расставлять акценты.
Мудро закрой глаза. Посмотри со всеми вместе с другой стороны.
Пожалей несогласных, они инфантильны, их взгляды наивно-странны.
Веди себя правильно, тогда избежишь наказания.
Не думай о страшном. Не говори о страшном. Всё будет хорошо, обязательно.
Только однажды, когда к твоей дочери, маме, сестре вдруг придёт беда,
узнай, что они держали себя неправильно — всегда,
и их пора — и твоя — собирать этот град камней,
кидать слова в пустоту, в глухоту, в ответ получать ещё больней;
с лица утирать пополам и грязь, и кровь, и приказы терпеть,
и зря озираться, в надежде увидеть людские лица — в толпе,
и зубы скалить всклокоченной, некрасивой в боли волчицей.
Веди себя правильно.
Никогда ничего не случится.
Никогда ничего не случится.
Никогда ничего не случится.
Никогда ничего не случится.
Никогда ничего не случится.
Никогда ничего не случится.
Никогда
ничего
не случится.
(с) Lilith Mazikina
neko nyan nyan

Оффлайн TolstyiKot

  • Ветеран
  • *****
  • Сообщений: 14534
  • Карма: +1945/-1891
  • male chauvinist cat
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #807 : 13 Июля 2016, 18:09:54 »
Это очень плохой рэп.
Кота покорми едой из пакета!

Оффлайн whc

  • Ветеран
  • *****
  • Сообщений: 66835
  • Карма: +17696/-428
  • Video, ergo sum
Re: wonderzine.com - #ЯНеБоюсьСказать
« Ответ #808 : 13 Июля 2016, 18:11:13 »
Предполагается, что социальная значимость всё искупает.
А критики, ясень пень, защищают насильников и обесценивают стоящие за текстом страдания женщин.
Domine, miserere mei, quoniam peccabo tibi.

Оффлайн Maryam

  • Ветеран
  • *****
  • Сообщений: 2651
  • Карма: +439/-34
  • neko nyan nyan
neko nyan nyan