Вариант для распечатки		Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы		[ Отслеживать ]

Инициатива по созданию порта PostgreSQL на языке Rust, opennews (?), 09-Янв-17, (0) [смотреть все] А интересная инициатива Рукопожимаю , Zloy (?), 11:03 , 09-Янв-17, (1) +1 // Лучше пожми ему коммиты на гитхабе А мы посмотрим как вы напишете штуку размеро, Аноним (-), 13:29 , 09-Янв-17, (42) +5 // На гитхабе не отображаются коммиты в приватных репозиториях гитхаба Такжена гит, Аноним (-), 14:05 , 09-Янв-17, (57) +3 А вы - это кто Ребята из постгреса или очередные мы не сеем, мы не пашем, мы, Аноним (-), 14:32 , 09-Янв-17, (66) +16 // А вы наверное видный представитель клуба Мы то не сеем и не пашем, потому что н, Аноним (-), 20:40 , 09-Янв-17, (154) –4 Т е с тем, что ты балабол, ты не споришь , Аноним (-), 20:48 , 09-Янв-17, (159) +1 Ну то-есть вы не отрицаете участие в клубе А это вовсе и не передерг вашим мето, Аноним (-), 20:54 , 09-Янв-17, (162) Конечно, ведь даже передерг балаболы опеннета не ослили как надо Я ведь не отве, Аноним (-), 21:18 , 09-Янв-17, (174) Отмазывайся теперь А кто такие мы - по-моему довольно легко догадаться Ну не д, Аноним (-), 22:49 , 09-Янв-17, (194) Бесплатно -- только руку пожать , Zloy (?), 20:03 , 09-Янв-17, (141) –1 // А это как тебе удобнее, человек Мне и на postgres индифирентно и на ржавый Про, Аноним (-), 20:42 , 09-Янв-17, (155) Тю Тогда лучше сразу на Haskell переписать, он безопаснее будет , Rodegast (ok), 11:12 , 09-Янв-17, (2) –3 // Си в хаскель автоматически конвертировать не получится Во-первых система типов , freehck (ok), 15:48 , 09-Янв-17, (86) +5 // А то я этого не понимаю Моё сообщение было саркастическим т к переписывание , Rodegast (ok), 10:39 , 10-Янв-17, (237) Да вы упоролись Исследовали же постгре, там и так дефектов меньше чем где бы то, vitalif (ok), 11:15 , 09-Янв-17, (3) +15 // Мозилла как-то тут вопила что надо просмотрщик пдф на js переписать Переписали , Аноним (-), 13:31 , 09-Янв-17, (43) +2 // Только новость не о просмотрщике и не о переписывании на жс , Аноним (-), 14:31 , 09-Янв-17, (64) +9 // Патологическая ненависть к Мозилле не лечится , skybon (ok), 15:27 , 09-Янв-17, (81) +4 Если заменить мозиллу на обезьян с гранатой, особенно верящих в серебряные пули , Аноним (-), 20:44 , 09-Янв-17, (156) Ты, наверное, хотел сказать вэб-макаку с гранатой , Led (ok), 21:33 , 09-Янв-17, (182) Пример убунты показал что макаки бывают и не вэб Ну а кто еще может отгружать н, Аноним (-), 22:18 , 09-Янв-17, (187) Ну так и быть, разжуем лично вам Автор имел в виду, что если прога и разрабы кри, saasd (?), 15:36 , 09-Янв-17, (83) +1 При этом приведя в качестве примера cовсем другой продукт - конкретную БД, а не , Аноним (-), 16:22 , 09-Янв-17, (89) +2 Ну ладно, мазила еще servo написала И что вы думаете Оно тормозит еще круче то, Аноним (-), 20:46 , 09-Янв-17, (158) Чушь Безопасные языки программирования нужны тем, кто программировать не умеет , Аноним (-), 11:31 , 09-Янв-17, (4) –10 // Ещё скажи, что статическая типизация нужна тем, кто программировать не умеет , Zloy (?), 11:34 , 09-Янв-17, (5) +3 // Скорее наоборот, Аноним (-), 11:37 , 09-Янв-17, (7) +9 Высокоуровневые яп нужны тем, кто не может в ассемблер, неправда ли знакомая пес, Аноним (-), 11:36 , 09-Янв-17, (6) +2 // А assembl i y i нужен неосиляторам машинных кодов Которые не в курсе реноват, Аноним (-), 14:43 , 09-Янв-17, (69) +6 // Сразу видно человека который эксперт по ассемблеру Весьма иллюстративно , Аноним (-), 20:51 , 09-Янв-17, (161) –4 А вы не стесняйесь, просветите нас Начните хотя бы с ассемблера , того самого,, Аноним (-), 21:12 , 09-Янв-17, (171) +1 Кроме всего прочего я еще програмил на парочке ассемблеров, пустяки Но вы продо, Аноним (-), 22:27 , 09-Янв-17, (189) –5 Ой, напужали ежа голой попой Хелловорлд на асме входит в обязательную программу, Аноним (-), 22:52 , 09-Янв-17, (196) +5 Ну так бы и сказал что знаешь асм на уровне хелловорлда для вуза А я развлекалс, Аноним (-), 00:15 , 10-Янв-17, (205) –5 А запасной парашют только тем кто не умеет прыгать с парашютом, vagtang (?), 11:46 , 09-Янв-17, (10) +15 // Как бы это сказать Если запасной парашют будет добровольно-принудительно выскак, Аноним (-), 13:35 , 09-Янв-17, (46) // при чем тут безопасные языки программирования , Илья (??), 18:14 , 09-Янв-17, (115) Древняя примета опеннета - чем меньше анонимы знают матчасть, тем красочнее, под, Аноним (-), 18:53 , 09-Янв-17, (125) +6 Анонимы на опеннете почти никогда не знают матчасть , Аноним (-), 20:48 , 09-Янв-17, (160) Ну вам то как экспертам анонимовединия виднее По себе проверяли, тезки , Аноним (-), 20:59 , 09-Янв-17, (164) По таким вот как ты Экспертам аналогий , Аноним (-), 21:13 , 09-Янв-17, (172) Про парашюты начал какой-то другой аноним Нет, аналогия не такая уж плохая, но , Аноним (-), 22:52 , 09-Янв-17, (195) Безопасный язык программирования - это так круто звучит из уст маркетолого Но п, Аноним (-), 20:58 , 09-Янв-17, (163) это потому что язык программирования, безопасный от менеджеров, которые хотят со, Михрютка (ok), 22:56 , 09-Янв-17, (198) Так это, если все делать по фэншую, совсем без constraints по времени и стоимост, Аноним (-), 00:28 , 10-Янв-17, (206) правильно вот в примере про ариан завалилась довольно дорогая железка в пример, Михрютка (ok), 01:38 , 10-Янв-17, (212) –1 Поэтому крут не тот кто пишет идеальный софт, а тот кто все это может вменяемо с, Аноним (-), 14:52 , 10-Янв-17, (253) –1 эм, контролерам Аполлонов не хотите рассказать про зажрались Тем, которые Apoll, Михрютка (ok), 23:12 , 10-Янв-17, (272) Им Маск расскажет У него и сроки и стоимость фундаментально другие Он бортовые, Аноним (-), 01:47 , 14-Янв-17, (289) для обработки данных и бизнес-логики только СУБД PostgreSQL Несерьёзный тип Би, лютый жабист__ (?), 11:42 , 09-Янв-17, (8) –1 // Уже несколько раз вижу слышу такое мнение в этих ваших интернетах, но без всяк, Аноним (-), 12:00 , 09-Янв-17, (13) // Ну, как бы жёстко привязывет тебя к определённой БД, сложно поддерживать, плохо , Аноним (-), 12:10 , 09-Янв-17, (18) –2 // Сложные абстракции в финансах В бизнес логике , Аноним (-), 12:14 , 09-Янв-17, (21) Внезапно да Не поверишь сколько всяких не поддающихся пониманию законов правил , Аноним (-), 12:44 , 09-Янв-17, (30) +3 Так это из практики, или так мысли вслух Какие там сложные абстракции, что в PL , Аноним (-), 14:06 , 09-Янв-17, (58) –1 Из практики, 3 года разрабатывал биллинговые системы , Аноним (-), 17:09 , 09-Янв-17, (97) Расскажите нам о своём опыте написания бизнесс-логики на стороне БД , Илья (??), 18:40 , 09-Янв-17, (122) Сертифицированный ораклист толкает свой вендор-лок из 90-х , Вареник (?), 21:24 , 09-Янв-17, (178) Цифры должны сойтись, а если не сошлись из-за ошибки в прошлом, за которую ужет , Анином (?), 02:19 , 10-Янв-17, (216) Советую глянуть, на каких языках, в PostgreSQL, можно писать хранимки, Аноним (-), 12:14 , 09-Янв-17, (22) +3 И Это всё будет прибито гвоздями к конкретной базе, не , Аноним (-), 12:46 , 09-Янв-17, (31) Как будто что-то плохое , Добрый анон (?), 13:19 , 09-Янв-17, (40) +5 Когда стартапнешь свой uber - расскажешь нам о хорошем и как это делать правильн, Аноним (-), 13:46 , 09-Янв-17, (52) –7 Когда стартапнешь свой uber - расскажешь нам о хорошем и как это делать правильн, Аноним (-), 14:02 , 09-Янв-17, (55) +3 Странная у тебя логика То есть опыт uber по перемене бекэнда БД является чем-то, Добрый анон (?), 14:08 , 09-Янв-17, (59) +4 Опыт uber - это практика хорошего, крутого и современного стартапа Со всеми гра, Аноним (-), 22:56 , 09-Янв-17, (197) Какая разница, из каких сортов гогна лепить велосипед База - это ДАННЫЕ, а гор, Kodir (ok), 17:45 , 09-Янв-17, (106) –5 Нет База -- это база А данные -- это данные База данных, помимо собственно да, Аноним (-), 19:03 , 09-Янв-17, (127) +1 Независимость от БД возможна только на уровне SELECT FROM gostevuha , Аноним (-), 12:15 , 09-Янв-17, (23) +11 Есть такая тенденция, ставить мегабазу на IBM-Z сейчас Oracle уже свои машины пи, Аноним (-), 12:20 , 09-Янв-17, (26) –1 И к чему этот комментарий Где такие тенденции Привязка к БД рано или поздно про, Добрый анон (?), 12:48 , 09-Янв-17, (33) +4 Только вот uber однажды взял и соскочил с сабюа на мускул И номер для них таки , Аноним (-), 13:45 , 09-Янв-17, (51) –4 То, что uber не провел изначальный ресеч того, что им нужно в первую очередь от , Добрый анон (?), 14:03 , 09-Янв-17, (56) +2 Они по крайней мере вместо восторженных воплей и маркетингового булшита изложили, Аноним (-), 21:06 , 09-Янв-17, (166) Вы не понимаете сути данных, которые обрабатываются в финансах, все эти блокчейн, Аноним (-), 14:08 , 09-Янв-17, (60) +3 А хранят блокчейны в большинстве систем в обычном гугловском levelDB Который и , Аноним (-), 21:10 , 09-Янв-17, (168) uber соскочил с SQL на собственную реализацию key-value , Аноним (-), 19:04 , 09-Янв-17, (128) Я всегда подозревал что они адекватная компания, а они еще себя так спозициониро, Аноним (-), 21:11 , 09-Янв-17, (170) Проблема в том, что Uber как не использовал PostgreSQL как SQL-базу, так и продо, Аноним (-), 23:56 , 09-Янв-17, (203) А использовать как SQL базу - это как Поставить чуть ди не майнфреймы и прочие , Аноним (-), 15:09 , 10-Янв-17, (257) –1 Дай догадаюсь, ты только начал открывать для себя мир программирования и начал э, angra (ok), 12:49 , 09-Янв-17, (35) Лишь неопытность внушает иллюзию, будто всё можно написать универсально, без при, Аноним (-), 13:34 , 09-Янв-17, (45) +5 Сделать из базы сервер приложений конечно можно Но как и насколько это работает, Аноним (-), 13:42 , 09-Янв-17, (49) +1 Данные бывают разные, и требования к их сохранности и консистентности так-же , Аноним (-), 14:11 , 09-Янв-17, (61) +2 А еще практика показала что упование на один супермеганадажный компонент за дики, Аноним (-), 21:19 , 09-Янв-17, (176) Есть куча известных проектов, которые способны работать более чем с одной БД Пр, angra (ok), 13:48 , 09-Янв-17, (53) У этих проектов _разный_ код для _разных_ баз данных , Аноним (-), 17:05 , 09-Янв-17, (96) +1 sqlalchemy, orm django из коробки поддерживают несколько баз данных, если не пыт, www2 (ok), 17:33 , 09-Янв-17, (100) sqlalchemy не поддерживает например COPY http stackoverflow com questions 1312, Аноним (-), 19:09 , 09-Янв-17, (130) +1 И что из этого Никто не говорил, что слой абстракции работы с БД позволяет макс, angra (ok), 01:39 , 10-Янв-17, (213) –1 Нет - Нет - Это всё субъективно и спорно и зависит от того, что конкретно вы , Аноним (-), 15:06 , 10-Янв-17, (255) +1 django это для веб-макак, Анином (?), 02:34 , 10-Янв-17, (218) +1 Ну-ка, расскажи какие бы ты нагородил грабли со своим джанго и универсальностью,, Anonus2 (?), 22:47 , 10-Янв-17, (271) +1 У вас настолько большой опыт, что не видите разницы между кодом собственно про, angra (ok), 01:35 , 10-Янв-17, (211) Нету таких проектов , Аноним (-), 19:11 , 09-Янв-17, (131) +1 Ну, если сторить систему по принципу Х к, х к, архитектура приложения то да,, Аноним (-), 13:36 , 09-Янв-17, (47) Не поверите - именно так и пишу Фильтры и сортировки - в СУБД, остальное - апп , Kodir (ok), 17:47 , 09-Янв-17, (107) –2 ну я так и понял, что у тебя всё через ОДНО место , Аноним (-), 17:59 , 09-Янв-17, (112) +2 как-то не реалистично звучит , Илья (??), 18:52 , 09-Янв-17, (124) А до главы про триггеры вы ещё не дочитали, понятно , Аноним (-), 19:48 , 09-Янв-17, (137) Ну не совсем так, если не писать бизнес логику напрямую на SQL, а использовать н, Гентушник (ok), 10:44 , 10-Янв-17, (238) –1 Жесткая привязка с СУБД - не аргумент для банка финтеха Я вот как раз таки целы, anonymous (??), 15:08 , 09-Янв-17, (73) +2 Почитай, откуда вообще взялись хранимки Возьми календарь, проверь текущий век , Kodir (ok), 17:49 , 09-Янв-17, (108) –5 Почитай, откуда вообще взялись у людей ноги Возьми календарь, проверь текущий в, Аноним (-), 19:51 , 09-Янв-17, (138) +3 Капитан Очевидность напоминает, что головы у живых организмов появились значител, Аноним (-), 23:11 , 09-Янв-17, (200) +1 А жёстко привязаться к одному языку программирования,к одной платформе, к одн, Аноним (-), 17:00 , 09-Янв-17, (95) Это совсем так, у всех диалектов SQL есть гораздо больше общего, чем вы пытаетес, www2 (ok), 17:41 , 09-Янв-17, (105) Это терпимо, ибо профессионалы пишут на одном языке и команда набирается на нём , Kodir (ok), 17:52 , 09-Янв-17, (109) –3 Бывает переходят с SQL на NoSQL когда понимают что требования другие, или на сво, Аноним (-), 19:59 , 09-Янв-17, (139) Если рассматривать ситуацию когда разработчики прикладного ПО и те кто его испол, Гентушник (ok), 11:09 , 10-Янв-17, (239) –1 Для некоторого ПО даже и не спросим Ибо нечто серверное делать кроссом ныне смы, Другой Аноним (?), 22:31 , 11-Янв-17, (282) –1 Программисту на любом высокоуровневом языке и транзакции не нужны , Аноним (-), 20:00 , 09-Янв-17, (140) –1 Продолжу Написалupdate mytable aset fld 123where not exists select from othert, Анином (?), 02:39 , 10-Янв-17, (219) Именно такой как вы написали работает и в мускуле Что-то вы утаиваете , Ан (??), 09:42 , 10-Янв-17, (230) а если попробовать писать на sql , анонимус (??), 09:55 , 10-Янв-17, (232) –1 1 Как часто в проекте вы меняете СУБД 2 Нормальный DBA будет нормально поддерж, Аноним (-), 22:02 , 09-Янв-17, (186) А так ты привязываешься к определенным языкам программирования платформам Ну, т, Очередной аноним (?), 09:52 , 10-Янв-17, (231) Можете объяснить почему это 171 фуфу 187 Потому что это убого сравниваю с , лютый жабист__ (?), 12:46 , 09-Янв-17, (32) –6 // Ложь, наглая ложь и бенчмарки , Аноним (-), 14:49 , 09-Янв-17, (70) –1 Согласен Сколько себя помню на адекватных для решения средствами БД задачах Jav, anonymous (??), 15:18 , 09-Янв-17, (79) +2 Ты хочешь сказать, что, к примеру, навороченная хранимка, которая сделает тыщу S, Аноним (-), 15:20 , 09-Янв-17, (80) +3 Хранимая процедура PL SQL Это и Java, и С С Код внешней процедуры работает, Аноним (-), 17:11 , 09-Янв-17, (98) Код хранимой процедуры тоже работает быстрее, если не использует данные из БД А, www2 (ok), 18:07 , 09-Янв-17, (113) –2 Уже писал тут уже не раз Например есть на сайте ФНС база недействительных паспо, лютый жабист__ (?), 04:57 , 10-Янв-17, (223) –1 Ну и на кой, в задаче которую ты привел, нужен сервер приложений Что тебе мешае, Аноним (-), 07:35 , 10-Янв-17, (227) +1 А мешает тут то что потом получается адский монстр, где никто не помнит что, как, Аноним (-), 15:31 , 10-Янв-17, (259) –1 1 Загрузить в пустую временную UNLOGGED таблицу2 Сделать UPSERT из нее в целев, Аноним (-), 11:42 , 10-Янв-17, (242) Теоретик detected В каком именно SQL-сервере получается 100млн инсертов за 40 с, лютый жабист__ (?), 07:24 , 11-Янв-17, (276) –1 Всетаки надо научиться пользоваться СУБД ТОгда такой ерундой заниматься не прид, Анином (?), 12:46 , 10-Янв-17, (247) А потом DBA бегает с криком еж твою мать, какой урод нагенерил этих уродских за, Аноним (-), 15:19 , 10-Янв-17, (258) после чего ему придется стать девопсом без увеличения зарплаты или его увол, Аноним (-), 15:33 , 10-Янв-17, (260) Неее - это вечная тема На каждой планёрке вот уже сколько лет - кто тормозит , . (?), 04:52 , 11-Янв-17, (274) Да ладно заливать К тому же подобные приложения ограничены скоростью работы с да, Анином (?), 02:48 , 10-Янв-17, (221) Теоретик В языках для хранимочек нет коллекций, нет сложных библиотек Предпола, лютый жабист__ (?), 05:06 , 10-Янв-17, (224) –2 Люди, использующие, к примеру, plperl в PostgreSQL, тебя никогда не поймут Они , Аноним (-), 07:55 , 10-Янв-17, (228) +1 Для информации, в Oracle можно писать хранимочки на жабе Но это очень неправиль, лютый жабист__ (?), 11:44 , 10-Янв-17, (243) –1 Это не так В PL SQL есть коллекции Но они не особо нужны Надо научиться пользо, Анином (?), 12:53 , 10-Янв-17, (249) +1 Ценное замечание про не нужны В бложике Тома Кайта видел примеры наследования, лютый жабист__ (?), 07:33 , 11-Янв-17, (277) –1 Что доказывать то Что си быстрее жабы, и что си жрет память меньше чем ява По-, Аноним (-), 09:25 , 11-Янв-17, (278) –1 Т е хранимочки быстрее аппсервера если хранимочки писать на перле с сишными вст, лютый жабист__ (?), 04:50 , 13-Янв-17, (285) –1 На вебе все, что больше 300 ms считается медленным У мена хранимки на перле вып, Аноним (-), 05:20 , 13-Янв-17, (286) 600 SQL-запросов за 100мс Ещё и при не одном клиенте Свежо питание, да 8, лютый жабист__ (?), 09:22 , 13-Янв-17, (287) –1 Да Речь идет об выборке данных на основании которых строится рекурсивно дерево , Аноним (-), 15:05 , 13-Янв-17, (288) +2 Не жрите оно, возьмите чё нормальное оркал или постгрес к примеру ЭТО ШЕДЕВР Л, . (?), 04:57 , 11-Янв-17, (275) Несерьёзный тип Бизнеслогика в хранимочках это фуфу Смотрю серьёзные набежали,, Аноним (-), 12:09 , 09-Янв-17, (16) +4 Смотря каке там хранимочки Если как ораклячие ПЛ СКУЭЛ то вполне реализуемо Если, Анином (?), 12:20 , 09-Янв-17, (27) +1 // И что Предлагаешь каждому Джависту, Паскалисту, Шарповоду изучать ещё и проприе, Kodir (ok), 17:56 , 09-Янв-17, (111) –3 // А 640 килобайт хватит всем Вообще-то без тех или иных мини-языков или языков раз, www2 (ok), 18:10 , 09-Янв-17, (114) Крутой кодир почувствовал себя не крутым, потому что ему кто-то на районе из пац, Аноним (-), 18:35 , 09-Янв-17, (120) +2 конечно же, джаваскрипта , Илья (??), 19:03 , 09-Янв-17, (126) +2 Если кодир работает с СУБД, то он это обязан знать , Анином (?), 02:29 , 10-Янв-17, (217) Проще на Rust начать писать SQL сервер с нуля , 111 (??), 12:00 , 09-Янв-17, (12) +2 // брать не будут, а тут пиар бесплатный мы как postgres, только безопаснее, leap42 (ok), 13:20 , 09-Янв-17, (41) –1 // Этот пеар у прогеров не прокатит - все понимают, что помимо циклов условий ест, Kodir (ok), 19:33 , 09-Янв-17, (133) –2 // А они и не прогерам это продавать будут, а менеджерам верхнего звена , Аноним (-), 20:15 , 09-Янв-17, (145) А менеджерам верхнего звена все это надо Их интересует как срубить на яхту покр, Аноним (-), 21:22 , 09-Янв-17, (177) Разработчики RustgreSQL сказали нам, что она написана на более безопасном языке, Аноним (-), 21:44 , 09-Янв-17, (185) –1 Крутые аналогии, бро Ещё бы матчасть подтянуть, потому как в реальности как раз, Аноним (-), 22:27 , 09-Янв-17, (190) Хорошо тебе стэк сорвало Жаль что в этом крахдампе мысль не угадывается , Аноним (-), 23:10 , 09-Янв-17, (199) +2 Расходимся, это просто мимокрокодил, который и С-то не знает, а хочет, чтобы кто, anonimous (?), 12:03 , 09-Янв-17, (14) +14 // А какой объём активов у тех 52 банков Может и найдут , Аноним (-), 12:10 , 09-Янв-17, (17) // Wikipedia payments of more than EUR 1 7 billion annually were processed In 20, Аноним (-), 12:12 , 09-Янв-17, (20) Кроме того, его аккаунт в гитхабе с 0 коммитами за последний год подтверждает ка, Орк (?), 12:34 , 09-Янв-17, (28) // А это уже преступление, не комитить на гитхаб - Согласен, подача новости совер, Аноним (-), 20:08 , 09-Янв-17, (142) Он уже запилен, на хаскеле там лежит, Аноненамус (?), 13:33 , 09-Янв-17, (44) То есть сейчас имеется код на C в котором есть проблемы с памятью Он может быть , Аноним (-), 12:10 , 09-Янв-17, (19) +2   // Есть вариант что не даст откомпилировать, другой вопрос что после этого делать, , Аноним (-), 12:17 , 09-Янв-17, (25)   Об этом Якобс не думает, не царское это дело , Аноним (-), 12:39 , 09-Янв-17, (29) +2   Да, на данный момент, исключительно с помощью магии , Яйцассыром (?), 13:43 , 09-Янв-17, (50)   // https github com jameysharp corrode, Аноненамус (?), 14:12 , 09-Янв-17, (62)   Думаю, имеется ввиду другое Проблемы не исчезнут Но проблемы уровня нас плиме, Аноним (-), 20:17 , 09-Янв-17, (147)   // И часто ты видишь поимение серверов через переполнение буфера Вроде сейчас намн, Аноним (-), 23:42 , 09-Янв-17, (202)   Так компилируй, с -fsanitize address и что там тебе еще надо А то что скорость , Аноним (-), 23:40 , 09-Янв-17, (201) –1   // А можно использовать наработки в компиляторах за последнии 40 лет и добавить в Я, Аноним (-), 00:32 , 10-Янв-17, (207)   // Сразу видно человека, который не компилировал бустопроги , 111 (??), 09:17 , 10-Янв-17, (229) +1   Что сказать-то хотел Что плюсы не используют наработки в компиляторах Что туда, Аноним (-), 15:08 , 10-Янв-17, (256) +1   Ну так почему C так долго компилируется - вот поэтому В С 14 можно создать да, iPony (?), 12:46 , 10-Янв-17, (248) –1   Я конечно понимаю что CS у россиян не в почете, но до того как умничать - наверн, Аноним (-), 15:47 , 10-Янв-17, (261) –6   Убрать все обычные циклы, оставить только foreach range-based for loop и добав, Аноним (-), 16:22 , 10-Янв-17, (266) +2   И все бы ничего, но это уронит скорость выполнения Примерно настолько же наскол, Аноним (-), 01:56 , 14-Янв-17, (290)   Что, кроме тюринга ничего больше не знаешь А моежт еще стоит, до того как влеза, Аноним (-), 16:27 , 10-Янв-17, (267) +5   А что, кто-то смог сотворить чудо и сделать bounds checking без просадок скорост, Аноним (-), 02:09 , 14-Янв-17, (291)   1 Если программист написал настолько сложную программу, что он сам для себя даж, Аноним (-), 15:50 , 11-Янв-17, (279) +2   При этом еще благополучно забывают после того как не знают, такое вот у них отл, Аноним (-), 18:04 , 11-Янв-17, (280) +1   1 Я не распарсил длинного последовавшего текста Наверное, с сарказмотэгами , Andrey Mitrofanov (?), 18:46 , 11-Янв-17, (281)   Существует такая вещь, как SMT-solver ы Они могут проверить граничные условия, , Аноним (-), 00:00 , 02-Фев-17, (298)   В БД, отличительно от прикладной программы, одной из основных подсистем это рабо, rshadow (ok), 12:15 , 09-Янв-17, (24) +3 // клоун 1 речь он ведёт не про производительность, а про безопасность2 я не прип, Аноним (-), 14:40 , 09-Янв-17, (68) –5 // Про память как раз в первую очередь сказано А на счет безопасности бд как прави, rshadow (ok), 15:03 , 09-Янв-17, (72) –2 Как же не чинить Весь раст придуман для решения одной на самом деле не существу, Другой Аноним (?), 22:47 , 11-Янв-17, (283) –2 // Монетизировать Выходить в деньги Как это у них там, при разводе кроликов наз, Andrey Mitrofanov (?), 10:00 , 12-Янв-17, (284) Согласен И нормальный программист сделает её намного лучше, чем всякие автомати, Аноним (-), 16:59 , 09-Янв-17, (94) –1 Что-то мне тоже подсказывает, что одним GC тут не обойтись Как вариант, _может_, Kodir (ok), 19:39 , 09-Янв-17, (135) –2 // Казалось бы, причем тут GC , Аноним (-), 20:40 , 09-Янв-17, (153) Мне кажется он хочет понять, насколько реально сделать СУБД без ручного управлен, Enik (ok), 12:48 , 09-Янв-17, (34) Не хватало ещё тормозов , Аноним (-), 12:56 , 09-Янв-17, (37) // Ну вот, ты пришёл - теперь хватает , Led (ok), 17:34 , 09-Янв-17, (101) +3 Rust - язык, ориентированный на безопасность, но с сохранением, а в некоторых сл, Аноним (-), 10:07 , 10-Янв-17, (233) // Подчёркивают, иначе им ничего не светит супротив c Только это буллшит, как по, Аноним (-), 11:28 , 10-Янв-17, (240) –1 // т е у него нет перспектив Я читал что из-за повсеместного применения указателе, Anonim (??), 11:46 , 10-Янв-17, (244) +1 Ну как нету В 2010м всё переписывали на руби, даже небо, даже аллаха Это было , Аноним (-), 12:44 , 10-Янв-17, (246) Началось Скоро всё начнут с С С на раст переписывать, Бутират (?), 13:07 , 09-Янв-17, (38) –1 // Да погоди ты Еще на Go, Ruby и JavaScript не все переписали , rshadow (ok), 15:08 , 09-Янв-17, (74) +3 // Нене переписывалы обычно приходят с самыми е6и ьными вариантами переписа, Kodir (ok), 19:42 , 09-Янв-17, (136) –1 My motivation is primarily I don t want to learn all the over-complicateddetails, Михрютка (ok), 13:08 , 09-Янв-17, (39) +7 // Память освободил уже , Аноним (-), 13:37 , 09-Янв-17, (48) +2 Вообще конечно все к этому и идет удобство и скорость разработки в ущерб произв, rshadow (ok), 15:13 , 09-Янв-17, (76) // Ну вообще-то не прямо на питонах и js Код на них только вызывает библиотечные ф, www2 (ok), 18:31 , 09-Янв-17, (117) –1 Дык сильно тебе нужна бд или что там еще с достоинством зато разработчики не на, Аноним (-), 02:03 , 10-Янв-17, (214) единственный ущерб производительности , который есть в rust по сравнению с C C , Аноним (-), 10:34 , 10-Янв-17, (236) QML лёгкий, быстрый и гибкий Отрисовывается на OpenGL Вручную так быстро рисов, Anonim (??), 11:51 , 10-Янв-17, (245) // Ты знаешь, компьютеры уже в конце 80-х рисовали быстрее чем вручную, так что сом, Аноним (-), 23:46 , 15-Янв-17, (296) –1 Выступил с инициативой , лол Чувак просто спросил в списке рассылки наскол, Ordu (ok), 13:52 , 09-Янв-17, (54) +8 // Вот, между прочим, про то, что Эрик Раймонд заявил 1 , что они там серьёзно дума, Ordu (ok), 14:33 , 09-Янв-17, (67) +2 // Точняк, тоже видел сообщение Эрика, надо сделать новость мне лень , сделаешь , Аноним (-), 20:12 , 09-Янв-17, (143) на яве пусть сразу переписывают еще GC в NTP сервер затащить осталось и хорош , Михрютка (ok), 20:35 , 09-Янв-17, (151) –1 Сразу видно по прожЭкту собираемому какой-то WAFлей что это Серьезная Штука Не , Аноним (-), 21:30 , 09-Янв-17, (179) У раста, как я понял, из-за безопасного программирования порог выше В остальном, Аноним (-), 14:29 , 09-Янв-17, (63) // Кто минус поставил, мог бы и ответить, Аноним (-), 18:33 , 09-Янв-17, (119) –1 // Отписать что Что у плюсов порог входжения на троих хипстеров с rust и go хватит, Аноним (-), 21:32 , 09-Янв-17, (180) –2 // Ну все же вы больные люди 8230 , Аноним (-), 02:43 , 10-Янв-17, (220) +1 Я вообще не плюсовик, всего лишь сишник А вот знакомые плюсовики - в массе свое, Аноним (-), 15:58 , 10-Янв-17, (262) –1 По-моему в с только щаблоны сложны, остальное осваивается быстро и безболезнен, Аноним (-), 10:16 , 10-Янв-17, (234) Так это даже сишник может сделать питониста по скорости написания программ, е, Аноним (-), 16:00 , 10-Янв-17, (263) +1 У Rust а есть сильные стороны по отношению к С , но всё же десятилетия форы даю, Aleks Revo (ok), 20:20 , 09-Янв-17, (148) // Для него ещё нет подборки вайна feature considered harmful Перспективные тем, Аноним (-), 11:33 , 10-Янв-17, (241) Сначала должны появляться инструменты, а потом продукты Лучше бы в Qt поддержку, Аноним (-), 14:31 , 09-Янв-17, (65) А я предлагаю переписать ядро Linux на JS, давайте тоже обсуждать , Ну и Юля (?), 15:11 , 09-Янв-17, (75) // Я тоже думаю жс быть не должно , вспомнити npm leftpad и Nan Nan, а еще вспом, Аноним (-), 15:55 , 09-Янв-17, (87) –2 // опять ты тут вылез со своим 0 1 0 2 я же тебя уже ткнул носом, что ты не прав, Аноним (-), 17:25 , 09-Янв-17, (99) Это особенность арифметики с плавающей запятой, эта арифметика во всех языках од, www2 (ok), 18:36 , 09-Янв-17, (121) // клоун ты бы хоть объяснил человеку в чём именно он не прав NaN Not a Number, , Аноним (-), 19:13 , 09-Янв-17, (132) Как будто кто-то мешает хранить как надо CODE - X 1 10 2 10, Y 15, Аноним84701 (ok), 20:16 , 09-Янв-17, (146) +2 Это ты клоун, я не про NaN говорил, а про 0 1 0 2 0 300000000000000004 Это , www2 (ok), 19:00 , 31-Янв-17, (297) - Вот для этого в нормальных языках есть строгая типизация , Вареник (?), 21:10 , 09-Янв-17, (169) –2 Фабрис Беллард уже сделал Неплохо обсуждали вроде , Аноним (-), 21:33 , 09-Янв-17, (181) –1 // Т е сделать эмулятор переписать Ох уж эти жабоскриптеры , Аноним (-), 22:20 , 09-Янв-17, (188) // Еще есть такое извращение как emscripten Но наверное кернел им перегнать утомит, Аноним (-), 02:19 , 10-Янв-17, (215) Больше удивляет, что пациент работает CTO крупной конторы из 100 человек, при эт, доктор психиатор Котлетова (?), 15:15 , 09-Янв-17, (77) +2 // Вот как раз совершенно не удивляет , Аноним (-), 15:16 , 09-Янв-17, (78) +1 Такое сплошь и рядом Прожекты делать - это не продукт, Вареник (?), 21:09 , 09-Янв-17, (167) Отличная новость Скоро всё перепишут на Rust , th3m3 (ok), 15:32 , 09-Янв-17, (82) // В какой реальности живете PostgreSQL, kernel linux и прочее как разрабатывали н, Леха (?), 15:47 , 09-Янв-17, (85) +3 Не раньше переезда столицы в Нью-Васюки , Аноним (-), 21:34 , 09-Янв-17, (183) // Значит уже очень скоро , Led (ok), 21:37 , 09-Янв-17, (184) Почему не на питоне-то , AlexAT (ok), 15:38 , 09-Янв-17, (84) –1 Начали бы с переписывания ОС под это дело Потом над ней уже Postgres, а там зао, Аноним (-), 16:15 , 09-Янв-17, (88) –2 А че так спорите Пусть пробует, ведь он и единомышленники свои силы и время тра, eRIC (ok), 16:43 , 09-Янв-17, (91) +2 ZFS уже начали писать на Rust , RatHat (?), 16:48 , 09-Янв-17, (92) // https github com ticki tfs, RatHat (?), 16:50 , 09-Янв-17, (93) // С нетерпением ждем когда эти мегапрограмеры начнут пользоваться своей ОС, браузе, Аноним (-), 14:31 , 10-Янв-17, (250) // Билеты на это шоу уже продают Я за вами буду , Аноним (-), 14:39 , 10-Янв-17, (252) +1 О, уважаемый разработчик ядра, btrfs и хрома в придачу в треде Или очередной бо, Аноним (-), 16:32 , 10-Янв-17, (268) +2 А ты наверное ярый фанат реактоса В перерывах между фапами на hurd и minix , Аноним (-), 02:15 , 14-Янв-17, (292) Да чё там пусть свой супер браузер на расте сначала покажут, пейсатели , _ (??), 17:36 , 09-Янв-17, (102) –1 // Достойный конкурент реактосу растет , Аноним (-), 22:42 , 09-Янв-17, (192) +1 Ну вот после окончания проекта и тестов похороникса будет сразу видно внесёт ли , Ilya Indigo (ok), 17:40 , 09-Янв-17, (104) Бгг Ну удачи С redox ом уже обосpались, с servo тоже Пилите, шура, пилите Чёт, Аноним (-), 18:32 , 09-Янв-17, (118) –1 // Ну да, запилили PoC, работающий лучше рек Hакт ОСи т е на реальном железе, не , Аноним (-), 20:36 , 09-Янв-17, (152) +1 // сжирая гиг памяти только на голое ядро, которому до пингвина - как до пекина, Аноним (-), 10:33 , 10-Янв-17, (235) +1 // Так о том и речь, сидеть на сишной системе и софте рассказывая о крутизне раст-о, Аноним (-), 16:09 , 10-Янв-17, (264) –1 Мусье в курсе, что эта самая tfs собирается пока что только из под самого редокс, Аноним (-), 16:40 , 10-Янв-17, (269) +2 Начало уже хорошее Относительно реактоса А теперь посмотрим хватит ли разработ, Аноним (-), 02:18 , 14-Янв-17, (293) Да, и теперь вас до скончания времён будут иметь Люди В Погонах через уязвимости, Аноним (-), 00:13 , 02-Фев-17, (299) А теперь почитай прикидки, cколько десятков миллионов человекочасов ушло в пингв, Аноним (-), 16:14 , 10-Янв-17, (265) +1 Для того чтобы пингвин стал чем-то юзабельным потребовался один студень и нескол, Аноним (-), 02:23 , 14-Янв-17, (294) Это ты просто в курсе ситуации с языками и не в курсе - с космическими разработк, Аноним (-), 07:52 , 14-Янв-17, (295) Вот зачем тут это написано Избавляет разработчика на _RUST_ Что сделает транслят, Аноним (-), 20:31 , 09-Янв-17, (149) // Избавляет делает невозможным Это все же не жаба или питон Хотя да, скорее вс, Аноним (-), 20:45 , 09-Янв-17, (157) Тормозить будет всего лишь в 2 раза, к разработке подключатся масса школьников , Вареник (?), 21:05 , 09-Янв-17, (165) Чуть оффтопа Парни, а можно соединить Лисп и идею шитого кода , Аноним (-), 00:10 , 10-Янв-17, (204) // Лично я не против , Аноним (-), 01:16 , 10-Янв-17, (210) Это просто пиар ход Переписать слона они вряд ли смогут, но лишнее упоминания я, Anonimus (??), 00:58 , 10-Янв-17, (209) –1 Что-то мне говорит, банальный SQLite будет не так-то просто взять и переписать, Аноним (-), 06:05 , 10-Янв-17, (225) Джоэль Якобсон очень удачно пропиарил свою систему , Pilat (ok), 06:30 , 10-Янв-17, (226) Казалось бы, хрень полная, но вброс-то годный оказался , анонимус вульгарис (?), 02:29 , 11-Янв-17, (273) 1,2,3,4,8,12,14,19,24,34,37,38,39,54,63,65,75,77,82,84,88,91,92,104,118,149,165,204,209,225,226,273

Сообщения

[Сортировка по времени | RSS]

19. "Инициатива по созданию порта PostgreSQL на языке Rust"	+2 +/–
Сообщение от Аноним (-), 09-Янв-17, 12:10
То есть сейчас имеется код на C в котором есть проблемы с памятью. Он может быть автоматически переведён на другой язык, а затем скомпилирован в машинный код и проблемы исчезнут? Было бы неплохо всегда так компилировать.
Ответить | Правка | Наверх | Cообщить модератору

	25. "Инициатива по созданию порта PostgreSQL на языке Rust"	+/–
	Сообщение от Аноним (-), 09-Янв-17, 12:17
	> То есть сейчас имеется код на C в котором есть проблемы с > памятью. > Он может быть автоматически переведён на другой язык, а затем скомпилирован в > машинный код и проблемы исчезнут? > Было бы неплохо всегда так компилировать. Есть вариант что не даст откомпилировать, другой вопрос что после этого делать, так как исходя из озвученного, нужно будет поправить C-код, который даёт ошибку при трансляции, а это уже не пахнет автоматизмом. p.s. В своё время firebird был полностью переписан на C++.
	Ответить | Правка | Наверх | Cообщить модератору

	29. "Инициатива по созданию порта PostgreSQL на языке Rust"	+2 +/–
	Сообщение от Аноним (-), 09-Янв-17, 12:39
	Об этом Якобс не думает, не царское это дело.
	Ответить | Правка | К родителю #19 | Наверх | Cообщить модератору

	50. "Инициатива по созданию порта PostgreSQL на языке Rust"	+/–
	Сообщение от Яйцассыром (?), 09-Янв-17, 13:43
	> Он может быть автоматически переведён на другой язык, а затем скомпилирован Да, на данный момент, исключительно с помощью магии.
	Ответить | Правка | К родителю #19 | Наверх | Cообщить модератору

	62. "Инициатива по созданию порта PostgreSQL на языке Rust"	+/–
	Сообщение от Аноненамус (?), 09-Янв-17, 14:12
	https://github.com/jameysharp/corrode
	Ответить | Правка | Наверх | Cообщить модератору

	147. "Инициатива по созданию порта PostgreSQL на языке Rust"	+/–
	Сообщение от Аноним (-), 09-Янв-17, 20:17
	> и проблемы исчезнут? Думаю, имеется ввиду другое. Проблемы не исчезнут. Но проблемы уровня "нас плимели через переполнение буфера" заменятся на проблемы "вчера внезапно возрасла нагрузка с такого-то ip, после чего система упала со стектрейсом в 500 строк".
	Ответить | Правка | К родителю #19 | Наверх | Cообщить модератору

	202. "Инициатива по созданию порта PostgreSQL на языке Rust"	+/–
	Сообщение от Аноним (-), 09-Янв-17, 23:42
	> Думаю, имеется ввиду другое. Проблемы не исчезнут. Но проблемы уровня "нас плимели > через переполнение буфера" заменятся на проблемы "вчера внезапно возрасла нагрузка с > такого-то ip, после чего система упала со стектрейсом в 500 строк". И часто ты видишь поимение серверов через переполнение буфера? Вроде сейчас намного чаще имеют через вебприложения. А то что буфера не переполняются - вебне почему-то не очень помогает.
	Ответить | Правка | Наверх | Cообщить модератору

	201. "Инициатива по созданию порта PostgreSQL на языке Rust"	–1 +/–
	Сообщение от Аноним (-), 09-Янв-17, 23:40
	> Было бы неплохо всегда так компилировать. Так компилируй, с -fsanitize=address и что там тебе еще надо. А то что скорость получится go-образная - сам понимаешь, дополнительные проверки.
	Ответить | Правка | К родителю #19 | Наверх | Cообщить модератору

	207. "Инициатива по созданию порта PostgreSQL на языке Rust"	+/–
	Сообщение от Аноним (-), 10-Янв-17, 00:32
	> Так компилируй, с -fsanitize=address и что там тебе еще надо. А то > что скорость получится go-образная - сам понимаешь, дополнительные проверки. А можно использовать наработки в компиляторах за последнии 40 лет и добавить в ЯП фишки, позволяющие делать проверки в компайлтайме. Потому как не только софт за эти годы стал сложнее, но и железо мощнее и как-то глупо пользоваться этими мощностями только для проверок во время выполнения.
	Ответить | Правка | Наверх | Cообщить модератору

	229. "Инициатива по созданию порта PostgreSQL на языке Rust"	+1 +/–
	Сообщение от 111 (??), 10-Янв-17, 09:17
	Сразу видно человека, который не компилировал бустопроги.
	Ответить | Правка | Наверх | Cообщить модератору

	256. "Инициатива по созданию порта PostgreSQL на языке Rust"	+1 +/–
	Сообщение от Аноним (-), 10-Янв-17, 15:08
	> Сразу видно человека, который не компилировал бустопроги. Что сказать-то хотел? Что плюсы не используют наработки в компиляторах? Что туда не добавляют фичи? Правда, легаси и в плюсах дает себя знать, но вообще-то речь шла о сишке.
	Ответить | Правка | Наверх | Cообщить модератору

	248. "Инициатива по созданию порта PostgreSQL на языке Rust"	–1 +/–
	Сообщение от iPony (?), 10-Янв-17, 12:46
	Ну так почему C++ так долго компилируется - вот поэтому. В С++14 можно создать даже класс с конструктором, который будет выполняться во время компиляции.
	Ответить | Правка | К родителю #207 | Наверх | Cообщить модератору

	261. "Инициатива по созданию порта PostgreSQL на языке Rust"	–6 +/–
	Сообщение от Аноним (-), 10-Янв-17, 15:47
	> в ЯП фишки, позволяющие делать проверки в компайлтайме. Я конечно понимаю что CS у россиян не в почете, но до того как умничать - наверное азы типа halting problem стоит почитать? Полный анализ поведения программы выполнить невозможно. Тюринг предствил математическое доказательство, взяв для примера довольно простой случай, изучающий завершится ли программа за конечное время. Поэтому если кто-то верит в всемогущесть статического анализа - он, простите, нуб и ламак, который не соизволил читануть азы по минимуму, но мнение имеет. > Потому как не только софт за эти годы стал сложнее, но и железо мощнее > и как-то глупо пользоваться этими мощностями только для проверок во время выполнения. У проверок во время выполнения есть определенная фича. Их Тюринг не жмет. Ну то-есть если вы видите фактический доступ к адресу памяти который за границей массива - это одно. А попытки в статике проанализировать может ли в принципе эта программа взять 101-й элемент массива при том что их всего 100, при всех мыслимых манипуляциях - то же самое что halting problem, вид сбоку. Поэтому таки или будут проерки в рантайме что индекс от нуля до сотни и они сожрут время, или проверок таки не будет и можно будет сунуться в 101-й элемент и даже что-то получить. А какие еще варианты есть???
	Ответить | Правка | К родителю #207 | Наверх | Cообщить модератору

	266. "Инициатива по созданию порта PostgreSQL на языке Rust"	+2 +/–
	Сообщение от Аноним (-), 10-Янв-17, 16:22
	> Поэтому если кто-то верит в всемогущесть статического анализа - он, простите, нуб и ламак, который не соизволил читануть азы по минимуму, но мнение имеет. Убрать все обычные циклы, оставить только foreach (range-based for loop) и добавить гибридные циклы с условием и параметрами обхода. И тогда не получится  залезть в 101 элемент + можно добавить автоматические оптимизации, ведь компилятор будет значть что хочет программист. Статический анализ может и не всемогущ, но при правильном проектировании можно избежать всех ошибок в комплтайме.
	Ответить | Правка | Наверх | Cообщить модератору

	290. "Инициатива по созданию порта PostgreSQL на языке Rust"	+/–
	Сообщение от Аноним (-), 14-Янв-17, 01:56
	> Убрать все обычные циклы, оставить только foreach (range-based for loop) и добавить > гибридные циклы с условием и параметрами обхода. И все бы ничего, но это уронит скорость выполнения. Примерно настолько же насколько и явный bounds checking в рантайме. Догадаешься с трех раз почему? Проверки на вшивость в рантайме или есть или нет. Третьего не дано. Понимаешь, у CPU нет такого понятия как foreach. Он вообще другими сущностями оперирует. И ты (или твой компилер/рантайм) или таки провалидируете что вы не лезете в левую память или таки есть шансы поиметь проблем. Халявная по скорости защита памяти на уровне железа - работает с гранулярностью страницы, и то заточено на защиту ОС от софта и процессов друг от друга. А части процесса друг от друга так защищать уже несколько накладно.
	Ответить | Правка | Наверх | Cообщить модератору

	267. "Инициатива по созданию порта PostgreSQL на языке Rust"	+5 +/–
	Сообщение от Аноним (-), 10-Янв-17, 16:27
	>> в ЯП фишки, позволяющие делать проверки в компайлтайме. > Я конечно понимаю что CS у россиян не в почете, но до > того как умничать - наверное азы типа halting problem стоит почитать? Что, кроме тюринга ничего больше не знаешь? А моежт еще стоит, до того как влезать с тюрингом где можно и нельзя, азы компайлостроения почитать? > Полный анализ поведения программы выполнить невозможно. Где ты увидел "полный анализ", болезный? Ну и следуя твоей логике, вообще никакие проверки не нужны, ведь они не полные. > Тюринг предствил математическое > доказательство, взяв для примера довольно простой случай, изучающий завершится ли программа > за конечное время. Ну давай, сформулируй для частного случая анализа, я хоть посмеюсь. > Поэтому если кто-то верит в всемогущесть статического анализа > - он, простите, нуб и ламак, который не соизволил читануть азы > по минимуму, но мнение имеет. А ты самокритичен, этого не отнять. > А попытки в статике проанализировать > может ли в принципе эта программа взять 101-й элемент массива при > том что их всего 100, при всех мыслимых манипуляциях - то > же самое что halting problem, вид сбоку. Cпасибо, давно так не смеялся. > У проверок во время выполнения есть определенная фича. Их Тюринг не жмет. Ну и сиди на своем питоне и прочих базиках, как раз для таких экспертов и знатоков.
	Ответить | Правка | К родителю #261 | Наверх | Cообщить модератору

	291. "Инициатива по созданию порта PostgreSQL на языке Rust"	+/–
	Сообщение от Аноним (-), 14-Янв-17, 02:09
	> Что, кроме тюринга ничего больше не знаешь? А моежт еще стоит, до > того как влезать с тюрингом где можно и нельзя, азы компайлостроения почитать? А что, кто-то смог сотворить чудо и сделать bounds checking без просадок скорости? Ну вот смотри, есть у меня массив записей, число записей задается на основе внешних данных. Значит на фазе компиляции это никак невозможно просчитать, а всякие foreach будут вынуждены делать тот же bounds checking вид в профиль. Или его можно будет нае...ть, на выбоо. > Где ты увидел "полный анализ", болезный? Ну и следуя твоей логике, вообще > никакие проверки не нужны, ведь они не полные. Я просто к тому что напирание на безопасность в этом случае как-то излишне оптимистично. Статические анализаторы штука хорошая, но и близко не панацея. К тому же вебмакаки показали много чудных способов как позволить разломать сервер вообще не пуская хакеров в управление памятью. Да и Bobby Tables любителям сабжа приветы передавал. > Ну давай, сформулируй для частного случая анализа, я хоть посмеюсь. ИМХО, невозможно заранее статически полностью проанализировать конструкции которые динамически выделяются в рантайме, например на основе входных данных. А потуги сделать нечто типа foreach уронят скорость, потому что это более не будет лобовым доступом к памяти без дополнительных приседаний. > А ты самокритичен, этого не отнять. И это тоже. Правда я не верю в всемогущесть статического анализа. > Cпасибо, давно так не смеялся. Ну это несомненно был мощный технический аргумент вашей правоты. > Ну и сиди на своем питоне и прочих базиках, как раз для > таких экспертов и знатоков. А в этом месте смеялся уже я. Васик я видел где-то в конце 80-х чтоли.
	Ответить | Правка | Наверх | Cообщить модератору

	279. "Инициатива по созданию порта PostgreSQL на языке Rust"	+2 +/–
	Сообщение от Аноним (-), 11-Янв-17, 15:50
	1. Если программист написал настолько сложную программу, что он сам для себя даже примерно не может сказать, как она поведёт себя (остановится или нет, где может упасть), то зачем он её вообще писал? Если на практике мы чаще всего имеем дело с программами, написанными людьми и читаемые людьми, то почему сразу вспоминают Тьюринга и какие-то сферические в вакууме программы? 2. Для многих алгоритмически неразрешимых задач и задач с экспоненциальной сложностью давно уже разрабатывались эвристические методы, чтобы хоть как-то приближённо решать эти задачи. Даже проблему остановки можно попытаться решить с некоторой степенью глубины анализа. Трансляция из языка в язык - тоже довольно реальная задача для программ, встречающихся на практике (написанных и понимаемых людьми).
	Ответить | Правка | К родителю #261 | Наверх | Cообщить модератору

	280. "Инициатива по созданию порта PostgreSQL на языке Rust"	+1 +/–
	Сообщение от Аноним (-), 11-Янв-17, 18:04
	> то почему сразу вспоминают Тьюринга и какие-то сферические > в вакууме программы? При этом еще благополучно забывают (после того как не знают, такое вот у них отличное качество преподавания СS в Не Этой Стане :) ), что все это применимо в первую очередь к невозможности создания _одной универсальной_ машины для анализа _всех возможных_ машин со _всеми возможными_ вводами. А то, что все возможные вводы в реальном мире не нужны и их можно хорошо так отсечь, да и при анализе, если что, выдать "этот вариант проанализировать не могу, прошу уточнений, правки или оверрайда!", так для этого хоть что-то понимать надо, а не повторять мантры. Тот же примерчик с индексом отлично показывает "понимание" темы данным индивидом. Потому как на самом деле такие левые индексы прилетают не по либастралу, а с вводом пользователя, либы и т.д. И их придется проверять по-любому. Только в отличие от "best-practice" проверок по два-три раза подряд, как в том же системды, можно ограничиться одной проверкой и воплями компилятора при отсутсвии оной. И вообще, анализизируют обычно не все возможные  варианты, а только возможность отклонений от сценария, описанного програмистом. Т.е. достаточно найти место, где может прилететь тот же левый индекс неопределенной величины и выдать предупреждение, а не пытаться почему-то представить себе все мыслимые манипуляции. Только все это метание бисера - данный индивид или объявит, что "вы усе врети!" или что он, такой велики и неповторимый, все это на самом деле уже знал и просто так своебразно троллил )
	Ответить | Правка | Наверх | Cообщить модератору

	281. "Инициатива по созданию порта PostgreSQL на языке Rust"	+/–
	Сообщение от Andrey Mitrofanov (?), 11-Янв-17, 18:46
	>> то почему сразу вспоминают Тьюринга и какие-то сферические >> в вакууме программы? (:1) > в первую очередь к невозможности создания _одной универсальной_ машины для анализа _всех возможных_ машин со _всеми возможными_ вводами. [[Я не распарсил длинного последовавшего текста. Наверное, с сарказмотэгами опять непроходимость где-то, поэтому применю сию----^^^ строку к длиннотам ниже. Хотите считайте продолжением глумления над предыдущим оратором, хотите -- над обоими (новооткрытый тэг ниже именно про это).]] > том же системды, можно ограничиться одной проверкой и воплями компилятора при > отсутсвии оной. > И вообще, анализизируют обычно не все возможные  варианты, а только возможность > отклонений от сценария, описанного програмистом. Т.е. достаточно найти место, где может Вы назовёте уже изнывающей публике универсальный ЯП [с транслятором, понятно], таки проверяющий Ваш "возможный сценарий" для _своих_ входных данных (всех и любых програм на нём, языке) -- чтоб все коды, что "собрались" уже-таки были "безошибочны, мамой клянусь", да? ---Вы прочитали применение (:1) для познания рекурсии. ...Объявляю тэг(*2) #форумная-ЦС (*3) Открытым! ура. (*2) #форумная-криптография, в продолжение,  да:   http://www.opennet.ru/openforum/vsluhforumID3/109852.html#45   http://www.opennet.ru/openforum/vsluhforumID3/109704.html#6   http://www.opennet.ru/openforum/vsluhforumID3/106299.html#14   ...итдпттптптптпт (*3) Как это по-русски-то правильно, кстати... Не "программирование" же!? > Только все это метание бисера - данный индивид или объявит, что "вы > усе врети!" или что он, такой велики и неповторимый, все это > на самом деле уже знал и просто так своебразно троллил ) Форумное "толкачём в ступе". Тэг не нужен, оно везде.
	Ответить | Правка | Наверх | Cообщить модератору

	298. "Инициатива по созданию порта PostgreSQL на языке Rust"	+/–
	Сообщение от Аноним (-), 02-Фев-17, 00:00
	>> в ЯП фишки, позволяющие делать проверки в компайлтайме. > Я конечно понимаю что CS у россиян не в почете, но до > того как умничать - наверное азы типа halting problem стоит почитать? > Полный анализ поведения программы выполнить невозможно. Тюринг предствил математическое > доказательство, взяв для примера довольно простой случай, изучающий завершится ли программа Существует такая вещь, как SMT-solver'ы. Они могут проверить граничные условия, заданные для какой-то функции и её частей. Язык Ada Spark https://en.wikipedia.org/wiki/SPARK_(programming_language) такое может и пример проекта http://blog.adacore.com/tetris-in-spark-on-arm-cortex-m4 Для языка Си давно уже существует Frama-C https://en.wikipedia.org/wiki/Frama-C который точно так же позволяет гарантировать некие условия, выполняющиеся функцией. Эти вещи не применяются в разработке массового ПО, в том числе опенсорцного потому, что господа сишные хакеры в большинстве своём малограмотны в CS и не "заточены" под долгую кропотливую работу, дающую корректный результат. Также, Frama-C предполагает, что в некоторых случаях разработчик будет пользоваться Coq, а это уже очень требует очень высокий уровня владения довольно специфичной математикой. Военного происхождения Ada Spark - простой, как кирпич и ничего такого не требует, хотя он и менее мощен, чем научная французская Frama-C, зато язык Ada гораздо более стандартизирован, чем Си, и от него не стоит ждать неожиданностей. Но с ним другая беда - во-первых, он не си, а паскаль, там видите ли begin и end, от вида которых у байтогрызиков начинается фрустрация. Во-вторых, в бесплатном виде он распространяется только под GPL, а большая часть проектов имеет двойное лицензирование - если они хоть кому-то будут продаваться за деньги. Коммерческий же Spark стоит дорого, примерно как четыре колеса от джипа, но у байтогрызов зачастую нет не то, что джипа, а даже и тоёты, они на велосипедах ездят, с зеркалками, интересные проекты делают. Денег у них нет. Поэтому пользователи OSS так и будут ловить CVE, к ним будет лезть NSA и все прочие кибержулики. Потому что во главу ими была поставлена хакерская скорость разработки, а не промышленная надежность. Пришёл упорный инженегр Линус, быренько наrовнякал реализацию Posix, раньше Столлман доделал своё, и теперь нам всем с этим жить, мода задана на много лет вперёд. 12309! Я думаю, что финскому жирному пингвину помогли придти к успеху те самые люди, про которых Сноуден рассказывал. Чем больше дыр и ненадёжного софта - тем лучше для этих. Люди работают, понимать надо. Более того, поскольку программистская культура в общем-то едина, те же самые скоростные багоделы пишут и коммерческий софт. Это модно. PS: доказанное ядро на Ada Spark, https://muen.sk/ Понимаете ли, на паскале с пред- и пост- условиями написали ядро, без дырок. PPS: по бенчмаркам на https://benchmarksgame.alioth.debian.org/u64q/ada.html Ada работает примерно со скоростью Си и иногда обгоняет С++, причём Ada у них старая, 2005, а не 2012
	Ответить | Правка | К родителю #261 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема