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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

rust_offtopic

375 membersпожаловаться на группу
2020 June 05

Ct

Casual tears in rust_offtopic
Sergey Korotkov
ну положим чисто в теории я допускаю что на том же расте можно писать мемори сейф программы. На практике я пока такого не видел (смотрю на продвижение раста с позиции геймдева) - везде почуть чуть ансейфом обмазано. Всегда будет трейдоф между безопасностью и производительностью.
> Всегда будет трейдоф между безопасностью и производительностью
Вот с этим кстати не согласен. Rust везде пытается этот трейдофф "сломать".
источник
01:30пожаловаться#1

MB

Mikail Bagishov in rust_offtopic
о, уважаю
источник
01:30пожаловаться#2

MB

Mikail Bagishov in rust_offtopic
Переслано от Mikail Bagishov
Бамбук же :)
источник
01:30пожаловаться#3

Ct

Casual tears in rust_offtopic
Правда платить все равно приходится, либо временем компиляции, либо усложнением абстракций.
источник
01:30пожаловаться#4

p

polunin.ai in rust_offtopic
Mikail Bagishov
Переслано от Mikail Bagishov
Бамбук же :)
Там весь оффтопик есть
источник
01:30пожаловаться#5

MB

Mikail Bagishov in rust_offtopic
polunin.ai
Там весь оффтопик есть
и не только
источник
01:30пожаловаться#6

SK

Sergey Korotkov in rust_offtopic
Casual tears
Правда платить все равно приходится, либо временем компиляции, либо усложнением абстракций.
согласен платить временем компиляции, но не лишним оверхдом в рантайме )
источник
01:31пожаловаться#7

MB

Mikail Bagishov in rust_offtopic
я вижу pro.algorithms
источник
01:31пожаловаться#8

Ct

Casual tears in rust_offtopic
Sergey Korotkov
ну вот мы и приходим к тому, что на практике скорее всего абсолютно безопасных программ не написать. В расте мы минимизируем это одними способами, в крестах другими. Да, "дефолтный уровень" надежности программ на расте, в этом плане, выше чем у крестов - с этим я не спорю
Теоретически можно наверное unsafe  куски попытаться формально верифицировать, но на практике это и правда сложно будет сделать.
источник
01:31пожаловаться#9

MB

Mikail Bagishov in rust_offtopic
Casual tears
Теоретически можно наверное unsafe  куски попытаться формально верифицировать, но на практике это и правда сложно будет сделать.
какие-то куски std верифицировали
источник
01:32пожаловаться#10

Ct

Casual tears in rust_offtopic
Mikail Bagishov
какие-то куски std верифицировали
Дада, я именно на rust belt  намекаю
источник
01:32пожаловаться#11

SK

Sergey Korotkov in rust_offtopic
Casual tears
Дада, я именно на rust belt  намекаю
хм не слышал, спасибо
источник
01:32пожаловаться#12

p

polunin.ai in rust_offtopic
Casual tears
Теоретически можно наверное unsafe  куски попытаться формально верифицировать, но на практике это и правда сложно будет сделать.
На самом деле если бы ансейф сделали эффектом, верифицировать было бы проще гораздо
источник
01:33пожаловаться#13

p

polunin.ai in rust_offtopic
И можно было бы верификацию прямо в код пихать
источник
01:33пожаловаться#14

KR

Kai Ren in rust_offtopic
Roman Proskuryakov
нет
овнершип
источник
01:33пожаловаться#15

RP

Roman Proskuryakov in rust_offtopic
спасибо
источник
01:33пожаловаться#16

RP

Roman Proskuryakov in rust_offtopic
эта херь в последнее время откуда-то просочилась
источник
01:34пожаловаться#17

RP

Roman Proskuryakov in rust_offtopic
я подозреваю, что из D
источник
01:34пожаловаться#18

SP

Stanislav Popov in rust_offtopic
Мэр Миннеаполиса Куколдополиса расплакался у гроба убитого наркомана-уголовника

Зацените золотой гроб, это пока куча других чернокожих вынуждены бомжевать в коробках и торговать крэком на углах.
источник
01:35пожаловаться#19

SP

Stanislav Popov in rust_offtopic
источник
01:35пожаловаться#20