PS
Для криптографии есть ряд хороших DSL, известных специалистам. Надеюсь, в этой области обойдутся без Rust-лихорадки. К слову, почему-то SQLite никто переводить на Rust не стремится. Хотя результат ведь автоматически должен быть лучше :)
Size: a a a
2021 March 11
SZ
Для криптографии есть ряд хороших DSL, известных специалистам. Надеюсь, в этой области обойдутся без Rust-лихорадки. К слову, почему-то SQLite никто переводить на Rust не стремится. Хотя результат ведь автоматически должен быть лучше :)
Проблема крипты очень была заметна когда писали WG и она довольна простая
M
как эту бесящую штуку у курла убрать?
SZ
Во всех *SSL:
очень МНОГО кода, который тяжело поддерживать
очень МНОГО легаси, который боятся удалить
очень МНОГО кода, который тяжело поддерживать
очень МНОГО легаси, который боятся удалить
N
Для криптографии есть ряд хороших DSL, известных специалистам. Надеюсь, в этой области обойдутся без Rust-лихорадки. К слову, почему-то SQLite никто переводить на Rust не стремится. Хотя результат ведь автоматически должен быть лучше :)
ну, это решение мейнтейнеров же) но да, было бы лучше
N
Maksimgeolog
как эту бесящую штуку у курла убрать?
-s
SZ
M
-spasibo
N
Для криптографии есть ряд хороших DSL, известных специалистам. Надеюсь, в этой области обойдутся без Rust-лихорадки. К слову, почему-то SQLite никто переводить на Rust не стремится. Хотя результат ведь автоматически должен быть лучше :)
рискну предположить, что формальную верификацию на расте провести на порядок проще, чем на плюсах или тем более чистых сях
PS
Проблема крипты очень была заметна когда писали WG и она довольна простая
Я о классической криптографии говорил. Криптовалюта — отличная ниша для Rust. А вот в «классике» масса нюансов. Начиная от требований компилятору, чтобы обеспечить защиту от side-chain attacks.
SZ
Я о классической криптографии говорил. Криптовалюта — отличная ниша для Rust. А вот в «классике» масса нюансов. Начиная от требований компилятору, чтобы обеспечить защиту от side-chain attacks.
крипты это криптография
SZ
криптовалюты это говно
p
Во всех *SSL:
очень МНОГО кода, который тяжело поддерживать
очень МНОГО легаси, который боятся удалить
очень МНОГО кода, который тяжело поддерживать
очень МНОГО легаси, который боятся удалить
Там боль с памятью
PS
рискну предположить, что формальную верификацию на расте провести на порядок проще, чем на плюсах или тем более чистых сях
А на уровне DSL еще удобнее (по определению DSL). На выходе при этом может быть тот же Си — как результат так называемой экстракции.
SZ
Для криптографии есть ряд хороших DSL, известных специалистам. Надеюсь, в этой области обойдутся без Rust-лихорадки. К слову, почему-то SQLite никто переводить на Rust не стремится. Хотя результат ведь автоматически должен быть лучше :)
SZ
А на уровне DSL еще удобнее (по определению DSL). На выходе при этом может быть тот же Си — как результат так называемой экстракции.
Но тебе еще и DSL надо будет верифицировать
N
А на уровне DSL еще удобнее (по определению DSL). На выходе при этом может быть тот же Си — как результат так называемой экстракции.
под DSL ты имеешь в виду что-то не тьюринг-полное?
N
в противном случае профита никакого
PS
Ну да... %) Просто SQLite это редкий случай ОЧЕНЬ хорошего инженерного решения. Главное — при переписывании именно всю эту методику не потерять. А потерять очень легко. Разработчиков уровня автора SQLite в целом очень мало.
PS
под DSL ты имеешь в виду что-то не тьюринг-полное?
Например, F*. https://www.fstar-lang.org/#introduction