forum.opennet.ru - "Агентство DARPA экспериментирует с созданием игр для верифик..." (47)

форумы

помощь

поиск

регистрация

майллист

вход/выход

слежка

"Агентство DARPA экспериментирует с созданием игр для верифик..."

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

"Агентство DARPA экспериментирует с созданием игр для верифик..."	+/–
Сообщение от opennews on 10-Июн-14, 11:47
Агентство по перспективным оборонным научно-исследовательским разработкам США (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="https://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.../ Новость: https://www.opennet.ru/opennews/art.shtml?num=39969
Ответить \| Правка \| Cообщить модератору

Оглавление

Агентство DARPA экспериментирует с созданием игр для верифик..., Рудвульф, 11:47 , 10-Июн-14, (1) +29

Агентство DARPA экспериментирует с созданием игр для верифик..., Аноним, 12:49 , 10-Июн-14, (10) +9

Агентство DARPA экспериментирует с созданием игр для верифик..., eganru, 13:42 , 10-Июн-14, (14) –1

Агентство DARPA экспериментирует с созданием игр для верифик..., жабабыдлокодер, 14:21 , 10-Июн-14, (19) –1

Агентство DARPA экспериментирует с созданием игр для верифик..., анонимут, 14:50 , 10-Июн-14, (21) –1

Агентство DARPA экспериментирует с созданием игр для верифик..., Аноним, 15:01 , 10-Июн-14, (23) +2

Агентство DARPA экспериментирует с созданием игр для верифик..., chinarulezzz, 03:07 , 11-Июн-14, (57) –1

Агентство DARPA экспериментирует с созданием игр для верифик..., Антоним, 15:27 , 10-Июн-14, (26)

Агентство DARPA экспериментирует с созданием игр для верифик..., Аноним, 00:08 , 18-Июн-14, (65)

Агентство DARPA экспериментирует с созданием игр для верифик..., онаним, 13:34 , 10-Июн-14, (13) +1

Агентство DARPA экспериментирует с созданием игр для верифик..., Buy, 22:58 , 10-Июн-14, (53) +1

Агентство DARPA экспериментирует с созданием игр для верифик..., Michael Shigorin, 12:04 , 11-Июн-14, (58) +4

Агентство DARPA экспериментирует с созданием игр для верифик..., rob pike, 14:04 , 10-Июн-14, (17)

Агентство DARPA экспериментирует с созданием игр для верифик..., Аноним, 01:10 , 11-Июн-14, (56)

Агентство DARPA экспериментирует с созданием игр для верифик..., Аноним, 14:38 , 10-Июн-14, (20)

Агентство DARPA экспериментирует с созданием игр для верифик..., rob pike, 14:51 , 10-Июн-14, (22)
Агентство DARPA экспериментирует с созданием игр для верифик..., Crazy Alex, 19:19 , 10-Июн-14, (40)

Агентство DARPA экспериментирует с созданием игр для верифик..., odity, 16:24 , 10-Июн-14, (32)

Агентство DARPA экспериментирует с созданием игр для верифик..., Иван, 14:21 , 11-Июн-14, (59)

Агентство DARPA экспериментирует с созданием игр для верифик..., 123, 21:42 , 10-Июн-14, (48)
Агентство DARPA экспериментирует с созданием игр для верифик..., tessel, 00:09 , 11-Июн-14, (55) +1

Агентство DARPA экспериментирует с созданием игр для верифик..., Rodegast, 13:33 , 10-Июн-14, (12)

Агентство DARPA экспериментирует с созданием игр для верифик..., клоун, 15:41 , 10-Июн-14, (28) –1
Агентство DARPA экспериментирует с созданием игр для верифик..., Crazy Alex, 19:20 , 10-Июн-14, (41)

Агентство DARPA экспериментирует с созданием игр для верифик..., Rodegast, 20:15 , 10-Июн-14, (45)

Агентство DARPA экспериментирует с созданием игр для верифик..., Аноним, 22:52 , 10-Июн-14, (51) –2

Агентство DARPA экспериментирует с созданием игр для верифик..., Crazy Alex, 19:21 , 10-Июн-14, (42)

Агентство DARPA экспериментирует с созданием игр для верифик..., Michael Shigorin, 21:46 , 10-Июн-14, (50) +4

Агентство DARPA экспериментирует с созданием игр для верифик..., Тот_самый_айтишник, 15:49 , 13-Июн-14, (63) –1

Агентство DARPA экспериментирует с созданием игр для верифик..., 123, 21:43 , 10-Июн-14, (49)

Агентство DARPA экспериментирует с созданием игр для верифик..., rob pike, 13:44 , 10-Июн-14, (15)

Агентство DARPA экспериментирует с созданием игр для верифик..., rob pike, 14:16 , 10-Июн-14, (18)

Агентство DARPA экспериментирует с созданием игр для верифик..., linux must _RIP__, 13:57 , 10-Июн-14, (16) +1
Агентство DARPA экспериментирует с созданием игр для верифик..., Аноним, 15:05 , 10-Июн-14, (24) –1

Агентство DARPA экспериментирует с созданием игр для верифик..., Иван, 14:24 , 11-Июн-14, (60)

Агентство DARPA экспериментирует с созданием игр для верифик..., Дмитрий, 15:14 , 10-Июн-14, (25) +1
Агентство DARPA экспериментирует с созданием игр для верифик..., Аноним, 16:04 , 10-Июн-14, (31)

Агентство DARPA экспериментирует с созданием игр для верифик..., Anonymus, 17:47 , 10-Июн-14, (35)
Агентство DARPA экспериментирует с созданием игр для верифик..., Аноним, 19:23 , 10-Июн-14, (43)

Агентство DARPA экспериментирует с созданием игр для верифик..., unscrubber, 18:19 , 10-Июн-14, (36)
Агентство DARPA экспериментирует с созданием игр для верифик..., Аноним, 18:37 , 10-Июн-14, (38) –1

Агентство DARPA экспериментирует с созданием игр для верифик..., asavah, 21:05 , 10-Июн-14, (47)
Агентство DARPA экспериментирует с созданием игр для верифик..., Иван, 14:25 , 11-Июн-14, (61)

Агентство DARPA экспериментирует с созданием игр для верифик..., lucentcode, 23:29 , 10-Июн-14, (54)

Агентство DARPA экспериментирует с созданием игр для верифик..., Аноним, 12:58 , 12-Июн-14, (62)

Агентство DARPA экспериментирует с созданием игр для верифик..., Аноним, 17:34 , 13-Июн-14, (64)

А может и можно сообщать..., гтгыув_гыук_тфьу, 11:02 , 03-Авг-14, (66)

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

1. "Агентство DARPA экспериментирует с созданием игр для верифик..." +29 +/–

Сообщение от Рудвульф on 10-Июн-14, 11:47

Печально видеть что у них этим занимаются, а у нас даже линукс в госструктурах освоить нормально не могут.

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

10. "Агентство DARPA экспериментирует с созданием игр для верифик..." +9 +/–

Сообщение от Аноним (??) on 10-Июн-14, 12:49

> а у нас даже линукс в госструктурах освоить нормально не могут
К сожалению, у нас в госструктурах предпочитают осваивать нечто более осязаемое, чем наборы байтиков.

Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

14. "Агентство DARPA экспериментирует с созданием игр для верифик..." –1 +/–

Сообщение от eganru on 10-Июн-14, 13:42

while(!Сталин){
Госструктуры_РФ = откаты&омлетчицы;
}

Ответить | Правка | ^ к родителю #10 | Наверх | Cообщить модератору

19. "Агентство DARPA экспериментирует с созданием игр для верифик..." –1 +/–

Сообщение от жабабыдлокодер (ok) on 10-Июн-14, 14:21

Будто бы при Джугашвили взяток не было... Щас!

Ответить | Правка | ^ к родителю #14 | Наверх | Cообщить модератору

21. "Агентство DARPA экспериментирует с созданием игр для верифик..." –1 +/–

Сообщение от анонимут on 10-Июн-14, 14:50

Конечно была. Теневая экономика укрепилась в 1930-40 года. И репрессии не помогли. Дело в самой системе.
В том же Китае за это расстреливают, но на место одного ресстрелянного приходят новые. Кто сможет выводит деньги в офшоры.

Ответить | Правка | ^ к родителю #19 | Наверх | Cообщить модератору

23. "Агентство DARPA экспериментирует с созданием игр для верифик..." +2 +/–

Сообщение от Аноним (??) on 10-Июн-14, 15:01

может предъявите пруфы, господин Экономист?

Ответить | Правка | ^ к родителю #21 | Наверх | Cообщить модератору

57. "Агентство DARPA экспериментирует с созданием игр для верифик..." –1 +/–

Сообщение от chinarulezzz (ok) on 11-Июн-14, 03:07

не, ну сам подумай: если расстреливают нескольких, и такое происходит довольно долго, то взяточники новые появляются! Ну, или банально всех, или почти всех, или единиц подставляют. И такое практикуется, возможно в этом огороженном коммунистическом китае.
P.S. А так, я к тому что без разницы скольких в процентах подставляют - новые то появляются)) А если предположить что всех до единого подставляют - это возможно, да, китай же все таки.

Ответить | Правка | ^ к родителю #23 | Наверх | Cообщить модератору

26. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от Антоним on 10-Июн-14, 15:27

Сталин и придумал как обойти «ленинский минимум» — он просто брал деньги из бюджета и платил в конвертах своим.

Ответить | Правка | ^ к родителю #14 | Наверх | Cообщить модератору

65. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от Аноним (??) on 18-Июн-14, 00:08

А ты был "своим" или конверты у изголовья держал?

Ответить | Правка | ^ к родителю #26 | Наверх | Cообщить модератору

13. "Агентство DARPA экспериментирует с созданием игр для верифик..." +1 +/–

Сообщение от онаним on 10-Июн-14, 13:34

Я думаю, что у нас тоже занимаются. В ИТ, как нигде, кадры решают. Привлечение общественности не обязательно гарантирует невообразимые результаты. Хотя, верно, есть чему поучиться. У нас почему-то принято тянуть с запада всякие гадости и тыкать в извращенцев, а ведь есть много примеров, достойных.

Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

53. "Агентство DARPA экспериментирует с созданием игр для верифик..." +1 +/–

Сообщение от Buy (ok) on 10-Июн-14, 22:58

Для этого надо в стране вначале сделать жизнь привлекательной для специалистов высокого класса. А не принимать пачками запретительные законы и пытаться ограничить свободу интернет пользователей в том числе.

Ответить | Правка | ^ к родителю #13 | Наверх | Cообщить модератору

58. "Агентство DARPA экспериментирует с созданием игр для верифик..." +4 +/–

Сообщение от Michael Shigorin (ok) on 11-Июн-14, 12:04

> Для этого надо в стране вначале сделать жизнь привлекательной для специалистов высокого
> класса. А не принимать пачками запретительные законы и пытаться ограничить свободу
> интернет пользователей в том числе.
А, так вот чего про internet fast lane столько вою стоит, а один знакомый квалифицированный сваливший постит в плюсик pirozhki и вздыхает про ломающийся nissan...
Некоторые предпочитают жить своим умом, а не чужой картинкой, впрочем.

Ответить | Правка | ^ к родителю #53 | Наверх | Cообщить модератору

17. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от rob pike on 10-Июн-14, 14:04

>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,
http://en.wikipedia.org/wiki/HealthCare.gov

Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

56. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от Аноним (??) on 11-Июн-14, 01:10

Ты еще не видел наши сайты, где зачастую встречается что-нибудь попроще. Tипа directory index-а + дир с бэкапами баз. С данными по всей клиентуре, etc. Так что медленный сайт - оно конечно да, но у нас и побрутальнее бывает.

Ответить | Правка | ^ к родителю #17 | Наверх | Cообщить модератору

20. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от Аноним (??) on 10-Июн-14, 14:38

А какая вам разница между "ними" и "нами"? Если занимаются, то не важно где, а кто не может (а это полпланеты включая "ваших", эскимосов, негров в африке и ещё много необразованных жителей других стран) - так они этим прогрессу никак не мешают.

Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

22. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от rob pike on 10-Июн-14, 14:51

Тест Тьюринга не пройден.
Над алгоритмом нужно еще поработать.

Ответить | Правка | ^ к родителю #20 | Наверх | Cообщить модератору

40. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от Crazy Alex (ok) on 10-Июн-14, 19:19

Совершенно верно. Но у некоторых местечковое мышление затмевает все доводы рассудка. Никак не поймут, что шарик - он маленький, на нём сотрудничать надо, а не противников искать.

Ответить | Правка | ^ к родителю #20 | Наверх | Cообщить модератору

32. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от odity on 10-Июн-14, 16:24

В гос.структуре работаю. Тут заказы,заказы,заказы.....Даже если и скажут перейти на линукт, то разработчиков не хватит чтоб все ПО переписать. у нас только 50-70 ПО стоит и не маленькие.

Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

59. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от Иван (??) on 11-Июн-14, 14:21

А зачем все сразу? Можно и потихоньку. Другое дело, что при таких окладах проще делать адовы костыли и жить на одной ошибке по 15 лет (как в известном анекдоте).

Ответить | Правка | ^ к родителю #32 | Наверх | Cообщить модератору

48. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от 123 (??) on 10-Июн-14, 21:42

> Печально видеть что у них этим занимаются, а у нас даже линукс в госструктурах освоить нормально не могут.
Да не переживайте вы так, у нас попильшиков госбабла тоже полным-полно. Да и заодно расскажите нам про триумфальное шествие линуха в их госструктурах.

Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

55. "Агентство DARPA экспериментирует с созданием игр для верифик..." +1 +/–

Сообщение от tessel on 11-Июн-14, 00:09

Дружок, не могут освоить только в твоих розовых либерастических фантазиях. У всех нормальных людей уже стоит Linux Astra.

Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

12. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от Rodegast (??) on 10-Июн-14, 13:33

Печально видеть что этим занимается DARPA.

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

28. "Агентство DARPA экспериментирует с созданием игр для верифик..." –1 +/–

Сообщение от клоун on 10-Июн-14, 15:41

> Печально видеть что этим занимается DARPA.
Вы ожидали Альт или РосНано?

Ответить | Правка | ^ к родителю #12 | Наверх | Cообщить модератору

41. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от Crazy Alex (ok) on 10-Июн-14, 19:20

Что печального? Они двигали и двигают много полезных проектов. Радовались бы, что на "оборонные" деньги двигают прогресс, а не пушечное мясо муштруют.

Ответить | Правка | ^ к родителю #12 | Наверх | Cообщить модератору

45. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от Rodegast (??) on 10-Июн-14, 20:15

Армия пиндосии пытается привлечь кучу народа для работы неизвестно над чем. Чего же тут радостного?

Ответить | Правка | ^ к родителю #41 | Наверх | Cообщить модератору

51. "Агентство DARPA экспериментирует с созданием игр для верифик..." –2 +/–

Сообщение от Аноним (??) on 10-Июн-14, 22:52

Радостно что не наша армия или гбня.

Ответить | Правка | ^ к родителю #45 | Наверх | Cообщить модератору

42. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от Crazy Alex (ok) on 10-Июн-14, 19:21

Что печального? Они двигали и двигают много полезных проектов. Радовались бы, что на "оборонные" деньги двигают прогресс, а не пушечное мясо муштруют.

Ответить | Правка | ^ к родителю #12 | Наверх | Cообщить модератору

50. "Агентство DARPA экспериментирует с созданием игр для верифик..." +4 +/–

Сообщение от Michael Shigorin (ok) on 10-Июн-14, 21:46

> Что печального? Они двигали и двигают много полезных проектов. Радовались бы, что
> на "оборонные" деньги двигают прогресс, а не пушечное мясо муштруют.
А на пушечное мясо сейчас мода людей вроде Вас пускать после предварительной промывки мозгов. Только не надо "это про дураков, а я умный" -- почти все знакомые киевские айтишники, включая некоторых умнее нас с Вами, полезли на баррикады "за идею" без проверки происхождения и целеполагания этой "идеи", аки бибизяны, либо сдались под хоровое "белое -- это чёрное".
TFM:
http://www.scribd.com/doc/53686930/TC-18-01-Special-Forces-U...
http://11517.kamradu.ru/wp-content/uploads/2013/12/1801RU.pdf (неофициальный, не сверял)

Ответить | Правка | ^ к родителю #42 | Наверх | Cообщить модератору

63. "Агентство DARPA экспериментирует с созданием игр для верифик..." –1 +/–

Сообщение от Тот_самый_айтишник on 13-Июн-14, 15:49

> ...Только не надо "это про дураков, а я
> умный" -- почти все знакомые киевские айтишники...
Так может умные все же они, а дурак кто-то другой, а? Из-за вашей оголтелой политоты на техническом ресурсе и постоянных вытираний комментариев несогласных стало решительно невозможно его читать. Пора уже переименовывать в "Личный сайт Михаила Шигорина"

Ответить | Правка | ^ к родителю #50 | Наверх | Cообщить модератору

49. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от 123 (??) on 10-Июн-14, 21:43

> Печально видеть что этим занимается DARPA.
Чего плохого в попиле денег аметиканского налогоплательщика? Или вы нездешний?

Ответить | Правка | ^ к родителю #12 | Наверх | Cообщить модератору

15. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от rob pike on 10-Июн-14, 13:44

>А ноги, футбол - двадцать два бугая один мяч перекатывают! А вы выдайте каждому ну это... каток! Так они, 22 бугая, 22 бугая, да на полтора часа.... да на полтора часа и на 22 бугая... два пишем, семь на ум пошло........... они все поле заасфальтируют!
https://www.youtube.com/watch?v=WVMolYlx-h8

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

18. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от rob pike on 10-Июн-14, 14:16

>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
http://intelligence.org/2014/05/29/aaron-tomb/

Ответить | Правка | ^ к родителю #15 | Наверх | Cообщить модератору

16. "Агентство DARPA экспериментирует с созданием игр для верифик..." +1 +/–

Сообщение от linux must _RIP__ on 10-Июн-14, 13:57

И так и так пытаются заставить работать на военные силы США - не хотят.. так может хоть играми?

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

24. "Агентство DARPA экспериментирует с созданием игр для верифик..." –1 +/–

Сообщение от Аноним (??) on 10-Июн-14, 15:05

мда, тут и сказать нечего
Людей используют как хотят.

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

60. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от Иван (??) on 11-Июн-14, 14:24

> мда, тут и сказать нечего
> Людей используют как хотят.
А вы не используйтесь :)
Кто мешает включить разум и делать что-то свое и за плату? А не играться в чужое. Имхо.

Ответить | Правка | ^ к родителю #24 | Наверх | Cообщить модератору

25. "Агентство DARPA экспериментирует с созданием игр для верифик..." +1 +/–

Сообщение от Дмитрий (??) on 10-Июн-14, 15:14

Замысел похож на проект FoldIt. Только там белки расшифровывают.

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

31. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от Аноним (??) on 10-Июн-14, 16:04

Зачем агентству DARPA для перебора вариантов возможных комбинаций прохождения кода, задействовать самый медленный интерфейс монитор-пользователь-клавиатура(мышь), вместо того, чтобы задействовать мощности компьютера своих центров для этой же операции? Мощности серверов, для создания игровых серверов, всё равно будут задействованы. Было бы намного практичнее и быстрее.
Может тут другие цели преследуются?
Мне кажется более вероятным завлечение новых пользователей. А уж для каких целей, известно только им и богу.

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

35. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от Anonymus on 10-Июн-14, 17:47

да чтоб меньше народу работало, чего тут непонятно
а то как все станут умными да работящими, бомбу придумают ядрёную ну или ещё чего полезного нам и вредного им

Ответить | Правка | ^ к родителю #31 | Наверх | Cообщить модератору

43. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от Аноним (??) on 10-Июн-14, 19:23

хааароший вопрос. только немного запоздалый.

Ответить | Правка | ^ к родителю #31 | Наверх | Cообщить модератору

36. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от unscrubber on 10-Июн-14, 18:19

прям так и напрашиваются аналогии с х\ф Mercury Rising

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

38. "Агентство DARPA экспериментирует с созданием игр для верифик..." –1 +/–

Сообщение от Аноним (??) on 10-Июн-14, 18:37

Вот так и окажется, что играешь в игрушки, а на самом деле управляешь беспилотником или "аватаром". И стреляешь на самом деле не в злых террористов в "контрстрайке", а в мирных жителей в Сирии.

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

47. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от asavah (ok) on 10-Июн-14, 21:05

Игра Эндера навеяла?

Ответить | Правка | ^ к родителю #38 | Наверх | Cообщить модератору

61. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от Иван (??) on 11-Июн-14, 14:25

> Вот так и окажется, что играешь в игрушки, а на самом деле
> управляешь беспилотником или "аватаром". И стреляешь на самом деле не в
> злых террористов в "контрстрайке", а в мирных жителей в Сирии.
Так не играй. Ваш К.О.

Ответить | Правка | ^ к родителю #38 | Наверх | Cообщить модератору

54. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от lucentcode (ok) on 10-Июн-14, 23:29

Правильной дорогой идут товарищи. Чем безопасней будет код широко используемых приложений, тем лучше.

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

62. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от Аноним (??) on 12-Июн-14, 12:58

Где гарантия, что это будет код широко используемых приложений?

Ответить | Правка | ^ к родителю #54 | Наверх | Cообщить модератору

64. "Агентство DARPA экспериментирует с созданием игр для верифик..." +/–

Сообщение от Аноним (??) on 13-Июн-14, 17:34

Дарю DARPA развитие идеи: вывешиваешь интерфейс к боевому роботу как игру, даешь двуногому некую миссию. А дальше двуногий будет из кожи вон лезть чтобы миссию выполнить. Сообщать двуногому о том что все действия маппятся в действия робота в реальном мире а обстановка берется с разведовательных датчиков - совершенно не обязательно...

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

66. "А может и можно сообщать..." +/–

Сообщение от гтгыув_гыук_тфьу on 03-Авг-14, 11:02

если игра на уровне анонимности... а может и не анонимности... типа как 80 неусеров... или там статус в клубе по интересам... а если еще и чуть доплачивать... из черепов светильники давно ли были... пример государства 404 показывает... что можно проще... кстати их же и можно... относительно содержимого подсознания большей части цивилизации у меня нет никаких иллюзий. голливудско-обезьянье оно. притягательность стрелялок основана именно на том что подсознание считает все это настоящим. а раз так - зачем и кого стесняться? если еще и в тренде политики. освободи в себе... и тогда хотя бы увидишь

Ответить | Правка | ^ к родителю #64 | Наверх | Cообщить модератору

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

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

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру

1. "Агентство DARPA экспериментирует с созданием игр для верифик..."	+29 +/–
Сообщение от Рудвульф on 10-Июн-14, 11:47
Печально видеть что у них этим занимаются, а у нас даже линукс в госструктурах освоить нормально не могут.
Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору


	10. "Агентство DARPA экспериментирует с созданием игр для верифик..."	+9 +/–
	Сообщение от Аноним (??) on 10-Июн-14, 12:49
	> а у нас даже линукс в госструктурах освоить нормально не могут К сожалению, у нас в госструктурах предпочитают осваивать нечто более осязаемое, чем наборы байтиков.
	Ответить \| Правка \| ^ к родителю #1 \| Наверх \| Cообщить модератору


	14. "Агентство DARPA экспериментирует с созданием игр для верифик..."	–1 +/–
	Сообщение от eganru on 10-Июн-14, 13:42
	while(!Сталин){ Госструктуры_РФ = откаты&омлетчицы; }
	Ответить \| Правка \| ^ к родителю #10 \| Наверх \| Cообщить модератору


	19. "Агентство DARPA экспериментирует с созданием игр для верифик..."	–1 +/–
	Сообщение от жабабыдлокодер (ok) on 10-Июн-14, 14:21
	Будто бы при Джугашвили взяток не было... Щас!
	Ответить \| Правка \| ^ к родителю #14 \| Наверх \| Cообщить модератору


	21. "Агентство DARPA экспериментирует с созданием игр для верифик..."	–1 +/–
	Сообщение от анонимут on 10-Июн-14, 14:50
	Конечно была. Теневая экономика укрепилась в 1930-40 года. И репрессии не помогли. Дело в самой системе. В том же Китае за это расстреливают, но на место одного ресстрелянного приходят новые. Кто сможет выводит деньги в офшоры.
	Ответить \| Правка \| ^ к родителю #19 \| Наверх \| Cообщить модератору


	23. "Агентство DARPA экспериментирует с созданием игр для верифик..."	+2 +/–
	Сообщение от Аноним (??) on 10-Июн-14, 15:01
	может предъявите пруфы, господин Экономист?
	Ответить \| Правка \| ^ к родителю #21 \| Наверх \| Cообщить модератору


	57. "Агентство DARPA экспериментирует с созданием игр для верифик..."	–1 +/–
	Сообщение от chinarulezzz (ok) on 11-Июн-14, 03:07
	не, ну сам подумай: если расстреливают нескольких, и такое происходит довольно долго, то взяточники новые появляются! Ну, или банально всех, или почти всех, или единиц подставляют. И такое практикуется, возможно в этом огороженном коммунистическом китае. P.S. А так, я к тому что без разницы скольких в процентах подставляют - новые то появляются)) А если предположить что всех до единого подставляют - это возможно, да, китай же все таки.
	Ответить \| Правка \| ^ к родителю #23 \| Наверх \| Cообщить модератору


	26. "Агентство DARPA экспериментирует с созданием игр для верифик..."	+/–
	Сообщение от Антоним on 10-Июн-14, 15:27
	Сталин и придумал как обойти «ленинский минимум» — он просто брал деньги из бюджета и платил в конвертах своим.
	Ответить \| Правка \| ^ к родителю #14 \| Наверх \| Cообщить модератору


	65. "Агентство DARPA экспериментирует с созданием игр для верифик..."	+/–
	Сообщение от Аноним (??) on 18-Июн-14, 00:08
	А ты был "своим" или конверты у изголовья держал?
	Ответить \| Правка \| ^ к родителю #26 \| Наверх \| Cообщить модератору


	13. "Агентство DARPA экспериментирует с созданием игр для верифик..."	+1 +/–
	Сообщение от онаним on 10-Июн-14, 13:34
	Я думаю, что у нас тоже занимаются. В ИТ, как нигде, кадры решают. Привлечение общественности не обязательно гарантирует невообразимые результаты. Хотя, верно, есть чему поучиться. У нас почему-то принято тянуть с запада всякие гадости и тыкать в извращенцев, а ведь есть много примеров, достойных.
	Ответить \| Правка \| ^ к родителю #1 \| Наверх \| Cообщить модератору


	53. "Агентство DARPA экспериментирует с созданием игр для верифик..."	+1 +/–
	Сообщение от Buy (ok) on 10-Июн-14, 22:58
	Для этого надо в стране вначале сделать жизнь привлекательной для специалистов высокого класса. А не принимать пачками запретительные законы и пытаться ограничить свободу интернет пользователей в том числе.
	Ответить \| Правка \| ^ к родителю #13 \| Наверх \| Cообщить модератору


	58. "Агентство DARPA экспериментирует с созданием игр для верифик..."	+4 +/–
	Сообщение от Michael Shigorin (ok) on 11-Июн-14, 12:04
	> Для этого надо в стране вначале сделать жизнь привлекательной для специалистов высокого > класса. А не принимать пачками запретительные законы и пытаться ограничить свободу > интернет пользователей в том числе. А, так вот чего про internet fast lane столько вою стоит, а один знакомый квалифицированный сваливший постит в плюсик pirozhki и вздыхает про ломающийся nissan... Некоторые предпочитают жить своим умом, а не чужой картинкой, впрочем.
	Ответить \| Правка \| ^ к родителю #53 \| Наверх \| Cообщить модератору


	17. "Агентство DARPA экспериментирует с созданием игр для верифик..."	+/–
	Сообщение от rob pike on 10-Июн-14, 14:04
	>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, http://en.wikipedia.org/wiki/HealthCare.gov
	Ответить \| Правка \| ^ к родителю #1 \| Наверх \| Cообщить модератору


	56. "Агентство DARPA экспериментирует с созданием игр для верифик..."	+/–
	Сообщение от Аноним (??) on 11-Июн-14, 01:10
	Ты еще не видел наши сайты, где зачастую встречается что-нибудь попроще. Tипа directory index-а + дир с бэкапами баз. С данными по всей клиентуре, etc. Так что медленный сайт - оно конечно да, но у нас и побрутальнее бывает.
	Ответить \| Правка \| ^ к родителю #17 \| Наверх \| Cообщить модератору


	20. "Агентство DARPA экспериментирует с созданием игр для верифик..."	+/–
	Сообщение от Аноним (??) on 10-Июн-14, 14:38
	А какая вам разница между "ними" и "нами"? Если занимаются, то не важно где, а кто не может (а это полпланеты включая "ваших", эскимосов, негров в африке и ещё много необразованных жителей других стран) - так они этим прогрессу никак не мешают.
	Ответить \| Правка \| ^ к родителю #1 \| Наверх \| Cообщить модератору


	22. "Агентство DARPA экспериментирует с созданием игр для верифик..."	+/–
	Сообщение от rob pike on 10-Июн-14, 14:51
	Тест Тьюринга не пройден. Над алгоритмом нужно еще поработать.
	Ответить \| Правка \| ^ к родителю #20 \| Наверх \| Cообщить модератору


	40. "Агентство DARPA экспериментирует с созданием игр для верифик..."	+/–
	Сообщение от Crazy Alex (ok) on 10-Июн-14, 19:19
	Совершенно верно. Но у некоторых местечковое мышление затмевает все доводы рассудка. Никак не поймут, что шарик - он маленький, на нём сотрудничать надо, а не противников искать.
	Ответить \| Правка \| ^ к родителю #20 \| Наверх \| Cообщить модератору


	32. "Агентство DARPA экспериментирует с созданием игр для верифик..."	+/–
	Сообщение от odity on 10-Июн-14, 16:24
	В гос.структуре работаю. Тут заказы,заказы,заказы.....Даже если и скажут перейти на линукт, то разработчиков не хватит чтоб все ПО переписать. у нас только 50-70 ПО стоит и не маленькие.
	Ответить \| Правка \| ^ к родителю #1 \| Наверх \| Cообщить модератору


	59. "Агентство DARPA экспериментирует с созданием игр для верифик..."	+/–
	Сообщение от Иван (??) on 11-Июн-14, 14:21
	А зачем все сразу? Можно и потихоньку. Другое дело, что при таких окладах проще делать адовы костыли и жить на одной ошибке по 15 лет (как в известном анекдоте).
	Ответить \| Правка \| ^ к родителю #32 \| Наверх \| Cообщить модератору


	48. "Агентство DARPA экспериментирует с созданием игр для верифик..."	+/–
	Сообщение от 123 (??) on 10-Июн-14, 21:42
	> Печально видеть что у них этим занимаются, а у нас даже линукс в госструктурах освоить нормально не могут. Да не переживайте вы так, у нас попильшиков госбабла тоже полным-полно. Да и заодно расскажите нам про триумфальное шествие линуха в их госструктурах.
	Ответить \| Правка \| ^ к родителю #1 \| Наверх \| Cообщить модератору


	55. "Агентство DARPA экспериментирует с созданием игр для верифик..."	+1 +/–
	Сообщение от tessel on 11-Июн-14, 00:09
	Дружок, не могут освоить только в твоих розовых либерастических фантазиях. У всех нормальных людей уже стоит Linux Astra.
	Ответить \| Правка \| ^ к родителю #1 \| Наверх \| Cообщить модератору

12. "Агентство DARPA экспериментирует с созданием игр для верифик..."	+/–
Сообщение от Rodegast (??) on 10-Июн-14, 13:33
Печально видеть что этим занимается DARPA.
Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору


	28. "Агентство DARPA экспериментирует с созданием игр для верифик..."	–1 +/–
	Сообщение от клоун on 10-Июн-14, 15:41
	> Печально видеть что этим занимается DARPA. Вы ожидали Альт или РосНано?
	Ответить \| Правка \| ^ к родителю #12 \| Наверх \| Cообщить модератору


	41. "Агентство DARPA экспериментирует с созданием игр для верифик..."	+/–
	Сообщение от Crazy Alex (ok) on 10-Июн-14, 19:20
	Что печального? Они двигали и двигают много полезных проектов. Радовались бы, что на "оборонные" деньги двигают прогресс, а не пушечное мясо муштруют.
	Ответить \| Правка \| ^ к родителю #12 \| Наверх \| Cообщить модератору


	45. "Агентство DARPA экспериментирует с созданием игр для верифик..."	+/–
	Сообщение от Rodegast (??) on 10-Июн-14, 20:15
	Армия пиндосии пытается привлечь кучу народа для работы неизвестно над чем. Чего же тут радостного?
	Ответить \| Правка \| ^ к родителю #41 \| Наверх \| Cообщить модератору


	51. "Агентство DARPA экспериментирует с созданием игр для верифик..."	–2 +/–
	Сообщение от Аноним (??) on 10-Июн-14, 22:52
	Радостно что не наша армия или гбня.
	Ответить \| Правка \| ^ к родителю #45 \| Наверх \| Cообщить модератору


	42. "Агентство DARPA экспериментирует с созданием игр для верифик..."	+/–
	Сообщение от Crazy Alex (ok) on 10-Июн-14, 19:21
	Что печального? Они двигали и двигают много полезных проектов. Радовались бы, что на "оборонные" деньги двигают прогресс, а не пушечное мясо муштруют.
	Ответить \| Правка \| ^ к родителю #12 \| Наверх \| Cообщить модератору


	50. "Агентство DARPA экспериментирует с созданием игр для верифик..."	+4 +/–
	Сообщение от Michael Shigorin (ok) on 10-Июн-14, 21:46
	> Что печального? Они двигали и двигают много полезных проектов. Радовались бы, что > на "оборонные" деньги двигают прогресс, а не пушечное мясо муштруют. А на пушечное мясо сейчас мода людей вроде Вас пускать после предварительной промывки мозгов. Только не надо "это про дураков, а я умный" -- почти все знакомые киевские айтишники, включая некоторых умнее нас с Вами, полезли на баррикады "за идею" без проверки происхождения и целеполагания этой "идеи", аки бибизяны, либо сдались под хоровое "белое -- это чёрное". TFM: http://www.scribd.com/doc/53686930/TC-18-01-Special-Forces-U... http://11517.kamradu.ru/wp-content/uploads/2013/12/1801RU.pdf (неофициальный, не сверял)
	Ответить \| Правка \| ^ к родителю #42 \| Наверх \| Cообщить модератору


	63. "Агентство DARPA экспериментирует с созданием игр для верифик..."	–1 +/–
	Сообщение от Тот_самый_айтишник on 13-Июн-14, 15:49
	> ...Только не надо "это про дураков, а я > умный" -- почти все знакомые киевские айтишники... Так может умные все же они, а дурак кто-то другой, а? Из-за вашей оголтелой политоты на техническом ресурсе и постоянных вытираний комментариев несогласных стало решительно невозможно его читать. Пора уже переименовывать в "Личный сайт Михаила Шигорина"
	Ответить \| Правка \| ^ к родителю #50 \| Наверх \| Cообщить модератору


	49. "Агентство DARPA экспериментирует с созданием игр для верифик..."	+/–
	Сообщение от 123 (??) on 10-Июн-14, 21:43
	> Печально видеть что этим занимается DARPA. Чего плохого в попиле денег аметиканского налогоплательщика? Или вы нездешний?
	Ответить \| Правка \| ^ к родителю #12 \| Наверх \| Cообщить модератору