Это вовсе не значит, что на практике действительно возможно исправить абсолютно все ошибки. Даже у NASA, насколько я знаю, есть какая-то норма на тыс. строк кода.
Но ни о каком математическом доказательстве, по-моему, речи быть не может.
Кроме того, существуют методы написания гарантировано безошибочного кода. Насколько я помню, доказательство идёт по индукции. Сначала доказывается корректность одной простейшей команды, потом корректность суперпозиции простейших команд и т.д.
Нам на эту тему читали вводную лекцию сотрудники ИСП РАН, у них там ведётся большая работа на эту тему. К сожалению, сходу не могу найти ссылку.
Ваше рассуждение было бы верным, если бы код был бесконечно делим. Но исходный код — дискретное множество. В пределе мы приходим к некоторой единице кода — если она содержит ошибку, мы просто исправляем её. Эта единица кода не может быть верна на сколько-то процентов, поэтому процесс исправления ошибок обязательно завершится.
«Паша Дуров, предупреди пожалуйста, когда ты разрешишь всем читать мои сообщения, что бы я успела скрыть 15 штук, которые не будут ПОКАЗЫВАТЬСЯ ВСЕМ БЛЯТЬ !!!!»
#hate_fm
А что вы думаете про ЧПУ кириллицей? По-моему, прикольно смотрелось бы, особенно для РФ доменов:
магазин.рф/каталог/холодильники/
Как вообще поисковики относятся к русским урлам и доменам.РФ?
Вообще, по-моему, было бы интересно в отдельной теме собрать информацию, кто что учил в универе. А потом свести всё в единую таблицу, и по программированию, и другие дисциплины.
Нам было бы любопытно, абитуриентам полезно.
ВМиК МГУ, прикладная математика и информатика
1 семестр — паскаль (и лекции по алгоритмам)
2 семестр — ассемблер (архитектура ЭВМ)
3 семестр — Си (операционные системы)
4 семестр — С++ (формальные грамматики и языки)
Потом разделение по кафедрам. Мы учили Яву, программистские кафедры — функциональные языки, Ява, БД и пр.
В чём именно выражается использование ROP при написании эксплойта?
Ваша ссылка на Metasploit уже не работает, я нашел только такой вариант: www.breakingpointsystems.com/community/blog/ie-vulnerability/. Там всё предельно банально, без ROP. Или я что-то не так понял?
СВЧ э/м колебания сказываются на организме. Никто в этом не сомневается, особенно микроволновая печь на кухне не оставляет в этом сомнений.
Но, насколько мне известно, мощность wi-fi точки доступа в несколько тысяч раз меньше мощности микроволновки. Поэтому хочется верить, что жители Лондона не сварятся.
Жить вообще вредно, а мобильный интернет пригодится каждому.
можно честно признаться, что именно ТАКИЕ ДЕНЬГИ требуются, чтобы, например, снимать самому квартиру
Я однажды общался со специалистом по HR, он с улыбкой рассказывал про девушку, которая обосновывала желаемую зарплату тем, что ей столько-то нужно платить за квартиру, столько-то за кредит на машину и пр.
Сказал, что это нелепо и зарплата должна отражать не потребности работника, а ценность его навыков и умений для этой компании.
По-моему, логично.
У меня не получилось привязать телефон. Ввёл номер, ввёл цифры с картинки, но никакой реакции. Видимо, слишком много народу ломанулось указывать свой мобильный.
И, кстати, номер телефона ведь может поменяться со временем. Я не нашел, где его можно изменить. Это вообще возможно?
То есть, по вашему, если со временем русский язык будет забываться, а люди будут общаться только на «более удобных» языках, об этом не надо будет беспокоиться? А Пушкина и Достоевского будем читать в переводе на совершенный английский? Или вообще не будем читать? Или вы считаете, что в культуре адыгов или удмуртов нет ничего стоящего?
А как вы считаете, если удастся поймать профессионала в области заказных убийств, его следует посадить или тоже нужно использовать на благо государства?
Буду признателен, если у кого-нибудь появятся замечания.
Мне бы где-нибудь скачать iOS 4.3…
Но ни о каком математическом доказательстве, по-моему, речи быть не может.
Нам на эту тему читали вводную лекцию сотрудники ИСП РАН, у них там ведётся большая работа на эту тему. К сожалению, сходу не могу найти ссылку.
#hate_fm
А теперь не пойму, чем он отличается от 3D Киностара, например?
магазин.рф/каталог/холодильники/
Как вообще поисковики относятся к русским урлам и доменам.РФ?
Нам было бы любопытно, абитуриентам полезно.
1 семестр — паскаль (и лекции по алгоритмам)
2 семестр — ассемблер (архитектура ЭВМ)
3 семестр — Си (операционные системы)
4 семестр — С++ (формальные грамматики и языки)
Потом разделение по кафедрам. Мы учили Яву, программистские кафедры — функциональные языки, Ява, БД и пр.
Ваша ссылка на Metasploit уже не работает, я нашел только такой вариант: www.breakingpointsystems.com/community/blog/ie-vulnerability/. Там всё предельно банально, без ROP. Или я что-то не так понял?
Но, насколько мне известно, мощность wi-fi точки доступа в несколько тысяч раз меньше мощности микроволновки. Поэтому хочется верить, что жители Лондона не сварятся.
Жить вообще вредно, а мобильный интернет пригодится каждому.
Сказал, что это нелепо и зарплата должна отражать не потребности работника, а ценность его навыков и умений для этой компании.
По-моему, логично.
И, кстати, номер телефона ведь может поменяться со временем. Я не нашел, где его можно изменить. Это вообще возможно?
Если, например, своя реализация списка или стека, почему бы не пометить её своими инициалами? Чтобы не путать с тем же STL.