[03:31:32] <ada_ru> (coopht)  отвечает (I_vlxy_I) на <вот эти ребята: http…>
Хиппи
[07:46:01] <ada_ru> (Максим)  отвечает (I_vlxy_I) на <а вот Адских серверо…>
Я не знаю куда ты смотрел
[07:46:19] <ada_ru> (Максим) http://www.ada-ru.org/prj_ora.html
[07:47:29] <ada_ru> (Максим) @anisimkov aws пилить начал когда это писал
[07:49:01] <ada_ru> (Максим) Сам ты общаешься с OCTOGRAM через сервер на Ада, ada-ru.org на Аде
[07:50:24] <ada_ru> (Максим) У меня последний проект БД для кадастра Днепропетровской области на Ада и сервер и веб морда
[07:51:26] <ada_ru> (Максим) OCTOGRAM показывал свои работы на Аде
[07:51:59] <ada_ru> (Максим) Dns сервер на спарке
[07:52:43] <ada_ru> (Максим) 😃 что нихачю то не вижу?
[09:36:00] <ada_ru> (I_vlxy_I)  отвечает (Максим) на <http://www.ada-ru.or…>
про это не знал. спасибо
[09:36:13] <ada_ru> (I_vlxy_I) Так что же, на Аде больше пишут сервера или таки embedded? 🙂
[09:37:08] <ada_ru> (I_vlxy_I) кстати, ссылка http://www.actforex.com/demo_log.html -- битая
[09:41:05] <ada_ru> (nitrocerber) Эмбед пишут те, у кого есть, куда эмбедить)) остальные пишут сервера
[09:47:19] <ada_ru> (I_vlxy_I) Вообще, сервера и embedded довольно близкие области.
[12:27:11] <ada_ru> (I_vlxy_I) если составить список того, где применяется Ада. Будет ли совокупный бюджет написания серверов сопоставим с совокупным бюджетом embedded-решений? Ну или хотя бы по объему кода.
[12:42:23] <ada_ru> (I_vlxy_I) О! У Лего тоже есть железные дороги: http://www.cr31.co.uk/stagecast/trains/tt8_duplo_lout.html
[12:49:33] <ada_ru> (Sergei)  отвечает (I_vlxy_I) на <О! У Лего тоже есть …>
Да, сын в такую игрался. Ещё есть деревянные, мне даже больше нравятся, самая известная - BRIO делает. Но это не то, вокруг них не создано такого бизнеса моделирования, контроллеров, систем управления (в том числе программных), как вокруг классических немецких моделей маштабов H0 и N. То есть, если это, например, музей, основная экспозиция будет построена на моделях H0, а зал поиграться - ну там уже BRIO.
[12:50:26] <ada_ru> (I_vlxy_I) не, ну если в BRIO есть уже автоматизация и этим как-то с арадруины можно рулить. то конечно это интересней леговского.
[12:51:57] <ada_ru> (Sergei) Есть ещё системы машинок, управляемых по радио (блютус?) с компьютера, но я только в рекламе видел.
[12:53:39] <ada_ru> (I_vlxy_I) это которых машинок? тоже поезда?
[12:53:46] <ada_ru> (Sergei) Несколько лет назад бывший коллега здесь создал фирму, какие-то новые контроллеры для жд моделей стал делать. И ничего, говорят, успешно развивается, после того как ушёл с работы.
[12:54:13] <ada_ru> (Sergei) нет, машинки. Они более свободно ездят. Ну там сложные дороги, грузовики разгружаются и т.п.
[12:55:17] <ada_ru> (I_vlxy_I) а сенсоры у них есть?
[13:10:46] <ada_ru> (Sergei) Ну, знаю есть паровозы с вмонтированной камерой и на экране ты получаешь картинки с нескольких паровозов - такое есть. Полистаю каталоги
[13:12:34] <ada_ru> (Sergei) В основном, упор именно на моделирование. В том числе, что видно в окнах домов. ОЧень много фонарей разных, движущехся фигурок людей и т.п.
[13:19:38] <ada_ru> (Sergei) Типичный магазин - это 1/5 паровозы, вагоны и рельсы , 3/5 различные материалы для моделирования (газонная трава, пластиковые панели, дома, вокзалы) и 1/5 фонари, провода и контроллеры.
[13:20:54] <ada_ru> (I_vlxy_I) всё для строительства города в доме!
[13:22:29] <ada_ru> (I_vlxy_I) но вообще, если ты такое любишь, то тебе нужно обязательно сходить вот сюда: https://grandmaket.ru
[13:22:30] <ada_ru> (I_vlxy_I) 😊
[13:24:41] <ada_ru> (Sergei) Я ещё даже до Гамбурга не добрался. А мне это интересно, если я смогу на SPARK запрограммировать это с каким-то доказательством, что столконвений не будет. Иначе просто место займёт.
[13:25:19] <ada_ru> (I_vlxy_I) ну, это ж не про закупиться, а посмотреть.
[13:28:53] <ada_ru> (Sergei) А по поводу ориентации Ады на embeeded - если речь оооооб Адакоре, то не удивительно - у неё бизнес компиляторы, а делать порт под платформы - самая выгодная должна быть работа.
По поводу GUI на аде - никогда не понимал, зачем это делать, когда есть специализированные языки и сокеты. И сейчас не понимаю.
[13:29:33] <ada_ru> (I_vlxy_I) ну да. гуй сейчас в основном давно уже в браузере.
[13:29:43] <ada_ru> (I_vlxy_I) поэтому и в Go не стали париться с гуём.
[13:33:50] <ada_ru> (Sergei) Вчера дизассемблировал Saboteur II, настольгировал, много думал.
Всем советую. После этого не понятно, как можно критиковать Аду.
[13:36:48] <ada_ru> (I_vlxy_I) Э?
[13:37:53] <ada_ru> (Sergei) Ну, понимаешь, что всё проще. Мы многое забыли о радости программирования. Программирование просто прекрасно, особенно на таких высокоуровневых языках, как Ада.
[13:52:50] <ada_ru> (I_vlxy_I) Как питон и js!
[13:53:38] <ada_ru> (Sergei) Я с питоном знаком шляпочно, а js это не программирование
[13:54:07] <ada_ru> (I_vlxy_I) на js очень много разного пишут. в самых разных областях. в том числе с браузером не связанных никак.
[13:54:25] <ada_ru> (Sergei) Я знаю, но это набор html макросов
[13:54:55] <ada_ru> (Sergei) Пусть пишут. Это тот случай, когда, чем дальше от железяки, тем бессмысленней
[13:55:19] <ada_ru> (I_vlxy_I) в том числе и для железяк пишут 😊
[13:55:27] <ada_ru> (I_vlxy_I) а в каком месте язык js привязан к html?
[13:55:43] <ada_ru> (I_vlxy_I) там вроде даже тэгов html в языке нету 😊 и с DOM оно никак не связано.
[13:56:02] <ada_ru> (Sergei) Зачем брать JS, если не привязываться к DOM. Не зачем брать JS. Возьмите C
[13:56:16] <ada_ru> (I_vlxy_I) Си сложный и ненадежный же!
[13:56:27] <ada_ru> (Sergei) Внезапно
[13:56:32] <ada_ru> (I_vlxy_I) и низкоуровневый слишком. а мы хотим язык высокого уровня!
[13:57:27] <ada_ru> (Sergei) В руках тех, для кого C ненадёжный, js просто бесполезная пукалка
[13:57:44] <ada_ru> (I_vlxy_I) чоэто? в js мимо памяти не нагадить.
[13:57:50] <ada_ru> (I_vlxy_I) да и утечку памяти организовать довольно сложно.
[13:58:33] <ada_ru> (Sergei) это я экспрессивно высказался, я ещё внутри Z80 нахожусь со вчерашнего дня. Со мной лучше на тему JS сегодня не разговаривать :)
[13:59:22] <ada_ru> (I_vlxy_I) нет, я тоже js не люблю, но говорить что это набор html макросов всё равно, что говорить мол Ада - это язык для кидания мышкой кнопочки на формочки . Ну а что, на делфи похоже же! И там и там begin/end есть!
[14:00:03] <ada_ru> (Sergei) Что там за проблема у всех с памятью не могу понять.
[14:00:06] <ada_ru> (I_vlxy_I) И да, кому нужен этот паскаль, если там даже динамических структур данных не создать! Указателей нету, память динамически выделить нельзя...
[14:00:17] <ada_ru> (I_vlxy_I) Заблуждения вот на таком вот уровне.
[14:01:00] <ada_ru> (Sergei) Зачем ради этой проблемы "утечки памяти" которая фиксится отслеживанием, где ты забыл её освободить, как и любая другая ошибка (тот же +- 1) придумывать неизвестно что
[14:01:27] <ada_ru> (I_vlxy_I) (и нет, я тут почти ничего не выдумал, вышеописанное реально слышал в той или иной комбинации от людей)
[14:02:15] <ada_ru> (Sergei) Вот в Z80 никакой проблемы утечки памяти никогда не было. Учитесь . (как и самой памяти, впрочем)
[14:02:29] <ada_ru> (I_vlxy_I) begin/end = нищета, кнопочку на формочку, курсачи, отсутствие возможности нормально реализовать алгоритмы и структуры данных, поэтому приходится переходить на С++ чтобы писать олимпиадные задачи.
[14:02:42] <ada_ru> (I_vlxy_I)  отвечает (Sergei) на <Вот в Z80 никакой пр…>
нет памяти, нет проблем!
[14:02:51] <ada_ru> (I_vlxy_I) Z80 как embedded система!
[14:03:35] <ada_ru> (Sergei) Если перефразировать Torvalds-а, то можно сказать -  "пусть эти люди, использующие JS, писают в другую песочницу"
[14:06:10] <ada_ru> (Vinpuh) <прислал фото>
[14:15:20] <ada_ru> (I_vlxy_I)  отвечает (Vinpuh) на <>
сурово!
[14:16:59] <ada_ru> (I_vlxy_I) запустил консоль js. поэкспериментировал. адреналин хлынул в кровь!
[14:17:34] <ada_ru> (I_vlxy_I) "11"-1 => 10
"11"+1 => "111"
[14:17:38] <ada_ru> (I_vlxy_I) ААААААА!!!11
[14:17:46] <ada_ru> (Sergei) Ж))
[14:18:16] <ada_ru> (Sergei) я под столом
[14:20:17] <ada_ru> (Mikhail)  отвечает (I_vlxy_I) на <"11"-1 => 10
"11"+1 …>
"Учитель: Дети, сколько будет два плюс два?
Саша: Четыре!
Петя: Четыре.
JavaScript: 22"
[14:21:13] <ada_ru> (I_vlxy_I) "2"+2 = "22"
"2"-2 = 0
[14:21:42] <ada_ru> (I_vlxy_I) "2"-"2" = 0 тоже 😊
[14:21:56] <ada_ru> (Sergei) Я, вообще, ничего плохого не хочу сказать о JS, я просто сегодня неадекватен после разбора, перед сном, фрагментов вроде

 LD HL,$644C
 LD DE,$620C
 EXX
 LD DE,$5800
 LD HL,$4000
 EXX  // HL' = screen, DE' = attrs
 LD IX,$620C
 LD B,$12
 LD C,$20
 PUSH BC
 PUSH HL
 PUSH DE
 EXX // HL = screen, DE = attrs
 PUSH HL
 PUSH DE
 EXX // HL' = screen, DE' = attrs
 LD A,(IX+$00)
 OR A
 JP Z,$9DB1

 LD A,(HL)
 LD ($9E4D),A
 LD H,$00
 LD L,A
 PUSH HL
 POP DE
 ADD HL,HL
 ADD HL,HL
 ADD HL,HL
 ADD HL,DE
 LD DE,$DB8E
 ADD HL,DE
 LD DE,$9E44 // *
 LDI
 LDI
[14:21:58] <ada_ru> (I_vlxy_I) не, я даже представляю почему это так. но... блин.
[14:22:35] <ada_ru> (I_vlxy_I) а я ночью долбил NAT udp пакетами пока не пробил в нём дырку!
[14:23:49] <ada_ru> (Sergei) Ну, я его продолбил ещё лет 10 назад, когда мы хотели подключить linksys камеру в обход банковским файерволам
[14:23:59] <ada_ru> (Sergei) это стандартный трюк?
[14:24:03] <ada_ru> (I_vlxy_I) угу
[14:24:17] <ada_ru> (Sergei) у меня была коллекция этих трюков
[14:25:09] <ada_ru> (I_vlxy_I) нам тут наконец vpn до офиса сделали, но унутре, понятное дело, NAT, а мне нужно было с рабочего компа слать udp-пакетики на локальный комп. вот они не походили. пришлось пробивалку на Go написать 😊
[14:25:15] <ada_ru> (I_vlxy_I) побыстрому
[14:30:09] <ada_ru> (Sergei) КАкой-то чел делал стартап по цеплянию камер везде где хочешь и наблюдению с мобильника. Я на него работал. Потом он захотел ремоут десктоп, который по тем же дыркам через всё работает. Потом мы поругались и  я не отдал код. Через 2 дня он проник ко мне на Debian сервер но я его поймал, потому как у меня сервер был очень древний и памяти очень мало, и его скриптам памяти не хватило и они скорились на половине.
[14:31:25] <ada_ru> (Sergei) С JS также будет
[14:32:23] <ada_ru> (Sergei) Проник через дыру в exim, кстати
[14:33:13] <ada_ru> (I_vlxy_I) какой интересный чувак!
[14:33:19] <ada_ru> (I_vlxy_I) да и вообще, вы там большие затейники, я посмотрю
[14:33:46] <ada_ru> (Sergei) Он в Англии живёт, специалист по penetration, как я потом узнал
[14:34:10] <ada_ru> (I_vlxy_I) гхм. ни одной цензурной мысли у меня не возникло по прочтении этого предложения.
[14:34:38] <ada_ru> (Sergei) Это был легальный стартап
[14:34:56] <ada_ru> (I_vlxy_I) я понимаю
[14:36:06] <ada_ru> (Sergei) да, есть такая специализация, penetration. Я тоже вначале подумал, что это из области DP что-то
[14:36:38] <ada_ru> (Sergei) так что ты вчера penetration занимался
[14:37:21] <ada_ru> (Sergei) DP = Debian Penetration, если что
[14:38:17] <ada_ru> (Sergei) А ещё домен города, в котором я работал ...
[14:40:12] <ada_ru> (Sergei) Кстати, забавно как я заметил penetration. У меня в ls перестала одна опция работать
[14:40:28] <ada_ru> (Sergei) Он руткит прицепил с другой версией ls
[14:40:33] <ada_ru> (nitrocerber) Прям сообщество пенетраторов, едрёнть
[14:41:50] <ada_ru> (I_vlxy_I) ну, обход NAT'a это такое, очень лайтовое действо в плане пенетрации 😊
[14:42:18] <ada_ru> (I_vlxy_I) soft legal penetration - по взаимному согласию и не по хардкору же.
[14:42:58] <ada_ru> (Sergei)  отвечает (I_vlxy_I) на <ну, обход NAT'a это …>
и даже хорошо документированное, и даже серьёзные статьи, и даже с разработчиками NAT-ов работают, чтобы они были в курсе и случайно не закрыли официальные документированные дырки
[14:43:13] <ada_ru> (I_vlxy_I) угу
[14:43:26] <ada_ru> (I_vlxy_I) я  помню эту тему, ибо для VoIP она жизненно важна.
[14:43:34] <ada_ru> (I_vlxy_I) а я прогал VoIP как раз.
[14:44:15] <ada_ru> (Sergei) Да. Но мы там нашли ещё одну не очень документированную, которая нам помогла.
Самым большим извратом было сэмулировать на базе udp дыры tcp и потому мы искали, как tcp пробивать напрямую
[14:44:17] <ada_ru> (I_vlxy_I) sip-client (aka user agent), sip-proxy, SIP back to back user agent...
[14:44:45] <ada_ru> (I_vlxy_I)  отвечает (Sergei) на <Да. Но мы там нашли …>
с сырыми сокетами работали?
[14:46:48] <ada_ru> (Sergei) я основательно забросил это дело после той работы, потому вспомню только по коду. К тому же, я нигде не использовал, потому как к согл. о конфид. отношусь серьёзно.
Меня какое-то время интересовали remote desktop на машину соседа, но потом, они появились и в skype и в chrome и потому никому стало не интересно то, что я сделал.
[14:47:45] <ada_ru> (I_vlxy_I) X11 ваще рулит в этом плане 😊
[14:47:59] <ada_ru> (I_vlxy_I) ну и народ часто юзает Team Viewer
[14:49:03] <ada_ru> (Sergei) Идея была другая. Для тим вьювера надо что-то устанавливать, а у меня - достаточно было зайти на страницу в инете и всё необходимое забрасывалось чере JS и запускалось. Ну, тогда броузеры были ещё не очень внимательны
[14:50:43] <ada_ru> (Sergei) там достаточно было просто пользователю сказать "разрешаю" в каком-то всплывающем окне
[14:51:59] <ada_ru> (I_vlxy_I) это да, это прикольно.
[14:58:08] <ada_ru> (Sergei) Это потеряло смысл, когда везде появился google chrome, а там такое либо есть, либо всегда могли добавить. Никто, в общем, под такой стартап денег бы не дал.
[14:59:02] <ada_ru> (Sergei) Ну, а скайп тоже повсеместно распространился
[15:01:45] <ada_ru> (I_vlxy_I) ну, одно дело смотреть, другое дело смотреть и рулить
[15:02:23] <ada_ru> (Sergei) А, ну такого, тоже, уверен, дохрена, только никто не офиширует
[15:02:45] <ada_ru> (I_vlxy_I) Кстати, о верификации и о NAT: https://vignat.github.io/
[15:02:57] <ada_ru> (I_vlxy_I) "VigNAT: A Formally Verified Performant NAT"
[15:03:03] <ada_ru> (Sergei) О, спасибо, это мне интересно
[15:05:52] <ada_ru> (I_vlxy_I) валидатор у них на ocaml писан
[15:06:10] <ada_ru> (I_vlxy_I) кажется написание всяких верификаторов кода/валидаторов на ocaml - обычное дело
[15:06:22] <ada_ru> (I_vlxy_I) rust так был написан, spark тоже, как я понимаю.
[15:44:47] <OCTAGRAM> а ещё CCured и CPC
[17:34:16] <ada_ru> (I_vlxy_I) https://www.arm.com/company/news/2018/08/accelerating-mobile-and-laptop-performance
[17:34:19] <ada_ru> (I_vlxy_I) Все на ARM!
[17:39:48] <OCTAGRAM> Eee PC вроде в процессе, чтоб тоже свои Always Connected PC были
[17:55:33] <ada_ru> (I_vlxy_I) оно ещё живо?
[18:06:11] <OCTAGRAM> Always Connected PC — новинка
[18:06:26] <OCTAGRAM> ASUS среди желающих производить там был
[18:06:58] <ada_ru> (I_vlxy_I) вообще, Always Connected PC — это смартфон сейчас 😊
[18:07:31] <OCTAGRAM> ну значит, смартфон с Windows 10
[18:14:16] <ada_ru> (I_vlxy_I) не, такое устройство довольно бесполезно. это так, чисто поржать только.
[18:17:06] <OCTAGRAM> зайти фаром по сфтп на сервер, подредактировать, потом зайти в путти на тот же сервер, запустить пересборку и перезапуск
[18:17:11] <OCTAGRAM> сойдёт
[18:20:11] <OCTAGRAM> всякие Instagram там уже есть, а для тех, которых нет, пилят WSL, который изначально для Андроида задумывался, и это уж как с наскоку не получилось, пришлось выпускать как есть
[18:26:09] <ada_ru> (I_vlxy_I) мелкософт уже несколько раз обкакался с мобилками. больше им веры нет.
[18:28:43] <OCTAGRAM> там разные силы есть
[18:29:47] <OCTAGRAM> есть условный Реймонд Чен, и есть хипстеры
[18:30:10] <OCTAGRAM> Windows CE была довольно успешной, потому что там было то же самое API во многом
[18:30:26] <OCTAGRAM> и это в духе Реймонда Чена
[18:31:14] <OCTAGRAM> но есть и хипстеры: http://russian.joelonsoftware.com/Articles/HowMicrosoftLosttheWaronA.html
[18:32:39] <OCTAGRAM> раздел «Две силы в Microsoft»
[18:36:11] <ada_ru> (I_vlxy_I) WinCE/WinMo победила пальмов мультимедией и многозадачностью
[18:36:27] <ada_ru> (I_vlxy_I) конкретно вот - пальмы обкакались при попытке модернизации своей оси
[18:37:17] <OCTAGRAM> насколько мне известно, в цепочке WP7/WP8/WP10 на каждом этапе рвалась совместимость
[18:37:38] <OCTAGRAM> подход, противоположный подходу Реймонда Чена
[18:39:18] <OCTAGRAM> другие факторы тоже могли иметь место, но с совместимостью коррелирует
[18:52:12] <ada_ru> (I_vlxy_I) пофиг что там и как рвалось. не пофиг что они нарушили данное пользователям обещание. поэтому MS идёт лесом.
[18:52:21] <ada_ru> (I_vlxy_I) кредита доверия у них теперь нуль
[19:09:47] <OCTAGRAM> ну программы-то только там в основном работают
[19:10:00] <OCTAGRAM> я имею в виду не-Phone версии Windows
[19:10:38] <ada_ru> (I_vlxy_I) хез. львиная доля того, что ну жно мне, не работает там, либо работает там не адекватно.
[19:13:48] <OCTAGRAM> QIP вот тот же
[19:13:58] <OCTAGRAM> Pidgin
[23:53:03] <ada_ru> (t91x0)  отвечает (Sergei) на <А по поводу ориентац…>
Затем, чтобы просто заменить Дельфи на нормальный язык.