Size: a a a

2021 March 11

PS

Peter Sovietov in Moscow Python
Для криптографии есть ряд хороших DSL, известных специалистам. Надеюсь, в этой области обойдутся без Rust-лихорадки. К слову, почему-то SQLite никто переводить на Rust не стремится. Хотя результат ведь автоматически должен быть лучше :)
источник

SZ

Shagit Ziganshin in Moscow Python
Peter Sovietov
Для криптографии есть ряд хороших DSL, известных специалистам. Надеюсь, в этой области обойдутся без Rust-лихорадки. К слову, почему-то SQLite никто переводить на Rust не стремится. Хотя результат ведь автоматически должен быть лучше :)
Проблема крипты очень была заметна когда писали WG и она довольна простая
источник

M

Maksimgeolog in Moscow Python
как эту бесящую штуку у курла убрать?
источник

SZ

Shagit Ziganshin in Moscow Python
Во всех *SSL:
очень МНОГО кода, который тяжело поддерживать
очень МНОГО легаси, который боятся удалить
источник

N

Nikolay in Moscow Python
Peter Sovietov
Для криптографии есть ряд хороших DSL, известных специалистам. Надеюсь, в этой области обойдутся без Rust-лихорадки. К слову, почему-то SQLite никто переводить на Rust не стремится. Хотя результат ведь автоматически должен быть лучше :)
ну, это решение мейнтейнеров же) но да, было бы лучше
источник

N

Nikolay in Moscow Python
Maksimgeolog
как эту бесящую штуку у курла убрать?
-s
источник

SZ

Shagit Ziganshin in Moscow Python
-s
источник

M

Maksimgeolog in Moscow Python
-spasibo
источник

N

Nikolay in Moscow Python
Peter Sovietov
Для криптографии есть ряд хороших DSL, известных специалистам. Надеюсь, в этой области обойдутся без Rust-лихорадки. К слову, почему-то SQLite никто переводить на Rust не стремится. Хотя результат ведь автоматически должен быть лучше :)
рискну предположить, что формальную верификацию на расте провести на порядок проще, чем на плюсах или тем более чистых сях
источник

PS

Peter Sovietov in Moscow Python
Shagit Ziganshin
Проблема крипты очень была заметна когда писали WG и она довольна простая
Я о классической криптографии говорил. Криптовалюта — отличная ниша для Rust. А вот в «классике» масса нюансов. Начиная от требований компилятору, чтобы обеспечить защиту от side-chain attacks.
источник

SZ

Shagit Ziganshin in Moscow Python
Peter Sovietov
Я о классической криптографии говорил. Криптовалюта — отличная ниша для Rust. А вот в «классике» масса нюансов. Начиная от требований компилятору, чтобы обеспечить защиту от side-chain attacks.
крипты это криптография
источник

SZ

Shagit Ziganshin in Moscow Python
криптовалюты это говно
источник

p

pragus in Moscow Python
Shagit Ziganshin
Во всех *SSL:
очень МНОГО кода, который тяжело поддерживать
очень МНОГО легаси, который боятся удалить
Там боль с памятью
источник

PS

Peter Sovietov in Moscow Python
Nikolay
рискну предположить, что формальную верификацию на расте провести на порядок проще, чем на плюсах или тем более чистых сях
А на уровне DSL еще удобнее (по определению DSL). На выходе при этом может быть тот же Си — как результат так называемой экстракции.
источник

SZ

Shagit Ziganshin in Moscow Python
Peter Sovietov
Для криптографии есть ряд хороших DSL, известных специалистам. Надеюсь, в этой области обойдутся без Rust-лихорадки. К слову, почему-то SQLite никто переводить на Rust не стремится. Хотя результат ведь автоматически должен быть лучше :)
> никто переводить на Rust не стремится

Ну как сказать? https://github.com/joaoh82/rust_sqlite
источник

SZ

Shagit Ziganshin in Moscow Python
Peter Sovietov
А на уровне DSL еще удобнее (по определению DSL). На выходе при этом может быть тот же Си — как результат так называемой экстракции.
Но тебе еще и DSL надо будет верифицировать
источник

N

Nikolay in Moscow Python
Peter Sovietov
А на уровне DSL еще удобнее (по определению DSL). На выходе при этом может быть тот же Си — как результат так называемой экстракции.
под DSL ты имеешь в виду что-то не тьюринг-полное?
источник

N

Nikolay in Moscow Python
в противном случае профита никакого
источник

PS

Peter Sovietov in Moscow Python
Ну да... %) Просто SQLite это редкий случай ОЧЕНЬ хорошего инженерного решения. Главное — при переписывании именно всю эту методику не потерять. А потерять очень легко. Разработчиков уровня автора SQLite в целом очень мало.
источник

PS

Peter Sovietov in Moscow Python
Nikolay
под DSL ты имеешь в виду что-то не тьюринг-полное?
источник