[00:22:24] <nordwind> https://bugs.gentoo.org/592060
[07:27:07] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <Каждую неделю нескол…>
а зачем они это делают?
[08:04:29] <ada_ru> (vasil_sd) отвечает (Eugene) на <а зачем они это дела…>
Случайность или суицид.
[08:08:22] <ada_ru> (vasil_sd) отвечает на <(nordwind) https://b…>
Неплохо. Видимо, всё больше программистов интересуются Адой.
Надеюсь, Ада компилятор скоро станет основным в тулчейне :)
[08:13:12] <ada_ru> (vasil_sd) отвечает (vasil_sd) на <Я его сейчас попробу…>
В общем, обломался я в попытках собрать CakeML :(
16 гигов видимо не хватает, OOM killer убивает Holmake на какой-то особо сложной теореме :(
А более мощных компов в личном пользовании у меня сейчас нет :(
[08:23:29] <ada_ru> (Oleg) У меня есть экспериментальная ESXi с 48 гигами
[08:23:59] <ada_ru> (Oleg) Могу сделать VM с 32 и дать доступ
[08:24:07] <ada_ru> (Oleg) На день
[08:31:49] <ada_ru> (Eugene) отвечает (vasil_sd) на <В общем, обломался я…>
а зачем его собирать? там же есть готовые бинарники
https://github.com/CakeML/cakeml/releases
[10:12:18] <ada_ru> (vasil_sd) отвечает (Eugene) на <а зачем его собирать…>
Ну, думал получится :)
Ещё и интересно было на исходники посмотреть.
[10:12:59] <ada_ru> (vasil_sd) отвечает (vasil_sd) на <Ну, думал получится …>
Сегодня попробую готовую сборку запустить
[10:13:27] <ada_ru> (vasil_sd) отвечает (Oleg) на <Могу сделать VM с 32…>
Спасибо, но пока думаю не нужно
[13:15:01] <ada_ru> (iserged) отвечает (Eugene) на <а зачем они это дела…>
Идут пялясь в телефон и шмякаются на рельсы
https://m.ok.ru/video/279814671084
[13:17:21] <ada_ru> (I_vlxy_I) Естественный отбор в действии!
[13:23:23] <ada_ru> (Eugene) отвечает (iserged) на <Идут пялясь в телефо…>
а, ну ок, премии Дарвина им всем
[13:30:57] <ada_ru> (Oleg) Ada Programming/All Chapters PDF нужен кому?
[13:31:05] <ada_ru> (Oleg) Привет парни!
[13:32:26] <ada_ru> (Eugene) кидай сюда
[13:32:30] <ada_ru> (Eugene) привет!
[13:32:38] <ada_ru> (Oleg) <прислал документ>
[13:33:22] <ada_ru> (Eugene) от души!
[14:16:22] <ada_ru> (Oleg) <прислал документ>
[14:18:40] <ada_ru> (Oleg) А вот такое не скачать https://ru.scribd.com/read/369857204/Real-Time-Critical-Systems
[14:18:49] <ada_ru> (Oleg) Только почитать можно
[14:35:31] <ada_ru> (Максим) В английском чате про Аду всё больше людей из адакоры. Это же хорошо, наверное
[14:35:51] <ada_ru> (I_vlxy_I) отвечает (Максим) на <В английском чате пр…>
Да!
[14:38:39] <ada_ru> (Eugene) там, наверное, единственные программисты на аде в мире )))
[14:40:30] <ada_ru> (I_vlxy_I) rustRustRUST!
[14:43:57] <ada_ru> (Лекс) РАААССССТ!!!!!!1111
[14:44:03] <ada_ru> (Лекс) адынадынадын
[14:44:28] <ada_ru> (Лекс) не знаю о чём вы тут, но увидел упоминание божественного языка для богов и не смог не присоединиться
[14:47:54] <ada_ru> (Максим) отвечает (I_vlxy_I) на <rustRustRUST!>
Я тоже не пойму к чему эти возгласы. Но, может, Алексей так самовыражается 😊
[15:04:31] <ada_ru> (Vinpuh) отвечает (I_vlxy_I) на <rustRustRUST!>
Кстати gnomebuilder уже поддерживает rust во все поля, там даже уже шаблон проекта для гтк в наличии и уже можно формочки накидывать как в дельфях.
[15:05:58] <ada_ru> (I_vlxy_I) отвечает (Vinpuh) на <Кстати gnomebuilder …>
Раст вообще хорош для накидывания. И набрасывания. :-)
[15:06:51] <ada_ru> (Vinpuh) отвечает (I_vlxy_I) на <Раст вообще хорош дл…>
😎
[15:21:27] <ada_ru> (vasil_sd) отвечает (Vinpuh) на <Кстати gnomebuilder …>
Интересно.
Но мне кажется сомнительным удовольствием программинг на расте gui-вых приложений
[15:29:34] <ada_ru> (Лекс) отвечает (vasil_sd) на <Интересно.
Но мне к…>
А на чём писать гуёвые приложения?
[15:31:53] <ada_ru> (FROL256) зачем же писать *ёвые приложение, надо хорошие писать
[15:35:00] <ada_ru> (Лекс) среда обитания вынуждает :-\
[15:35:23] <ada_ru> (FROL256) эх ...
[15:44:10] <ada_ru> (vasil_sd) отвечает (Лекс) на <А на чём писать гуёв…>
Js ? :)
[15:44:35] <ada_ru> (Лекс) отвечает (vasil_sd) на <Js ? :)>
конечно, на чём же ещё 😃
[15:44:57] <ada_ru> (Лекс) thanks, no
[15:46:03] <ada_ru> (Лекс) Вот на гошечки кстати есть крутой тулкит, правда только для винды — WALK, декларативный, очень напоминает вёрстку сайта
[15:52:57] <ada_ru> (Vinpuh) отвечает (Лекс) на <Вот на гошечки кстат…>
https://github.com/antoyo/relm у rust поверх гтк тоже есть норм тулкит.
[16:03:42] <ada_ru> (I_vlxy_I) отвечает (Vinpuh) на <https://github.com/a…>
Только я верю, что этим пользоваться нельзя ни для чего кроме хелловорлдов.
[16:05:37] <ada_ru> (Vinpuh) отвечает (I_vlxy_I) на <Только я верю, что э…>
Все сторонние тулкиты кроме qt и gtk это только для хелловордов.😎
[16:06:28] <ada_ru> (Gourytch) отвечает (I_vlxy_I) на <rustRustRUST!>
ты растит! =)
[16:07:02] <ada_ru> (Eugene) только винапи, только хардкор!
[16:07:18] <ada_ru> (Gourytch) через масм желательно )
[16:11:15] <ada_ru> (Лекс) отвечает (Vinpuh) на <Все сторонние тулкит…>
Я юзаю walk в проде, проблем с интерфейсом не было 😃
Сейчас на очереди в прод фирменный апдейтер с гуём на Red (на нативном гуе)
[16:29:20] <ada_ru> (Oleg) Блин надо выпилится из раст чата
[16:29:46] <ada_ru> (Oleg) Там мильен сообщений
[16:43:02] <ada_ru> (I_vlxy_I) отвечает (Oleg) на <Блин надо выпилится …>
Так и запишем - Раст провоцирует на самовипил
[16:43:16] <ada_ru> (Oleg) 😊
[16:44:17] <ada_ru> (I_vlxy_I) Раст - запрещён в России!
[16:44:35] <ada_ru> (Oleg) Росст должен называться
[16:45:10] <ada_ru> (Oleg) Пойду на англоязычный чат поспрашиваю про либы к аде
[19:30:51] <ada_ru> (Максим) Допилил в JWT токенах алгоритм RS256, теперь уже с проверкой подписи!
[19:31:35] <ada_ru> (Максим) Даже два теста написал!
[19:32:31] <ada_ru> (vasil_sd) отвечает (Максим) на <Допилил в JWT токена…>
А что такое JWT токен?
[19:33:31] <ada_ru> (Максим) Ну это способ авторизации в вебе
[19:34:19] <ada_ru> (vasil_sd) отвечает (Максим) на <Ну это способ автори…>
А где используется? Просто про всякие OAuth, Kerberos и пр слышал, а JWT - первый раз
[19:34:25] <ada_ru> (Максим) Когда сессия в куках не хранится, а вместо этого шлется токен подписанный в котором вся нужная информация
[19:35:13] <ada_ru> (Максим) В результате oauth2 тебе и прилетает обычно jwt
[19:35:35] <ada_ru> (vasil_sd) А, всё. Это оно: https://ru.wikipedia.org/wiki/JSON_Web_Token
[19:35:56] <ada_ru> (Максим) Только на стороне клиента он не обрабатывается, а шлется серверу как есть
[19:36:17] <ada_ru> (vasil_sd) отвечает (Максим) на <Только на стороне кл…>
Ага, понятно.
[19:37:14] <ada_ru> (Максим) Надо добавится как-то на https://jwt.io 😄
[19:37:50] <ada_ru> (vasil_sd) Это ты для AWS делаешь?
[19:38:04] <ada_ru> (Максим) Я его запилил чтобы к гугл апи ходить
[19:39:00] <ada_ru> (Максим) Я с Матрёшкой делаю, а в ней сервлет сервер поверх aws
[19:39:22] <ada_ru> (vasil_sd) отвечает (Максим) на <Я с Матрёшкой делаю,…>
ясно.
[19:40:01] <ada_ru> (Максим) Вадим его назвал spike_dog 😁
[19:40:44] <ada_ru> (vasil_sd) отвечает (Максим) на <Надо добавится как-т…>
Сюда нужно обязательно :)
А то там либ для языков на букву A совсем никаких нет :)
[19:49:47] <ada_ru> (vasil_sd) отвечает (Eugene) на <а зачем его собирать…>
В общем сдался и собрал из асмового готового файла.
Асмовый файл интересный - несколько текстовых строк в начале/в конце, а всё остальное
"
.byte 0x48,0x89,0xC8,0x48,0x29,0xF0,0x48,0xC1,0xE8,0x04,0x48,0xC1,0xE0,0x03,0x48,0x01
.byte 0xF0,0x41,0xB8,0xF8,0x07,0x00,0x00,0x4C,0x01,0xC6,0x4C,0x29,0xC1,0x48,0x39,0xF2
"
То есть они не доверяют ассемблеру и сами гонят машинный код :)
Попробовал пару тестовых приложений скомпилить, почитал доку про GC.
Довольно интересная вещь, этот CakeML.
Там GC задизайнен так, что алгоритмы теоретически можно в рантайме переключать.
Правда от SML много чего не поддерживается, но вроде планы на будущее грандиозные :)
Ещё много ограничений на работу с памятью, там нужно преаллоцированный заранее блок использовать, то есть куча не динамическая.
Для стека тоже сразу блок фиксированный выделяется.
Ну и не совсем пока понятно, что там с эффективностью кода.
[20:36:43] <ada_ru> (Максим) отвечает (vasil_sd) на <Сюда нужно обязатель…>
Блин, там нужна иконка Ады в .svg
[20:37:10] <ada_ru> (vasil_sd) отвечает (Максим) на <Блин, там нужна икон…>
Так тут же были иконки пару дней назад
[20:44:42] <ada_ru> (vasil_sd) Вот тут что-то вроде получилось: https://www.online-convert.com/ru/result/127a0673-c825-4a1e-b1e2-1ad328a09f3d
[20:45:29] <ada_ru> (vasil_sd) Правда не особо качественно :(
[20:46:27] <ada_ru> (vasil_sd) Нужно будет поискать оригинальный вектор или ручками самому через potrace (http://potrace.sourceforge.net/) прогнать
[20:51:07] <ada_ru> (vasil_sd) отвечает (Максим) на <Блин, там нужна икон…>
<прислал документ>
[20:51:18] <ada_ru> (vasil_sd) Вот сделал вектор. Вроде нормально получилось
[20:53:05] <ada_ru> (vasil_sd) отвечает (vasil_sd) на <>
Если нужно, могу немного поредактировать, цвет, прозрачность.
Или можно другую картинку взять.
[21:14:08] <ada_ru> (Oleg) Птиц адский есть в кореле
[21:14:25] <ada_ru> (Oleg) Могу в SVG экспортнуть
[21:16:00] <ada_ru> (I_vlxy_I) Пока докладывался, кажется тут все пропустил :-(
[21:18:28] <ada_ru> (Oleg) отвечает (I_vlxy_I) на <Пока докладывался, к…>
Кому докладывался? 😊
[21:20:15] <ada_ru> (I_vlxy_I) отвечает (Oleg) на <Кому докладывался? 😊>
На c++ митапе
[21:20:19] <ada_ru> (I_vlxy_I) Санитайзеры
[21:20:40] <ada_ru> (Oleg) Санитайзеры Б.....ь 😉
[21:21:09] <ada_ru> (I_vlxy_I) Да!
[21:21:19] <ada_ru> (Oleg) Как там? интересно было?
[21:21:37] <ada_ru> (I_vlxy_I) Мне, как докладчику? :-)
[21:21:41] <ada_ru> (I_vlxy_I) Вполне
[21:21:56] <ada_ru> (Oleg) Ну ты доложил и убежал ? 😊
[21:22:10] <ada_ru> (I_vlxy_I) отвечает (Oleg) на <Ну ты доложил и убе…>
Не, тут второй доклад
[21:22:15] <ada_ru> (I_vlxy_I) Но я его уже видел