[00:18:08] <geniepro> ping
[00:18:09] <Жаба> geniepro, Pong from you:  0.442682 s
[00:20:36] <geniepro> как приятно находиться в группе оберонщиков -- за полмесяца ни одного сообщения!
а в других группах столько мессаг, просто ужас! вот в адском чате 606 непросмотренных сообщения -- мне даже страшно туда заглядывать, это же сколько времени уйдёт на их просмотр????
[00:32:18] <valexey> geniepro: подожди еще 60 сообщений, и гляди смело!
[00:35:02] <geniepro> ваще страшно будет ))) жду до 777 )))
[01:03:41] <valexey> из адачятика (экпериментирую с простейшей реализацией UNIX sort утилиты):
время однопоточной сортировки для тестового текстового файла (2 Гб):
c++:
real    0m33.421s
стандартный GNU sort:
real    0m41.616s
rust:
real    0m59.786s
ada (без проверок):  
real  1m35.016s
ada (с проверками):
real  4m54.388s
[01:04:11] <valexey> вот и пусть потом говорят, что проверки индексов и прочая ересь сжирает 10 процентов производительности, ога.
[09:02:53] <Kemet> Опять сонтировки)
[09:03:12] <Kemet> Сортировки
[11:27:34] <valexey__> "*<Kemet> * Опять сонтировки)" - файлов же :-)
[12:23:16] <valexey> точнее даже -- большого массива больших строк. это вам не числа сортировать
[20:20:13] <geniepro> valexey: в гитхаб хоть свой засунул эти эксперименты?
[20:21:46] <valexey> неа :-)
[20:21:52] <valexey> про-при-пру-ентарщина!
[22:14:06] <valexey__> geniepro: один из лучших императивных ЯП — знатный тормоз :-)
[22:14:46] <valexey__> Особенно со всеми хвалёными проверками.
[22:35:43] <geniepro> valexey__: ну, это другое дело
[22:36:01] <geniepro> даже у лучшего языка может быть не лучшая реализация
[22:36:19] <valexey__> Реализация там норм
[22:36:32] <valexey__> Просто проверки дорого стоят
[22:37:15] <valexey__> Поэтому мир от них отказывается переходятна всякие растя, c++ и спарки
[22:37:25] <valexey__> Расты
[22:38:10] <geniepro> уж что бы на с++ идти ради отказа от таких проверок -- вапще нонсенс
[22:38:35] <valexey__> Дык он за счёт этого столь быстр
[22:38:49] <valexey__> Все в компайл тайме!
[22:38:52] <geniepro> тут правильнее было бы на зависимые типы перейти -- доказал, что в программе не может быть никаких выходов за границы чего-либо -- и проверки по определению становятся нинужны
[22:39:16] <valexey__> И в эту сторону он хорошо развивается
[22:39:28] <geniepro> а спарком вообще реально хоть кто-то в мире пользуется?
[22:40:02] <valexey__> Нвидия
[22:40:04] <valexey__> :-)
[22:40:32] <valexey__> И всякие тойоты после факапа
[22:40:58] <geniepro> да нвидия три дня назад про спарк узнала, что она там могла наиспользовать?
[23:06:02] <valexey> geniepro: они же не просто начали использовать, они пилят нечто в сотрудничестве с адакорой
[23:06:16] <valexey> то есть, полагаю, это адакора по факту пилит для нвидии :-)