[11:51:21] <s6>
<swamps> вот цпп тож не совсем то чо надо
<swamps> надо 1) без вм
<swamps> 2) сильнотиповость
<swamps> 3) гц
<swamps> 4) ооп
<swamps> гц это в принципе shared_ptr
<swamps> если цпп исключительно с шаред_птр то это сразу гц
<swamps> короче оберон - лучший язык
<swamps> у него не хватает только препроцессора и расширений оберона

а мб сишарп
[12:22:07] <s6> да я просто ищу замену жаве. оно всё тормозит. но в жаве видимо тормозит не сама жава, а тормозят всеми любимые гибернейт и sql
[12:22:32] <s6> и размер озу вм меня выбешивает
[12:25:03] <s6> вот нада движок на RandomAccessFile который бы работал как у коли дурова - монотонно возрастающий размер файла
[12:25:16] <s6> постоянно открытый raf
[12:26:58] <s6> ну или на наборе raf, для пущей облачности
[13:18:54] <Борис> Чуть подробнее про движок Коли Дурова можно?
[14:05:23] <s6> Борис, я о нём на уровне слухов знаю и слышал немного. kphp который на гх пока не копал. Это «слышал немного» сводится к тому, что контент савается в длинные файлы (суммы кусочков контента), и не удаляется - детали не знаю.
[14:05:53] <s6> на гх лежит папка с тучей папок 2 уровня, в них разные компоненты движка вк (не все)
[14:09:04] <s6> Хотя если про жаву - друг бенчмаркал sql соединение из дельфи и из жавы через jdbc с тучей rows. Дельфи яву уделал по чёрному.
[14:09:30] <s6> Правда была ява разогретая или нет, я хз - видимо нет.
[14:11:24] <Борис> Какой-то аналог хайстека, короче. Примерно понятно. Kphp нам не надо. Как, впрочем, и явы :)
[14:12:11] <s6> вместе с kphp там идёт куча серверных компонент на цпп агностичных к языку, который их использует
[14:12:24] <s6> вроде бы.
[14:12:38] <Борис> Ну крестов нам не надо по-умолчанию))
[14:12:54] <s6> ну алгоритмы можно позаимствовать
[14:14:49] <Борис> Там нигде принципиально нового ничего нет в алгоритмах. Некоторые принципы -- могут быть интересны.
[14:15:03] <s6> вот и я про то. просто архит. решение
[14:32:17] <valexey> кресты нужны всем!
[14:32:26] <valexey> поставить крест на свой проект хочет каждый!
[14:52:17] <s6> обидел хрупкую нежную живую душу
[17:32:53] <valexey> не обидел. испугал.
[17:33:09] <valexey> не каждый рядом с крестами может находиться
[17:35:12] <geniepro> странно, вроде у буденна была работа лиспером за неплохие бабки, снова работу ищет )))
[17:35:31] <geniepro> http://программирование-по-русски.рф/static/Будяк-Денис-Валерьевич-2019-01-29.pdf
[17:35:35] <valexey> видимо на крестах решили теперь писать.
[17:35:57] <valexey> о, так он совсем рядом!
[17:36:04] <valexey> можно его даже поймать
[17:38:08] <geniepro> valexey: только сильно не бей его )))
[17:38:58] <geniepro> valexey: кстати, он и кресты умеет же
[17:40:24] <valexey> лиспер умеющий кресты.. где-то я такое уже видел...
[17:40:35] <valexey> я не уверен, что такого нужно до кода допускать
[17:40:36] <NEW> где?
[17:40:49] <valexey> NEW: александреска же!
[17:41:15] <valexey> geniepro: судя по всему он дома работает. или высурсивает. как-то так.
[17:41:41] <valexey> для его опыта работы как-то подозрительно мало денег хочет
[17:42:04] <geniepro> valexey: ты только пасмари где он вкалывал: http://www.gensym.com Real-Time Management of Mission-Critical Systems! тебе это ничего не напоминает? )))
[17:42:39] <valexey> гм. вроде ничего. а что должно напомнить?
[17:42:55] <geniepro> valexey: ну типа беспилотные авто, всё такое )))
[17:43:08] <valexey> а они разве этим занимаются?
[17:43:08] <geniepro> возьми его к себе туда )))
[17:43:19] <valexey> ну, так то у нас есть вакансия :-)
[17:43:30] <geniepro> ну так в беспилотных авто разве нету реал-тайма и мишн-критикал систьемс?
[17:43:57] <valexey> реалтайм есть. в каком-то виде. но более жесткие требования к реалтайму у более базовых систем безопасности авто
[17:44:49] <geniepro> "проект деобфускации компилятора ББЦБ" ))))
[17:46:14] <valexey> "Желательное время в пути до работы: не более часа"
[17:46:19] <valexey> ОТКУДА?!
[17:46:34] <valexey> он бы хоть обрисовал область куда ему час добираться.
[17:47:28] <geniepro> valexey: "Москва, рассматриваю работу в пределах МО или в наукоградах."
[17:47:41] <valexey> он там прям какой-то фуллстэк НЕ веб разработчик.
[17:47:55] <valexey> geniepro: ога, но при этом не более часа.
[17:48:05] <valexey> в хвост ему загляни
[17:48:14] <geniepro> ну на личном ветролёте, все дела )))
[17:48:18] <valexey> просто по москве можно 2 часа добираться до работы. легко.
[17:48:35] <valexey> geniepro: на бомбящем пукане, ога.
[17:48:50] <geniepro> valexey: одна знакомая сапёрша-москвичка сказала, что три часа добирается до работы ))) я в шоке как вы там так живёте ))
[17:49:16] <geniepro> в результате она вроде договорилась с работодателем сдвинуть рабочий график, что бы не попадать на час пик
[17:49:53] <valexey> ну, 3 часа -- это она ЛИБО на собственной машине свою персону возит, ЛИБО где-то за мкадом обитает.
[17:50:34] <valexey> посмотрел резюме - не, плюсы у него не профильный язык. только в одном проекте упоминается, причем в связке с Qt
[17:50:43] <valexey> это не тот скилл что нам нужен
[17:51:15] <geniepro> valexey: ну так вам же надо всякие AI -- а это же лисп! а он лиспер!!! )))
[17:51:21] <valexey> допиливание рилтаймовой фигни -- ну, хез. надо подумать
[17:51:33] <valexey> современный AI это вообще ни разу не лисп. никогда :-)
[17:51:51] <valexey> может и имеет смысл с ним пообщаться конечно. хез.
[17:52:14] <geniepro> valexey: за общение денег не бреут! так что вперёд )))
[17:52:19] <geniepro> берут*
[18:09:37] <vlad2> Угу, расскажешь потом, как оно вживкую :)
[18:10:05] <valexey> Злые вы...
[18:29:46] <vlad2> У меня вот сегодня интервью...
[18:31:10] <geniepro> vlad2: о_О увольняешься что ли?
[18:31:52] <vlad2> С кандидатом итервью :)
[18:32:24] <valexey> vlad2: с кандидатом в работодатели? :-)
[18:32:51] <Борис> [14:52:17] <s6> обидел хрупкую нежную живую душу
[17:32:53] <valexey> не обидел. испугал.

Чегойта там?
[18:32:56] <vlad2> С кандидатом в коллеги.
[18:33:38] <valexey> vlad2: https://hiringengineersbook.com/post/trouble-hiring/ "When hiring senior engineers, you’re not buying, you’re selling"
[18:42:37] <vlad2> Я тебя умоляю. Люди не могу написать поиск подстроки. С опытом, senior engineer и все такое...
[18:42:51] <valexey> СЛОЖНА!
[18:42:58] <valexey> вот архитектуру наговнякать - это легко
[18:43:06] <valexey> а подстроку искать... ууу...
[18:43:36] <valexey> std::find!
[18:44:00] <valexey> у нас сейчас тоже будет серия собеседований. будем искать сиплюхплюх погроммиста.
[18:44:42] <valexey> и компьютервижионера.
[18:46:47] <Борис> Алексей, а что у вас за контора? Название, в смысле?
[18:47:15] <valexey> cognitive technologies
[18:49:54] <Борис> О, ты у Усковой работаешь. Ясно.
[18:51:15] <geniepro> valexey> у нас сейчас тоже будет серия собеседований. будем искать сиплюхплюх погроммиста.
что ли не удалось Аду протолкнуть?
[18:51:29] <geniepro> хотя где их взять, адских программеров...
[18:53:20] <Борис> А что это проблема, выучить?
[18:53:31] <geniepro> Борис: короче в сумме я пока нашёл инфу про 5 формально верифицированных компиляторов, один из которых для игрушечного языка L1, другой тоже для какого-то экспериментального ML-подобного языка, ну и эти три более-менее реальных -- CompCert для C, и CakeML с Lustre
[18:53:51] <Борис> Не Эрланг и не Хаскель, мозг ломать перешивать не надо.
[18:54:14] <geniepro> Борис: так програмахеры не хотят даже широко распиаренный хачкель учить, разве их заставишь выучить никому не известную аду?
[18:54:27] <valexey> Борис: Эрланг простой как три копейки. его освоить проще чем Го какой.
[18:54:40] <geniepro> Эрланг куда проще чем Оберон, например
[18:54:40] <valexey> другое дело, что эрланг узкоспециализированный.
[18:55:00] <Борис> Да, только специалистов по Эрлангу хрен найдёшь.
[18:55:03] <valexey> А Ада -- довольно большой и сложный язык всё же. Околоплюсовый.
[18:55:32] <valexey> Борис: а не нужно их искать. Достаточно одного, который у вас уже допустим есть. Нанимаешь просто людей с опытом программирования и всё.
[18:55:36] <Борис> И таки мозг перестраивать срелднестатистическому программеру надо.
[18:56:06] <Борис> Ну так я и с Адой в этом смысле проблем не вижу
[18:56:11] <valexey> я когда писал на эрланге, не ощущал каких-то усилий по перестроению мозга. Зато ощутил когда переходил обратно.
[18:56:29] <valexey> Сервера на всём, что не эрланг казались полной дичью. Очень сложной и богомерзкой.
[18:56:39] <Борис> :)
[18:57:34] <Борис> Только ты с физматподготовкой, не забывай, а выпускникникам специальности "программист", как они всегда верещат, математика не нужна.
[18:57:46] <Борис> Что и получаем потом...
[18:58:11] <valexey> да нет там математики, в ерланге этом. он ж не функциональный. там даже динамическая типизация, кстати, не очень силно бесит
[18:58:23] <Борис> Проблема она в том, что Евгений сказал. Учится никто нахрен не хочет.
[18:58:52] <Борис> Алексей, не в математике дело, а в Ломоносове)
[18:59:01] <Борис> "ум она в порядок приводит"
[18:59:21] <Борис> А программерам гибкости ума не хватает сильно
[19:00:08] <valexey> а динамическая типизация бесит не сильно потому, что всё иммутабельное :-)
[19:00:53] <geniepro> Борис> А программерам гибкости ума не хватает сильно
ну вот поэ
[19:01:14] <Борис> ?
[19:01:15] <geniepro> Борис> А программерам гибкости ума не хватает сильно
ну вот поэтому и надо учить хаскель! гимнастика для ума!
[19:01:28] <valexey> не, ну вообще, программеров с высшим техническим, даже просто программерским образованием (типа ВМК МГУ) вокруг полно. так то.
[19:02:07] <valexey> по сравнению с ними я быдла необразовынныя :-)
[19:02:20] <Борис> зато универсальная
[19:03:26] <valexey> ну и мой мат. аппарат давненько заржавел, так то. наверно я ниже среднего в плане владения мат. аппаратом в нашем отделе.
[19:03:39] <valexey> а мат. аппарат у нас вполне активно юзается во многих местах.
[19:08:06] <Борис> У вас там правда Питона много кроме крестов?
[19:09:25] <geniepro> "всё говно, кроме мочи" -- так и у них там всё питон, кроме плюсов )))
[19:10:50] <geniepro> вот у ады проблема -- программы пишутся медленнее, чем на тех же крестах, хоть их и надо меньше отлаживать, но, как говорит валексей, отлаживать проги должны пользователи
поэтому получается что с++ выгоднее, чем ада
а питон ещё выгоднее, чем с++
[19:12:48] <valexey> Борис: прототипирования машинлернинга и само обучение часто лепится на питоне. (другое дело, что под питоном всегда библиотека которая на c++)
[19:13:08] <valexey> а обученные модели уже в c++ код засовываются.
[19:13:21] <valexey> у нас кое-что и в матлабе делается
[19:13:40] <valexey> то есть считай, что питон используется там же, где мог бы использоваться и матлаб
[19:14:45] <valexey> иногда (не у нас), когда используют интенсивно ROS, то прототипы ROS Node (управление, распознования) тоже делаются на питоне и какое-то время часть управляющей системы может быть на питоне. (опять же -- питон тут лишь верхушка)
[19:15:35] <valexey> geniepro: если слишком много питона становится, то оно тормозить начинает. так то. а если совсем много, то и с надежностью появляются проблемы
[19:15:39] <valexey> поэтому всё же с++
[19:23:18] <geniepro> Как всё успеть:
Ничего не планируйте, ничего не обещайте, ничего не делайте.
[19:23:46] <Борис> Самый важный последний пункт, надо полагать.
[19:29:20] <valexey> чтобы решить проблему, о ней достаточно поговорить! любой манагер это знает!
[19:29:30] <valexey> созвал митинг - пообщались и всё. дело сделано!
[19:31:12] <valexey> который день подряд не успеваю написать ни строчки кода :-(
[19:32:29] <Борис> ping Kemet
[19:32:32] <Жаба> Борис, Pong from Kemet:  1.814652 s
[19:33:42] <valexey> опять на луне
[19:35:21] <Борис> ping valexey
[19:35:21] <Жаба> Борис, Pong from valexey:  0.125871 s
[19:35:56] <Kemet> ping
[19:35:58] <Жаба> Kemet, Pong from you:  1.754541 s
[19:37:25] <Kemet> Что нового
[19:38:48] <geniepro> Kemet: всё хреново!
[19:39:04] <geniepro> Kemet: почему для оберонов нет формального описания семантики?
[19:39:18] <geniepro> а для активного оберона вообще нет актуального описания???
[19:39:45] <valexey> geniepro: я ж тебе говорю - потому, что актуальное описание это РЕАЛИЗАЦИЯ КОМПИЛЯТОРА
[19:39:47] <valexey> вот и всё.
[19:39:58] <valexey> формальное описание языка. всегда актуальное!
[19:40:11] <valexey> и реализация автоматом всегда идеально соответствует описанию
[19:40:29] <Борис> Таки вопрос дня от Евгения.
[19:40:36] <Kemet> geniepro, дык семантика у Вирта в книге описана)
[19:40:39] <geniepro> valexey: компилятор может неправильно описывать язык!
[19:41:06] <geniepro> Kemet: описана, но неформально же!
[19:41:21] <valexey> geniepro: не может. в данном случае. он может только если ты создаешь лишние сущности и увеличиваешь этим сложность. а сложность = уязвимость!
[19:41:54] <Kemet> [geniepro 23:34]
» а для активного оберона вообще нет актуального описания???
---
Ну вот прямо в парсере и аписана))
[19:42:38] <valexey> а парсер там и семантикой занимается?
[19:42:43] <valexey> ну, там проверкой типов и проч/
[19:42:47] <valexey> ?
[19:43:20] <Kemet> [geniepro 23:35]
» Kemet: описана, но неформально же!
---
Ну Вирт же написал - никогда не вредно пользоваться здравым смыслом))
[19:44:03] <Kemet> valexey, нет э о чекер семантикатический делает
[19:44:14] <valexey> Kemet: а он не написал, как в этом случае пользоваться С++? Обычно нужно пользоваться таки стандартом.
[19:44:28] <valexey> Kemet: ну вот, мы ж про язык говорим, а не про его синтаксис.
[19:44:51] <Kemet> valexey, так цэпэпэ вообже за гранью здравого смысла)
[19:45:45] <valexey> ну, здравый смысл понятие относительное...
[19:46:49] <Kemet> [valexey 23:37]
» ну, там проверкой типов и проч/
---
У Вирта вроде как да
[19:55:33] <Kemet> А как, по твоему, должно выглядеть формальное описание, чтобы человеку не пр шлось глубоко погружаться в еще один язык?
[20:42:51] <geniepro> Kemet: что бы вообще не погружаться в язык описания формальной модели языка -- наверное не получится
[20:43:52] <geniepro> нагличанам в этом плане проще -- есть контролируемый диалект инглиша, тексты на котором можно формально проверять на корректность
с русским языком в этом плане посложнее
[20:47:03] <valexey> русский == нинужный
[20:47:14] <geniepro> valexey: ты -- нинужный!
[20:52:02] <Kemet> [geniepro 00:37]
» Kemet: что бы вообще не погружаться в язык описания формальной модели языка -- наверное не получится
---
Поэтому в книжке обычными буквами и описано
[21:08:19] <Kemet> geniepro, ну вот сейчас введут регистрацию мобильных устройств, перекроют днс, отдадут курилы, а к тем, кто возмущается ( им придется возмущаетсящаться дома или  в мессенджерах, содержимое ко орых владельцы сливают опг под видом фсб) , и фсе, к несогласным придут фашисвующие казачки и ник о не скажет, гдеж могилка твоя. В общем в россии полным ходом идет тотальная фашистизация. Не, ну а че делать, раз. Ы хочешь сдать курилы, калинград и прочие ненужные кемски волости, а народ с этим не согласен и таки может найти ближайшую березу для тебя... остается завинчивание гаек и запугивания
[21:09:20] <geniepro> Kemet: народ как сейчас выражает своё недовольство на кухне, так и дальше будет это делать...
[21:13:52] <Kemet> Нет, люди устали от этой гадости, что по недоразумению зовется власть, а по факту оборзевшие братки, которые кроме как грабить и убивать ничего не мтгут. Протесты есть, прос о об этом на тв не показывают)))   и это растет.
[21:14:55] <Kemet> И в общем то вполне может сорвать крышку. А как русские о водят душу после этого, всем известно
[21:18:25] <geniepro> Kemet: дадада! вперёд, к пещерам после очередной гражданской войны! уничтожить всю инфраструктуру и отдать ресурсы на разграбление западу, как это сделали братушки-хохлушки!!! даёшь цивилизационный откат на полвека!!!
[21:25:37] <Kemet> geniepro, да вобщем то без всяких штатов кремлевска опг все разграбила и разруш ла. А ты повторяешь хоень, которую несут опгшные пропага...ны. пусть гоабят, лишь бы не было войны , пусть насилуют и убивают, лишь бы не было войны, пусть отдают наши земли, у нас их много, лишь бы не было войны, ч о за бред то? Не, ну опг может попытаться начать войнушку, так как понимают, слети они ч начид ных мечт, и до суда доживут не все
[21:26:31] <Kemet> Так к о ж им даст
[22:31:04] <geniepro> Kemet: > так как понимают, слети они ч начид ных мечт, и до суда доживут не все

а что ты делаешь, что бы приблизить сей славный миг?
[23:03:41] <valexey> надо осваивать новые территории, ящитаю
[23:03:44] <valexey> континенты