Replies (28)

  • @SolderStain, Эта шутка появилась на первой неделе выхода swift, на этой неделе почему-то все ее начали шутить опять
  • @SolderStain, Алсо вот сам автор пошутил mobile.twitter.com
  • @SolderStain, безотносительно свифта, что за ебанутое требование в 8 лет. А если 7, но я коммитил языку в ядро? А если 9, но я крудошлёпал и две либы подключал?
  • @SolderStain, но вообще вакансии нельзя читать дословно, скажу как автор вакансий (:
  • @belsnickel, ебанутость отделов кадров это отдельная песня. встречал такое объявление: "Серьёзной организации требуется системный администратор. Опыт работы администратором — не менее 10 лет. Опыт работы с {конкретная система} — не менее 8 лет. Возраст — не менее (бля, так и написано!) 30 лет. З/п 12 тыс. руб., полный рабочий день." Где они собирались искать 30-летнего гражданина с опытом, согласного работать на зарплату ниже средней в регионе максимум в 2 раза, остаётся неизвестным.
  • @vt, :-) интересно, это работодатель так простебался или фейк?
  • @SolderStain, Если это какое-нибудь гос.говно, то там кроме оклада ещё премии. И эта вакансия будет закрыта сыном-долбоёбом какого-нибудь долбоёба повыше.
    Про 30 лет лол.
  • @belsnickel, не, я вакансии открывал всего два раза и там без приколов. но я не настоящий кадровик.
  • @belsnickel, вакансия долго висела.
  • @SolderStain, я себе полгода искал джуна в отдел. Уже устал думать, что ещё написать в вакансии, лишь бы хоть какой чувак пришёл.
  • @belsnickel, самое интересное, что по всей IT как-то так. Все воют "работу не найти" при этом тут же второй хор "где взять людей, вакансии закрываем дегенератами"
  • @belsnickel, It's relevant with skill sets that include AFP, EDSLs, type systems, Martin-Löf type theory, dependent types, formal methods, standard-type static analysis tools (as we offer a new kind that adds dependent types to the abstract interpretation approach), experience from tools form e.g. Coverity, Klocwork, MathWorks,, Spec#, Coq, Agda, Epigram, Twelf or other such tools, LLVM, ANSI / ISO C, MISRA C, software testing, various programming languages and their implementation, (E)DSL, logical frameworks, meta languages, theorem provers. You should be able to contribute to very demanding, challenging, creative teamwork as it manifests itself in a pioneering high-tech spinoff.
  • @qnikst, Not all developers in our teams have PhD's, and this is not required as such.
  • @qnikst, ты это запостил как пример чего-то сложного? два моих друга подходят под эту вакансию влёгкую. А у меня не так много друзей. И думаю, в индустрии таких людей стопицот.
  • @belsnickel, не верю :]
  • @SolderStain, он на самом деле разрабатывался с 2010 года
  • @qnikst, я начинал работать в НИИ, где делали ЧПУ для станков. Коллеги (будущие друзья) после инженерых вузов писали логику на няшной С, на С++, на азме, или Paradygm C++ и сразу же в матлабе проверяли не избыточно ли ездит фреза или лазер, рассчитывали эквидистанту. Иногда приходилось и самому проектиовать схему или контроллер с какой-нибудь RTOS, потому что криворукие студенты нихера не тащили.

    После низкого уровня многие дропнули НИИ из-за таких же низких зп и ушли к богатым капиталистам писать веб-сервера или ОС, или простые программные продукты на любых ЯВУ под задачи: от Java до Erlang, когда требовался микросервис для души.

    Петпроекты — Clojure, R (это только у меня заскок). Сoq в продакшн конечно не сунешь, но каждый его знает хотя бы в рамках общего образования. Функциональщину тоже.

    Это описание любого нормального программиста, кто в профессию пришёл не с улицы и не за деньгами.
  • @vt, так это такой тонкий хантинг девелоперов из эпла?
  • @vt, не, я про оригинальную картинку. с создателем как раз всё понятно
  • @belsnickel, это круто конечно, реально круто, но в этом описании отсуствуют все пункты, которые действительно там требуются и которые являются в том описании проблематичными.

    Людей, которые хорошо знают верфикацию софта, функциональщину, теорию зависимых типов (мартин лёф и все дела), я знаю не так много, а эти ребята именно этим и занимаются.

    Пересечений их с low level я почти не знаю. Вообще у них вакансия добрее стала, раньше там вообще ад был. Люди такие, конечно, есть, но не 100500, особенно если знания уверенные.

    Если есть желание прокатиться до chalmers с ребятами можно пообщаться наверное.
  • @qnikst, ещё раз перечитал вакансию. Что там серьёзно ключевое? Статические анализаторы кода? Хаскельные штуки?

    Это всё уровень магистра по CS в хорошем годном институте.
  • @SolderStain, Ну и я пишу, шутку придумали три года назад, не было такого конечно
  • @belsnickel, ну_рассказывай_я_внимательно_слушаю.jpg
  • @qnikst, я просто работаю в компании где почти все люди это обладатели PhD в хороших годных институтах и все же останусь при мнении о том, что требования там весьма выше среднего и выше MsD уж точно
  • @SolderStain, Какой же боян...
  • @belsnickel, программиста, кто в профессию
    какое-то абстрактное математическое говно
    Ну-ну
  • @vt, о, нашел!
    понимаешь блядь ВОН ТОООТ ОТЧЁТ К ПОНЕДЕЛЬНИКУ УЖЕ НАДА КАКИЕ ЕЩЁ НАХУЙ МОНАДЫ, ОТЧЁТ НАДО, ПОНИМАЕШЬ? ОТЧЁТ А НЕ МОНАДЫ, НЕ НУЖНА НИКАКАЯ ЧИСТОТА В КОДЕ, БОЖЕСТВЕННИЙ ЛИНКУЭ, МОНАДИЧЕСКИЕ КОНТЕЙНЕРЫ В СИСЯРПЕ, НЕНУЖНА ТВОЯ ИМИДЖБОРДА НА F#, НЕНУЖЕН ХАСКЕЛЬ, НЕНУЖНО НИКАКОЕ ФП, КАКОЙ ТО НИПОНЯТНЫЙ КОД С GROUP INTO JOIN IN ON EQUALS BY А НУЖНО ТОТ ОТЧЁТ, сука
  • @vt, Звучит как команда 1С