Alexander
хз, как я посчитаю наловил ли я ошибки если их не увидел
Alexander
случаев что - словил ошибку, сделал GADT ошибок больше нет, у меня не было
Dan
я на хаскелле не писал но слабо представляю как без gadt сделать скажем типобезопасный sql
Alexander
на классах типов можно
Alexander
как у Олега
A64m
ну в любом случае мне кажется что граница, между "система типов какие-то классы ошибок исключает, ничего не делаешь и все есть" и "надо страдать чтоб еще какие-то ошибки исключить" проходит до GADT, это уже шаг ко всем этим доказательствостраданиям
Alex
да, там уже один шаг до пи
A64m
т.е. вот такая статика которая нормально работает, все выводится, она хорошее впечатление производит, и тут сложно что-то возразить, потому что это все в основном бесплатно для программиста, а с GADT начинается область перспективная, но пока довольно неуютная, причем без какого-то фантастического полезного выхлопа
Alex
зато есть фантастический гомотопический выхлоп
Alex
ну пока что да, основной путь это обмазываться интерфейсами к smt и кастомными десижн процедурками
Alex
возможно всех спасёт унивалентность, лет через 10-15
Alex
там правда видимо придется обмазываться эвристиками для стирания :)
A64m
да, в 80-е нашли такой уютный локальный оптимум из которого сейчас надо в гору против ветра ползти, но это временно, я надеюсь
Маjко
Пиздец долго раст на винде билдит пакеты
Alexey
а винда нужна?
Alexey
взрослые игрушки...
Маjко
У меня проброс видяхи не заработал — пришлось винду на хост ставить
Alexey
в rust'e задействуешь GPU? нейросеточки?
Маjко
Нет, всё прозаичнее — в игры хочу играть
Vladimir
Ну да, язык то игрушечный
Маjко
А сервисы на винде на расте не писал?
Нет, но в целом теперь когда есть винда можно поиграться (но я совершенно не знаю фреймворк)
Маjко
Тут вроде кто-то разрабатывал обертку для виндовых API
Маjко
Я вот буквально позавчера винду поставил после 3 лет
Маjко
Собстно, десктоп новый собрал, понял что проброс видяхи в виртуалку не работает (хз почему) и привет винда
Bugworm
У меня все проще
Bugworm
Нет поддержки проброса
Сережа
Что значит проброс видяхи не работает, может OpenGL и Direct3D не работает? Виртуалка VirtualBox? дополнения GuestOS ставил? Галочку ставил "Enable 3D Acceleration" в настройках, в "Display". Естесвенно оно все тормозить будет, так что в гта на максималочках не поиграешь. Есть еще wine, теоретически что-то и под ним может завестись.
Bugworm
Проброс этот когда ты юзаешь одну из видеокарт в госте
Bugworm
А не дрова на виртуальную прослойку юзаешь
Bugworm
И с пробросом можно играть почти без потерь
Сережа
наверное vmware, в virtualbox такого нет, у меня дуалбут с виндой для гта5
Сережа
хотя я погуглил, посоны жалуются что и в vmware которая не про это не работает
Маjко
наверное vmware, в virtualbox такого нет, у меня дуалбут с виндой для гта5
qemu+kvm
И нет, это не виртуальный GPU это проброс MMU группы с видяхой аппаратно в виртуалку
Маjко
Нет поддержки проброса
Ну дак у меня есть. И группа сразу изолированная, все по манам, идеально.
Но нет сигнала при загрузке виртуалки(
Хз, короче
Bugworm
Bugworm
Можешь поспрпшивать в рилейтед группах разве что
Маjко
Да спрашивал, и все инструкции васянские перерыл
Маjко
Все сходится, картинки нет (
Маjко
Мы потом на ливе федоры попробую, там есть история успеха с моим железом 1 в 1
Сережа
а почему qemu выбрал? qemu изначально вроде для запуска инструкций процессора другой архитектуры разрабатывалась и она не быстрая вроде
LexsZero
Vlad
https://screenshots.firefoxusercontent.com/images/49cb789c-4572-446d-a93f-392fffbd79a1.png
Vlad
Это в r/rust так количество юзеров онлайн пишут
Loo
https://github.com/alexcrichton/git2-rs/issues/272
Loo
ваш раст говно
Chris
Так уже 100 топиков на реддите на тему утечек, вот например - https://www.reddit.com/r/playrust/comments/5xtgdr/rust_memory_leak_why_is_rust_using_8090_of_my/
Alexey
а слабо без санитайзера на реальной задаче обнаружить, что что-то где-то подтекает?
Loo
Tokio internals: Understanding Rust's asynchronous I/O framework from the bottom up : Caffeinated Bitstream
https://cafbit.com/post/tokio_internals/
Alexander
ухты какая классная ссылка
Loo
на гипере
Loo
играю
Loo
локалхост
Loo
го я создал
Loo
я не решаю такие вопросы, если хочешь в клан кликни по ссылке запиненой
Loo
поцоны нормально гамают
Loo
отвечаю
Loo
https://github.com/luser/rust-debugger-tools-info
Loo
https://github.com/djc/imap-proto
Marat
Loo
http://jakegoulding.com/rust-ffi-omnibus/
Loo
я просто так скинул
Loo
https://github.com/phsym/prettytable-rs
Рома
че это
Рома
ссылочку на инфу какую-то, как оно выглядит
Loo
https://github.com/fafhrd91/benchmarks
Loo
больше бенчмарков
Loo
богу бенчмарков
Alexey
неплохо бы еще понимать много это или мало вообще. то есть сравнить с чем-то известным на Си/С++ и/или Go или Java
Alexey
что-то такое
Alexey
не знаю, с nginx сравнить :-)