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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

// CIPHERNET

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

G

Gymmasssorla in // CIPHERNET
Мне до дизайна правильных языков ещё лет 10 опыта как минимум
источник
21:36пожаловаться#1

G

Gymmasssorla in // CIPHERNET
источник
21:38пожаловаться#2

G

Gymmasssorla in // CIPHERNET
Если так подумать, то на Си можно писать даже безопаснее, чем на Rust
источник
21:42пожаловаться#3

G

Gymmasssorla in // CIPHERNET
@p0lunin
источник
21:42пожаловаться#4

G

Gymmasssorla in // CIPHERNET
Потому что есть утилита для обнаружения логических ошибок
источник
21:42пожаловаться#5

p

polunin.ai in // CIPHERNET
это как?
источник
21:45пожаловаться#6

G

Gymmasssorla in // CIPHERNET
polunin.ai
это как?
https://frama-c.com/download/acsl-tutorial.pdf
источник
21:46пожаловаться#7

G

Gymmasssorla in // CIPHERNET
Как в F*
источник
21:46пожаловаться#8

G

Gymmasssorla in // CIPHERNET
Я её даже почти осилил
источник
21:47пожаловаться#9

G

Gymmasssorla in // CIPHERNET
Ну т.е. в моём предствлении на NULL можно хотя бы проверять без потери чего-либо. Если супир-сикурити, то можно более сложные доказательства строить
источник
21:48пожаловаться#10

G

Gymmasssorla in // CIPHERNET
У Rust такого встроенного инструмента нет
источник
21:49пожаловаться#11

G

Gymmasssorla in // CIPHERNET
Может я верифицированную ОС запрограммирую с помощью ACSL. Посмотрим что получится
источник
21:51пожаловаться#12

G

Gymmasssorla in // CIPHERNET
https://www.reddit.com/r/Pikabu/comments/g12x1b/%D0%BD%D0%BE%D0%B6%D0%BA%D0%B8_%D0%B2_%D1%87%D1%83%D0%BB%D0%BA%D0%B0%D1%85/
reddit
Ножки в чулках
Posted in r/Pikabu by u/SiskiPipiski • 273 points and 36 comments
источник
22:01пожаловаться#13

ED

Eto Demerzel in // CIPHERNET
Gymmasssorla
> When I read C, I know what the assembly language would look like
Будто это плюс...
источник
22:45пожаловаться#14

G

Gymmasssorla in // CIPHERNET
Eto Demerzel
Будто это плюс...
Ну в низкоуровневой разработке как бы да
источник
22:46пожаловаться#15

ED

Eto Demerzel in // CIPHERNET
Gymmasssorla
Ну в низкоуровневой разработке как бы да
https://queue.acm.org/detail.cfm?id=3212479
queue.acm.org
C Is Not a Low-level Language - ACM Queue
In the wake of the recent Meltdown and Spectre vulnerabilities, it
источник
22:48пожаловаться#16

G

Gymmasssorla in // CIPHERNET
Eto Demerzel
https://queue.acm.org/detail.cfm?id=3212479
queue.acm.org
C Is Not a Low-level Language - ACM Queue
In the wake of the recent Meltdown and Spectre vulnerabilities, it
Давай не эту полемику. Си используется в низкоуровневой разработки? Используется
источник
22:49пожаловаться#17

ED

Eto Demerzel in // CIPHERNET
Gymmasssorla
Давай не эту полемику. Си используется в низкоуровневой разработки? Используется
Это не полемика.
источник
22:49пожаловаться#18

G

Gymmasssorla in // CIPHERNET
Eto Demerzel
Это не полемика.
Это именно, что полемика, потому что понятия высокоуровневости/низкоуровневости очень расплывчаты
источник
22:51пожаловаться#19

G

Gymmasssorla in // CIPHERNET
И я говорил о низкоуровневой разработки, а не о низкоуровневом ЯПе
источник
22:51пожаловаться#20