Телеграмм чат группы moscowpythonconf страница 5257

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Moscow Python

1133 membersпожаловаться на группу

2021 February 09

➔m

➔◾ maria myznikova... in Moscow Python

➔◾ maria myznikova

А проблематика, например, может включать “у тебя на проекте сидит Мария, и она тупой разработчик и все делает медленно, пусть сделает хоть как-то, но сегодня” 😅

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

источник

15:16пожаловаться #1

N

Nikolay in Moscow Python

➔◾ maria myznikova

А проблематика, например, может включать “у тебя на проекте сидит Мария, и она тупой разработчик и все делает медленно, пусть сделает хоть как-то, но сегодня” 😅

быстро, дешево, качественно - выберите любые два

источник

15:16пожаловаться #2

➔m

➔◾ maria myznikova... in Moscow Python

быстро, дешево, качественно - выберите любые два

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

источник

15:17пожаловаться #3

SS

Sergey Sukhov in Moscow Python

Oлды тyт?

@inApple

источник

15:18пожаловаться #4

➔m

➔◾ maria myznikova... in Moscow Python

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

источник

15:18пожаловаться #5

➔m

➔◾ maria myznikova... in Moscow Python

Всё это начинает требовать другую модель, которая рассматривает качество кода как лишь один из весов

источник

15:18пожаловаться #6

AO

Andrew Onfire in Moscow Python

Oлды тyт?

@inApple

ПОЩАДЫ

источник

15:19пожаловаться #7

AS

Alexey Starkov in Moscow Python

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

источник

15:19пожаловаться #8

AS

Alexey Starkov in Moscow Python

доказано и математический факт

источник

15:19пожаловаться #9

p

pragus in Moscow Python

Oлды тyт?

@inApple

Все так :(

источник

15:19пожаловаться #10

AS

Alexey Starkov in Moscow Python

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

источник

15:20пожаловаться #11

N

Nikolay in Moscow Python

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

то, что что-то сложно, не значит, что оно "хуже" или "неверно"

источник

15:20пожаловаться #12

p

pragus in Moscow Python

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

Вот да. Описать реальность - самое сложное :)

источник

15:21пожаловаться #13

p

pragus in Moscow Python

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

И очень печалятся/возмущаются когда случается rampant layering violation ))

источник

15:21пожаловаться #14

AS

Alexey Starkov in Moscow Python

то, что что-то сложно, не значит, что оно "хуже" или "неверно"

а я и не говорю что хуже, но у меня трейдоф и делать 90% раоты ради того чтобы избежать 10% багов я не буду

источник

15:21пожаловаться #15

➔m

➔◾ maria myznikova... in Moscow Python

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

Ну тут можно возразить, что экспертная система должна стремиться насаждать свои практики, иначе откуда бизнесу знать, как надо—но это все равно диалог

источник

15:22пожаловаться #16

AS

Alexey Starkov in Moscow Python

➔◾ maria myznikova

Ну тут можно возразить, что экспертная система должна стремиться насаждать свои практики, иначе откуда бизнесу знать, как надо—но это все равно диалог

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

источник

15:23пожаловаться #17

➔m

➔◾ maria myznikova... in Moscow Python

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

источник

15:23пожаловаться #18

N

Nikolay in Moscow Python

а я и не говорю что хуже, но у меня трейдоф и делать 90% раоты ради того чтобы избежать 10% багов я не буду

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

источник

15:23пожаловаться #19

➔m

➔◾ maria myznikova... in Moscow Python

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

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

источник

15:24пожаловаться #20