Anonymous
а в коке и идрисе есть линейные типы?
Danila Matveev
бесплатные абстракции только как в расте - кастрированые
Emerald
бесплатные абстракции только как в расте - кастрированые
В динамических языках нарм абстракции (^: и просто используются. Статическим языкам надо стремиться к той же простоте, но с добавленной гарантией безопасности и производительностью.
պլհկ
http://docs.idris-lang.org/en/latest/reference/uniqueness-types.html
Alex
сделайте динамический язык без недостатков динамических языков
Anonymous
crystal?
Anonymous
или.. он не динамический
Anonymous
не знаю
Alex
кристал не динамический
Alex
но там GC
Anonymous
gc это плохо
Emerald
Да, gc мешает
Emerald
Вроде есть такой
Да там к сожалению всё заброшено, денег не вбухано, так что перформанс плохой. Библиотек мало. В JS хоть денег вбухали и сделали V8, что делает его практичным.
Мерль
Остальные херачат странички на пыхе
Мерль
И питоняше
Мерль
и ноде
Anonymous
пхп мертв
Emerald
Я бы на дядю тоже делал на ноде (и делаю). А для некоторых своих проектов мне нужна надёжность. Например для своего VPN или для системы управления роботом.
Anonymous
а линейные типы намного круче gc
Мерль
а линейные типы намного круче gc
- линейные типы круче gc!
- два года пилит фреймворк, отдающией статическую страницу, в это время питоно-крестьяне пилят пятую борду
Emerald
СКОРОСТЬ РАЗРАБОТКИ
Anonymous
не
Anonymous
писать то, что должно быть на фронтенде на бекенде это ужасно
Мерль
Есть три стула: быстро, дешёво и безопасно
Сесть можно только на два из них
Anonymous
ну
Anonymous
апи на расте пишется довольно быстро
Мерль
на да
Anonymous
есть graphql крейт
Alex
на идрисе даже вебсокетов нет
https://github.com/rbarreiro/idrisjs/blob/master/lib/Js/Node.idr#L77-L87
Emerald
Кстати по-честному если бы я писал свой VPN на Go то вышло бы не менее безопасно чем на Rust 🤔 но было бы толще.
Alex
осталось правда дождаться пока баррейро это всё допилит и переведёт на Control.ST
պլհկ
Кстати по-честному если бы я писал свой VPN на Go то вышло бы не менее безопасно чем на Rust 🤔 но было бы толще.
нахуй ты свой впн пишешь, ты ебанутый?
分解物質
Loo
Emerald
нахуй ты свой впн пишешь, ты ебанутый?
Я не верю в openvpn, strongswan и даже wireguard, хочу своё простое, меньше 1000 строк кода
Loo
Мерль
апи на расте пишется довольно быстро
простой CRUD на чём угодно пишется быстро, это раз.
Во-вторых, если ты попробуешь найти разработчиков на русте, то ты либо не найдёшь, либо разоришься
Мерль
Все исходники openvpn читал ?
> пилит свой VPN
> через два дня подъехали дяди с терморектальным криптоанализатором и расшифровали весь трафик
Emerald
պլհկ
если ты им не нужен, то никто и опенвпн твой хекать не будет
Emerald
Вообще не вижу что может пойти не так в моём VPN, ключи-то пре-шаренные будут, так что хендшейка нинужно, всё очень просто. Главное криптопримитивы constant time использовать и авторизацию продумать (хотя с пре-шаред и не нужно авторизации на самом деле)
Мерль
Все истории со взломом систем начинались со слов "Вообще не вижу что может пойти не так"
:3
Emerald
Да я понимаю что самодельную крипту ломают проще всего
Alex
а в коке и идрисе есть линейные типы?
в идрисе есть ванильные уникальные типы и зависимые линейные, вторые перспективнее но сырее
Мерль
не, на самом деле не вижу почему бы благородным донам не запилить бы свой vpn
Мерль
Вполне себе занятие
Emerald
Хостить буду на openbsd
Мерль
опёнок
ееееее рооооцк
Emerald
опёнок
ееееее рооооцк
Поставил его на VPS через /dev/nbd0 и локальный qemu, работает. Т.е. походу у меня единственный openbsd там, може на всём облаке.
Loo
юникернел
Loo
серьёзное заявление
Emerald
Но это потом. Да и отсутствие ОС заставит решать проблему шаринга ключей. Сейчас-то по сути я шарю ключ по SSH.
分解物質
Вообще не вижу что может пойти не так в моём VPN, ключи-то пре-шаренные будут, так что хендшейка нинужно, всё очень просто. Главное криптопримитивы constant time использовать и авторизацию продумать (хотя с пре-шаред и не нужно авторизации на самом деле)
data > gpg | ncat
ncat | gpg > data
мда, ничего сложного
Emerald
Вообще раз вы такие КРИПТО, покритикуйте идею - эфемерный ключ выводится из юникс-времени и пре-шаренного ключа криптографическим хэшем, раз в час.
Loo
что такое эфемерный ключ? это айтем из диабло 2?
Emerald
Это временный ключ которым шифруется канал
Emerald
В SSH его устанавливают во время хендшейка через криптографию с открытым ключом, и потом раз в несколько часов
分解物質
Вообще раз вы такие КРИПТО, покритикуйте идею - эфемерный ключ выводится из юникс-времени и пре-шаренного ключа криптографическим хэшем, раз в час.
лучше уже не из времени а из градусника за окном
分解物質
наверно
分解物質
я вообще не шарю
Emerald
а что?
Ну там производительности GPG не хватит, нужно AES по ключу, нужны бы нонсы, нужно с TUN-девайсом правильно работать (сколько нужно байтиков заголовка считывать и сам пакет). И проблема пробивания NAT-ов не решена (хотя я тоже пока не планирую решать)
Emerald
Что-то не гуглится чтобы redox os ставили на VPS, можно стать ПЕРВЫМ ?
分解物質
Anonymous
Что-то не гуглится чтобы redox os ставили на VPS, можно стать ПЕРВЫМ ?
vps это та же виртуальная машина