[00:00:46] <ada_ru> (I_vlxy_I) ну, мб. после перехода на арч у меня исчезла некоторая боль, которая была на убунте и дебиане.
[00:00:57] <ada_ru> (I_vlxy_I) для домашнего компа - самое оно
[00:00:59] <ada_ru> (I_vlxy_I) IMHO
[00:01:12] <ada_ru> (shiz01)  отвечает (I_vlxy_I) на <ну, мб. после перехо…>
А какая боль на дебе у тебя была?
[00:01:19] <ada_ru> (shiz01)  отвечает (I_vlxy_I) на <для домашнего компа …>
+
[00:01:42] <ada_ru> (I_vlxy_I) что версии пакетов ооочень стабильные конечно, но как разработчику мне надо бы посвежее всё.
[00:01:57] <ada_ru> (I_vlxy_I) и пес с ним, пусть не настолько оно уж и стабильное будет
[00:02:02] <ada_ru> (I_vlxy_I) то есть именно для дома.
[00:02:08] <ada_ru> (I_vlxy_I) для экспериментов
[00:02:39] <ada_ru> (shiz01)  отвечает (I_vlxy_I) на <что версии пакетов о…>
Именно.
а ещё меня чутка бесила куча дробных пакетов и кривые дрова.
[00:03:07] <ada_ru> (I_vlxy_I) да, было там такое. ну, то есть терпимо конечно. но подбешивает периодически.
[00:03:34] <ada_ru> (shiz01)  отвечает (I_vlxy_I) на <для экспериментов>
Для эксперементов самое оно.
Гентач, конечно, поинтересней, и возможностей больше, но там заиарачиваться надо.
[00:03:54] <ada_ru> (I_vlxy_I) плюс это было еще во времена до распространения широкого докера, поэтому приходилось в системе руками собирать и ставить в usr/local всякое более новое. или не в /usr/local, а куда-нибудь в хомяк.
[00:03:58] <ada_ru> (I_vlxy_I) в общем, такое было.
[00:04:18] <ada_ru> (I_vlxy_I) в итоге некоторый свинарник наблюдался периодически
[00:04:58] <ada_ru> (shiz01)  отвечает (I_vlxy_I) на <плюс это было еще во…>
Да, именно это бесило.
Нужно то, то и то.
А тебе говорят - немогуть. Билди сам.
[00:05:29] <ada_ru> (shiz01)  отвечает (shiz01) на <Для эксперементов са…>
Вот щас буду искать/писать ебилд для alire, матрешки и прочего веселья.
[00:05:58] <ada_ru> (I_vlxy_I) я alire с гитхаба просто собрал. без всяких пакетов.
[00:06:12] <ada_ru> (shiz01) А в арче почти всё в помойке есть.
Который аур.
[00:06:19] <ada_ru> (I_vlxy_I) угу.
[00:06:40] <ada_ru> (I_vlxy_I) иногда там надо тащательно допилить паяльником, или допаять напильником. но обычно работает
[00:08:18] <ada_ru> (shiz01)  отвечает (I_vlxy_I) на <я alire с гитхаба пр…>
Не, в гентаче вообще почти всю систему можно опакетить, перенести бин.пакеты на другое место и ты получишь рабочую систему.
Т.е. к установке не через пакетник ты будешь страдать. А накорябать ебилд не сложно.
[00:09:01] <ada_ru> (shiz01)  отвечает (I_vlxy_I) на <иногда там надо таща…>
Особенно часто ссылки битые и хеши протухают.
[00:09:26] <ada_ru> (I_vlxy_I) ага. вот для gnatcoll, для нескольких пакетов. там sha1sum протух
[00:11:00] <ada_ru> (shiz01)  отвечает (I_vlxy_I) на <ага. вот для gnatcol…>
И всем пофиг.
Думал, прикрутить к арчу кастомный репозиорий из поправленных аур-пакетов, но лееееень...
[00:11:28] <ada_ru> (I_vlxy_I) ну, обычно можно пнуть аффтара и он отзывается и правит
[00:11:33] <ada_ru> (I_vlxy_I) или свой вариант пакета залить
[00:12:14] <ada_ru> (shiz01)  отвечает (I_vlxy_I) на <ну, обычно можно пну…>
Меня игнорили, когда я просил :(
Даже когда патч присылаешь.
[00:12:29] <ada_ru> (I_vlxy_I) ну, от аффтара зависит же
[00:12:36] <ada_ru> (shiz01)  отвечает (I_vlxy_I) на <или свой вариант пак…>
Тоже вариант. Надо будет зарегаться.
[08:27:14] <ada_ru> (reznikmm) Меня в юбунту раздражают зависимости, типа ставишь vim, а он по зависимостям mplayer(образно) подтягивает...
[11:03:20] <ada_ru> (reznikmm) Чувак прислал письмо, что у меня сломанная ссылка на сайте, а за одно и прорекламировал свою статью: https://theqalead.com/topics/what-happened-to-crosstalk-journal-of-defense-software-engineering/
[11:46:21] <ada_ru> (shiz01)  отвечает (reznikmm) на <Меня в юбунту раздра…>
Там же вроде можно отключить рекомендованные пакеты.
[13:22:35] <ada_ru> (Oleg) Работа в изоляции..
[13:22:40] <ada_ru> (Oleg)  цитирует (Oleg)
картинка https://www.ada-ru.org/files/bot/2020-04-05-x28.jpg
[13:22:53] <ada_ru> (Oleg) Трудимся вместе
[13:49:49] <ada_ru> (a) паяете?
[13:50:54] <ada_ru> (Oleg) Не, пока софтом занимаемся
[13:52:45] <ada_ru> (a) вот  раз у вас дети. Подскажите как быстро вспомнить/повторить школьный курс математики? нет такого чтобы все в одном месте и удобно?
[13:53:23] <ada_ru> (I_vlxy_I) Windows 10 detected!
[13:59:24] <ada_ru> (Oleg)  отвечает (I_vlxy_I) на <Windows 10 detected!>
Да это ховно
[13:59:31] <ada_ru> (HeadcrabInMyRoom)  отвечает (I_vlxy_I) на <Windows 10 detected!>
сказал будто это что-то жиденькое
[13:59:52] <ada_ru> (Oleg)  отвечает (a) на <вот  раз у вас дети.…>
Ну я все время читаю то то то это , в одном месте Незнайка
[14:00:05] <ada_ru> (HeadcrabInMyRoom)  отвечает (I_vlxy_I) на <Windows 10 detected!>
я вон 10 лет минт пользовал, потом десяточку накатил 😏
[14:01:05] <ada_ru> (Oleg) В интернетах много полезного
[14:01:08] <ada_ru> (Oleg) http://mathprofi.ru
[14:01:32] <ada_ru> (Oleg) Это если быстро вспомнить матанализа начало
[14:02:08] <ada_ru> (a) ок, спасибо.
[14:02:35] <ada_ru> (shiz01)  отвечает (Oleg) на <http://mathprofi.ru>
+
хороший сайт, матан, немного тер вера, и мат.стата.
[14:02:57] <ada_ru> (shiz01)  отвечает (shiz01) на <+
хороший сайт, мата…>
Сам по нему учился.
[14:06:13] <ada_ru> (a) картинка https://www.ada-ru.org/files/bot/2020-04-05-x29.jpg
[14:06:26] <ada_ru> (a) У меня такое тут.
[14:06:36] <ada_ru> (Oleg) Я такого не видел
[14:07:03] <ada_ru> (a) Дополнительно ищу еще
[14:07:37] <ada_ru> (Oleg) Была ещё хорошая книга Дискетная математика бауманки
[14:07:43] <ada_ru> (Oleg) Но я ее профакал
[14:07:49] <ada_ru> (Oleg) Зелёная така
[14:18:50] <ada_ru> (a) У меня в электронке есть 22 тома из Бауманки
[14:19:52] <ada_ru> (a) А вообще я с Авито брал. Многое люди продают от  непонимания ценности
[15:07:21] <ada_ru> (a) народ продолжает с ума сходить. 29 числа покупал лимон по 135 руб. Сегодня видел уже по 309. купил грейпфрут, он полезнее  и по 160 что-ли.
[15:17:02] <ada_ru> (I_vlxy_I) грейпфрут штука довольно страшная на самом деле - у него интересные реакции при приеме некоторых лекарств бывают
[15:18:48] <ada_ru> (a) лимон с таким ценником, не менее страшная штука
[15:19:00] <ada_ru> (I_vlxy_I) золотой фрукт!
[15:28:50] <ada_ru> (Oleg) картинка https://www.ada-ru.org/files/bot/2020-04-05-x30.jpg
[15:28:55] <ada_ru> (Oleg) Музей
[15:31:51] <ada_ru> (I_vlxy_I)  отвечает (Oleg) на <>
вау! рабочая?
[15:32:18] <ada_ru> (Oleg) Да
[15:32:44] <ada_ru> (I_vlxy_I) ну всё, собирать комп, ставить ДОС, гонять в кваку!
[15:34:18] <ada_ru> (I_vlxy_I) гонять интерпретатор Ады!
[15:34:35] <ada_ru> (Gourytch) так это надо ещё и мамку нарыть, чтоб с таким слотом
[15:36:00] <ada_ru> (I_vlxy_I) а это не ISA случаем обычный?
[15:39:59] <ada_ru> (Oleg) Нет это PCI
[15:40:14] <ada_ru> (Oleg) 32 битный
[15:40:46] <ada_ru> (Oleg) И квака на S3 trio то ещё
[15:41:07] <ada_ru> (Oleg) Надо ж voodo 2
[15:41:17] <ada_ru> (Oleg) Или как там правильно пишется
[15:42:11] <ada_ru> (Oleg) 3Dfx
[15:43:19] <ada_ru> (I_vlxy_I) ну, квака и софтварезная норм
[16:09:47] <ada_ru> (I_vlxy_I) Пишешь игры - спасаешь жизни!
[16:09:58] <ada_ru> (I_vlxy_I) Всемирная организация здравоохранения (ВОЗ) официально признала пользу видеоигр в борьбе с коронавирусом. Терапевтический эффект от них, разумеется, нулевой, однако они способствуют «социальному дистанцированию» людей и тем самым сдерживают распространение заразы. Вот так вот «чума 21 века» (т.е. игры) оказалась на самом деле белой и пушистой на фоне реальной пандемии. https://www.ada-ru.org/files/bot/2020-04-05-x31.jpg
[16:16:58] <ada_ru> (a) ага
[16:18:57] <ada_ru> (a) а гречка, лимоны и туалетная бумага по бешеным ценам повышают благосостояние, так как оставляют деньги в кошельках. Все зависит от точки зрения :)
[16:20:28] <ada_ru> (I_vlxy_I) продаем биткоины покупаем имбирь, срочно!
[16:38:00] <ada_ru> (Oleg) https://www.facebook.com/Alenka.L.8887/videos/1588079284680641/
[16:50:24] <ada_ru> (a) кошки для этого существуют же
[16:52:21] <ada_ru> (a) со стенами, это надо сильно выпить, очевидно...
[17:21:40] <ada_ru> (shiz01) А есть адский кеш для компиялтора?
как ccache, но ada cache?
[18:00:07] <ada_ru> (reznikmm) хз. а может ccache работает? никогда не нуждался
[18:04:00] <ada_ru> (I_vlxy_I)  отвечает (a) на <со стенами, это надо…>
c компилятором разговаривать - норм. а, ну ещё с самим кодом тоже ок.
[18:04:08] <ada_ru> (I_vlxy_I) причем компилятор - он ещё и отвечает!
[18:20:07] <ada_ru> (shiz01)  отвечает (reznikmm) на <хз. а может ccache р…>
Хз, прост уже четвёртый раз пытаюсь собрать в gentoo GPS из сурсов, и как-то грустно ждать.
[18:20:34] <ada_ru> (shiz01) Похоже придется забить на это гиблое дело, и взять бинарь.
[18:37:55] <ada_ru> (reznikmm) Предлагаю взять готовый. Не факт же, что собранный будет работать. Как показал недавний эксперимент Алексея
[18:44:37] <ada_ru> (shiz01)  отвечает (reznikmm) на <Предлагаю взять гото…>
Да знаю, но вдруг заработает?
[18:46:52] <ada_ru> (reznikmm) Это в генту? или в арче?
[18:47:15] <ada_ru> (shiz01) Гента.
[18:47:42] <ada_ru> (shiz01) В арче я взял бинарь и доволен.
В генте буду опакечивать (оебилдевать) бинарь.
[19:06:50] <ada_ru> (shiz01)  отвечает (shiz01) на <В арче я взял бинарь…>
Не, не буду опакечивать бинарь.
Ибо по частям найти не смог, реверсить установщик лень, а --help у установщика меня послал, сказав, что не могу.
[19:08:07] <ada_ru> (reznikmm) там через скрипт можно поставить, я так ставлю gnat community 2019 компилятор
[19:08:58] <ada_ru> (shiz01)  отвечает (reznikmm) на <там через скрипт мож…>
О, а как?
Нужно только ide, всё остальное в системе есть.
[19:09:33] <ada_ru> (reznikmm) /tmp/gnat-community-2019-20190517-x86_64-linux-bin \
  --platform minimal --script /tmp/script.qs
[19:10:02] <ada_ru> (reznikmm) https://bitbucket.org/reznikmm/gnat/src/gpl.2019.slim/
[19:12:50] <ada_ru> (reznikmm) Если в script.qs заменить com.adacore.gnat на com.adacore.gps должно сработать
[19:13:21] <ada_ru> (shiz01)  отвечает (reznikmm) на <Если в script.qs зам…>
так и сделал, успешно заработало.
[19:13:25] <ada_ru> (shiz01) Спасибо.
[19:13:28] <ada_ru> (reznikmm) 👍
[19:14:17] <ada_ru> (reznikmm) уже начали возиться с gnat community 2020
[19:15:08] <ada_ru> (shiz01)  отвечает (reznikmm) на <уже начали возиться …>
Отлично, на новый gcc перейдете?
[19:22:14] <ada_ru> (reznikmm) может на gcc-9, я не в курсе
[19:23:45] <ada_ru> (sergey_dukov)  отвечает (reznikmm) на <уже начали возиться …>
Максим. А какой стандарт АДЫ будет 2012 или 2020?
[19:24:19] <ada_ru> (reznikmm) Из 2020 пока готово не так много возможностей
[19:25:46] <ada_ru> (sergey_dukov) А сам стандарт насколько готов?
[19:31:59] <ada_ru> (reznikmm) не знаю. :( Давно не заглядывал в ARG Minutes
[19:33:52] <ada_ru> (I_vlxy_I)  отвечает (shiz01) на <Да знаю, но вдруг за…>
сомнительно. то есть у меня то заработал, но не так как надо 😊
[19:40:18] <ada_ru> (shiz01)  отвечает (I_vlxy_I) на <сомнительно. то есть…>
Оно у меня вообще не собралось :)
[19:40:48] <ada_ru> (I_vlxy_I) надо на арче! арч = нет боли!
[19:40:56] <ada_ru> (I_vlxy_I) Arch = pain killer!
[19:41:34] <ada_ru> (shiz01) :)
И то ещё веселье, если тебе нужно три версии llvm+clang и четыре gcc...
[19:43:04] <ada_ru> (I_vlxy_I) use dicker Luke!
[19:43:11] <ada_ru> (I_vlxy_I) *docker
[19:47:57] <ada_ru> (shiz01)  отвечает (reznikmm) на </tmp/gnat-community-…>
А можно немного расшифровок для libadalang и spark ?
Чтоб можно было полностью бинарные версии поставить.
при установке com.adacore.spark меня проигнорили
[19:49:23] <ada_ru> (reznikmm) com.adacore.spark2014_discovery
[19:49:37] <ada_ru> (shiz01) Ясно, а libadalang?
[19:49:41] <ada_ru> (reznikmm) com.adacore.libadalang
[19:49:47] <ada_ru> (shiz01) Благодарю.
[19:50:18] <ada_ru> (reznikmm) вроде бы так, судя по строкам в бинарном исталяторе
[19:51:19] <ada_ru> (I_vlxy_I) S - Sтрадания!
[19:53:19] <ada_ru> (shiz01)  отвечает (reznikmm) на <вроде бы так, судя п…>
Ага, всё работет.
[20:07:26] <ada_ru> (reznikmm)  отвечает (reznikmm) на <Из 2020 пока готово …>
Хотя вру, уже не мало реализованно и работы активно ведутся
[20:20:08] <ada_ru> (I_vlxy_I) хм. а зачем вот тут опция -j0?
gprbuild -j0 -p -P alr_env
[21:29:13] <ada_ru> (reznikmm) Ну чтобы все процессоры использовать
[21:31:52] <ada_ru> (I_vlxy_I) а по умолчанию оно само не умеет? то есть оно как make, а не как ninja?
[21:59:08] <ada_ru> (I_vlxy_I) https://devclass.com/2020/03/30/rust-says-farewell-to-docs-team/
[21:59:10] <ada_ru> (I_vlxy_I) :-(
[22:20:32] <ada_ru> (reznikmm) По умолчанию 1 ЦПУ
[22:26:01] <ada_ru> (nitrocerber) теперь будем писать RUSTRustrust... ?
[22:35:13] <ada_ru> (I_vlxy_I) документация не нужна! кот должен сам себя документировать!
[22:43:39] <ada_ru> (reznikmm) Хотите узнать язык, прочитайте компилятор?
[22:57:48] <ada_ru> (I_vlxy_I) дас. если компилятор хорошо написан, то по крайней мере грамматика языка будет очевидна.
[22:57:57] <ada_ru> (I_vlxy_I) ведь она там будет в EBNF по факту представлена
[23:01:38] <ada_ru> (I_vlxy_I) c семантикой сложнее
[23:01:57] <ada_ru> (I_vlxy_I) вроде пытались формально описать семантику в проекте Алгола-68, но ниасилили
[23:11:00] <ada_ru> (geniepro)  отвечает (I_vlxy_I) на <вроде пытались форма…>
как ниасилили? осилили же вроде, просто она оказалась оченно сложной, долго делали компиляторы, а потом оказалось, что алгол-68 уже и нинужин, сишечка заняла его место
[23:11:34] <ada_ru> (I_vlxy_I)  отвечает (geniepro) на <как ниасилили? осили…>
формально семантику так и не осилили. хотели её описывать также формально как и грамматику.
[23:17:36] <ada_ru> (geniepro) ALGOL 68 was the first (and possibly one of the last) major language for which a full formal definition was made before it was implemented.   ”
— C.H.A. Koster, [2]
http://npt.cc.rsu.ru/user/wanderer/ODP/ALGOL68.txt

не знаю, что тут имеестя в виду под "полным формальным определением языка", в каком именно оно виде было сделано, но, вероятно, там не только синтаксис, но и семантика были определены...
[23:48:01] <ada_ru> (I_vlxy_I) ага. но не столь строго и формально как хотелось бы. насколько я помню
[23:53:39] <ada_ru> (geniepro)  отвечает (I_vlxy_I) на <ага. но не столь стр…>
в смысле — математическое описание как сейчас во всяких Coq? тогда, полвека назад, таких инструментов, скорее всего просто не было, а когда появились, уже неактуально было