Z
Держал его "на всякий случай"
Size: a a a
2021 March 29
aM
скорее всего,оно бы в лог вывело
aM
впрочем,хз
Z
Нет там ничего
.
points2001
Ищу людей для решения следующих задач:
— написание простого scala приложения на андроид
— кодогенерация из Isabelle/HOL в scala, использование модуля расширения для генерации функции по спецификации (то есть разработка некоторых функций идет в виде указания пред- и пост-условий к требуемой программе, далее по этим условиям программа подбирает статистическими методами читаемый исходный код).
Бэкэнд:
— верификация в HOL4 cakeML ffi с монадами, определение "универсальных" абстрактных функций send, receive (чтобы можно было копировать псевдокод из статей)
— написание на HOL4 интерфейса для подключения внешних модулей безопасности: https://github.com/open-quantum-safe
— разработка fastcgi сервера на cakeml (сокеты уже есть) , запуск его на nginx
Далее из этих кирпичиков можно будет собирать протоколы и прочие сервисы, на которых будет построен децентрализованный криптомессенджер (в произвольных оверлейных сетях с проксями) без регистрации и смс, с самым лучшим, что есть в telegram)
[xmpp] На правах рекламы:Ищу людей для решения следующих задач:
— написание простого scala приложения на андроид
— кодогенерация из Isabelle/HOL в scala, использование модуля расширения для генерации функции по спецификации (то есть разработка некоторых функций идет в виде указания пред- и пост-условий к требуемой программе, далее по этим условиям программа подбирает статистическими методами читаемый исходный код).
Бэкэнд:
— верификация в HOL4 cakeML ffi с монадами, определение "универсальных" абстрактных функций send, receive (чтобы можно было копировать псевдокод из статей)
— написание на HOL4 интерфейса для подключения внешних модулей безопасности: https://github.com/open-quantum-safe
— разработка fastcgi сервера на cakeml (сокеты уже есть) , запуск его на nginx
Далее из этих кирпичиков можно будет собирать протоколы и прочие сервисы, на которых будет построен децентрализованный криптомессенджер (в произвольных оверлейных сетях с проксями) без регистрации и смс, с самым лучшим, что есть в telegram)
Z
points2001
Ищу людей для решения следующих задач:
— написание простого scala приложения на андроид
— кодогенерация из Isabelle/HOL в scala, использование модуля расширения для генерации функции по спецификации (то есть разработка некоторых функций идет в виде указания пред- и пост-условий к требуемой программе, далее по этим условиям программа подбирает статистическими методами читаемый исходный код).
Бэкэнд:
— верификация в HOL4 cakeML ffi с монадами, определение "универсальных" абстрактных функций send, receive (чтобы можно было копировать псевдокод из статей)
— написание на HOL4 интерфейса для подключения внешних модулей безопасности: https://github.com/open-quantum-safe
— разработка fastcgi сервера на cakeml (сокеты уже есть) , запуск его на nginx
Далее из этих кирпичиков можно будет собирать протоколы и прочие сервисы, на которых будет построен децентрализованный криптомессенджер (в произвольных оверлейных сетях с проксями) без регистрации и смс, с самым лучшим, что есть в telegram)
[xmpp] На правах рекламы:Ищу людей для решения следующих задач:
— написание простого scala приложения на андроид
— кодогенерация из Isabelle/HOL в scala, использование модуля расширения для генерации функции по спецификации (то есть разработка некоторых функций идет в виде указания пред- и пост-условий к требуемой программе, далее по этим условиям программа подбирает статистическими методами читаемый исходный код).
Бэкэнд:
— верификация в HOL4 cakeML ffi с монадами, определение "универсальных" абстрактных функций send, receive (чтобы можно было копировать псевдокод из статей)
— написание на HOL4 интерфейса для подключения внешних модулей безопасности: https://github.com/open-quantum-safe
— разработка fastcgi сервера на cakeml (сокеты уже есть) , запуск его на nginx
Далее из этих кирпичиков можно будет собирать протоколы и прочие сервисы, на которых будет построен децентрализованный криптомессенджер (в произвольных оверлейных сетях с проксями) без регистрации и смс, с самым лучшим, что есть в telegram)
Почему такой стек наркоманский?
Z
Клиент для андроида на котлине, серверные ноды на питоне
Z
И погнали
Z
Криптография через GPG
.
Почему такой стек наркоманский?
потому что хай-тек и исследование
H
ой.
портирование нески на питон не осилили, а тут криптомессенджер.
портирование нески на питон не осилили, а тут криптомессенджер.
.
Криптография через GPG
понимаешь, уровень проекта должен быть мировой)
Z
Ууу, ну все понятно
.
ой.
портирование нески на питон не осилили, а тут криптомессенджер.
портирование нески на питон не осилили, а тут криптомессенджер.
ну не я же портировал
.
abslimit
> портирование нески на питон не осилили, а тут криптомессенджер.
Ты про что?
[xmpp] > telegram tinselbaum: ой.> портирование нески на питон не осилили, а тут криптомессенджер.
Ты про что?
PK
12309?
100%
.
abslimit
> портирование нески на питон не осилили, а тут криптомессенджер.
Ты про что?
[xmpp] > telegram tinselbaum: ой.> портирование нески на питон не осилили, а тут криптомессенджер.
Ты про что?
про PySca
.
abslimit
[xmpp] А ты тут причем, точки?PK
Погулил, этот баг ещё в 4.10 исправили
Это фича брат
PK
Она всегда будет в линухе