Guide DAO

Свойства арифметических операций Третья лекция из курса по формальной верификации с Андреем Ляшиным. Продолжаем изучать натуральные числа. В этот раз проведём доказательства свойств сложения и умножения, и в заключении рассмотрим полиморфные типы данных. Андрей Ляшин — кофаундер и CTO Pruvendo, неоднократный эксперт стримов Guide DAO Материалы лекций: YouTube / GitHub Встретимся в нашем Телеграм-канале 16 июля в 18-00 МСК Вопросы и выполненные домашние задания присылайте в комментариях к анонсу

Рассказываем про события последних недель!🙃 Поговорили с выпускником Guide DAO и узнали, как можно резко поменять свой карьерный путь. Войсом поделились тут. Вторую лекцию про Биткоин в мировой экономике провел Евгенией Романенко, экономист австрийской школы и криптоэнтузиаст! Поговорили про деньги как средство обмена, государственное влияние на денежное обращение, а также роль Биткоина в этих процессах. Обязательно посмотрите первую часть! Запустили курс лекций по формальной верификации вместе с Андреем Ляшиным, кофаундером и CTO Pruvendo! Что уже успели обсудить: — Введение в язык формальной верификации Coq: установка и настройка. Знакомство с понятиями индуктивного типа, базовые определения и первые доказательства свойств небольших функций. — Рекурсивные функции и простейшие доказательства свойств натуральных чисел. Материалы лекций также есть на GitHub. Всем хороших выходных, увидимся на следующей неделе!❤️ Guide DAO Канал | Чат | YouTube | X | Сайт

Интервью с выпускником Guide DAO: как уйти из эндокринологии в разработку Jerram, бывший врач-эндокринолог, сменил профессию и стал frontend-разработчиком в компании, которая создает приложение для управления бронями для сетей ресторанов. На стриме обсудили учебу в Guide DAO, опыт прохождения собеседований и уход в кардинально в другую сферу.🙃 Содержание: 00:00 Введение 00:18 Путь Евгения 01:30 Помощь друзей 03:25 Заинтересованность криптой 04:24 Решение уйти из профессии врача 05:20 Начало обучения в Guide DAO 06:32 Сколько нужно время на обучение 06:56 Невозможность самообучения 07:30 Помощь в обучении 09:13 Где слушать обучающие стримы 09:57 Советы начинающим 12:00 Поиски ментора 12:24 Сложности обучения 13:40 Собеседование в Guide DAO 14:15 Зачем ходить на собеседования 16:28 Инструментарий для собеседований 18:21 Место работы 22:06 Рабочий день 23:23 Самое интересное в работе 25:13 Возможность смены работы 26:42 Инструменты для поиска работы 27:21 Распределение времени 30:15 Выбор страны работы 31:39 Шаблоны в работе 33:33 Использование ИИ 37:17 Незаданные вопросы 37:45 Проекты до Guide DAO 38:49 IT в медицине 41:10 Советы студентам 45:52 Финал Guide DAO Канал | Чат | YouTube | X | Сайт

Начинаем лекцию по формальной верификации https://t.me/guidedao?livestream

Натуральные числа в Coq Вторая лекция из курса по формальной верификации с Андреем Ляшиным Продолжаем изучать основы языка формальной верификации Coq, познакомимся с рекурсивными функциями. Узнаем, почему Coq — не Тьюринг полный язык, и почему всё функции завершаются. Познакомимся с простейшими доказательствами свойств натуральных чисел. Андрей Ляшин — кофаундер и CTO Pruvendo, неоднократный эксперт стримов Guide DAO! Встретимся в нашем Телеграм-канале 9 июля в 18-00 МСК

Начинаем лекцию по формальной верификации https://t.me/guidedao?livestream

Запускаем курс открытых лекции по формальной верификации с Андреем Ляшиным! ⚙️ Первая тема: Введение в язык формальной верификации Coq. Установка, настройка, первые шаги. Знакомство с понятиями индуктивного типа, базовые определения и первые доказательства свойств небольших функций. Андрей Ляшин — кофаундер и CTO Pruvendo, неоднократный эксперт стримов Guide DAO! Встретимся в нашем Телеграм-канале 5 июля в 19-00 МСК

Начинаем интервью с участником сообщества Jerram https://t.me/guidedao?livestream

Интервью с с участником сообщества📞 На этот раз героем нашего интервью станет Jerram! Jerram, бывший врач-эндокринолог, сменил профессию и стал frontend-разработчиком в компании, которая разрабатывает приложение для управления бронированиями и CRM для сетей ресторанов. Обсудим как получилось сменить карьеру, как проходила учеба и чему научило финальное собеседование в Guide DAO. Встретимся в нашем Телеграм-канале 3 июля в 19-00 МСК. Задать вопрос

Интервью с с участником сообщества📞 На этот раз героем нашего интервью станет Jerram! Jerram, бывший врач-эндокринолог, сменил профессию и стал frontend-разработчиком в компании, которая разрабатывает приложение для управления бронированиями и CRM для сетей ресторанов. Обсудим как получилось сменить карьеру, как проходила учеба и чему научило финальное собеседование в Guide DAO. Встретимся в нашем Телеграм-канале 3 июля в 19-00 МСК. Задать вопрос