В ШАД поступать по многим причинам может быть не вариант, а вот отдельные полноценные курсы послушать было бы очень здорово — я слушал в университете курс Ветрова, например, очень близкий по смыслу, но во второй половине с другим лектором ушедший в совсем глубокую теорию, и был бы очень рад освежить всё в памяти. Выложенные курсы ШАДа всё равно не смогут заменить ШАД, но многим вроде меня могли бы очень сильно помочь.
Помнится, писал в университете такие формальные спецификации для всяких алгоритмов на PVS (никакого отношения к часто всплывающей здесь PVS Studio, насколько я понимаю), KeY выглядит на порядок удобнее, хотя и на тех же принципах, похоже, работает.
Вообще формальные спецификации это очень мило и полезно, но в случае с PVS мозг мне изрядно взрывали, когда приходилось специфицировать операторы и функции, чтобы заработало всё остальное, бинарные операции например не были встроены, а когда доказываешь валидность shift-or… ахаха… хаха… ха…
Круто, до этого мне для проекта приходилось писать свою версию ListView, чтобы сделать все те анимации, которые были нужны (в частности для многоуровневого раскрывающегося списка — стандартный не поддерживает необходимую глубину, на видео уровня всего два, потому что просто не нашел сейчас, где было больше) — а добавлять анимацию в стандартном ListView — боль… Давно этот виджет надо было обновить, молодцы.
А что вы используете для разработки Android-приложений? ADT/Eclipse вроде как устаревает, но Android Studio и IDEA не очень дружат с NDK/C++. Вообще очень интересно, чем нативный код на андроиде отлаживаете.
Такого вообще не было — ни сдачи по интернету, ни ограничений по времени.
Просто тогда это было на втором курсе для особо везучих типа меня и называлось «еджадж» и «чернотесты». Про чернотесты я думаю многим выпускникам есть, что рассказать :)
Первый поток на первом курсе стал экспериментальным, когда я еще не выпустился, там вроде Чернов как раз начал тогда вести си вместо обычного первокурского паскаля и понеслось, видимо остальную программу под это чуть скорректировали, поэтому и gcc, и NASM — ибо линуксоиды (у нас была винда-онли на первом курсе, полагаю на 2-3 потоке так и осталось) — и т.п.
Немного про другое устройство (хотя, конечно, на смартфонах от Sony этот магазин тоже есть), но тем не менее — планов по вводу PSM и заливки в PSM в России нет совсем?
Какое вообще будущее у PSM? Вроде начинали за здравие, но как-то все утихло, хотя недавно уже год исполнился.
Это в порядке вещей для китайских ребрендов, остается только надеяться на то, что кто-нибудь будет портировать более свежие прошивки с других похожих устройств.
А каких грандов читать, если занимаешься разработкой под Android? И вообще полезные ресурсы, кроме всеобъемлющих вроде того же stackoverflow и родных вроде видео с Google I/O?
Ходят слухи, что WP9 будет по большому счету WinRT, так что именно по этому поводу есть беспокойства насчет апдейтов телефонов с WP8. Если нормально апдейтнутся — тогда точно поверю.
Куратор — это удовольствие для избранных, не встречал я фирм, где у кого-то есть время курировать стажеров… Когда устраивался — надеялся, что они будут, так как практики у меня всегда было слишком мало, но нет их — и всё.
Вот это прилив ностальгии. Сколько материалов для литературного альманаха было в нем родственниками пару десятилетий назад отредактировано.
Вообще формальные спецификации это очень мило и полезно, но в случае с PVS мозг мне изрядно взрывали, когда приходилось специфицировать операторы и функции, чтобы заработало всё остальное, бинарные операции например не были встроены, а когда доказываешь валидность shift-or… ахаха… хаха… ха…
Просто тогда это было на втором курсе для особо везучих типа меня и называлось «еджадж» и «чернотесты». Про чернотесты я думаю многим выпускникам есть, что рассказать :)
Первый поток на первом курсе стал экспериментальным, когда я еще не выпустился, там вроде Чернов как раз начал тогда вести си вместо обычного первокурского паскаля и понеслось, видимо остальную программу под это чуть скорректировали, поэтому и gcc, и NASM — ибо линуксоиды (у нас была винда-онли на первом курсе, полагаю на 2-3 потоке так и осталось) — и т.п.
Какое вообще будущее у PSM? Вроде начинали за здравие, но как-то все утихло, хотя недавно уже год исполнился.
А так, конечно, само железо в нем замечательное, особенно в 8.9"
А по первому я бы дождался MDK и технических подробностей.
Идея, я считаю, в целом очень правильная.