[00:04:16] <ada_ru> (Oleg) картинка https://www.ada-ru.org/files/bot/2020-01-27-x17.jpg
[00:04:32] <ada_ru> (Oleg) Ну сколько , сколько можно это терпеть
[00:11:35] <ada_ru> (vasil_sd) отвечает (Oleg) на <>
Особенно прикольны такие вещи были в Интеле в корпоративной винде. Там через несколько напоминаний выскакивало окошко с таймером.
Пошёл обедать, пришёл, а комп ребутнулся не сохранив часть исходников...
Прямо - таки чувствовалась "забота" о пользователях....
[00:13:25] <ada_ru> (Oleg) Да было такое, а у меня такое : пришёл на работу открыл ноутбук , надо срочно что-то сделать , а он говорит погоди братан , сейчас установим обновления и поработаешь , ну ещё ребутнемся и ещё немного....
[00:14:33] <ada_ru> (vasil_sd) отвечает (Oleg) на <Да было такое, а у м…>
А да, это классика...
Бесило неимоверно
[00:35:44] <ada_ru> (I_vlxy_I) отвечает (Oleg) на <Да было такое, а у м…>
то же было в MS 🙂
[00:36:38] <ada_ru> (I_vlxy_I) когда они только-только начали Win10 показывать - на презентациях у них каждый второй раз не удавалось запустить презентацию, ибо обновление 🙂
[00:36:43] <ada_ru> (Oleg) Зато Curl теперь есть ! Твою ж мать , он у меня в Cygwin итак есть , верните мне быстрый доступ к сетевому адаптеру
[00:38:58] <ada_ru> (I_vlxy_I) привыкай. теперь всё как в вебе - у производителя полный контроль, а у тебя нет вариантов откатиться на прежнюю версию.
[00:40:07] <ada_ru> (I_vlxy_I) это, кстати, основная причина почему переходят с нативных приложений на веб-решения/веб-приложения везде. даже там, где по сути всё оффлайново.
[12:04:38] <ada_ru> (Oleg) Дышал кто про Vaadin ?
[12:05:03] <ada_ru> (Oleg) На AWS или матрёшке нечто похожее но на Аде ?
[12:45:21] <ada_ru> (Лекс) https://embedded.prosoft.ru/news/632812_noveyshiey-tekhnologii-i-resheniya-dlyatsifrovizatsii-promyshlennosti-namezhdunarodnoy-partnerskoy-konferentsii-prosoft-2020.html
[12:54:53] <ada_ru> (Oleg) Цифровизация , ох уж.... цифровой хлеб будем печь!
[12:55:45] <ada_ru> (Oleg) А автоматизация видимо устарела или теперь все цифровое , дискретное , даже лента конвейера квантования
[12:56:30] <ada_ru> (vasil_sd) отвечает (Oleg) на <А автоматизация види…>
По последним данным физики (относительно последним), вообще всё квантовано :)
[12:57:11] <ada_ru> (Oleg) Ну правительство у нас точно как кот Шрёдингера
[17:04:36] <ada_ru> (Eugene) картинка https://www.ada-ru.org/files/bot/2020-01-28-x18.jpg
[17:25:43] <ada_ru> (I_vlxy_I) Чем выше, тем озверелей?
[23:11:24] <ada_ru> (vasil_sd) Если кому интересно про формальные спеки, моделирование и пр, то вот : https://github.com/vasil-sd/ada-tlsf/tree/master/formal_model_spec
Там сейчас спеки для стурктуры памяти, для списков свободных и для операции разбиения свободного блока. Нормально проходит верификация корректности спеки на операцию split.
На основе этих спек будет потом сделана формальная модель в Спарке, для верификации свойтств аллокатора.
Так как планирую потом по мотивам этого всего запилить ещё одну статью на Хабре, то буду благодарен за любой фидбек.
[23:12:28] <ada_ru> (vasil_sd) отвечает (vasil_sd) на <Если кому интересно …>
Спеки, естественно пока ещё не полные, там нужно ещё несколько операций добавить. Думаю за ближайшие несколько дней сделаю.
[23:13:39] <ada_ru> (vasil_sd) отвечает (vasil_sd) на <Если кому интересно …>
Интересно, понятно ли я расписываю в комментах в спеках что к чему, стараюсь, чтобы даже для не спецов было более-менее понятно....
[23:29:46] <ada_ru> (Vadim) Доброе! В то время как некоторые тут обсуждают некоторых некоторые из этих некоторых продолжают налаживать связку GNAT/LLVM/WASM и... теперь ещё и WebGL!
[23:30:22] <ada_ru> (vasil_sd) отвечает (Vadim) на <Доброе! В то время к…>
Это здорово! :)
[23:31:33] <ada_ru> (Vadim) https://www.ada-ru.org/files/cube/index.html
[23:31:44] <ada_ru> (I_vlxy_I) отвечает (Vadim) на <Доброе! В то время к…>
кстати, походу моему йфону памяти не хватает для этого примера 🙂 или что-то не так в сафари - вкладка крашится
[23:31:55] <ada_ru> (I_vlxy_I) правда картинка на мгновение показывалась
[23:32:21] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <кстати, походу моему…>
будь как все — купи сяоми!!!
[23:32:43] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <будь как все — купи …>
сяоми - это не правильный китай
[23:33:10] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <сяоми - это не прави…>
что в нём неправильного? стильный, модный, молодёжный, недорогой!!!
[23:33:27] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <что в нём неправильн…>
правильный - это iPhone
[23:33:40] <ada_ru> (vasil_sd) отвечает (Vadim) на <https://www.ada-ru.o…>
А исходники на Аде можно глянуть?
[23:33:57] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <правильный - это iPh…>
ипхоне — это финансовая поддержка америкосов, нам этого не надо!
[23:34:20] <ada_ru> (Vadim) Здесь требуется поддержка кучи модных технологий.
[23:34:24] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <ипхоне — это финансо…>
почему это не надо? надо! с учетом того, где я работаю 🙂
[23:34:51] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <почему это не надо? …>
работай в китае — там как раз медтех нужен, а то вирус свирепствует!
[23:34:58] <ada_ru> (Vadim) Исходники вопрос хороший...
[23:35:12] <ada_ru> (Vadim) Щас пристрою куда на github
[23:35:25] <ada_ru> (I_vlxy_I) отвечает (Vadim) на <Щас пристрою куда на…>
и ссылку добавить прямо на демо страницу!
[23:35:47] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <и ссылку добавить пр…>
и онлайн компилятор аля оберонжс
[23:35:49] <ada_ru> (vasil_sd) отвечает (Vadim) на <Щас пристрою куда на…>
Интересно API посмотреть, как это вообще всё выглядит.
[23:39:32] <ada_ru> (vasil_sd) отвечает (Eugene) на <и онлайн компилятор …>
Да, онлайн компиляция и запуск - это было бы вообще супер.
Интересно, можно ли целиком компилятор Ады затащить в браузер, через какой-нить emscripten-подобный тул?
[23:39:37] <ada_ru> (Vadim) Значится так. Кто уже принят транквилизатор - может найти проект adawebui на github и там каталог examples
[23:40:13] <ada_ru> (Vadim) На вопросы отвечу :)
[23:41:05] <ada_ru> (Vadim) Собрать и запустить самостоятельно смогут только эльфы уровня 90 и выше.
[23:41:21] <ada_ru> (I_vlxy_I) https://github.com/godunko/adawebui/tree/master/examples/gl_cube
[23:41:24] <ada_ru> (I_vlxy_I) вот оно
[23:41:39] <ada_ru> (Vadim) Спасибо!
[23:42:44] <ada_ru> (Vadim) Ибо нужно сначала GNAT/LLVM/WASM, потом AdaWebPack, потом AdaGL, и в конце AdaWebUI
[23:43:44] <ada_ru> (I_vlxy_I) смогут не только лишь все...
[23:48:01] <ada_ru> (vasil_sd) Выглядит неплохо, практически так же как и если нативные OpenGL проги программить.
Однозначно нужно делать вебсайт с онлайн копмиляцией и запуском. И доки для новичков. Для популяризации Ады в молодёжной среде :)
[23:48:18] <ada_ru> (Vadim) Что - как мне кажется - интересное в этой солянке - обёртка поверх новомодных WebAPI и старомодных OpenGL API упрощающая написание простеньких приложений.
[23:48:59] <ada_ru> (I_vlxy_I) отвечает (vasil_sd) на <Выглядит неплохо, пр…>
можно подумать как сделать на базе godbolt.org например
[23:49:13] <ada_ru> (Vadim) Ибо скрываются всякие кривоопые вывороты от начинающих опоруков
[23:49:59] <ada_ru> (vasil_sd) отвечает (I_vlxy_I) на <можно подумать как с…>
Не, это оверкил. Там много чего избыточно. Нужно что-то проще, как например сниппеты на адакоре
[23:50:07] <ada_ru> (Vadim) По сути заполняешь три подпрограммы (initialize/resize/draw)
[23:50:31] <ada_ru> (I_vlxy_I) отвечает (vasil_sd) на <Не, это оверкил. Там…>
например, что там лишнее?
[23:51:00] <ada_ru> (I_vlxy_I) ну, можно на базе https://microsoft.github.io/monaco-editor/
[23:51:05] <ada_ru> (vasil_sd) отвечает (I_vlxy_I) на <например, что там ли…>
Интерфейс тяжёлый для этой задачи. Тут нужно доку подробную со сниппетами и тут же компиляцией и запуском
[23:51:54] <ada_ru> (vasil_sd) Например, как тут: https://learn.adacore.com/
[23:53:13] <ada_ru> (vasil_sd) отвечает (I_vlxy_I) на <ну, можно на базе ht…>
Он Аду не поддерживает :(
Не годится
[23:53:28] <ada_ru> (I_vlxy_I) отвечает (vasil_sd) на <Он Аду не поддержива…>
vscode поддерживает же, значит и это научится
[23:53:32] <ada_ru> (I_vlxy_I) это ж кусок vscode
[23:55:08] <ada_ru> (vasil_sd) Ну не знаю. На мой взгляд такое как на learn.adacore.com для новичков - самое оно.
И секцию 'download' со сборками, где уже всё настроено, если кто захочет дальше серьёзно изучать
[23:55:52] <ada_ru> (I_vlxy_I) отвечает (vasil_sd) на <Ну не знаю. На мой в…>
на learn очень криво. посмотри на отступы
[23:56:27] <ada_ru> (I_vlxy_I) а, не, исправили 🙂
[23:56:33] <ada_ru> (I_vlxy_I) заменили на табы 😄
[23:56:53] <ada_ru> (vasil_sd) Да, я вот смотрю и не могу понять, вроде норм всё
[23:57:15] <ada_ru> (I_vlxy_I) там раньше было 3 пробела, а когда сам делаешь отступ - 4
[23:57:55] <ada_ru> (vasil_sd) Ну, это мелочи.
[23:58:48] <ada_ru> (vasil_sd) Сделать так же, сниппет и кнопочка run, которая компилит сниппет и запускает приложение в соседнем div'е
[23:59:46] <ada_ru> (I_vlxy_I) вот этот редактор используется: https://ace.c9.io/