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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

rust_offtopic

427 membersпожаловаться на группу
2020 August 24

CD

Constantine Drozdov in rust_offtopic
в отличие от Idris
источник
21:12пожаловаться#1

ΑZ

Αλεχ Zhukovsky in rust_offtopic
Constantine Drozdov
но тесты весьма хороши в обнаружении ошибок ОС
(нет)
источник
21:13пожаловаться#2

ΑZ

Αλεχ Zhukovsky in rust_offtopic
короче
источник
21:13пожаловаться#3

CD

Constantine Drozdov in rust_offtopic
Αλεχ Zhukovsky
(нет)
да
источник
21:13пожаловаться#4

ΑZ

Αλεχ Zhukovsky in rust_offtopic
окей
источник
21:13пожаловаться#5

ΑZ

Αλεχ Zhukovsky in rust_offtopic
ты меня полностью обезоружил
источник
21:13пожаловаться#6

CD

Constantine Drozdov in rust_offtopic
Αλεχ Zhukovsky
(нет)
потому что все их я знаю из-за тестов :)
источник
21:13пожаловаться#7

ΑZ

Αλεχ Zhukovsky in rust_offtopic
совершенно прав
источник
21:13пожаловаться#8

ΑZ

Αλεχ Zhukovsky in rust_offtopic
типы говно
источник
21:13пожаловаться#9

ΑZ

Αλεχ Zhukovsky in rust_offtopic
только тесты решают реальные проблемы
источник
21:13пожаловаться#10

ΑZ

Αλεχ Zhukovsky in rust_offtopic
я заблуждался
источник
21:13пожаловаться#11

ΑZ

Αλεχ Zhukovsky in rust_offtopic
удаляю идрис завтра
источник
21:13пожаловаться#12

ΑZ

Αλεχ Zhukovsky in rust_offtopic
просит что сомневался
источник
21:13пожаловаться#13

CD

Constantine Drozdov in rust_offtopic
Αλεχ Zhukovsky
только тесты решают реальные проблемы
почему ты опять все переврал?)
источник
21:13пожаловаться#14

CD

Constantine Drozdov in rust_offtopic
ну зачем
источник
21:13пожаловаться#15

CD

Constantine Drozdov in rust_offtopic
тезис вообще не такой
источник
21:13пожаловаться#16

ΑZ

Αλεχ Zhukovsky in rust_offtopic
бтв увольняюсь с сишарпа
источник
21:13пожаловаться#17

ΑZ

Αλεχ Zhukovsky in rust_offtopic
там типы врунишки. Пойду напитон
источник
21:13пожаловаться#18

p

polunin.ai in rust_offtopic
Constantine Drozdov
в отличие от Idris
Да, потому что с верификацией ошибок не будет, потому что все нужные свойства доказаны, а что не доказал то не верифицировано следовательно проблема не в верификации
источник
21:13пожаловаться#19

CD

Constantine Drozdov in rust_offtopic
Αλεχ Zhukovsky
только тесты решают реальные проблемы
тезис "сильная типизация без возможности её обойти искажает workflow"
источник
21:14пожаловаться#20