М.Двач / Программирование

Этого треда уже нет.
Это копия, сохраненная 13 ноября 2017 года.

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

Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.

53 Кб, 638x479

Формальная верификация и ее будущее 18 окт, 15:17 #1077629 В конец треда | Веб

Сап, Программач. Расскажи мне, на каких проектах и в каких отраслях в России и остальном мире востребована на практике формальная верификация. Куда теоретически можно податься лет через 5 - 6 тому человеку, кто любит дрочить на лямбда калкулус, зависимые типы и т. д.

На каких проектах в будущем (ближайшие 10 - 30 лет) будет востребована формальная верификация? Какие языки и фрэймворки будут востребованы для этого дела? Бизнесы в целом в мире будут охотнее выделять деньги на 100% верифицированные проекты или будут еще больше жмотить, давить, стоять с кнутом, требовать аджайл, хуяк, хуяк и в продакшон? Доживем ли мы до того момента, когда каждый стек ZigBee на Си, каждое ядро ОС, каждая СУБД, каждая компьютерная игра, каждое банковское веб-приложение на (Elm + JS), каждая сраная соцсеть на Elm-Lang будет формально верифицированы так или иначе? И есть ли будущее у вот этого проекта - верифицированного Си-компилятора http://compcert.inria.fr/ как думаете?

Ответы7764177649776777768077778777907785177927786767868284668

18 окт, 15:26 #2 #1077631

И почему сейчас многие корпорации на проектах предпочитают даже 100%-ное покрытие юнит-тестами, нежели 100%-ную формальную верификацию? Неужели тотальное покрытие юнит тестами и тест-драйвен девелопмент дешевле обходится?

Может ли 100%-ная формальная верификация вообще заметить тестирование, QA Automation и прочих QA-инженеров оставить без работы? Можно ли обойтись без тестов вообще, используя только теоремы и теорем-прувер?

Ответы776327764277655

18 окт, 15:28 #3 #1077632

>>1077631
да

18 окт, 15:45 #4 #1077641

>>1077629 (OP)
>Может ли 100%-ная формальная верификация вообще заметить тестирование, QA Automation и прочих QA-инженеров оставить без работы? Можно ли обойтись без тестов вообще, используя только теоремы и теорем-прувер?
Нет.

>И почему сейчас многие корпорации на проектах предпочитают
Потому, что, смотреть выше.

18 окт, 15:46 #5 #1077642

>>1077631
Интуитивно чувствую, что не взлетит, люди такие сволочи, что не смогут составить требования, которые формально верифицируются, плюс им для удобства нравится в процессе разработки запускать недописанную программу, а тут по сути тебе сначала нужно написать все ТЗ.

Ответы77650

18 окт, 15:52 #6 #1077649

>>1077629 (OP)

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

> в каких отраслях в России и остальном мире востребована на практике формальная верификация

Я слышал в космосе каскадами и формальными верификациями обмазываются, но это не точно.

Ответы77657

18 окт, 15:52 #7 #1077650

>>1077642
>плюс им для удобства нравится в процессе разработки запускать недописанную программу

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

"Нет, передвиньте менюшку влево, а отображение комментов сделайте линейным!"
через 2 недели:
"Нет, меню вправо, а комменты норм! Вы, дебилы, не могли догадаться?!"
через 2 недели:
"Да меню норм, а комменты сделайте древовидными! Сволочи, за что я вам деньги плачу! Всё не так! Я иначе говорил!"
через 2 недели:
"Комменты норм, а вот меню влево давайте! Да вы меня совсем не слушаете, скоты! Я не так говорил раньше вам!"

Ответы7765377660

18 окт, 15:55 #8 #1077653

>>1077650
У вас блядь логов нет в которые вы клиентов тыкаете, или у вас там конченые дауны работают которые не могут клиентам их собственный заказ показать? Что за контора уровня "Рога и копыта"?

Ответы77659

18 окт, 15:57 #9 #1077655

>>1077631
>Неужели тотальное покрытие юнит тестами и тест-драйвен девелопмент дешевле обходится?
Во-первых - да, дешевле. Во-вторых - ну ты типа поработай где-нибудь хоть раз или книжку какую про разработку почитай, кроме юнит-тестов есть как бы еще много других видов тестов. В-третьих - ты, блядь, понимаешь, что ТДД - это методология разработки софта и написания кода, которая эти самые процессы ускоряет? Это, блядь, метод проектирования, к тестам как таковым оно вообще отношение имеет весьма опосредованное.

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

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

Ответы776587766177665

18 окт, 15:59 #10 #1077657

>>1077649
какими каскадами? что это?

Ответы77664

18 окт, 16:01 #11 #1077658

>>1077655
>Ну и вообще, судя по твоим постам ты слабо себе представляешь, что такое формальная верификация и зачем она нужна, что такое разработка софта и как ей занимаются, что такое лябмда-калькулюс и откуда он нынче торчит и т.п.
Объясни, если в теме, плз.

Ответы77883

18 окт, 16:01 #12 #1077659

>>1077653
>У вас блядь логов нет в которые вы клиентов тыкаете
Логи есть. Но когда в них тыкаешь клиента, он все равно говорит, что ВИНОВАТЫ МЫ, потому что медленно делали (хотя спринт закрыли вовремя), не догадались, тупим сидим, и вообще рейты надо понизить. Знакомо?

18 окт, 16:02 #13 #1077660

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

18 окт, 16:02 #14 #1077661

>>1077655
>читай штангиста
кто это

Ответы77883

18 окт, 16:04 #15 #1077664

>>1077657

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

Ответы77666

18 окт, 16:04 #16 #1077665

>>1077655
А что там понимать? Жиды придумали новый способ, как заставить писать в три раза больше кода за ту же зарплату. (В два раза больше было с тестами). А ты становись ДевОпсом, сука.

Ответы77883

18 окт, 16:05 #17 #1077666

>>1077664

https://ru.wikipedia.org/wiki/Каскадная_модель

Ответы77668

18 окт, 16:06 #18 #1077668

>>1077666
а, вотэрфолл! так бы и сказал!

18 окт, 16:15 #19 #1077677

>>1077629 (OP)
>человеку, кто любит дрочить на лямбда калкулус, зависимые типы и т. д.
Расскажи, далеко продвинулся? Куда дальше?
Спрашиваю без всякого подвоха или критики. Просто, в самом деле интересно.

18 окт, 16:19 #20 #1077680

>>1077629 (OP)
>Бизнесы в целом в мире будут охотнее выделять деньги на 100% верифицированные проекты или будут еще больше жмотить, давить, стоять с кнутом, требовать аджайл, хуяк, хуяк и в продакшон?
Что пипл схавает, на то и выделят.
>И почему сейчас многие корпорации на проектах предпочитают даже 100%-ное покрытие юнит-тестами, нежели 100%-ную формальную верификацию? Неужели тотальное покрытие юнит тестами и тест-драйвен девелопмент дешевле обходится?
Потому что это разные вещи.
>Может ли 100%-ная формальная верификация вообще заметить тестирование, QA Automation и прочих QA-инженеров оставить без работы? Можно ли обойтись без тестов вообще, используя только теоремы и теорем-прувер?
Если не считать того, что спецификацию с их помощью ты не проверишь и что верифицированных конкрунтоспособных процессоров (не говорю уже про компиляторы. По ссылке - компилятор для C90) нет и что самонепротиворечивость не для всех языков доказуема - МОЖНО.

Ответы77681

18 окт, 16:24 #21 #1077681

>>1077680
>Потому что это разные вещи.
Приведи пример (гипотетический), когда 100% верифицированная программа упадет на любом юнит-тесте.

Ответы7768577686

18 окт, 16:31 #22 #1077685

>>1077681

Аппаратный сбой?

другойантон

18 окт, 16:31 #23 #1077686

>>1077681
Желаемое поведение не всегда описывается не на верифицируемом языке (тот же ГУЙ, например). Если есть ошибка/неточность в спецификациях, верифицирование тебе не поможет.

Ответы7768877690

18 окт, 16:33 #24 #1077688

>>1077686
>Если есть ошибка/неточность в спецификациях, верифицирование тебе не поможет
тестирование тоже. ибо проект делают по спеке

Ответы77691

18 окт, 16:34 #25 #1077689

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

Ответы77691

18 окт, 16:34 #26 #1077690

>>1077686
>Желаемое поведение не всегда описывается не на верифицируемом языке
Надо различать верификацию и валидацию.

Ответы77692

18 окт, 16:35 #27 #1077691

>>1077688
>>1077689

18 окт, 16:36 #28 #1077692

>>1077690
Мой пост как раз об этом - о том, что задачи тестирования отличаются от задач верификациию

Ответы776947785078117

18 окт, 16:41 #29 #1077694

>>1077692
Кстати, хотелось бы уточнить цели тестирования. Я как-то их не знаю/понимаю

Ответы7769577697

18 окт, 16:43 #30 #1077695

>>1077694
Цель тестирования софта - найти бОльшую часть багов.

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

Ответы7770277704

18 окт, 16:44 #31 #1077697

>>1077694
Если смотреть на программирование с точки зрения "заказчик-исполнитель", то цели очевидны - проверить соответствия исполнения заказу ИЛИ желаниям покупателя (в зависимости от того, насколько ТЗ хреновое).

Ответы77709

18 окт, 16:55 #32 #1077702

>>1077695
То есть для борьбы с программными дефектами есть две альтернативы:
1. (верификация) составлять сразу корректную программу.
2. (тестирование) изнурительно проверять готовую программу без всяких гарантий обнаружения всех дефектов, или хотя бы бОльшей их части, или даже хотя бы одного.

Ответы77717

18 окт, 16:59 #33 #1077704

>>1077695
И ещё, тестирование к валидации, в общем то, не имеет отношения.

18 окт, 17:02 #34 #1077709

>>1077697
>проверить соответствия исполнения заказу ИЛИ желаниям покупателя
Думаю, нет. Проверяют же соответствие требованиям.

Ответы7771377769

18 окт, 17:13 #35 #1077713

>>1077709
Ты путаешь реальность и идеалы. В реальности требованиями обладает ТОЛЬКО заказчик, а исполнителю достаётся пережёванная версия, и тестирование это несоответствие может обнажить и побудить заказчика к жалобам.

Ответы77715

18 окт, 17:19 #36 #1077715

>>1077713
>требованиями обладает ТОЛЬКО заказчик
Но тестирующий разве не строго по требованиям работает? Как же он тесты будет составлять, не имея требований? Если требованиями обладает только заказчик, значит только он и может обнаружить несоответствие программы требованиям.

Ответы7771877720

18 окт, 17:23 #37 #1077717

>>1077702
>1. (верификация) составлять сразу корректную программу.
Нет, не сразу. Можно написать некорректную, потом запустить прувер, глянуть на ошибки и исправить их.

>2. (тестирование) изнурительно проверять готовую программу без всяких гарантий обнаружения всех дефектов, или хотя бы бОльшей их части, или даже хотя бы одного.
Да. Причем тесты бывают регрессионными, например, то есть совокупные затраты на все тесты в течение всего времени жизни проекта могут превысить затраты на лямбдоёбство и использование Why3 прувера

Ответы77723

18 окт, 17:24 #38 #1077718

>>1077715
Бинго! Бывает почти идеальное взаимодействие, бывает неидеальное. Тестирование - это не только проверка соответствия формальным требованиям, но и вид взаимодействия (хотя, ОП спрашивал про юнит-тестирование).

Ответы7802178023

18 окт, 17:26 #39 #1077720

>>1077715
>Если требованиями обладает только заказчик, значит только он и может обнаружить несоответствие программы требованиям.

Только в том случае, если теорем-прувер докажет, что код верен.

18 окт, 17:29 #40 #1077723

>>1077717
>Нет, не сразу. Можно написать некорректную, потом запустить прувер, глянуть на ошибки и исправить их.
Имеется в виду, что готовая программа корректна сразу после компиляции.

Ответы77770

18 окт, 19:27 #41 #1077769

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

Ответы78020

18 окт, 19:28 #42 #1077770

>>1077723
Можно как с тестами, сначала писать программу, а потом покрывать пред/пост условиями?

Ответы78017

18 окт, 19:55 #43 #1077778

>>1077629 (OP)
Про какую именно формальную верификацию идёт речь? Formal Property Checking? Или может какой-нибудь Model Checking?

Ответы77781

18 окт, 19:57 #44 #1077781

>>1077778
Automated theorem proving

Ответы7807778082

18 окт, 20:20 #45 #1077790

>>1077629 (OP)
>в России
)))

>Куда теоретически можно податься лет через 5 - 6 тому человеку, кто любит дрочить на лямбда калкулус, зависимые типы и т. д.
За границу, без шуток. Хоть покушать будет на что, не будешь Перельманом сидеть в пустой хрущобе.

18 окт, 22:30 #46 #1077850

>>1077692
Был пример - с помощью формальных методов вели разработку одной из подсистем самолета - шасси. Верифицировали да не выверифицировали. На полетном испытании при посадке самолет чуть не выехал за взлетную полосу - модель была корректная, но она предполагала включение тормозов, после прокрутки колес. Как назло при испытании ВПП была мокрой после дождя и тормоза сработали с задержкой. Такая вот прохладная история. Само определение ВАЛИДАЦИИ намекает.
https://blog.regehr.org/archives/742

Ответы79642

18 окт, 22:36 #47 #1077851

>>1077629 (OP)

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

Ответы77872

18 окт, 23:13 #48 #1077872

>>1077851
>делаются все ошибки
Ебать довен.

Ответы78031

18 окт, 23:34 #49 #1077883

>>1077658
Ща объясню)))

>>1077661
Не палим годноту быдлу.

>>1077665
> Славяне, в особенности русские, не умеют жить и ставить перед собой достойные рассудка цели. Задачи перед ними ставим мы, эфемерные, конечно, но они стараются их выполнить. Работайте в этой области.

Ответы77926779827870178871

19 окт, 01:18 #50 #1077926

>>1077883
>говнота

19 окт, 01:23 #51 #1077927

>Куда теоретически можно податься лет через 5 - 6 тому человеку, кто любит дрочить на лямбда калкулус, зависимые типы и т. д.
В любую функо-парашу, на jvm'е их высыпало как грибов после дождя.

>>1077629 (OP)
>На каких проектах в будущем (ближайшие 10 - 30 лет) будет востребована формальная верификация?
В любительских.

>Доживем ли мы до того момента, когда каждый стек ZigBee на Си, каждое ядро ОС, каждая СУБД, каждая компьютерная игра, каждое банковское веб-приложение на (Elm + JS), каждая сраная соцсеть на Elm-Lang будет формально верифицированы так или иначе?
Нет, это промежуточная сырая стадия развития, на ее развитие уйдет больше чем на принципиальное обновление общей идеологии ПО.

>И есть ли будущее у вот этого проекта - верифицированного Си-компилятора http://compcert.inria.fr/ как думаете?
Нет, ведь код написанный для этого компилятора не будет верифицирован, доля ошибок самого компилятора в том же gcc ничтожно мала.

Ответы7798377985

19 окт, 04:24 #52 #1077982

>>1077883
вот штангист народ
https://thesz.livejournal.com/
налетай

Ответы789817900779066

19 окт, 04:25 #53 #1077983

>>1077927
>Нет, это промежуточная сырая стадия развития, на ее развитие уйдет больше чем на принципиальное обновление общей идеологии ПО.

А что там еще можно придумать? Новые методолгии управления проектами, чтобы не было говнокода? Новые IDE? Новые языки?

19 окт, 04:26 #54 #1077985

>>1077927
>код написанный для этого компилятора не будет верифицирован

Вообще-то он там верифицируется на Петухе (Coq Gallina).

Ответы78683

19 окт, 08:54 #55 #1078017

>>1077770
model checking?

19 окт, 08:56 #56 #1078020

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

19 окт, 08:57 #57 #1078021

>>1077718
>вид взаимодействия
Это я не понял.

19 окт, 09:03 #58 #1078023

>>1077718
>юнит-тестирование
Тестирование, которое автоматизировано.

19 окт, 09:17 #59 #1078031

>>1077872

C точки зрения малолетнего долбоёба - безусловно.

19 окт, 10:37 #60 #1078077

>>1077781
LOL

19 окт, 11:04 #61 #1078082

>>1077781
>Automated theorem proving
Не имеет отношения к верификации.
Для верификации применим proof checking (via typing), который в перспективе выводит далеко за рамки только лишь верификации, а именно к подходу correctness by construction в программировании.
Разница в том, что proof checker проверяет предъявленное ему доказательство пропозиции, в то время как theorem prover сам дедуктивно его находит или не находит.

Ответы78083

19 окт, 11:09 #62 #1078083

>>1078082
spark в Ada использует пруф чекинг или тиорим прувинг?

19 окт, 12:39 #63 #1078117

>>1077692
>задачи тестирования отличаются от задач верификации
Чем?

Ответы79642

19 окт, 13:53 #64 #1078161

Кто знает, расскажите про статический анализ кода. Он ближе к верификации или к юнит-тестированию?

Ответы7816979642

19 окт, 14:05 #65 #1078169

>>1078161
Верификация это вот что: код на высокоуровневом языке программирования экстрактится в язык, понятный теорем-пруверу (Lean, Coq, Why3), затем пишется несколько теорем (вручную) и они проверяются (автоматически).

20 окт, 09:02 #66 #1078676

>>1077629 (OP)
Что такое верификация? Чем она отличается от доказательства?

Ответы78679

20 окт, 09:24 #67 #1078679

>>1078676

Ничем не отличаются - и то и другое бесполезно.

Ответы78711

20 окт, 09:42 #68 #1078682

>>1077629 (OP)
>Сап, Программач. Расскажи мне, на каких проектах и в каких отраслях в России
Ни в каких
>остальном мире
На майлист хаскеоьёбов подпишись, там иногда проскакивают вакансии с требованиями знания формальных методов. Но крайне редко. Во этим https://galois.com иногда надо.

20 окт, 09:43 #69 #1078683

>>1077985
Это заебись но ты не можешь верифицировать бизнес логику.

Ответы7869278696

20 окт, 10:06 #70 #1078692

>>1078683
>не можешь верифицировать бизнес логику.
А почему, собственно?

20 окт, 10:33 #71 #1078696

>>1078683
>бизнес логику
Объясните, что это вообще такое? Почему на этом так акцентируются? Откуда такое дегенератское название?

Ответы7871378769

20 окт, 10:58 #72 #1078701

>>1077883
>Не палим годноту быдлу.

У вас тут средневековая гильдия ремесленников?

20 окт, 11:30 #73 #1078711

>>1078679
Не знаешь - не умничай.

20 окт, 11:39 #74 #1078713

>>1078696
Успокойся, читай как операционную логику.

Ответы78763

20 окт, 12:59 #75 #1078739

Hello, OP KHUY!

Galois is growing again! We're looking for researchers, principal investigators, software engineers, students and mamkin's byblocoders including those with expertise in functional programming, formal methods, machine learning, embedded systems, computer security, or networking. For the exact available positions, please have a look at our website: http://galois.com/careers

We now have three locations: Portland, Ore.; Arlington, Va.; and Dayton, Ohio. There are positions available at all locations.

We are looking for people to work on-site, not remotely. Mostly, we are looking for candidates who are already authorized to work in the US, but in exceptional situations we can work with the candidate to obtain the necessary documentation.

If you are interested, please apply through the web site. If you have questions about working at Galois, you're welcome to contact me directly.

Best regards,
Nikita Sadkov

Ответы78805

20 окт, 14:02 #76 #1078763

>>1078713
>операционную логику
Так а что это такое? Каким образом здесь логика замешана?

20 окт, 14:46 #77 #1078769

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

Ответы78774

20 окт, 14:54 #78 #1078774

>>1078769
Спасает валидация в таком случае.

20 окт, 15:57 #79 #1078805

>>1078739

Дома борщи вкуснее, сорян.

Ответы78828

20 окт, 16:41 #80 #1078828

>>1078805
Два чаю. Никогда не согласился бы на он-сайт.

20 окт, 18:47 #81 #1078871

>>1077883
>Ща объясню)))

>>1077883
>Не палим годноту быдлу.

а потом жалуетесь на дефицит хороших программистов в России и остальном мире

Ответы78979

20 окт, 20:19 #82 #1078954

Кто-нибудь в курсе по поводу статуса альтернативного синтаксиса в Coq (того который начинается с команды proof)? Почему то из мануала убрали целую главу про него и заменили на ssreflect.

20 окт, 21:02 #83 #1078979

>>1078871
Я не жалуюсь, мне норм.

20 окт, 21:03 #84 #1078981

>>1077982
240 килограммов чистого железа!!111

20 окт, 21:55 #85 #1079007

>>1077982
>thesz
фу

Ответы79140

20 окт, 23:22 #86 #1079066

>>1077982
Овуляха, дрочащая на мраморную говядину, приседания с нагрузкой и чрезмерное чсв, выражающееся в "программировании" конечных автоматов на хачкиле О БОЖЕ На хачкиле в середине проебанных нулевых. Что мы там забыли?

Ответы79081

sage 20 окт, 23:45 #87 #1079081

>>1079066
> Что мы там забыли?

деньги

знания

счастье

21 окт, 08:10 #88 #1079140

>>1079007
Что фу? Хороший мужик.

Ответы79189

21 окт, 12:16 #89 #1079189

>>1079140
Из всего FP-community в жж это самое мерзкое и твердолобое хамло, хуже максимки, хуже вообще всего.

Ответы7941979902

21 окт, 19:30 #90 #1079419

>>1079189
>хуже максимки
Какого максимки?

Ответы79570

21 окт, 22:01 #91 #1079570

>>1079419
пиздабола и махателя руками

Ответы7967879775

21 окт, 22:37 #92 #1079642

>>1078117
Вот этим: >>1077850
>>1078161
Статический анализ кода - это поиск либо доказуемых ошибок, либо часто встречающихся шаблонов ошибок. Он ни то, ни другое.

Ответы79792

21 окт, 23:12 #93 #1079678

>>1079570
А ссылку?

Ответы79732

22 окт, 01:15 #94 #1079732

>>1079678
https://maxim.livejournal.com/

22 окт, 06:08 #95 #1079775

>>1079570
Он написал больше кода чем ты напишешь за всю жизнь. И не на джаве какой-нибудь, а на эрланге.

Ответы79882

22 окт, 08:22 #96 #1079792

>>1079642
>Вот этим
Так это как раз валидация. Тестирование здесь ни при чём. Тестирование призвано проверить формализованные требования.

Ответы79831

22 окт, 10:48 #97 #1079831

>>1079792
>валидация
Это твоё название для "тестирования"? Нет, спасибо, мне нравится моё.

22 окт, 12:26 #98 #1079882

>>1079775
>Он написал больше кода чем ты напишешь за всю жизнь. И не на джаве какой-нибудь, а на эрланге.

Максим-петух (и пропессор-петух) ничего не добились ни в функциональном программировании, ни в om/exe, ни в монетизации своего "доказательного программирования". Лохи и чмыри.

Ответы79913

22 окт, 13:21 #99 #1079902

>>1079189
>в жж это самое мерзкое и твердолобое хамло
Не увидел там хамства.
Ты хомяк?

Ответы79915

22 окт, 13:42 #100 #1079913

>>1079882
Максим зарабатывает программированием не работая ни на кого, и используя только Эрланг. Среди его клиентов ПриватБанк. Так чего он там не добился? И чего добился ты?

Ответы7994579954

22 окт, 13:44 #101 #1079915

>>1079902
Зефиров в блоге общается очень корректно со всеми, и с других требует того же. По крайней мере я не замечал. Это у какого-то завистника подгорело.

22 окт, 14:37 #102 #1079945

>>1079913
1. намдак тонпа не зарабатывает деньги. он в долгах сейчас, как в шелках
2. турки его кинули (причем дважды)
3. приватбанк всё.
4. его эрланг-консалтинг никто не покупает. раньше покупали его Java консалтинг, потом нашли людей посговорчивее.
5. у него не осталось клиентов.

Ответы7995279962

195 Кб, 400x400

22 окт, 15:03 #103 #1079950

Почему любой тред про функциональное программирование на этой параше непременно скатывается в срач про максимку?

22 окт, 15:06 #104 #1079952

>>1079945
Мне плевать что сейчас. Он заработал, продвинулся, протолкал тему. Запилил свой фреймворк, и не какое-то МВЦ-поделие. Так чего он не добился? И чего добился ты? Смотрю ты за слова не отвечаешь совсем. Значит балабол. С чего бы тебя воспринимать вообще как полноценного. И еще, откуда тебе все про него известно? Нравится считать чужие деньги? Походу сам ты на пособии, и только желчью брызшешь на других. Завистник короче.

Ответы80150

22 окт, 15:08 #105 #1079954

>>1079913 Довелось общаться с инсайдерами.
>Среди его клиентов ПриватБанк
Вот здесь жирный такой пиздеж - преувеличение.

Ответы799617996379964

22 окт, 15:28 #106 #1079961

>>1079954
Два чаю этому разработчику. Приват его послал с его ебучими моноидами.

Ответы79963

22 окт, 15:28 #107 #1079962

>>1079945
А еще
6. с "женой" у него скоро расставание будет, причем официально.

Ответы7996380104

22 окт, 15:32 #108 #1079963

>>1079954
>>1079961
>>1079962
Вы посмотрите на них, секта свидетелей Сохацкого. И много вам таких?

22 окт, 15:33 #109 #1079964

>>1079954
>Довелось общаться с инсайдерами.
Случайно не с Павлом?

Ответы80133

22 окт, 15:55 #110 #1079979

Скандалы, интриги, расследования!

22 окт, 18:42 #111 #1080104

>>1079962
Но это же только плюс. Кому нужны 3д

22 окт, 19:33 #112 #1080133

>>1079964
>Случайно не с Павлом?
Бамп вопросу. Мне Павел про Мудака_Тонпу много чего рассказывал.

Ответы80147

22 окт, 20:05 #113 #1080147

>>1080133
Ньет, не Павлом. Не впутывайте меня в ваши разборки.

22 окт, 20:09 #114 #1080150

>>1079952
>Запилил свой фреймворк
N2O - это параша, которую даже в Erlang-комьюнити никто не использует. Или там у него ещё что-то было?

Ответы8017480389

22 окт, 20:51 #115 #1080174

>>1080150
>N2O - это параша
Да. И приватбанк не использует ничего из его эрланг говна.

Ответы80389

22 окт, 21:44 #116 #1080207

https://maxim.livejournal.com/329076.html?thread=1436020#t1436020

Пришел с работы лег спать, говорю жене, перестань шибуршать дай поспать. Тут все и началось: ах тебе спасть, я с ребенком зашиваюсь а тебе спать, хуй тебе а не спать. Я говорю: если ты не успокоишься и не даш мне уснуть, то я тебе скажу такое после чего ты будешь плакать. Заплакала и расцарапала мне ебало (при ребенке). Ходил как лох с поцарапаным ебалом, ну ладно. Отвезла ребенка в каменец и опять начинает выйобываться. Я говорю, жена, прекрати, тут ребенка нету могу и здачи дать. После щелбана (юридическая формулировка: "бил по голове"), опять пыталась расцарапать ебало, дал подсрачника и плюнул в лицо. Ну а дальше пошли заявы, бульбуляторы, родители, брат, сват, хуй, пизда.

Ответы8023280257803908056780570

22 окт, 22:07 #117 #1080220

Но это была прежняя жена - Лена, которой он заделал ребенка, развелся и не платит алименты годами. Новая жена - Мария, вот с ней тоже собрался расставаться. Запасайтесь попкорном, эрлангисты!

Ответы80390

22 окт, 22:27 #118 #1080232

>>1080207
Чет в голос с успешной работы, после которой можно только приползти и отсыпаться. И денег на лименты не хватает. Успех.

Ответы802368039080518

22 окт, 22:40 #119 #1080236

>>1080232
А что такого? Иногда хочется просто прийти домой и лечь спать, если допоздна сидел, например. Вполне нормальное желание, тем более в описанном контексте.

Ответы80243

22 окт, 22:47 #120 #1080243

>>1080236
Сидение допоздна - переработки, которые у меня мало ассоциируются с работой мечты.

Ответы8033580390

22 окт, 23:06 #121 #1080257

>>1080207
Вот это сказочный ЛОХ.

Ответы80390

23 окт, 00:59 #122 #1080335

>>1080243
> Сидение допоздна - переработки
Вовсе нет - график же свободный. Я, бывало, часто приходил после обеда и сидел до ночи, например.

Ответы80352

23 окт, 01:27 #123 #1080352

>>1080335
>свободный график
>не быть в состоянии вечером пообщаться с женой и сыном
Ну такое.

Ответы80365

23 окт, 02:46 #124 #1080365

>>1080352
Ну, он как бы один конкретный случай описывал, а не каждый день\вечер.

23 окт, 06:13 #125 #1080389

>>1080150
Можно подумать ты имеешь отношение к Эрланг сообществу. Если чё у N2O больше звезд на гитхабе чем у любого фреймворка на Эрланге. Если мне не изменяет память N2O в десятке крупнейших эрланг проектов. На Эрланге же больше ничего никто не написал.

>>1080174
>Да. И приватбанк не использует ничего из его эрланг говна.
Да, твое мнение конечно же авторитетное, ты всё знаешь. А если серьезно, то откуда тебе знать?

Ответы80410805198060180714

23 окт, 06:19 #126 #1080390

>>1080207
>>1080220
>>1080232
>>1080243
>>1080257
Вы только посмотрите. Здесь собрались исключительные примеры для подражания. Ну покажите же этот пример, где? Сами то вы не лучше. Затихарившиеся-сплетницы, у которых либо нет своей жизни, либо она еще хуже чем у Сохацкого.

Ответы80410

23 окт, 08:19 #127 #1080410

>>1080389
>Если чё у N2O больше звезд на гитхабе чем у любого фреймворка на Эрланге
Если ты победил в олимпиаде для дебилов, то ты все равно дебил

>>1080390
Максим, залогиньтесь

Ответы80579

23 окт, 14:23 #128 #1080518

>>1080232
>И денег на лименты не хватает.
Это Эрланг, детка. Впрочем, может, и хватает, просто зол на жену и не платит алименты.

23 окт, 14:27 #129 #1080519

>>1080389
>А если серьезно, то откуда тебе знать?
Павел много чего рассказывал и про Макса, и про семью, и про поделки Макса в приватбанке.

Ответы80554

590 Кб, webm, 640x360, 0:06

23 окт, 14:36 #130 #1080522

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

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

Ответы80527

23 окт, 14:46 #131 #1080527

>>1080522
>Напомните мне что значит сладкий хлебушек
ЭТО КЛАССИКА!
ЭТО ЗНАТЬ НАДО!

23 окт, 15:41 #132 #1080554

>>1080519
Не знаю Павла. Не знаю лично Максима, хотя переписывался с ним по одному делу. К слову он был очень честен. Хотя меня раздражает его поведение в блоге, маты, оскорбления, напыщенность.

Не хочу лезть в чужую жизнь. Что и тебе советую. Ты только себе хуже делаешь. Развиваешь в себе ненависть, зависть, все негативные качества. Потом мучиться будешь от себя самого.

23 окт, 16:19 #133 #1080567

>>1080207

> Пришел с работы лег спать, говорю жене, перестань шибуршать дай поспать. Тут все и началось: ах тебе спасть, я с ребенком зашиваюсь а тебе спать, хуй тебе а не спать. Я говорю: если ты не успокоишься и не даш мне уснуть, то я тебе скажу такое после чего ты будешь плакать. Заплакала и расцарапала мне ебало (при ребенке). Ходил как лох с поцарапаным ебалом, ну ладно. Отвезла ребенка в каменец и опять начинает выйобываться. Я говорю, жена, прекрати, тут ребенка нету могу и здачи дать. После щелбана (юридическая формулировка: "бил по голове"), опять пыталась расцарапать ебало, дал подсрачника и плюнул в лицо. Ну а дальше пошли заявы, бульбуляторы, родители, брат, сват, хуй, пизда.

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

Ответы80569

23 окт, 16:22 #134 #1080569

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

Ответы80577

23 окт, 16:29 #135 #1080570

>>1080207
>Сначала прошла любовь, потом начало пропадать и сотрудничество.

Потому что мало кто понимает, что отношения это не работа, а аскеза.

23 окт, 16:38 #136 #1080577

>>1080569
>Ведь это жены виноваты в том, что вышли замуж за тупого агрессивного детсадовца.
Сложно сказать, кто виноват.

Максим, якобы "самый лучший Erlang-программист Украины, звезда":
https://www.facebook.com/namdak.tonpa

Вроде не детсадовец и не агрессор, а буддист:
https://www.youtube.com/watch?v=E_at53wDH1w
https://www.youtube.com/watch?v=mm7m3JOiSt8
https://www.youtube.com/watch?v=vnymtEeYTjE
https://www.youtube.com/watch?v=UjjuCRlS-bA
Вот ты можешь представить, чтобы он ударил жену первой?

Его текущая тян Маша:
https://www.facebook.com/mariya.korobetska

Прошлая жена - Лена (которая расцарапала ему лицо), от Максима у нее 14-летняя дочка, которой он не платил и не платит алименты. Найти прошлую жену в Facebook не смог, но, скорее всего, вот она из КаменцаПодольского: https://www.facebook.com/profile.php?id=100009636430348

Кто виноват, прошлая жена или он, сказать сложно.

Ответы805878091680918

23 окт, 16:41 #137 #1080579

>>1080410
>Если ты победил в олимпиаде для дебилов
Опенсорс, известность и резюме - это "олимпиада для дебилов"? Иди уроки делай.

23 окт, 16:55 #138 #1080587

>>1080577
>Вот ты можешь представить, чтобы он ударил жену первой?
На самом деле вопрос уровня "вот ты можешь представить, чтобы эта ламповая няша сосала нигерские хуи на камеру?", ну ты понял.

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

славщит ебаный

Ответы80615

23 окт, 17:09 #139 #1080601

>>1080389
Tоповые попенсорс эрланг проекты это
cowboy
rabbitmq-server
couchdb
ejabberd
mongoose
hackney/ibrowse
lager
ranch
amoveo
и т.д.
и н2о параши в заисимостях у них нет

Насчет закрытых проектов типа вотсапа я не знаю, но например в basho никакой н2о не используется.

>На Эрланге же больше ничего никто не написал
OCHE TOLSTO

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

Ответы8061180642

23 окт, 17:20 #140 #1080611

>>1080601
Нитроген по популярности он таки обошел. Идеология N2O как и Нитрогена интересная, но с доками беда. Нитроген кажется древним, да и не поддерживается вроде уже давно. N2O хотел потрогать, но ничего не понял, а спрашивать в их гиттере бесполезно. Там 2,5 программиста, и те не особо дружелюбны.

23 окт, 17:22 #141 #1080615

>>1080587
>плюс в исключительных случаях знать их позиции по каким-то политическим\общественным вопросам

Проиграл. Я тут недавно решил подписаться на твиттеры всех топ программеров и экспертов (Скит, Буч и т.п.). Думал буду читать умные мысли по программированию - хуй там! Оказалось все их твиты состоять чуть более чем полностью про плохого трампа, феминизм, и угнетённых черножопых нелегалов.

Ответы80701

23 окт, 18:04 #142 #1080642

>>1080601
V erlange teper' est' odin normalnij web-framewok i on nazivaetsya Phoenix.

23 окт, 19:40 #143 #1080701

>>1080615
> решил подписаться на твиттеры
А ты я гляжу интересный парниша.

23 окт, 19:57 #144 #1080714

>>1080389
https://github.com/search?o=desc&q=language:+erlang&s=stars&type=Repositories&utf8=✓

Я говорил что Макс- пиздабол? Походу и группи у него такие же.

Ответы8074680750

23 окт, 20:31 #145 #1080746

>>1080714
Что это? Там же всё мертвое. А чё всего 242 репа? Значит правда на Эрланге никто не пишет.

Ответы80788

23 окт, 20:34 #146 #1080750

>>1080714
Ты не понял, мне нравится Эрланг. Но почему на нем никто не пишет? Почему нет проектов, сообщества, инфы? Проще Эликсир заюзать, хоть он мне и не нравится.

Ответы84655

23 окт, 21:24 #147 #1080788

>>1080746
Элита всегда в меньшинстве.

Ответы80857

23 окт, 22:38 #148 #1080857

>>1080788
Haskell, Лисп - элита? У них и сообщество больше, и проектов.

Ответы8088080887

23 окт, 22:55 #149 #1080869

Elita - Huita.

23 окт, 23:16 #150 #1080880

>>1080857
С А Р К А З М
А
Р
К
А
З
М

Сейчас бы мерять элитарность по языкам.

23 окт, 23:32 #151 #1080887

>>1080857
Haskell - мейнстрим для быдла. Элита пишет на Idris.

Ответы80888

23 окт, 23:32 #152 #1080888

>>1080887
Или на Петухе пишут (Gallina Coq).

Ответы80889

23 окт, 23:34 #153 #1080889

>>1080888

Элита на языке Пони (https://www.ponylang.org/) пишет.

Ответы8089281068

23 окт, 23:39 #154 #1080892

>>1080889
Нет, на Петухе. Его писали ученые.

Ответы8090080911

34 Кб, 790x593

23 окт, 23:54 #155 #1080900

>>1080892

24 окт, 00:09 #156 #1080911

>>1080892
Как будто хаскель или лисп не ученые писали.

24 окт, 00:20 #157 #1080916

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

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

Ответы80953

24 окт, 00:26 #158 #1080918

>>1080577
>Кто виноват, прошлая жена или он, сказать сложно.
ЛОЛ.
Ответ очевиден.
Ситуация непросто тепична.
Она АРХИТИПИЧНА.

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

Посмотри сколько у нас "матерей одиночек", ты думаешь это все плохое стечение обстоятельств?
С этими животными вменяемый человек дел иметь не станет.

Ответы8094681047

24 окт, 01:31 #159 #1080946

>>1080918
>Ситуация непросто тепична.
>Она АРХИТИПИЧНА.
Так в чем причина драмы и кто из них животное?

Ответы80952

24 окт, 02:11 #160 #1080952

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

Это тип не очевидно?

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

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

Ну и классически жена использует ребенка для шантажа мужчины.

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

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

Ответы810248104981177

24 окт, 02:13 #161 #1080953

>>1080916
>Мы с моей тянкой
Подсрачник даёшь, плюёшь в лицо, когда шибуршит и не даёт поспать после работы?

Ответы81177

24 окт, 09:34 #162 #1081024

>>1080952

Толково.

221 Кб, 1824x496

24 окт, 10:44 #163 #1081046

Наконец-то тред для этого тредшота нашёлся.

Ответы81208

24 окт, 10:45 #164 #1081047

>>1080918
>Посмотри сколько у нас "матерей одиночек", ты думаешь это все плохое стечение обстоятельств?
Так объясни нам, почему их так много.

>С этими животными вменяемый человек дел иметь не станет.
То есть женщинам в Украине нравится делать детей от одного (Максима-буддиста), а потом разводиться и искать другого мужа?

Ответы81179

24 окт, 10:53 #165 #1081049

>>1080952
>А может ребенок и не мужа даже.
То есть он не в курсе даже?! Вот это обман.

Ответы81179

24 окт, 11:40 #166 #1081068

>>1080889
Pony - это GoBHO.

Ответы8131882915

24 окт, 15:51 #167 #1081177

>>1080953
Нет.

>>1080952
Да его жена изначально была жабой. Видел ее фото с ним на фоне машины. Это, конечно, субъективно, но мне она показалась очень ЧСВшной и эгоистичной. Наверно, истеричная, яркая, не на помойке себя нашла. Такие как она сжирают мужиков. Лучше бы нашел себе няшу-скромняшу, социофобную хикку, комнатную плесень и любил ее.

Ответы8120781314

24 окт, 15:56 #168 #1081179

>>1081049
>То есть он не в курсе даже?! Вот это обман.
В США было исследованные, и там оказалось, что ок 70% детей не от мужей в амер семьях.
Может для сливок это совсем другое соотношения, но для комон пьюпел, считай было, реальная фигура.

>>1081047
>Так объясни нам, почему их так много.

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

>То есть женщинам в Украине нравится делать детей от одного (Максима-буддиста), а потом разводиться и искать другого мужа?
В РФ то-же самое.
Другого "мужа" может и не найдет.
Нужно понимать, что ребенок это не только повод для шантажа мужчины.
Это еще социальные выплаты, и персональный раб(как это видит женщина).

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

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

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

Ответы811808118581210812128131581319

24 окт, 15:57 #169 #1081180

>>1081179
>считай было
считай быдло.

24 окт, 16:01 #170 #1081185

>>1081179
>Женщины стремительно стареют, особенно наши, прожженные и пропитые. И после 30 лет они уже становятся неходовым товаром. Плюс начинаются возрастные изменения, справляться с которыми они и не умеют(маменька сказала нужно рожать)

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

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

Ответы81216

24 окт, 16:39 #171 #1081207

>>1081177
>Лучше бы нашел себе няшу-скромняшу

Это же ОКСИМИРОН. Скромные бабы это уродки или как минимум стремные, потому и скромные что при таких внешних данных предложить им нечего.
А максимку видно что гламурных кисок тянет (я тоже не удержался и посмотрел на его баб в фб).

24 окт, 16:40 #172 #1081208

>>1081046
Диванный.

24 окт, 16:41 #173 #1081210

>>1081179
>Потому, что эмансипация женщин даже не начиналась

Ты часом не феминист?

Ответы81229

24 окт, 16:42 #174 #1081212

>>1081179
>Женщины стремительно стареют, особенно наши, прожженные и пропитые. И после 30 лет они уже становятся неходовым товаром.

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

24 окт, 16:46 #175 #1081216

>>1081185
>Мужчина в свою очередь, с возрастом только приобретает ценность.

Нихуя. Ну или как минимум это сильно преувиличено до уровня что если ты миллиардер то будть ты хоть орком но бабам понравишся.

Ответы81225

24 окт, 17:08 #176 #1081225

>>1081216
>Нихуя
Нет, конечно, если зять - нехуй взять, то он и в 20 нехуй взять, и в 30, и в 40, и в 50.
А так то у людей к 30 как раз своя квартира появляется, карьера складывается, бизнес открывается.
Да и мозгов до 30 в общем-то нет.

Ответы81233

24 окт, 17:11 #177 #1081229

>>1081210
А ви загчем интересетесь?

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

Ответы8123481236

24 окт, 17:17 #178 #1081233

>>1081225

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

Ответы8124081323

24 окт, 17:18 #179 #1081234

>>1081229
>спорт не для девочек, армия не для девочек, девочки слабые
Так и есть. От недостатка тестостерона они не могут в мышечную массу.

Ответы81252

24 окт, 17:20 #180 #1081235

Заявились жлобы и превратили тред в какое-то УГ.

Ответы81238

24 окт, 17:20 #181 #1081236

>>1081229

Так это щас всё и происходит, только за счет квот, предоставления необоснованных преференций и запрета на критику баб.

Ответы8124381254

24 окт, 17:20 #182 #1081238

>>1081235

Ты про кого?

24 окт, 17:24 #183 #1081240

>>1081233
>Я о том и говорю, у тебя слишком бинарно - или нехуй взять или бизнес на миллионы.
Это У МЕНЯ бинарно? Охуеть.
А в твоем НЕ БИНАРНОМ мозге умещается бизнес на тысячи?
Или зп в 3K$? Мы тут как бы программаче, не?

>ерох
>останется жирный минус в глазах баб - ты не ероха.
Тебе лет 15?
Тут именно у тебя бинарное мышление загнанное в узкие рамки скотских стереотипов, в совокупности с обидой на весь мир.

Ответы81267

24 окт, 17:28 #184 #1081243

>>1081236
Это в какой стране такие ужасы творятся?

Ответы81245

24 окт, 17:28 #185 #1081245

>>1081243

В настоящей европе например, а не которая ЦЭ.

Ответы81255

24 окт, 17:32 #186 #1081252

94 Кб, 500x746

30 Кб, 593x652

85 Кб, 600x447

196 Кб, 1521x921

>>1081234
>Так и есть. От недостатка тестостерона они не могут в мышечную массу.
Да все они могут.
https://www.youtube.com/watch?v=llHhiiNnIjY

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

24 окт, 17:36 #187 #1081254

>>1081236
>Так это щас всё и происходит, только за счет квот, предоставления необоснованных преференций и запрета на критику баб.
Нет, не происходит.
Происходит создание видимости, и превращение мерзких животных в еще более мерзких животных.

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

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

Ответы8125981266

24 окт, 17:36 #188 #1081255

>>1081245
В какой такой "настоящей" европе? Ты можешь прямо ответить на вопрос, в какой стране ты живешь?

Ответы81272

24 окт, 17:40 #189 #1081259

>>1081254
>>Так это щас всё и происходит, только за счет квот, предоставления необоснованных преференций и запрета на критику баб.
>Нет, не происходит.

Человечеству нужно меняться, но 90% населения жестко этому сопротивляется.
Все эти феминистки не одевающие прокладок во время течки - не фемистки, а ебнутые не эмансипированные стервы.
И чем сильнее и стремительнее мир меняется, тем более жуткие и массовые формы будет принимать безумие неспособных к изменению масс.
В ближайшие 100 лет есть около 70% вероятности того, что человечество если не погибнет, то вернется в темные века.

Ответы81331

203 Кб, 341x200

24 окт, 17:49 #190 #1081266

>>1081254
> Трамп на дебатах говорил
Стену уже построил?

Ответы8127582618

24 окт, 17:50 #191 #1081267

>>1081240

> то У МЕНЯ бинарно? Охуеть. А в твоем НЕ БИНАРНОМ мозге умещается бизнес на тысячи?Или зп в 3K$? Мы тут как бы программаче, не?

Ебанько, учись читать или не пытайся подменять смысл. Я в сообщении явно указал к чему оно относится.

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

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

> Тебе лет 15? Тут именно у тебя бинарное мышление загнанное в узкие рамки скотских стереотипов, в совокупности с обидой на весь мир.

Когда мне было 15, я мог ебсти твою мамку-шлюху а ты еще не родился.
На моей стороне опыт (выборка более чем репрезентативна), масштабные эксперименты на дейтингах, плюс наблюдение за большим числом коллег из нашей индустрии. И везде мои тезисы ПОЛНОСТЬЮ подтверждаются.

Ответы81273

24 окт, 17:53 #192 #1081272

>>1081255

Ебать дебил. Ну в википедии прочитай список стран действительных членов ЕС.
США туда же можешь добавить.

24 окт, 17:54 #193 #1081273

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

>Ебанько
>проигрывать
>ебсти твою мамку-шлюху
>масштабные эксперименты на дейтингах
>Мне не 15
Ок.

Ответы81278

24 окт, 17:55 #194 #1081275

>>1081266
Между США и Азией, называется Атлантический Океан.

Ответы8127781281

24 окт, 17:56 #195 #1081277

>>1081275
То есть Тихий.

Ответы81281

24 окт, 17:57 #196 #1081278

>>1081273
>Нет.

Сказочный долбоёб.

> ok

Ну я ж не виноват что это все про тебя.

24 окт, 17:59 #197 #1081281

203 Кб, 341x200

916 Кб, 245x183

>>1081275
>>1081277

24 окт, 19:19 #198 #1081314

>>1081177
>социофобную хикку
Среди СНГшных девушек не бывает хикикомори.

24 окт, 19:20 #199 #1081315

>>1081179
>В США было исследованные, и там оказалось, что ок 70% детей не от мужей в амер семьях.
Так почему власть в США не введет обязательные тесты ДНК детей в роддомах?

Ответы81332

24 окт, 19:22 #200 #1081318

>>1081068
Аргументируй. Желательно в контексте существования https://github.com/lukecheeseman/ponyta , если возвращаться от обсуждения избиения чужих жен к топику.

Ответы82922

24 окт, 19:22 #201 #1081319

>>1081179
>Плюс начинаются возрастные изменения, справляться с которыми они и не умеют
Поясни, что за изменения и как можно справиться.

Ответы81329

24 окт, 19:29 #202 #1081323

>>1081233
>Даже для толковых прогеров потолок тыщ 200 по текущему курсу
Не обязательно на Россию работать

Ответы81328

24 окт, 19:31 #203 #1081328

>>1081323
Так ты диванный. Ясно.

24 окт, 19:31 #204 #1081329

>>1081319
>Поясни, что за изменения и как можно справиться.
https://ru.wikipedia.org/wiki/Климакс_(физиология)
Климакс (от греч. κλῖμαξ — лестница) — период в жизни биологической особи, характеризующийся инволюцией, угасанием функции половой системы, происходящим в связи с возрастными изменениями. По отношению к женщинам также употребляют термин менопауза.

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

Климакс у женщин – это особый период в жизни каждой женщины, обычно в 48 ± 3 лет, сопровождается снижением уровня половых гормонов и постепенной утратой репродуктивной функции. В медицине, климакс – это цепочка физиологических событий растянутых во времени.

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

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

24 окт, 19:32 #205 #1081331

>>1081259
>феминистки не одевающие прокладок
где логика? в чем прикол? смысл?

Ответы8133681338

24 окт, 19:34 #206 #1081332

>>1081315
>Так почему власть в США не введет обязательные тесты ДНК детей в роддомах?
Это было бы что-то уровня конца света\избрания Хиллари Клинтон президентом.

24 окт, 19:37 #207 #1081336

>>1081331
>где логика? в чем прикол? смысл?
Бодипозитив.

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

Ответы81339

24 окт, 19:39 #208 #1081338

>>1081331
Это выдумка школьников из б и прочих хейтеров того уже уровня.

мимокапитан

24 окт, 19:40 #209 #1081339

>>1081336
>Бодипозитив.
И вот, кстати, боди-позитив-женщины являются ЛЮТЫМИ лукистками по отношению к мужчинам.

27 окт, 10:21 #210 #1082618

>>1081266
Прототипы уже строят. А что?

27 окт, 20:56 #211 #1082915

>>1081068
Ясно, запишем как
>пук

Ответы8295084030

27 окт, 21:11 #212 #1082922

>>1081318
Хули аргументировать, там такая же система типов как в Go, если ты не заметил. При том что на сайте заявлено Really type safe. На этом можно закончить.

Ответы8292882944

27 окт, 21:30 #213 #1082928

>>1082922
Там хоть вывод типов есть? Обычно в сабтапинг-парашах худо с этим.

27 окт, 21:48 #214 #1082944

>>1082922
>пук

Ответы8295084030

189 Кб, webm, 640x360, 0:02

27 окт, 22:00 #215 #1082950

>>1082944
>>1082915

Ответы84021

661 Кб, mp4, 360x360, 0:15

29 окт, 23:54 #216 #1084021

>>1082950

Ответы84030

2,8 Мб, webm, 1280x720, 0:10

30 окт, 00:11 #217 #1084030

>>1084021
>>1082915
>>1082944

Ответы84045

30 окт, 00:43 #218 #1084045

>>1084030
Как же ты отвратителен.

30 окт, 15:27 #219 #1084275

Петух Пропессор, лучший друг Максима, открыл для себя Аду:

https://nponeccop.livejournal.com/580774.html

Спешите потроллеть.

30 окт, 16:11 #220 #1084313

Тут из альтернативной вселенной http://www.spark-2014.org/about сообщают, что завтипы говно и не нужны.

Вместо этого берете язык с простыми типами и контрактами в стиле Eiffel https://www.eiffel.com/values/design-by-contract/introduction/ и скармливаете статик ассерты в http://why3.lri.fr/#users которая дальше их скармливает пруверам из списка http://why3.lri.fr/#provers

Оно и в кок конечно умеет скармливать, но пруверы для конечных теорий (типа SMT FixedSizeBitVectors) по понятным причинам и работают лучше, и точнее моделируют машинное представление.

Ответы84346

30 окт, 16:57 #221 #1084346

>>1084313

>Вместо этого берете язык с простыми типами и контрактами в стиле Eiffel https://www.eiffel.com/values/design-by-contract/introduction/ и скармливаете статик ассерты в http://why3.lri.fr/#users которая дальше их скармливает пруверам из списка http://why3.lri.fr/#provers

В clojure примерно так и делают, только из коробки и библиотеками, а не экстернал хуётами.

Ответы84526

30 окт, 20:51 #222 #1084526

>>1084346
И это чем лучше пруверов для конечны теорий? Чем лучше HoTT пруверов?

30 окт, 23:10 #223 #1084653

бамп

30 окт, 23:14 #224 #1084655

>>1080750
Это нишевый тырпрайзный язык.

30 окт, 23:29 #225 #1084668

>>1077629 (OP)
Ну я для себя сделал простой вывод, когда почитал статейку от автора то ли Dafny, то ли F*, в которой он строил доказательство для чего-то простого, сортировки что-ли. В статье прямым текстом говорилось - то да сё, задача сложная, я потратил несколько вечеров, положим хуй.

Ответы84670

30 окт, 23:35 #226 #1084670

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

2 ноя, 19:34 #227 #1086315

Мудак Тонпа.

4 ноя, 12:31 #228 #1087047

8 ноя, 04:54 #229 #1088648

Тред утонул или удален.
Это копия, сохраненная 13 ноября 2017 года.

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

Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.

« /pr/В начало тредаВеб-версияНастройки/a//b//mu//s//vg/Все доски

Пользуетесь скринридером — пишите, что можно улучшить.
Host-Food.ru — надёжный хостинг от 12 руб/мес | Free DNS
Зеркала М.Двача: m2ch.hk, m2ch.lib, m2chfapiswfw2wcakptqp4o6ltgchvjuxfab7urxlduraomtlnhw5xad.onion