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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

rust_offtopic

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

p

polunin.ai in rust_offtopic
Constantine Drozdov
А верификация не нашла случайную ошибку
С верификацией ошибок не может быть. С верификацией твоя программа соответствует спецификации. Ошибка может быть если ты неправильно написал спецификацию, а эта проблема характерна для программирования в целом.
источник
21:06пожаловаться#1

ΑZ

Αλεχ Zhukovsky in rust_offtopic
Constantine Drozdov
если реверс выдаст пустой ответ, то любая использующая функция сломается на любом тесте
void reverse(vector<int> vec) {}
источник
21:06пожаловаться#2

ΑZ

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

p

polunin.ai in rust_offtopic
Emmanuel Goldstein
Проверифицировать всех черепах до самого низа возможным не представляется
Возможно конечно
источник
21:06пожаловаться#4

CD

Constantine Drozdov in rust_offtopic
polunin.ai
С верификацией ошибок не может быть. С верификацией твоя программа соответствует спецификации. Ошибка может быть если ты неправильно написал спецификацию, а эта проблема характерна для программирования в целом.
Моя программа соответствует* спецификации**
* если компилятор соответствует спецификации, а таких нет
** если спецификация хоть немного отражает реальность
источник
21:06пожаловаться#5

EG

Emmanuel Goldstein in rust_offtopic
polunin.ai
Возможно конечно
Возможно, но не вероятно
источник
21:07пожаловаться#6

p

polunin.ai in rust_offtopic
Emmanuel Goldstein
Возможно, но не вероятно
Ну и да, какое это имеет отношение к разговру
источник
21:07пожаловаться#7

EG

Emmanuel Goldstein in rust_offtopic
Тесты ловят ошибки в любом коде, а не только в том, который ты написал и проверифицировал
источник
21:07пожаловаться#8

CD

Constantine Drozdov in rust_offtopic
А еще ошибки в твоем железе иногда)
источник
21:08пожаловаться#9

EG

Emmanuel Goldstein in rust_offtopic
Если есть баг в компиляторе, тебе должно ОЧЕНЬ не повезти, чтобы тесты его не поймали
источник
21:08пожаловаться#10

EG

Emmanuel Goldstein in rust_offtopic
У тебя есть баг в компиляторе, ты пишешь на Idris
источник
21:08пожаловаться#11

p

polunin.ai in rust_offtopic
Constantine Drozdov
А еще ошибки в твоем железе иногда)
И?
источник
21:08пожаловаться#12

ΑZ

Αλεχ Zhukovsky in rust_offtopic
Constantine Drozdov
Моя программа соответствует* спецификации**
* если компилятор соответствует спецификации, а таких нет
** если спецификация хоть немного отражает реальность
безопасно считать что компилятор соответствует спецификации
источник
21:09пожаловаться#13

EG

Emmanuel Goldstein in rust_offtopic
Кстати, отходя от темы срача
источник
21:09пожаловаться#14

CD

Constantine Drozdov in rust_offtopic
Αλεχ Zhukovsky
безопасно считать что компилятор соответствует спецификации
нет
источник
21:09пожаловаться#15

ΑZ

Αλεχ Zhukovsky in rust_offtopic
Constantine Drozdov
нет
за 10 лет ни разу не видел ошибки в программе из-за компилятора
источник
21:09пожаловаться#16

p

polunin.ai in rust_offtopic
polunin.ai
Верификация лучше тестов поскольку:
1. Покрывает 100% случаев.
2. Можно переиспользовать.
3. Писать новый код можно с гарантиями на тайплевеле.

А тесты нужны если ты макака которая не умеет в верификацию, потому что тесты проще в изучении
Что вот здесь вам непонятно скажите
источник
21:09пожаловаться#17

EG

Emmanuel Goldstein in rust_offtopic
Кто-нибудь знает сервис, на котором можно хранить категоризированные списки всякой хуеты?
источник
21:09пожаловаться#18

p

polunin.ai in rust_offtopic
Я не хочу хернёй страдать с вами
источник
21:09пожаловаться#19

CD

Constantine Drozdov in rust_offtopic
Αλεχ Zhukovsky
за 10 лет ни разу не видел ошибки в программе из-за компилятора
а я лично написал 2 репорта кодогенератора за последние два года
источник
21:10пожаловаться#20