[01:55:23] <ada_ru> (nitrocerber) the fucc?
[01:55:39] <ada_ru> (I_vlxy_I) /stat@combot
[08:48:50] <ada_ru> (nizovtsevnv) /stat@combot
[10:34:47] <ada_ru> (a) ? Что это
[10:37:45] <ada_ru> (nitrocerber) Статистику считает. И категоризирует осмысленность сообщений, на сколько я понимаю
[14:02:07] <ada_ru> (Игорь)
[14:39:14] <ada_ru> (I_vlxy_I) всё. линуксу капец: https://www.opennet.ru/opennews/art.shtml?num=49284
[14:39:24] <ada_ru> (I_vlxy_I) будет как FreeBDSM
[14:40:22] <ada_ru> (zloidemon)  отвечает (I_vlxy_I) на <будет как FreeBDSM>
Я уже первым делом прочёл их новый CoC, и там далеко до этого 😊
[14:40:48] <ada_ru> (I_vlxy_I) щща торвальдс переосмыслит бытие и что-то будет 😊
[14:40:52] <ada_ru> (zloidemon) Attribution

This Code of Conduct is based on the example policy from the Geek Feminism wiki.
У FreeBSD всё просто.
[14:41:33] <ada_ru> (zloidemon) Надо кстати скомпилить ada под fbsd. 😊
[14:56:08] <ada_ru> (I_vlxy_I) А вот кому ремейк норкомании? https://github.com/trunkmaster/nextspace
[15:02:22] <ada_ru> (Gourytch) чёй-то норкомании-то? очень годный был DE
[15:02:37] <ada_ru> (I_vlxy_I) очень годной норкомании 😊
[15:02:52] <ada_ru> (Gourytch) согласен )
[15:02:53] <ada_ru> (I_vlxy_I) NextStep это ж вообще не DE, это ось была. не?
[15:02:56] <ada_ru> (I_vlxy_I) мы ж не про openstep?
[15:03:12] <ada_ru> (zloidemon) @I_vlxy_I я кстати не очень может доганяю, а можно как-то по проще объяснить в чём разница между просто ADA и SPARK?
[15:03:21] <ada_ru> (Gourytch) ну некстстеп был осью, но так это ж когда было-то
[15:03:46] <ada_ru> (zloidemon)  отвечает (Gourytch) на <чёй-то норкомании-то…>
Годной было KDE3, всякая plasma всё испортили.
[15:04:25] <ada_ru> (Gourytch) (эх, помню как люто, неистово завидовал тем у кого такая машина могла быть в зоне мануальной досягаемости... в своё время, конечно)
[15:04:29] <ada_ru> (I_vlxy_I)  отвечает (zloidemon) на <@I_vlxy_I я кстати н…>
спарк - это взяли подмножество Ады, простенькое, и докрутили сверху семантики для верификации на этапе компиляции. При этом для этой верификации вовсе не gnat юзается, а отдельный верификатор писаный на окамле.
[15:05:01] <ada_ru> (I_vlxy_I) изначально всё спарк-специфическое вообще в КОМЕНТАРИЯХ адских писалось
[15:05:04] <ada_ru> (zloidemon)  отвечает (I_vlxy_I) на <спарк - это взяли по…>
Фактически код который на ADA будет там собираться или нет?
[15:05:17] <ada_ru> (goooolota)
[15:05:41] <ada_ru> (I_vlxy_I)  отвечает (zloidemon) на <Фактически код котор…>
наоборот - любое спарковское поделие является корректной прогой на Аде, но не наоборот.
[15:06:19] <ada_ru> (zloidemon) То есть, лучше всё же на spark делать выходит?
[15:06:33] <ada_ru> (I_vlxy_I) на спарке (чистом) ты не все сможешь делать.
[15:06:40] <ada_ru> (I_vlxy_I) например там пока что нет динамической памяти 😊
[15:06:44] <ada_ru> (t91x0) Спарк сильно ограничен. Там нет работы с динамически выделяемой памятью
[15:06:48] <ada_ru> (I_vlxy_I) в куче память не выделить, грубо говоря.
[15:07:24] <ada_ru> (I_vlxy_I) посему - вначале изучить базово Аду, а потом уже спарк (базово). А потом станет ясно что и как тебе нужно.
[15:07:41] <ada_ru> (I_vlxy_I) То есть тупо пройти оба курса с https://learn.adacore.com/ для начала
[15:07:44] <ada_ru> (zloidemon) Эм, там что ли как в C надо сделать какой-то свой буффер предварительно или malloc/free дёргать постоянно?
[15:08:00] <ada_ru> (zloidemon)  отвечает (I_vlxy_I) на <То есть тупо пройти …>
Я SPARK пока там не трогал, только обычный ADA
[15:08:07] <ada_ru> (I_vlxy_I)  отвечает (zloidemon) на <Эм, там что ли как в…>
В спарке тебе не дадут это сделать 😊
[15:08:28] <ada_ru> (I_vlxy_I) это ж не верифицируемо в таком виде
[15:08:45] <ada_ru> (I_vlxy_I) в вики плюс-минус неплохо про спарк еще написано: https://en.wikipedia.org/wiki/SPARK_(programming_language)
[15:08:59] <ada_ru> (t91x0)  отвечает (zloidemon) на <Эм, там что ли как в…>
https://blog.adacore.com/tetris-in-spark-on-arm-cortex-m4
Вот пример относительно сложной программы на Спарке
[15:09:50] <ada_ru> (zloidemon) Спасибо, сейчас погляжу ссылки
[15:36:05] <ada_ru> (a) А скриншоты где. Что мне этот гитхаб без скриншотов ;)  про nextspace
[15:36:50] <ada_ru> (I_vlxy_I) там же есть скриншот
[15:36:53] <ada_ru> (I_vlxy_I) https://raw.githubusercontent.com/trunkmaster/nextspace/master/Documentation/NEXTSPACE_Screenshot.png
[16:56:48] <ada_ru> (Игорь) Вчера купил у них подписку на вип канал) они еще до сих пор не поменяли ссылку, так что вступай быстрее, вдруг не заметят😅
https://t.me/joinchat/СССССEdrcQHKWAosheSdG_yQ
[16:59:16] <ada_ru> (zloidemon) Ужас, что-то эти спамеры уже везде всё больше и больше.
[17:05:05] <ada_ru> (I_vlxy_I)
[17:15:26] <ada_ru> (I_vlxy_I) гуд ньюс! https://www.linux.org.ru/news/proprietary/14470012
[18:33:57] <ada_ru> (coopht) Что ж хорошего-то?
[18:35:20] <ada_ru> (I_vlxy_I)  отвечает (coopht) на <Что ж хорошего-то?>
нинужин?
[18:36:42] <ada_ru> (coopht) то что эта фигня ненужна - это понятно
[18:55:14] <ada_ru> (I_vlxy_I) 450 тыр за сервак это вроде совсем не много
[18:55:42] <ada_ru> (I_vlxy_I) это же просто месячная зарплата программиста в москве!
[18:56:27] <ada_ru> (t91x0) Не программиста, а риэлтора
[18:56:57] <ada_ru> (I_vlxy_I) торгующего программистами!
[19:32:25] <ada_ru> (a) А чем хуже fwvm2? Имхо похож на некстспайс
[19:37:00] <ada_ru> (a) Хотя и этот прикольный. А вообще я привык к тайлам
[19:41:07] <ada_ru> (Gourytch) GNUStep был чудесен (для меня) срезвычайно удобным назначением хоткеев на приложения. и ещё мне нравился его индикатор раскладки на каждом окошке )