MO
Если хотите, заходите, я планирую весь день куковать
Size: a a a
2020 July 15
MO
ссыль бросил в recycle bin
a
@hackernews@die-partei.social 🔗 https://die-partei.social/users/hackernews/statuses/104514217767279930
-
TikTok Agreed to Buy More Than $800M in Cloud Services from Google - https://www.theinformation.com/articles/tiktok-agreed-to-buy-more-than-800-million-in-cloud-services-from-google
-
TikTok Agreed to Buy More Than $800M in Cloud Services from Google - https://www.theinformation.com/articles/tiktok-agreed-to-buy-more-than-800-million-in-cloud-services-from-google
.
@hackernews@die-partei.social 🔗 https://die-partei.social/users/hackernews/statuses/104514217767279930
-
TikTok Agreed to Buy More Than $800M in Cloud Services from Google - https://www.theinformation.com/articles/tiktok-agreed-to-buy-more-than-800-million-in-cloud-services-from-google
-
TikTok Agreed to Buy More Than $800M in Cloud Services from Google - https://www.theinformation.com/articles/tiktok-agreed-to-buy-more-than-800-million-in-cloud-services-from-google
Ну всё, теперь точно в новый мессенджер нужно будет добавлять тик токи
a
Ну всё, теперь точно в новый мессенджер нужно будет добавлять тик токи
Стеганография сообщений тик токами
.
Стеганография сообщений тик токами
Под музыку Шуфутинского
a
А Я окно
переключу
И снова точки кодит массагер
переключу
И снова точки кодит массагер
a
ссыль бросил в recycle bin
Да можно и тут
.
А Я окно
переключу
И снова точки кодит массагер
переключу
И снова точки кодит массагер
Вчера сокеты скомпилил под compcert.
Как сделать быстрый и надёжный fastcgi сервер на чистом Си. Какие абстрактные требования для этого должны быть, чтобы точно не было segmentation fault, исполнения вредоносного кода, зависания и прочего нехорошего поведения?
Как сделать быстрый и надёжный fastcgi сервер на чистом Си. Какие абстрактные требования для этого должны быть, чтобы точно не было segmentation fault, исполнения вредоносного кода, зависания и прочего нехорошего поведения?
.
То есть идея коммуникаций следующая: низкоуровневые действия типа подключения к nginx, очередь отправки, получения сообщений, создания потоков и асинхронная передача с переключением между tcp/udp написать на CompCert C. А более высокоуровневое поведение XMPP сервера отдать CakeML
.
Ну и взаимодействие между Си и ML через FFI, чтобы скорость не падала
A
Вчера сокеты скомпилил под compcert.
Как сделать быстрый и надёжный fastcgi сервер на чистом Си. Какие абстрактные требования для этого должны быть, чтобы точно не было segmentation fault, исполнения вредоносного кода, зависания и прочего нехорошего поведения?
Как сделать быстрый и надёжный fastcgi сервер на чистом Си. Какие абстрактные требования для этого должны быть, чтобы точно не было segmentation fault, исполнения вредоносного кода, зависания и прочего нехорошего поведения?
Если хочется безопасности - то надо на расте писать, а не на сишке...
.
Если хочется безопасности - то надо на расте писать, а не на сишке...
CompCert C — адки надёжная штука. Там даже жёсткая система типов
.
Это C99, который проверяется через Coq
A
CompCert C — адки надёжная штука. Там даже жёсткая система типов
Интересно, до херблида разрабы тоже говорили про адскую надёжность или нет. 🤔
.
Интересно, до херблида разрабы тоже говорили про адскую надёжность или нет. 🤔
A
Не совсем понял. "Официально сертифицированный компилятор" не сможет скомпилить код, который в рантайме может сделать сегфолт?
.
Не совсем понял. "Официально сертифицированный компилятор" не сможет скомпилить код, который в рантайме может сделать сегфолт?
Сам компилятор не сможет упасть или сгенерировать машинный код, который не соответствует исходникам программы.
Но исходники программы могут содержать ошибку и мы можем его скомпилировать, но если дополнительно подключить clightgen и через Coq доказать, что исходник соответствует абстрактной моделе программы, то уже вызвать сегфолт не получится.
Но исходники программы могут содержать ошибку и мы можем его скомпилировать, но если дополнительно подключить clightgen и через Coq доказать, что исходник соответствует абстрактной моделе программы, то уже вызвать сегфолт не получится.
C
