Агентство по перспективным оборонным научно-исследовательским разработкам США (DARPA) проводит (http://defensetech.org/2014/06/04/darpa-builds-computer-game.../) эксперименты с созданием online-игр, позволяющих привлечь обычных пользователей для верификации надёжности и безопасности открытого ПО. Экспертов для проведения аудита качестве кода нехватает, поэтому DARPA рассматривает варианты привлечения к проверке кода обычных пользователей, косвенно используя игровой процесс для организации верификации.
В настоящее время уже подготовлено (http://www.verigames.com/) несколько игр, которые мало отличаются по игровому процессу от типичных логических игр и головоломок. При этом, проходя множество игровых уровней пользователи невольно участвуют в процессе формальной верификации, подтверждающей надёжность работы тех или иных участков кода, взаимодействие с которыми вовлечено в логику игрового процесса.<center><a href="http://images.defensetech.org/wp-content/uploads/2014/06/Cir... src="http://www.opennet.ru/opennews/pics_base/0_1402385289.jpg" style="border-style: solid; border-color: #e9ead6; border-width: 15px;max-width:100%;" title="" border=0></a></center>
Игровые приложения транслируют действия пользователя в программные аннотации и генерируют математические доказательства, позволяющие убедиться в отсутствии различных классов дефектов в приложениях, написанных на языках Си и Java. В настоящее время программа формальной верификации (http://www.darpa.mil/Our_Work/I2O/Programs/Crowd_Sourced_For...) нацелена на подтверждение безопасности серии открытых проектов, используемых в военных и государственных учреждениях, а также в критичных к надёжности областях коммерческого сектора.
URL: http://defensetech.org/2014/06/04/darpa-builds-computer-game.../
Новость: http://www.opennet.ru/opennews/art.shtml?num=39969
Печально видеть что у них этим занимаются, а у нас даже линукс в госструктурах освоить нормально не могут.
> а у нас даже линукс в госструктурах освоить нормально не могутК сожалению, у нас в госструктурах предпочитают осваивать нечто более осязаемое, чем наборы байтиков.
while(!Сталин){
Госструктуры_РФ = откаты&омлетчицы;
}
Будто бы при Джугашвили взяток не было... Щас!
Конечно была. Теневая экономика укрепилась в 1930-40 года. И репрессии не помогли. Дело в самой системе.В том же Китае за это расстреливают, но на место одного ресстрелянного приходят новые. Кто сможет выводит деньги в офшоры.
может предъявите пруфы, господин Экономист?
не, ну сам подумай: если расстреливают нескольких, и такое происходит довольно долго, то взяточники новые появляются! Ну, или банально всех, или почти всех, или единиц подставляют. И такое практикуется, возможно в этом огороженном коммунистическом китае.P.S. А так, я к тому что без разницы скольких в процентах подставляют - новые то появляются)) А если предположить что всех до единого подставляют - это возможно, да, китай же все таки.
Сталин и придумал как обойти «ленинский минимум» — он просто брал деньги из бюджета и платил в конвертах своим.
А ты был "своим" или конверты у изголовья держал?
Я думаю, что у нас тоже занимаются. В ИТ, как нигде, кадры решают. Привлечение общественности не обязательно гарантирует невообразимые результаты. Хотя, верно, есть чему поучиться. У нас почему-то принято тянуть с запада всякие гадости и тыкать в извращенцев, а ведь есть много примеров, достойных.
Для этого надо в стране вначале сделать жизнь привлекательной для специалистов высокого класса. А не принимать пачками запретительные законы и пытаться ограничить свободу интернет пользователей в том числе.
> Для этого надо в стране вначале сделать жизнь привлекательной для специалистов высокого
> класса. А не принимать пачками запретительные законы и пытаться ограничить свободу
> интернет пользователей в том числе.А, так вот чего про internet fast lane столько вою стоит, а один знакомый квалифицированный сваливший постит в плюсик pirozhki и вздыхает про ломающийся nissan...
Некоторые предпочитают жить своим умом, а не чужой картинкой, впрочем.
>The website design was overseen by the Centers for Medicare and Medicaid Services and built by a number of federal contractors, most prominently CGI Group, which received a contract valued at $292 million through 2013. Estimates that the overall cost for building the website had reached over $500 million by October 2013
>stress tests done by contractors 1 day before the launch date revealed that the site became too slow with only 1,100 simultaneous users,
Ты еще не видел наши сайты, где зачастую встречается что-нибудь попроще. Tипа directory index-а + дир с бэкапами баз. С данными по всей клиентуре, etc. Так что медленный сайт - оно конечно да, но у нас и побрутальнее бывает.
А какая вам разница между "ними" и "нами"? Если занимаются, то не важно где, а кто не может (а это полпланеты включая "ваших", эскимосов, негров в африке и ещё много необразованных жителей других стран) - так они этим прогрессу никак не мешают.
Тест Тьюринга не пройден.
Над алгоритмом нужно еще поработать.
Совершенно верно. Но у некоторых местечковое мышление затмевает все доводы рассудка. Никак не поймут, что шарик - он маленький, на нём сотрудничать надо, а не противников искать.
В гос.структуре работаю. Тут заказы,заказы,заказы.....Даже если и скажут перейти на линукт, то разработчиков не хватит чтоб все ПО переписать. у нас только 50-70 ПО стоит и не маленькие.
А зачем все сразу? Можно и потихоньку. Другое дело, что при таких окладах проще делать адовы костыли и жить на одной ошибке по 15 лет (как в известном анекдоте).
> Печально видеть что у них этим занимаются, а у нас даже линукс в госструктурах освоить нормально не могут.Да не переживайте вы так, у нас попильшиков госбабла тоже полным-полно. Да и заодно расскажите нам про триумфальное шествие линуха в их госструктурах.
Дружок, не могут освоить только в твоих розовых либерастических фантазиях. У всех нормальных людей уже стоит Linux Astra.
Печально видеть что этим занимается DARPA.
> Печально видеть что этим занимается DARPA.Вы ожидали Альт или РосНано?
Что печального? Они двигали и двигают много полезных проектов. Радовались бы, что на "оборонные" деньги двигают прогресс, а не пушечное мясо муштруют.
Армия пиндосии пытается привлечь кучу народа для работы неизвестно над чем. Чего же тут радостного?
Радостно что не наша армия или гбня.
Что печального? Они двигали и двигают много полезных проектов. Радовались бы, что на "оборонные" деньги двигают прогресс, а не пушечное мясо муштруют.
> Что печального? Они двигали и двигают много полезных проектов. Радовались бы, что
> на "оборонные" деньги двигают прогресс, а не пушечное мясо муштруют.А на пушечное мясо сейчас мода людей вроде Вас пускать после предварительной промывки мозгов. Только не надо "это про дураков, а я умный" -- почти все знакомые киевские айтишники, включая некоторых умнее нас с Вами, полезли на баррикады "за идею" без проверки происхождения и целеполагания этой "идеи", аки бибизяны, либо сдались под хоровое "белое -- это чёрное".
TFM:
http://www.scribd.com/doc/53686930/TC-18-01-Special-Forces-U...
http://11517.kamradu.ru/wp-content/uploads/2013/12/1801RU.pdf (неофициальный, не сверял)
> ...Только не надо "это про дураков, а я
> умный" -- почти все знакомые киевские айтишники...Так может умные все же они, а дурак кто-то другой, а? Из-за вашей оголтелой политоты на техническом ресурсе и постоянных вытираний комментариев несогласных стало решительно невозможно его читать. Пора уже переименовывать в "Личный сайт Михаила Шигорина"
> Печально видеть что этим занимается DARPA.Чего плохого в попиле денег аметиканского налогоплательщика? Или вы нездешний?
>А ноги, футбол - двадцать два бугая один мяч перекатывают! А вы выдайте каждому ну это... каток! Так они, 22 бугая, 22 бугая, да на полтора часа.... да на полтора часа и на 22 бугая... два пишем, семь на ум пошло........... они все поле заасфальтируют!
>An even more exciting possibility, though, is that we could have a system that allows non-experts to take a stab at proving essentially any mathematical theorem simply by recognizing patterns and applying a few relatively simple rules
И так и так пытаются заставить работать на военные силы США - не хотят.. так может хоть играми?
мда, тут и сказать нечего
Людей используют как хотят.
> мда, тут и сказать нечего
> Людей используют как хотят.А вы не используйтесь :)
Кто мешает включить разум и делать что-то свое и за плату? А не играться в чужое. Имхо.
Замысел похож на проект FoldIt. Только там белки расшифровывают.
Зачем агентству DARPA для перебора вариантов возможных комбинаций прохождения кода, задействовать самый медленный интерфейс монитор-пользователь-клавиатура(мышь), вместо того, чтобы задействовать мощности компьютера своих центров для этой же операции? Мощности серверов, для создания игровых серверов, всё равно будут задействованы. Было бы намного практичнее и быстрее.
Может тут другие цели преследуются?
Мне кажется более вероятным завлечение новых пользователей. А уж для каких целей, известно только им и богу.
да чтоб меньше народу работало, чего тут непонятно
а то как все станут умными да работящими, бомбу придумают ядрёную ну или ещё чего полезного нам и вредного им
хааароший вопрос. только немного запоздалый.
прям так и напрашиваются аналогии с х\ф Mercury Rising
Вот так и окажется, что играешь в игрушки, а на самом деле управляешь беспилотником или "аватаром". И стреляешь на самом деле не в злых террористов в "контрстрайке", а в мирных жителей в Сирии.
Игра Эндера навеяла?
> Вот так и окажется, что играешь в игрушки, а на самом деле
> управляешь беспилотником или "аватаром". И стреляешь на самом деле не в
> злых террористов в "контрстрайке", а в мирных жителей в Сирии.Так не играй. Ваш К.О.
Правильной дорогой идут товарищи. Чем безопасней будет код широко используемых приложений, тем лучше.
Где гарантия, что это будет код широко используемых приложений?
Дарю DARPA развитие идеи: вывешиваешь интерфейс к боевому роботу как игру, даешь двуногому некую миссию. А дальше двуногий будет из кожи вон лезть чтобы миссию выполнить. Сообщать двуногому о том что все действия маппятся в действия робота в реальном мире а обстановка берется с разведовательных датчиков - совершенно не обязательно...
если игра на уровне анонимности... а может и не анонимности... типа как 80 неусеров... или там статус в клубе по интересам... а если еще и чуть доплачивать... из черепов светильники давно ли были... пример государства 404 показывает... что можно проще... кстати их же и можно... относительно содержимого подсознания большей части цивилизации у меня нет никаких иллюзий. голливудско-обезьянье оно. притягательность стрелялок основана именно на том что подсознание считает все это настоящим. а раз так - зачем и кого стесняться? если еще и в тренде политики. освободи в себе... и тогда хотя бы увидишь
