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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

// CIPHERNET

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

M

MrSmith in // CIPHERNET
Раст молодой пока. Типа я хз чего тебе в бд не нравится
источник
22:02пожаловаться#1

M

MrSmith in // CIPHERNET
Одно тока ишью допилить пест чего стоит
источник
22:03пожаловаться#2

G

Gymmasssorla in // CIPHERNET
я планирую написать ядро на верифицированном си
источник
22:03пожаловаться#3

G

Gymmasssorla in // CIPHERNET
это мощно сочно
источник
22:03пожаловаться#4

M

MrSmith in // CIPHERNET
Но зачем
источник
22:03пожаловаться#5

G

Gymmasssorla in // CIPHERNET
хуй пульсирует как ты говоришь
источник
22:03пожаловаться#6

VG

Vyacheslav Goma in // CIPHERNET
Gymmasssorla
я планирую написать ядро на верифицированном си
https://github.com/tomaka/redshirt
GitHub
tomaka/redshirt
Operating system. Contribute to tomaka/redshirt development by creating an account on GitHub.
источник
22:03пожаловаться#7

G

Gymmasssorla in // CIPHERNET
MrSmith
Но зачем
ну я опыта во первых наберусь в формальной верификации
источник
22:03пожаловаться#8

VG

Vyacheslav Goma in // CIPHERNET
это не тыкал?
источник
22:03пожаловаться#9

G

Gymmasssorla in // CIPHERNET
в ОС
источник
22:03пожаловаться#10

G

Gymmasssorla in // CIPHERNET
еще другие разрабы в формальной верификации смогут в мой код смотреть
источник
22:03пожаловаться#11

G

Gymmasssorla in // CIPHERNET
и вообще это круто
источник
22:04пожаловаться#12

M

MrSmith in // CIPHERNET
sticker.webp
(15.01 Кб)
источник
22:04пожаловаться#13

G

Gymmasssorla in // CIPHERNET
Vyacheslav Goma
https://github.com/tomaka/redshirt
GitHub
tomaka/redshirt
Operating system. Contribute to tomaka/redshirt development by creating an account on GitHub.
сейчас посмотрим
источник
22:04пожаловаться#14

VG

Vyacheslav Goma in // CIPHERNET
модно, молодежно, можно верифицировать драйвера ибо они общаются с микроядром только и юзерспейсом
источник
22:04пожаловаться#15

M

MrSmith in // CIPHERNET
Влажно что пиздец
источник
22:04пожаловаться#16

VG

Vyacheslav Goma in // CIPHERNET
но пока в зачатках, чел дум пытается сделать играбельным через хост фреймбуфер
источник
22:04пожаловаться#17

M

MrSmith in // CIPHERNET
Вон кстати гугл свою ось пилит
источник
22:05пожаловаться#18

M

MrSmith in // CIPHERNET
Фуксия
источник
22:05пожаловаться#19

G

Gymmasssorla in // CIPHERNET
Vyacheslav Goma
модно, молодежно, можно верифицировать драйвера ибо они общаются с микроядром только и юзерспейсом
это немного не про то, у раста нормального тула для верификации нет
источник
22:05пожаловаться#20