[14:27:45] <vаlexey> Virtualens installation tutorial: http://youtu.be/f0OPi-1SIQM
Tutorial on how to configure Skype: http://youtu.be/qIlQ5FQm7Vk
Tutorial on how to configure Google Hangouts: http://youtu.be/2jh1FqDIswE
[15:55:25] <Kemet> =
[15:56:01] <valexey> ||
[15:57:09] <Kemet> \\
[15:57:36] <Kemet> ыыы, я в печали
[15:57:41] <valexey> ?
[15:57:45] <valexey> //
[15:59:14] <Kemet> ды, нахерачил тонну кода на Активном Обероне, а когда начал компилировать, выяснилось, что RESULT может использоваться только со ссылочными типами и маематическими массивами
[15:59:34] <valexey> ы-ы!
[15:59:41] <Kemet> аха
[15:59:43] <valexey> привет от Оберона-07/11!
[16:00:07] <valexey> небось с примитивными типами тоже может
[16:00:52] <Kemet> та не, просто там пока что четко проведена граница - вот акьтивный оберон, а вот матемиатическое расширение, но, думаю, постепенно эта граница исчезнет
[16:01:18] <Kemet> с примитивными не модет - ссылочные и матмассивы
[16:01:49] <valexey> а вот это - жесть
[16:02:28] <Kemet> да не, не используй RESULT и фсё, работай как и прежде с АО
[16:02:48] <valexey> один фиг жесть :-)
[16:04:17] <Kemet> ну, мне таки обитно, да, вот думаю всёжтами разрешить для RESULT любые типы, т.е. продавить расширизм в АО
[16:05:09] <Kemet> ну и покопаться внутри, на предмет совместимости классических массивов с математическими
[19:45:22] <vlad3> Иван жжет "Любого, кто требует дженерики в Обероне, следует сперва строго вопросить - а вы что же, любезный, настолько сильно страдаете от ошибок, что без дженериков никак?"
[19:45:55] <valexey> ыыы!!!
[19:46:04] <vlad3> У вас мозгов не хватает писать на брэйнфаке? А я вот могу.
[19:46:15] <valexey> кстати, ответ достойный адепта динамически-типизированных ЯП
[19:46:22] <vlad3> Угу.
[19:46:59] <valexey> впрочем, ответ универсальный. эдак можно и goto оправдать :-)
[20:49:17] <egp>
<Навный> вот интересно
<Навный> на Буране юзали Оберон
<Навный> и он вернулся.
<Навный> юзали бы си - упал бы
[20:50:28] <egp> был на собеседе. Местные иркутские Кулибины. Фантастически крутая и класснейшая контора, но именно такие же перцы изобрели си.
[20:51:21] <egp> они (как минимум) выше существующего максимального Российского уровня, в их области производства - электроника кое-какая.
[20:54:20] <egp> Kemet, хочешь тест на знание Си по версии Linux + gcc?
[20:54:32] <egp> vlad3, хочешь?
[20:54:48] <egp> jordan36957 я не предлагаю, он вроде бы не профессионал.
[20:55:12] <egp> оч короткая задачка
[20:55:36] <egp> и мало кто выдает правильный ответ.
[20:55:40] <egp> грабля =)
[20:55:42] <egp> крутая
[20:56:04] <egp> свидетельство того, что си - это полнейший кал
[20:56:27] <jordan36957> egp вы о чём?
[20:56:36] <egp> jordan36957, про задачку. могу дать.
[20:56:58] <egp> jordan36957, надо?
[20:56:59] <jordan36957> да
[20:57:02] <egp> ок щас
[20:59:06] <egp> Дано: Linux+gcc. При решении не использовать ни gcc, ни дебагер, ни хекс вьюер и подобные читы - представьте что вы на собеседовании и компа нет для решения задачи. Итак. дано: struct A{char a1[8];}; struct B{char b1;struct A b2;}; при элайнмент 32 бита, и 8-битном байте, скоко будед sizeof(struct B)?
[20:59:21] <egp> jordan36957, в доки тоже не подсматривать =)
[20:59:26] <jordan36957> как в онлайне глянуть исходники ББ?
[20:59:33] <jordan36957> Я думаю, то есть подсчитываю.
[20:59:35] <egp> не спец в бб
[21:00:05] <jordan36957> 16
[21:00:09] <egp> нет =)
[21:00:29] <jordan36957> а я понял
[21:00:46] <jordan36957> объявлен струк б2
[21:00:47] <egp> вторая попытка ответа? =)
[21:01:03] <egp> угу
[21:01:25] <jordan36957> б2 сколько?
[21:01:36] <egp> не скажу =)
[21:01:47] <jordan36957> и как тогда подсчитать?
[21:01:51] <egp> так веселее =)
[21:01:52] <egp> а
[21:02:03] <egp> ну это уже лезьте в доки...
[21:02:36] <jordan36957> если б2 был указателем было бы 12, а так. Я не спец по си. Незнаю что там Кнрнингам придумал.
[21:03:06] <egp> это не токо он. это нынешние временя. хотя мож и он это придумал, не знаю.
[21:03:13] <jordan36957> *Керниган
[21:03:25] <egp> но это грабли офигеннейшие. На самом что ни на есть ровном месте.
[21:04:00] <egp> jordan36957, не хочу говорить детали проблемы - мож ктото ещё хочет порешать
[21:04:27] <jordan36957> удивительно как linux работает.
[21:04:33] <jordan36957> он полностью на си
[21:04:35] <egp> токо не разглашайте ради Бога, ок?
[21:04:39] <egp> он не полностью на си
[21:04:40] <jordan36957> ок
[21:04:42] <egp> там полно асма
[21:04:44] <vlad3> ну пусть будет 12
[21:04:51] <egp> так, ок.
[21:04:58] <egp> пока молчу
[21:05:10] <egp> пусть Kemet среагирует
[21:05:25] <egp> vlad3, потом спрошу почему - но пусть Kemet порешает
[21:05:43] <egp> пока плиз не вентилируйте задачу, лучше помолчать, ок, vlad3 ?
[21:05:45] <vlad3> Это если без придумок, а по общим правилам выравнивание. Естественно, что атм може быть специфика gcc.
[21:06:05] <vlad3> ок
[21:06:06] <egp> vlad3, ну Вы сильно не рассказывайте пока.
[21:06:13] <egp> интересно что Kemet выдаст =)
[21:07:06] <egp> vlad3, таки на собеседе я тоже выдал ответ 12
[21:07:14] <egp> но пока молчу
[21:08:19] <egp> vlad3, можете если хотите погадать на кофейной гуще, для смеху предложить ещё пару версий ответа...
[21:08:33] <vlad3> Еще может быть 9. С той же вероятностью, что и 12.
[21:08:36] <egp> но грабли ваще весёлый
[21:08:39] <egp> е
[21:08:41] <Kemet> egp: я не пишу на си, ну пусть будет 9 и 12
[21:08:47] <egp> ок
[21:08:54] <egp> финита
[21:09:08] <egp> перцы мне сказали что девять
[21:09:19] <egp> я грю: WTF?
[21:09:21] <egp> =)
[21:09:32] <vlad3> Ну в смысле - вполне объяснимо.
[21:09:38] <egp> они: ну вот посмотрите, тут чары и тут чары. 9 =)
[21:09:45] <vlad3> Везде чары.
[21:09:50] <vlad3> Структуры не парят.
[21:09:51] <egp> ну короче приступ внезапной оптимизации
[21:09:55] <vlad3> Парят только элементарные типы.
[21:10:11] <jordan36957> так б2 неизвестный
[21:10:11] <vlad3> Выравнивание идет побайтам, интам, вордам.
[21:10:24] <jordan36957> как 9?
[21:10:31] <egp> vаlexey, пропустили смешную заваруху =)
[21:10:41] <vаlexey> э?
[21:10:48] <egp> ладно все молчим
[21:11:00] <egp> ща проделаем ту же процедуру с vаlexey  =)
[21:11:21] <egp> Дано: Linux+gcc. При решении не использовать ни gcc, ни дебагер, ни хекс вьюер и подобные читы - представьте что вы на собеседовании и компа нет для решения задачи. Итак. дано: struct A{char a1[8];}; struct B{char b1;struct A b2;}; при элайнмент 32 бита, и 8-битном байте, скоко будед sizeof(struct B)?
в доки тоже не подсматривать =)
[21:11:23] <vlad3> Ну валексей там ближе к таким вещам, должен правильно ответить.
[21:11:36] <egp> vаlexey, язык C
[21:12:35] <vlad3> Вообще если подобные вопросы решающие на интервью - то нафиг такое интервью.
[21:12:35] <egp> vаlexey, не хотите ли тест по С,
[21:12:52] <egp> vlad3, вопросов были составы и ядерная война
[21:13:19] <egp> ответов "не знаю" было 10000, с предварительными соображениями "что я знаю и думаю по этому вопросу"
[21:13:40] <egp> vlad3, результат интервью с их стороны был "согласны"
[21:14:17] <egp> vаlexey, прекраснейшие грабли C на наировнейшем месте =)
[21:14:36] <vlad3> А в чем грабли-то?
[21:14:40] <egp> попозже
[21:14:53] <egp> с Алексеем разберёмя
[21:14:55] <egp> ч
[21:14:56] <egp> с
[21:14:56] <vаlexey> я думаю это будет не тест по Си
[21:14:58] <vаlexey> но давай
[21:15:15] <egp> Дано: Linux+gcc. При решении не использовать ни gcc, ни дебагер, ни хекс вьюер и подобные читы - представьте что вы на собеседовании и компа нет для решения задачи. Итак. дано: struct A{char a1[8];}; struct B{char b1;struct A b2;}; при элайнмент 32 бита, и 8-битном байте, скоко будед sizeof(struct B)?
в доки тоже не подсматривать =)
язык C.
[21:15:23] <vlad3> Наверное если с подобными вещами всречаешься - то в принципе сразу ответ даш. Меня лично выравнивание ни разу не парило.
[21:16:01] <vаlexey> Это не задача по Си
[21:16:12] <vаlexey> То есть с точки зрения Си это будет от 9 и до скольки угодно.
[21:16:19] <egp> хехе
[21:16:20] <vаlexey> Ибо понятие "выравнивание" в Си нет.
[21:16:24] <egp> увиливаете дядя
[21:16:29] <egp> дык прагмы же
[21:16:31] <vаlexey> Нет, отвечаю как Сишник.
[21:16:37] <vаlexey> дык нету прагм стандартных же
[21:16:46] <egp> не ну дана же область сей
[21:16:47] <vаlexey> Си вообще ничего ни про gcc ни про линукс не знает.
[21:16:52] <egp> это да
[21:16:55] <egp> но тут вот так
[21:16:59] <egp> линух и гцц
[21:17:27] <vаlexey> ответ - будет равно sizeof(struct B), использовать любые другие значение - значит выстрелить себе в ногу
[21:17:43] <vlad3> Единственное, с чем я столкнулся на практике, это то, что "на PPC нельзя просто взять и кастнуть любую херню к указателю на int". Как раз из-за выравнивания. Столкнулся не в смысле наступил, а в смысле что знал про эту особенность и так не делал.
[21:18:14] <egp> vаlexey, гг. вот вы молодец. а все остальные, в том числе я, и в том числе те кто меня интервьюровали , выстрелили себе таки в ногу же =)
[21:18:18] <vаlexey> vlad3: это на армах тоже. В лучшем случае будет потеря производительности.
[21:18:43] <vаlexey> Увы я адепт стандартов :-)
[21:18:44] <egp> таки собеседа была по линуху, гцц, армам и ртос
[21:19:06] <jordan36957> собеседование прошли?
[21:19:06] <egp> vаlexey,  а интервьюеры признались что стандартов не трогали =)
[21:19:08] <egp> да
[21:19:11] <egp> jordan36957, да
[21:19:20] <vаlexey> В рабочем коде, в реальной задаче, если я знаю что код одноразовый и на выборос, а париться не хочется, и нужна оптимизация, я бы просто проверил.
[21:19:34] <egp> а я бы в доки полез
[21:19:37] <jordan36957> Если знаешь ответ, это о многом говорит?
[21:19:44] <egp> именно по той версии гцц, vаlexey
[21:19:56] <egp> не. они мне дали причину почему так
[21:20:13] <vаlexey> ну пусть будет 9.
[21:20:18] <vlad3> Угу. Я бы воткнул STATIC_ASSERT, чтобы потом при мсене компилятора/опций не ловить баги долго у упорно.
[21:20:18] <egp> короче они дали ответом 9, и объяснили "тут чар и тут чары"
[21:20:50] <jordan36957> "<Навный> на Буране юзали Оберон" где об этом почитать?
[21:20:56] <egp> чо ето значит я не спросил, был в большой запаре, быстро вопросы-ответы шли -
[21:20:59] <vаlexey> а ты им поверил? сходи таки в доку на всякий случай :-) чтобы глубже понять в чем дело.
[21:21:06] <vlad3> Это, видимо, очередная обероновская легенда.
[21:21:20] <vаlexey> Ога. А еще на Буране юзали Дракон
[21:21:27] <egp> jordan36957, кажется на _сайте_ оберонкоре в разделе связи с оборонкой или промышленностью
[21:21:35] <jordan36957> ок
[21:21:45] <vаlexey> Только вот по факту софт был писан на асме, в который драконовские схемы РУКАМИ транслировали программистки.
[21:22:12] <vаlexey> Вот в Модулу я еще могу поверить.
[21:22:15] <vаlexey> Но не в Оберон
[21:22:17] <egp> vаlexey, таки я в гробу видал лазить в доку от балды. Я лазаю в доку когда нужно, и не гляжу вокруг. Такой у меня стиль
[21:22:23] <vlad3> Дык да. Если начнешь копать, то окажется не оберон, а какая-нибудь модула. И на на буране, а не тестовом стенде.
[21:22:24] <jordan36957> логика на драконе, а на асме обвес?
[21:22:43] <egp> vаlexey, не ну чо отличнейшая метода я думаю
[21:23:07] <egp> vаlexey, и ещё я нахожу лисп оч годным языком. С некоей либой на асме же! =)
[21:23:11] <vаlexey> jordan36957: нет. логику нарисовали на драконе, а затем эту логику  по драконовым схемам реализовали на асме :-)
[21:23:14] <vаlexey> РУКАМИ
[21:23:20] <egp> потому что лисп САМЫЙ ПРОСТОЙ язык
[21:23:33] <vаlexey> никакого дракона там не исполнялось. и никакого компилятора драконе не было
[21:23:36] <vаlexey> были программистки
[21:23:40] <egp> vаlexey, да, асм руками, и можна машкод руками с простой верификацией
[21:24:14] <egp> jordan36957, таки дракон это диаграмма, а не прога
[21:24:15] <Kemet> где то на сайте посвященном Бурану писали про Модулу
[21:25:10] <vаlexey> при этом успех или неуспех подобных проектов от ЯП зависит в последнюю очередь.
[21:25:29] <egp> таки зависит же.
[21:25:40] <jordan36957> Бортовой комплекс управления состоит примерно из пятидесяти систем. При разработке программного обеспечения для космического корабля и наземных систем использовались технология структурного проектирования программ и язык универсальной ЭВМ, что позволило в короткие сроки разработать программные комплексы объёмом около 100 Мб.
[21:25:44] <egp> очень конкретно зависит. хоть и в очередь.
[21:25:50] <egp> vаlexey.
[21:25:50] <jordan36957> 100 мб в 89 году.
[21:25:57] <jordan36957> на асме
[21:26:00] <jordan36957> в ручную
[21:26:22] <jordan36957> http://ru.wikipedia.org/wiki/%D0%91%D1%83%D1%80%D0%B0%D0%BD_(%D0%BA%D0%BE%D1%81%D0%BC%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B9_%D0%BA%D0%BE%D1%80%D0%B0%D0%B1%D0%BB%D1%8C)#.D0.A2.D0.B5.D1.85.D0.BD.D0.B8.D1.87.D0.B5.D1.81.D0.BA.D0.B8.D0.B5_.D1.85.D0.B0.D1.80.D0.B0.D0.BA.D1.82.D0.B5.D1.80.D0.B8.D1.81.D1.82.D0.B8.D0.BA.D0.B8
[21:26:40] <egp> асм это не язык универсальной ЭВМ. интермед. язык llvm ещё мож быть, потому что это типа асма.
[21:27:21] <jordan36957> ага не углядел
[21:28:40] <egp> После катастрофы космического корабля «Колумбия», и в особенности с закрытием программы «Спейс шаттл», в западных СМИ неоднократно высказывалось мнение о том, что американское космическое агентство NASA заинтересовано в возрождении комплекса «Энергия-Буран» и предполагает сделать соответствующий заказ России в ближайшее время. Между тем, по сообщению агентства «Интерфакс», директор ЦНИИМаш Г. Г. Райкунов заявил, что Россия может вернуться после 2018 года к этой программе и созданию ракетоносителей, способных выводить на орбиту груз до 24 тонн; испытания её будут начаты в 2015 году. В дальнейшем предполагается создание ракет, которые будут доставлять на орбиту грузы весом более 100 тонн. На отдалённое будущее имеются планы по разработке нового пилотируемого космического корабля и многоразовых ракет-носителей.[18][19][20]
[21:29:19] <vаlexey> надеюсь что частники похоронят этот проект
[21:29:32] <egp> vаlexey, это как же?
[21:29:44] <egp> чиво это и как
[21:29:59] <egp> это магнаты-частники похоронят?
[21:30:11] <vаlexey> это так - частные компании как раз разрабатывают многоразовые и ракетоносители и космические корабли
[21:30:18] <egp> во
[21:30:21] <egp> пусть они
[21:30:50] <egp> я вот думаю что хочу возрождать Расею
[21:30:59] <egp> тут или оборонка или хз чо
[21:31:03] <vаlexey> отлично. но только не через гос. корпорации.
[21:31:37] <egp> таки возможно что тут надо весьма полидисциплинарное решение...
[21:31:56] <egp> типа "стать И.В,
[21:31:59] <egp> Сталиным
[21:32:03] <egp> или Лениным
[21:32:23] <vаlexey> вообще, не нужно думать о возрождении России, нужно просто делать конкурентно способные решения мирового уровня. Свои. Частные.
[21:32:28] <vаlexey> И тогда все будет хорошо :-)
[21:32:31] <egp> свои
[21:32:55] <vаlexey> Угу. Не абстрактно-российские, а СВОИ
[21:33:22] <egp> таки у меня идеи-то можно обтесать-сваять
[21:33:30] <egp> математического уровня
[21:33:49] <egp> а не токо международного по планете. С прицелом на засофтовывание их.
[21:34:28] <egp> И да, vаlexey победил по этой задачке всех кого можно и всех кого нельзя =)
[21:34:33] <egp> и всех прочих тож
[21:34:34] <jordan36957> Согласен с Алексеем. Слижком много было потрясений и "улучшателей россии"
[21:34:59] <egp> таки там где я обычно треплюсь обо всё - пачка фсбшников тусуется =)
[21:35:12] <jordan36957> велика птица?
[21:35:18] <egp> один-двое даже в открытую декларирует свою принадлежность к фсб
[21:35:27] <egp> а пока не зондировали , что за птицы...
[21:35:49] <vаlexey> Мало сваять и обтесать идею. От этого оно не становится конкуретноспособным продуктом. Нужно суметь еще найти нишу и туда продукт продвинуть. Правильно его продвигать и продавать.
[21:35:52] <jordan36957> в контакте каждый второй чуть ли не сын президента :-)
[21:35:57] <vаlexey> Без этого ничего не выйдет.
[21:36:35] <egp> не,это просто канал #_Dp_Dh_Di_l_o_Dds_od_p___h_y (убрать диезы и dD) на RusNet IRC
[21:36:36] <egp> там
[21:36:42] <jordan36957> получилось программу продвинуть? что то с камерами...
[21:36:53] <egp> то есть подчерки убрать
[21:37:25] <egp> vаlexey, ну нужно подобрать перца для этого
[21:37:29] <vаlexey> jordan36957: в процессе :-)
[21:38:02] <jordan36957> маркетолога-продвигальщика :-)
[21:38:19] <egp> к сожалению таких вот двигунофф пока не вижу.
[21:38:26] <egp> у себя на горизонтах
[21:39:21] <jordan36957> специалиста за деньги всегда найти можно, главное толкового. Может даже в контору обратиться. Типа продвижение сайтов
[21:39:49] <egp> деньги ладно. главное - толк. и интеркоммуникация, взаимоприспособленность
[21:39:54] <vаlexey> jordan36957: https://www.youtube.com/watch?v=XtJ94F4vkx0
[21:40:17] <vаlexey> Virtualens installation tutorial: http://youtu.be/f0OPi-1SIQM
Tutorial on how to configure Skype: http://youtu.be/qIlQ5FQm7Vk
Tutorial on how to configure Google Hangouts: http://youtu.be/2jh1FqDIswE
[21:40:43] <vаlexey> https://www.youtube.com/watch?v=_fEdYgORfZY
[21:41:08] <jordan36957> Девушка сестра? Похожи.
[21:41:23] <vаlexey> нет
[21:42:56] <jordan36957> кто нибудь заинтересовался?
[21:43:16] <egp> в принципе один перец есть, из него может вырасти толк. Но захочет ли он туды расти - не факт.
[21:43:22] <vаlexey> дык конкурс же
[21:43:34] <vаlexey> через месяц результаты
[21:43:42] <jordan36957> куда расти, вы чем занимаетесь.
[21:44:23] <egp> jordan36957, мы думаем о всяких хитромудрых отслоениях от математики. В науку их задвигать просто влом - а вот задвинуть в софт нехило бы
[21:45:03] <jordan36957> Практический пример можно?
[21:45:09] <egp> не
[21:45:16] <egp> надо обтёсывать и ваять
[21:45:21] <egp> но потенциал имеется...
[21:45:53] <jordan36957> Типа сколково? Мы разрабатывем нано теххнологии :-)
[21:46:06] <egp> Пара возможных (но не факт) фундаментов - это индуизм, буддизм, и холизм.
[21:46:09] <egp> неа
[21:46:28] <egp> компутерно-верифицируемой математикой будем все баги по шнобелю
[21:47:00] <jordan36957> причём здесь верификация программ и будизм
[21:47:02] <egp> по типу metamath.org
[21:47:02] <Kemet> jordan36957: про мсколково в приличном обществе не принято говорить )))
[21:47:19] <egp> metamath.org - это далеко не сколково
[21:47:29] <jordan36957> Кемет Так это и стёб был.
[21:47:35] <egp> не, сколково это сорт бага
[21:47:39] <Kemet> )
[21:48:08] <egp> и "русский аналог дарпа" это СТО ПУДОВ тоже вариант сколково и роснано.
[21:48:11] <egp> и петрика
[21:48:29] <jordan36957> верификация программ по будизму? Нашли баг, это не баг это иллюзия, бага нет. :-)
[21:48:41] <egp> это всё российские сады граблей, по дешёвой аналогии с "японскими садами граблей"
[21:48:44] <egp> не
[21:48:46] <Kemet> угу, кругом одни петрики
[21:49:15] <egp> берём логиков-буддистов, кодим всё что смогли выкопать, кодим док-ва, запускаем простой чекер док-в
[21:49:17] <egp> и всё
[21:49:32] <egp> чекер - простая стековая машина, см. metamath.org
[21:49:46] <egp> и юзаем куда можем
[21:50:00] <egp> это очень юзабельно.
[21:50:02] <Kemet> буддисты они сильно разные бывают, до противоположности полной
[21:50:20] <egp> Kemet, буддийские логики крошать всю муть влёт.
[21:50:32] <egp> и все противоположности такие вот в том числе.
[21:50:38] <egp> крошат*
[21:50:53] <egp> ну таких мало
[21:51:11] <egp> но о них пишут физики твердотельщики из ядерных институтов.
[21:51:33] <egp> и энциклопедии о них пишут
[21:51:37] <Kemet> как они могут крошить, если некоторые считают, что логики нет
[21:52:25] <vаlexey> jordan36957: даже если никто не заинтересуется, проект не сдохнет.
[21:52:29] <egp> «Молчание — таинство будущего века.» Исаак Сирин, пару тыщ лет назад. Аналоговая волна это всяко хрен знает что
[21:52:44] <vаlexey> то есть мы просто выйдем на продажи конечным пользователям напрямую
[21:52:50] <jordan36957> Он не будист ;-)
[21:54:34] <egp> Kemet, короче у меня не петричество, а дискретная metamath.org строгость. А как это приложимо - трудная задача - можно развить верификацию саму и приткнуться к той же оборонке
[21:54:52] <egp> jordan36957, буддисты с ним согласятся таки.
[21:55:25] <vаlexey> egp: статический анализ кода? любого?
[21:55:29] <egp> Kemet, а базу прочеканую можно и в паблик домейн
[21:55:48] <egp> vаlexey, неть. см литературу по metamath.org (кстати я ещё не смотрел)
[21:56:36] <Kemet> egp: не заинтересуются в ближайшее время - нет возможности бабла плопилить, вот купить че нить заморское это да, деньги всегда найдутся
[21:57:05] <egp> vаlexey, как бы ДА. НО: док-ва верности этого кода должны быть тоже закодены. Тогда чекер даёт T/F.
[21:57:39] <egp> Kemet, да и хрен с идиотами. Можно ещё партизанскую организацию сгородить, типа Альт.Расея =)))))
[21:58:14] <egp> vаlexey, не знаю точно какие оценки скорость чекера, но недалеко от O(n).
[21:58:19] <vаlexey> egp: что-то вроде SPARK'a?
[21:58:28] <egp> vаlexey, не знаю такого слова
[21:58:45] <vаlexey> http://en.wikipedia.org/wiki/SPARK_(programming_language)
[21:58:55] <egp> недалеко от O(n) - не факт - не знаю скорость, но шустро
[21:59:12] <vаlexey> оформляется комментами к Ада-коду
[21:59:13] <egp> vаlexey, о нет
[21:59:26] <egp> по первым же строкам видно что нет
[21:59:36] <vаlexey> Kemet: фигня. Есть же jetbrains - а они тут. Они могут заинтересоваться. С их системой метапрограммирования.
[21:59:42] <egp> никакая не тьюринг - полнота, а тупая стековость
[22:00:07] <vаlexey> гм. agda?
[22:00:11] <egp> проще
[22:00:14] <egp> самое простое
[22:00:22] <egp> agda типа того, но усложненное
[22:00:34] <vаlexey> Epigram? :-)
[22:00:48] <egp> да уже проще всех
[22:00:55] <egp> http://metamath.org
[22:01:10] <egp> даже люди из VPRI его промотят на слайдах же, этот метаматх
[22:01:20] <egp> Алан Kay и Co.
[22:03:19] <egp> vаlexey, таки про Эпиграм сразу неясно - но возможно надо расширить метаматх до епиграм, если это ваще имеет смысл.
[22:03:50] <egp> короче надо воявать
[22:03:55] <egp> это мне интересно
[22:04:17] <egp> таки это сросток математики и компов - самое то что мне надо.
[22:04:32] <egp> причём прямо юзабельный в оборонке и военке.
[22:04:36] <egp> самое то.
[22:05:29] <egp> но эпиграм какой-то чересчур навороченный, явно сатана порылся
[22:05:39] <egp> рубить под корень все навороты
[22:06:35] <egp> рубить под корень и паскаль-модулу-оберон, даёшь лисп с либой на рукописном машкоде.
[22:06:50] <egp> п-м-о это масса наворотов же
[22:07:03] <vаlexey> а я вот не люблю оборонку и военку
[22:07:06] <vаlexey> террпеть не могу
[22:07:09] <egp> не люби
[22:07:13] <vаlexey> сбежал в свое время оттуда :-)
[22:07:13] <egp> твоё дело
[22:07:26] <jordan36957> почему?
[22:07:32] <egp> я знаю свой шесток - 3 место на области по математике.
[22:07:37] <vаlexey> потому что не люблю
[22:07:37] <egp> и сильно высоко не лезу.
[22:10:11] <vаlexey> оружие это не то чем я бы хотел заниматься. это скучно.
[22:12:08] <egp> а ты Николу Емелина послухай
[22:12:10] <egp> ща
[22:12:16] <egp> не ну
[22:12:26] <egp> там поцреотизм. Но хороший
[22:12:48] <egp> http://nikola-emelin.ru/
[22:12:53] <egp> в вк много его трекофф
[22:13:05] <egp> начинать с трека "Поднимается Русь"
[22:13:22] <vаlexey> а еще я терпеть не могу секретность в любом виде
[22:13:54] <egp> http://vk.com/audio?q=%D0%9D%D0%B8%D0%BA%D0%BE%D0%BB%D0%B0%D0%B9%20%D0%95%D0%BC%D0%B5%D0%BB%D0%B8%D0%BD%20%E2%80%93%20%D0%9F%D0%BE%D0%B4%D0%BD%D0%B8%D0%BC%D0%B5%D1%82%D1%81%D1%8F%20%D0%A0%D0%BE%D1%81%D1%81%D0%B8%D1%8F
[22:14:03] <egp> таки секретность мне тож дайте
[22:14:17] <jordan36957> В исходниках ББ в системе host, в большинстве файлов, импортирован winapi. То есть зависимость от виндовс, по всей системе.
[22:14:19] <egp> во всех видах, не съем то понадкусаю =)
[22:14:20] <vаlexey> звиняй, меня нет во вконтакте
[22:14:27] <vаlexey> соответственно просмотреть не могу
[22:14:32] <egp> vаlexey, ну вот сайт, там видевы есть
[22:14:49] <vаlexey> jordan36957: host по определению зависим от хост-системы
[22:14:52] <vаlexey> так что это норм
[22:15:26] <jordan36957> Странно они его написали. Обычно что зависимое в одном месте, всё остальное написаны на обертках.
[22:16:10] <egp> jordan36957, таки host и есть это одно место
[22:16:27] <egp> наскоко я понимаю бб (люто мало)
[22:16:38] <egp> (судя по листанию оберонкора)
[22:16:42] <jordan36957> типа sdl. Есть поверхность на которой рисуют и очередь сообщний всё. На этой абстракции можно уже писать независимо.
[22:16:56] <egp> ну а тут хост
[22:16:56] <jordan36957> Хост отвечает за прорисовка меню, символы и т.д
[22:17:28] <vаlexey> jordan36957: ты учти, что ББ писали БЫСТРО. А потом почти уже и не пилили. Только костыли втыкали.
[22:17:42] <vаlexey> по сути оно заморожено с начала этого века
[22:18:12] <egp> vаlexey, некоторые ещё и славят дедушку мороза величайшего из оберонщикофф =)
[22:18:18] <egp> якобы величайшего =)
[22:18:58] <egp> во всём виновата сложнота оберона
[22:19:02] <egp> лисп, токо лисп
[22:19:07] <egp> сраные скобочки =)
[22:20:04] <egp> не ну. оптимизация софтовая уже отжила своё
[22:20:21] <egp> пусь c c++ оптимизуют
[22:20:27] <egp> и потом матерятся
[22:20:40] <vаlexey> зачем? работает на отличненько :-)
[22:20:55] <egp> ага. пока простые задачьки пишешь.
[22:21:11] <vаlexey> Неа. когда большие продукты лепишь
[22:21:20] <egp> ну тогда стандарты си
[22:21:24] <egp> а не просто си
[22:21:31] <egp> заменить си на с++ можна
[22:21:36] <egp> ну тогда стандарты с++
[22:21:39] <egp> а не просто с++
[22:21:51] <egp> а то налепять расширений...
[22:22:16] <jordan36957> в каждой конторе свой кодинг стайл. Шаг в лево, шаг в право расстрел.
[22:22:26] <egp> ты не был в IBM
[22:22:30] <egp> там просто расстрел
[22:22:38] <egp> сразу после заключения контракта =)
[22:23:09] <egp> потому что кодинг стайл документ сет противоречит сам себе в миллиарде строк =)
[22:23:23] <egp> я команде это сразу подробно рассказал
[22:23:26] <egp> и они отвяли
[22:23:32] <egp> манагерам то есть
[22:23:43] <vаlexey> пардон, но когда я говорю С++, я имею ввиде именно С++, а не С++ с пачкой расширизмов от очередного кривого вендора.
[22:24:10] <egp> так ты не пользуйся личным язычком, а гри "стандартов таких-то с++"
[22:24:48] <egp> или просто "стандартный с++"
[22:24:59] <egp> как обозначение для каких-то стандартов
[22:25:07] <vаlexey> звиняй, но С++ он один - описан в стандарте
[22:25:12] <vаlexey> Все иное - не С++ и точка.
[22:25:16] <egp> но короче стандарты с++ выше моей крыши
[22:25:29] <egp> не хотеть
[22:26:17] <egp> я не настоко Демон Ада =)
[22:28:26] <vаlexey> ну, значит Аду :-)
[22:28:38] <vаlexey> А любителям пожосче - SPARK
[22:30:07] <egp> да ты чё
[22:30:12] <egp> лисп с машкодом же
[22:30:22] <egp> вот мой потолок. я тупица же. тупица же я.
[22:30:34] <vаlexey> ну, это для любителей легких путей, да.
[22:31:31] <egp> во. из Амазона чёта черкнули
[22:31:37] <egp> старшим же прогером зовуть
[22:33:25] <egp> таки же этот путь самый надёжнейший, vаlexey
[22:33:30] <egp> зато
[22:33:37] <egp> но лучче всего это чекинг
[22:33:45] <vаlexey> ну, зависит от задачи. если пилить в одниночку - то да.
[22:33:49] <egp> и там уже пофик что за задача
[22:34:54] <egp> и ежли ты прочекал - прочекай свой комп, и можна в ядрёную подлодку пихерить
[22:35:35] <jordan36957> IF (str = NIL) OR (<length of string (incl 0X)> > LEN(str^)) THEN как это понять?
[22:35:40] <jordan36957> <length of string (incl 0X)> как это компилируется
[22:35:56] <jordan36957> это не комментрайи
[22:35:59] <egp> Syntax error
[22:36:02] <egp> Ok
[22:36:33] <egp> Syntax error: Term expected
[22:36:36] <egp> чтото вроде того
[22:36:41] <egp> вот так компилируется
[22:36:45] <vаlexey> jordan36957: это откуда?
[22:36:56] <jordan36957> Mod/ObxDriv.html
[22:37:06] <jordan36957> http://oberspace.dyndns.org/WeBB//Sql/Mod/ObxDriv.html
[22:37:22] <jordan36957> в процедуре PROCEDURE (t: Table) ReadBlob
[22:37:45] <jordan36957> почти в конце файла
[22:38:07] <egp> Походу недописанный сырец
[22:38:22] <egp> м?
[22:38:47] <vаlexey> дописанный
[22:38:54] <egp> едрить
[22:39:03] <egp> коммент?
[22:39:04] <vаlexey> но не компиляется o_O
[22:39:14] <egp> недописанный значит.
[22:39:21] <jordan36957> IF <length of string (incl 0X)> > LEN(str) THEN
        (* copy truncated string to str *)
[22:39:25] <vаlexey> А! Это шаблон же!
[22:39:28] <vаlexey> (* this is a template to be filled out *)
[22:39:37] <vаlexey> Шаблон модуля :-)
[22:39:38] <egp> коммент же?
[22:39:40] <egp> а
[22:39:43] <egp> бред
[22:39:59] <jordan36957> шаблоны в ББ...
[22:40:01] <egp> а его транслятор филлит? или хуман?
[22:40:09] <vаlexey> Шаблон модуля для написания драйверка к Sql
[22:40:14] <vаlexey> по сути это недописанный модуль
[22:40:32] <egp> не ну. хуман филлит?
[22:40:44] <egp> или тулза
[22:40:46] <egp> м?
[22:41:02] <egp> ужос
[22:41:37] <egp> таки хуман, вижу.
[22:41:47] <jordan36957> Понял.
[22:42:05] <egp> хотя я бы не погнушался на лиспе обработчик таких темплейтов сделать =)
[22:42:32] <egp> токо нахера, неясно
[22:44:15] <egp> но темпейт выглядит оберонисто в этих местах, можно и посавать как пример синтаксиса =)
[22:46:10] <egp> ваще вот. есть у меня на 0 проэкт формального подмножества английского
[22:46:21] <egp> таки оберон это оно и есть
[22:46:30] <egp> и этот темплейт тожа
[22:46:42] <egp> ну там чуток оба потвикать
[22:46:56] <egp> шутка.
[23:03:10] <egp> амазонцы прикольные
[23:03:19] <egp> Грят ничего ничего что у тебя разговорной практики нет. Типа а может сможешь и так 2 интервью на инглише пройти? =)

нето что гугелеры, гугелеры потребовали иметь бизнес-уровень =)
[23:05:30] <vаlexey> гугл - выпендрежники
[23:05:40] <egp> да стьюденты
[23:05:41] <egp> фигали
[23:05:44] <egp> пижоны
[23:06:28] <egp> гыгы
[23:06:35] <egp> то Иисус воскрес
[23:07:06] <egp> теперь Емелин "Да воскреснет на Святой Руси, гой еси, добрый молодец — Илья Муромец!"
[23:07:08] <egp> =)
[23:24:28] <egp> прикольный фсбшник в чате философи - " За проигрыш в квизз - покараю)" =)))))))))
[23:25:01] <egp> отдыхает, видимо, там
[23:35:43] <egp> или совмещает приятное с полезным...