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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

fprog_spb

438 membersпожаловаться на группу
2021 June 02

AT

Alexander Tchitchigi... in fprog_spb
Прикольный ответ — мне нравится. 👍
К сожалению, это работает только до момента когда приходит "камеральная проверка" и спрашивает: "Вы куда картошку и свеклу дели? Борщ? А где доказательства? Нету? Тогда Вы оштрафованы." 😂
источник
11:05пожаловаться#1

AV

Alexander Vershilov in fprog_spb
А какой практический толк от завершимости?
источник
11:05пожаловаться#2

AV

Alexander Vershilov in fprog_spb
доказательства завершимости
источник
11:06пожаловаться#3

AV

Alexander Vershilov in fprog_spb
Ну вот есть скажем dhall там построение всех конфигов завершаются. На практике там сплошлные экспоненты экспонент и ты не дожидаешься проверки типов
источник
11:07пожаловаться#4

AV

Alexander Vershilov in fprog_spb
И умираешь
источник
11:07пожаловаться#5

AV

Alexander Vershilov in fprog_spb
от старости
источник
11:07пожаловаться#6

AT

Alexander Tchitchigi... in fprog_spb
До бизнес-процессов академики ещё толком не добрадись. Благо, люди способны делать то, что автор имел в виду, а не то, что он написал. В отличие от компьютеров. Конечно, всплывают и "побочные эффекты", но человечество с ними борется уже несколько веков, так что накоплен значительный запас "best practices". 😊
источник
11:07пожаловаться#7

AV

Alexander Vershilov in fprog_spb
А ещё если тьюринг к тюринг полному алгоритму добавляется timeout X || действие по таймауту то он тоже завершается ^_^
источник
11:09пожаловаться#8

AT

Alexander Tchitchigi... in fprog_spb
Немного спокойнее, чем гадать "оно повисло? или всё ещё работает? или повисло? это ошибка в реализации? или в данных? или вообще всё нетак?!" 😃
источник
11:09пожаловаться#9

AT

Alexander Tchitchigi... in fprog_spb
Ага. Хорошо бы программисты не забывали кругом таймауты расставлять, правда? 😉
источник
11:10пожаловаться#10

AV

Alexander Vershilov in fprog_spb
Многое, что хорошо бы
источник
11:10пожаловаться#11

AV

Alexander Vershilov in fprog_spb
Хорошо бы логи писали, общались с базой так чтобы не терялись никакие данные
источник
11:11пожаловаться#12

AV

Alexander Vershilov in fprog_spb
Делали нужный redundancy для восстановления в случае поломок и возможности кросс-проверок
источник
11:11пожаловаться#13

AV

Alexander Vershilov in fprog_spb
Но это несколько ортогонально
источник
11:11пожаловаться#14

AV

Alexander Vershilov in fprog_spb
Это конечно anecdotal experience, но по мне если с правилами придётся работать внешним людям, то лучше взять человеческий тьюринг полный язык
источник
11:12пожаловаться#15

АХ

Алексей Худяков... in fprog_spb
На практике тоже? Я думал только я создал синтетический пример
источник
11:13пожаловаться#16

AV

Alexander Vershilov in fprog_spb
На практике никто не умер, но делали кучу костылей, чтобы работало побыстрее т.к. сильно напрягало
источник
11:13пожаловаться#17

AV

Alexander Vershilov in fprog_spb
Кажется @swamp_agr про что-то такое рассказывать будет
источник
11:13пожаловаться#18

A

Andrey in fprog_spb
спойлер алерт ⚠️
источник
11:14пожаловаться#19

A

Andrey in fprog_spb
шучу, про экспоненты тоже скажу, раз они дважды тут упоминались
источник
11:14пожаловаться#20