Хотя Huawei понять можно у них google отобрал сертификаты, ни одна европейская или американская компания не будет с ними работать, более того IEEE даже хотели запретить редакторам рецензирование и публикацию от лица компании но потом все же спохватились и вернули все как было. Huawei просто вынуждена сейчас работать с РФ и др странами бывшего СНГ и вынуждена идти в вабанк создавая все с нуля. Но раз такое дело то могли бы уже и перевести документацию на английский хотя бы а еще лучше русский раз такое уж дело

Какие у остальных не знаю. Но если хочешь к нам в ЛК, то вот эти три билета примерно и есть. Можно ещё вопросы с IDE решить для бонус поинтс.

да не, у меня сейчас есть устраивающая меня работа, просто борюсь с синдром самозванца :)

а что за ЛК ?

Лаборатория Касперского

Это в какие сроки? )

В любые. Методичка прочитана, лабы сданы - можно и приходить.

На стажировку? Или серьезно можно пробовать устроиться без коммерческого опыта?

Если есть что к резюме приложить, то как-то не важно, за деньги это было или как хобби.

Компилятор написан? Написан. Компилирует? Компилирует. Вы приняты!

Один человек недавно из админов пришёл, потому что угорал на досуге по теоркату и верификации.

и как ему теоркат помог написать компилятор? :)

или вы его по другой схеме проверяли?

Он скорее по верификации. Но там столько кодогенерации, что это почти онтопик.

а чем верифицируете?

Сейчас фокус на самопокрывающемся тестами коде через alloy.

а, модели

а это не признак мёртворождённого проекта?
у компиляторщиков настолько хорошо с вакансиями, что кто-то захочет связываться с НИИ58, не имея потом возможности работать ни во ФГУПе, ни в филиале полутора топовых компаний, у которых есть потребность в этой специальности?

В своё время меня здесь спрашивали о быстродействии моего интерпретатора Umka. С некоторым удивлением для самого себя обнаружил, что при работе с многомерными массивами Umka превзошёл Wren, который позиционирует себя как очень быстрый скриптовый язык. Видимо, циклы и массивы в Wren всё же хромают.
https://github.com/vtereshkov/umka-lang#performance

«Due to the efficient for loop implementation» — а за счет чего эффективность?