AP
Это проектор так гудит?
Size: a a a
2021 April 16
AP
Пишите уже на петличку, позязя!
AP
Проводная петличка стоит 500р
IR
звук пропал?
AK
Пропал
IR
@CabiaRangris верни стену звука!
2021 April 18
AT
Друзья!
Мы хотим организовать неформальную летнюю школу
по формальным методам и всяким родственным штукам (ФП тоже входит в "штуки”).
С разрешения Лейлы публикуем анонс.
(x, y, z)
Парк-отель “Ершово”, 60 км от Москвы (https://ershovo.su/).
τ
17 июля - 1 августа 2021 года
Школа состоит из трёх блоков:
- интенсивов по ФП и верификации (вводных и продвинутых)
- воркшопов (фаззинг и модел чекинг ~> кубические пруверы, логики некорректности, верифицированные компиляторы <~ слабые модели памяти)
- и хакатона
Можно приехать на пять дней воркшопов с 24/07, захватить также хакатон (всего получится девять дней), или загулять на все шестнадцать с 17/07.
Онлайн-пре-школа
Дабы заполнить пространство между новичками и экспертами тёплой жировой прослойкой энтузиастов, предлагаем такой формат: можно взять проект и сделать его до школы под руководством наших менторов. Это даст вам доклад на школу и подготовит к воркшопам.
Хотите участвовать? Хотите менторить? Пишите!
Новости
https://t.me/lalambdaschool
https://twitter.com/lalambda_school
Хочу участвовать!
Регистрируйся на https://лялямбда.рус, да поскорее! Площадка забронирована за нами при условии 30% предоплаты до 28 апреля.
Мы хотим организовать неформальную летнюю школу
по формальным методам и всяким родственным штукам (ФП тоже входит в "штуки”).
С разрешения Лейлы публикуем анонс.
(x, y, z)
Парк-отель “Ершово”, 60 км от Москвы (https://ershovo.su/).
τ
17 июля - 1 августа 2021 года
Школа состоит из трёх блоков:
- интенсивов по ФП и верификации (вводных и продвинутых)
- воркшопов (фаззинг и модел чекинг ~> кубические пруверы, логики некорректности, верифицированные компиляторы <~ слабые модели памяти)
- и хакатона
Можно приехать на пять дней воркшопов с 24/07, захватить также хакатон (всего получится девять дней), или загулять на все шестнадцать с 17/07.
Онлайн-пре-школа
Дабы заполнить пространство между новичками и экспертами тёплой жировой прослойкой энтузиастов, предлагаем такой формат: можно взять проект и сделать его до школы под руководством наших менторов. Это даст вам доклад на школу и подготовит к воркшопам.
Хотите участвовать? Хотите менторить? Пишите!
Новости
https://t.me/lalambdaschool
https://twitter.com/lalambda_school
Хочу участвовать!
Регистрируйся на https://лялямбда.рус, да поскорее! Площадка забронирована за нами при условии 30% предоплаты до 28 апреля.
AV
К сообщению не та ссылка прилипла
AT
Скорее всего первая ссылка прилипает :)
Там их штуки четыре
Там их штуки четыре
VA
Бесплатные места имеются?
AT
Можно в заявке указать, что нужен грант на участие. Мы сейчас общаемся с несколькими компаниями по поводу спонсорства студентам.
AT
Безусловных плюшек я бы не ожидал, каждая заявка будет оцениваться. Продайте себя участникам и программному комитету :)
AI
Это будет четвертый, нулевой блок - бизнес-тренинг и практика прямых продаж )))
AT
С отработкой холодных звонков
AI
Да, а как мы все знаем, цель холодного звонка - не продать, а договориться о встрече )
2021 April 22
AP
https://meet.google.com/fcz-dfzf-nri
Тут митапчик (Moscow Clojure Meetup) по Clojure и Duct (фреймфорк такой). Вот прям сейчас идёт
Тут митапчик (Moscow Clojure Meetup) по Clojure и Duct (фреймфорк такой). Вот прям сейчас идёт
AM
а запись будет?
AP
Похоже, что нет :(