это ж их вечная бизнес-модель, инсайд оттуда )

Было такое подозрение и сомнения в этом курсе, но компания предложила оплатить. Меня больше позабавила вся эта ситуация, чем огорчила)

Всем привет!
Есть живая вакансия, может заинтересует кого-то
https://hh.ru/vacancy/49787263

а если уходить некуда - я вот вижу ошибки на сайте налог.ру )

от коллег. это embedded domain-specific language, который навешивается на proof assistant, чтобы формально верифицировать программы, доказывая их как теоремы. дальше NDA.

компилятор там не нужен, proof assistant и есть компилятор.

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

Кажется, на Гипербатоне-2016 уважаемый коллега Факторович рассказывал про его опыт такого плана, как он техписов хантил/обучал. Речь была о том примерно, что проще (и явно выгоднее) взять человека, который хорошо знает английский и при этом умеет излагать мысли, выдать курс молодого бойца именно про IT и вперёд на мины, чем пытаться просеивать программистов на предмет двух вышеперечисленных способностей. Семён, простите, если я вас перевираю, но концепция вроде такая была. Диаграмма Венна на слайде была точно.

Они сначала весной анонсировали. Но курс был 75тыс вроде. Потом не набрался, они отменили. Видимо, вторая попытка тоже провалилась

Да, было такое. Не уверен, что гипербатон. На ютюбе смотрел. Я один из таких людей, которые пришли в техписательство, но по образованию филологи.
Самое забавное, что я даже проходил тестовое к Семёну, он сказал: "Все входные данные и навыки для этой профессии у вас есть, осталось только дотянуть этот навык:)". Дословная цитата, нашёл письмо.

В итоги года запишу, что наконец вошла в техписательство. С образованием журналиста)

Ссылка на pdf - битая.

На самом деле, то, что курс не состоялся в какой-то степени и плюс для сообщества, ибо (в основном) осталось только узкоспециализированное, сделанное профессионалами (@factorized тому пример).

Поздравляю! Куда?

Компания, которая занимается автоматизациями для такси Максим. Это с октября уже. Но просто как факт, удалось наконец)

Здорово! Да, там есть куда автоматизировать) столкнулись с ними, когда были в Улан-Уде осенью. Работы у вас много впереди ;))

Спасибо)

но курс семена тоже не состоялся)

Полагаю, что по объективным причинам. Но курс не будет сворачиваться, как в примере выше.

Эдуард! Ну ладно я после прививки. :)

Вам ли не знать, что %2520 -- двойное кодирование %20.

Тогда ссылка будет выглядеть так:



http://ce.sharif.edu/courses/94-95/1/ce414-2/resources/root/Text%20Books/Compiler%20Design/Alfred%20V.%20Aho,%20Monica%20S.%20Lam,%20Ravi%20Sethi,%20Jeffrey%20D.%20Ullman-Compilers%20-%20Principles,%20Techniques,%20and%20Tools-Pearson_Addison%20Wesley%20(2006).pdf