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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

rust_offtopic

404 membersпожаловаться на группу
2020 October 29

H

Hirrolot in rust_offtopic
лол реально?
источник
23:50пожаловаться#1

H

Hirrolot in rust_offtopic
лол
источник
23:50пожаловаться#2

H

Hirrolot in rust_offtopic
кстати были попытки формализации многопотока и синхронизации в C++
источник
23:51пожаловаться#3

D

Dima in rust_offtopic
https://www.google.com/url?sa=t&source=web&rct=j&url=https://plv.mpi-sws.org/scfix/full.pdf&ved=2ahUKEwih4oD81trsAhWntYsKHVqdCuAQFjACegQIZRAC&usg=AOvVaw1lh5KhLiHT03BSvY4Nq1v2
источник
23:51пожаловаться#4

D

Dima in rust_offtopic
Так они и сломанны
источник
23:51пожаловаться#5

D

Dima in rust_offtopic
Ладно, я опять свою шарманку завел, сорри)
источник
23:52пожаловаться#6

H

Hirrolot in rust_offtopic
источник
23:55пожаловаться#7

H

Hirrolot in rust_offtopic
sticker.webp
(10.87 Кб)
источник
23:55пожаловаться#8
2020 October 30

D

Dima in rust_offtopic
@hirrolot https://www.google.com/url?sa=t&source=web&rct=j&url=https://plv.mpi-sws.org/rustbelt/rbrlx/paper.pdf&ved=2ahUKEwi7t77r2NrsAhUImIsKHRpIC5gQFjAAegQIPhAB&usg=AOvVaw2j5Bq3I64o_TdapqDgPonV ради интереса что за раздел математики на fig.3 например?
источник
00:02пожаловаться#9

H

Hirrolot in rust_offtopic
логика хоара? хз
источник
00:04пожаловаться#10

D

Dima in rust_offtopic
Вот и я хз
источник
00:05пожаловаться#11

H

Hirrolot in rust_offtopic
Вентилятор какой-то
источник
00:10пожаловаться#12

s

suhr in rust_offtopic
https://en.wikipedia.org/wiki/Separation_logic
Wikipedia
Separation logic
In computer science, separation logic is an extension of Hoare logic, a way of reasoning about programs. It was developed by John C. Reynolds, Peter O'Hearn, Samin Ishtiaq and Hongseok Yang, drawing upon early work by Rod Burstall. The assertion language of separation logic is a special case of the logic of bunched implications (BI). A CACM review article by O'Hearn charts developments in the subject to early 2019.
источник
00:16пожаловаться#13

H

Hirrolot in rust_offtopic
Почти угадал
источник
00:17пожаловаться#14

s

suhr in rust_offtopic
Но в пейпере вообще есть ссылки.
источник
00:18пожаловаться#15

D

Dima in rust_offtopic
Ага)
источник
00:20пожаловаться#16

EG

Emmanuel Goldstein in rust_offtopic
Dima
И в случае chrono конечному пользователю все довольно просто сделать самому
Не просто
Мешает orphan rule
источник
00:20пожаловаться#17

EG

Emmanuel Goldstein in rust_offtopic
Ты не можешь имплементировать условный json::SerializeJson для chrono::SomeType
источник
00:21пожаловаться#18

EG

Emmanuel Goldstein in rust_offtopic
И тем более ты не можешь сделать это эффективно, потому что у тебя нет доступа к полям типа
источник
00:21пожаловаться#19

D

Dima in rust_offtopic
Мне понятны твои аргументы,   я просто сказал что меня подбешивает
источник
00:22пожаловаться#20