Forwarded from Anton Chikin
Все мы выяснили. Нижник этот в тревеле сидит, никакой он не главный скалист - как и все в туалет отпращивается
Forwarded from Anton Chikin
Знаешь анекдот. Приходит сын к отцу и говорит: “Папа что такое некомпетентность и безразличие? Знаешь, сынок, не разбираюсь я в этом да и мне вообщем-то похер”
Forwarded from Константин
хорошо что я когда-то очень давно между кложей и скалой выбрал кложу, стратегически верное решение
Константин
хорошо что я когда-то очень давно между кложей и скалой выбрал кложу, стратегически верное решение
Тезис хорошо сочетается со слайдами
Forwarded from Alex Bubnov
а эрланг тут притом, что все эти ваши джявя-технологии типа аппсерверов и контейнеров уже 20+ лет безуспешно стремятся к тому, что в эрланге было заложено by design. и будут стремиться безуспешно, потому что share-anything окружение с повсеместной мутабельностью не сделать менее убогим, какие фокусы с класслоадерами не вытворяй.
Forwarded from Alex Bubnov
Верификация нужна либо в life-critical системах, либо сосункам, не умеющим в изоляцию и каскадирование ошибок, и ты не похож на разраба софта для АЭС.
Forwarded from Mikhail Borisov
Как верифицировать, что веб сервер не падает под высокой нагрузкой?
Forwarded from jahson
Видимо не с кем поговорить, вот и приходится побираться по чатам, рассказывая удивительные байки и пытаясь спровоцировать срачик. На кнопки вы точно умеете нажимать, с остальным не все так радужно.
Forwarded from jahson
Конечно, тяжелая доля гения, то есть я хотел сказать, долбоёба.
Forwarded from Aleksey @cheatex
Coq вроде уже лет 15 ничего не ломает и даже не очень специфицированный язык тактик доказывает примерно то же самое от версии к версии. Или у меня слишком радужная картина?
https://news.1rj.ru/str/clojure_ru/122081
«Муууу!» - говорит коровка.
«Типы в компайле не нужны», - говорит долбаеб.
«Муууу!» - говорит коровка.
«Типы в компайле не нужны», - говорит долбаеб.
Telegram
Vyacheslav Mikushev in Clojure — русскоговорящее сообщество
Я тоже так думаю. Как можно разговаривать с человеком, если он не отличает бестиповый язык программирования от языка со многими типами, но проверяемыми в рантайме.:)