Р
Во
Size: a a a
2021 May 09
PS
Nice
ツダ
#стажировка #IT
Проект «SAMO» ищет программиста
Сообщество предпринимателей, в рамках бизнес клуба Терра разрабатывает благотворительный продукт: программу, помогающую следовать к своим целям, удерживать баланс в разных сферах своей жизни и становиться людям эффективнее и успешнее каждый день.
В первую очередь, мы ищем людей, понимающих, что в жизни важнее создавать и помогать другим, чем просто искать личную выгоду (т.е. единомышленников).
В зависимости от ваших навыков и интересов в сфере IT вам предстоит решить одну или несколько задач из списка:
• проектирование архитектуры веб-приложения
• реализация математических моделей, обрабатывающих данные о пользователе
• оценка трудозатрат и код-ревью
• отрисовка графиков, построение диаграмм
• вёрстка страниц
• развёртывание приложения
• тестирование разработки
Что вы получите :
• обучение у сильного тимлида и наставника
• отработку ваших навыков на практике и создание проекта, который поможет тысячам людей
• мощный кейс и возможность показать себя как специалист на аудиторию Терры в 10.000 предпринимателей
• возможное трудоустройство в фин-тех компанию по результатам работы
https://myterra.club/стеквилка
Проект «SAMO» ищет программиста
Сообщество предпринимателей, в рамках бизнес клуба Терра разрабатывает благотворительный продукт: программу, помогающую следовать к своим целям, удерживать баланс в разных сферах своей жизни и становиться людям эффективнее и успешнее каждый день.
В первую очередь, мы ищем людей, понимающих, что в жизни важнее создавать и помогать другим, чем просто искать личную выгоду (т.е. единомышленников).
В зависимости от ваших навыков и интересов в сфере IT вам предстоит решить одну или несколько задач из списка:
• проектирование архитектуры веб-приложения
• реализация математических моделей, обрабатывающих данные о пользователе
• оценка трудозатрат и код-ревью
• отрисовка графиков, построение диаграмм
• вёрстка страниц
• развёртывание приложения
• тестирование разработки
Что вы получите :
• обучение у сильного тимлида и наставника
• отработку ваших навыков на практике и создание проекта, который поможет тысячам людей
• мощный кейс и возможность показать себя как специалист на аудиторию Терры в 10.000 предпринимателей
• возможное трудоустройство в фин-тех компанию по результатам работы
https://myterra.club/стеквилка
ツダ
Р
ы/\w{5}/мямс
M
#мямсмямс #IT
мямст «SAMO» ищет мямсмямста
мямсмямс мямсмямсмямсй, в мямсх мямсс мямс мямс мямсмямсает мямсмямсмямсый мямскт: мямсамму, мямсмямс мямсвать к мямс мямс, мямсмямс мямсс в мямсх мямсх мямс мямс и мямсмямся мямс мямсмямсе и мямснее мямсй день.
В мямсю мямсдь, мы ищем мямс, мямсмямс, что в мямс мямсе мямсвать и мямсать мямсм, чем мямсо мямсь мямсю мямсу (т.е. мямсмямсмямсв).
В мямсмямси от мямс мямсов и мямсесов в мямс IT вам мямстоит мямсь одну или мямслько мямс из мямса:
• мямсмямсание мямсмямсы веб-мямсмямс
• мямсмямс мямсмямсских мямсей, мямсмямсющих мямсе о мямсмямсле
• мямса мямсмямст и код-мямс
• мямсовка мямсков, мямсмямс мямсамм
• мямска мямсиц
• мямсмямсние мямсмямс
• мямсмямсие мямсмямс
Что вы мямсите :
• мямсние у мямсого мямсда и мямсмямс
• мямсотку мямс мямсов на мямсике и мямсние мямста, мямсый мямсет мямсам мямс
• мямсй кейс и мямсмямсь мямсать себя как мямсмямс на мямсорию мямс в 10.000 мямсмямсмямсй
• мямсжное мямсмямсмямс в фин-тех мямснию по мямсмямсм мямсы
мямс://мямсra.club/мямсилка
мямст «SAMO» ищет мямсмямста
мямсмямс мямсмямсмямсй, в мямсх мямсс мямс мямс мямсмямсает мямсмямсмямсый мямскт: мямсамму, мямсмямс мямсвать к мямс мямс, мямсмямс мямсс в мямсх мямсх мямс мямс и мямсмямся мямс мямсмямсе и мямснее мямсй день.
В мямсю мямсдь, мы ищем мямс, мямсмямс, что в мямс мямсе мямсвать и мямсать мямсм, чем мямсо мямсь мямсю мямсу (т.е. мямсмямсмямсв).
В мямсмямси от мямс мямсов и мямсесов в мямс IT вам мямстоит мямсь одну или мямслько мямс из мямса:
• мямсмямсание мямсмямсы веб-мямсмямс
• мямсмямс мямсмямсских мямсей, мямсмямсющих мямсе о мямсмямсле
• мямса мямсмямст и код-мямс
• мямсовка мямсков, мямсмямс мямсамм
• мямска мямсиц
• мямсмямсние мямсмямс
• мямсмямсие мямсмямс
Что вы мямсите :
• мямсние у мямсого мямсда и мямсмямс
• мямсотку мямс мямсов на мямсике и мямсние мямста, мямсый мямсет мямсам мямс
• мямсй кейс и мямсмямсь мямсать себя как мямсмямс на мямсорию мямс в 10.000 мямсмямсмямсй
• мямсжное мямсмямсмямс в фин-тех мямснию по мямсмямсм мямсы
мямс://мямсra.club/мямсилка
NK
📋 Пост в группе Мехмат МГУ:
В официальной группе мехмата в фейсбуке в последние дни публиковались отрывки из книги И.А. Тюлиной "Памяти математиков и механиков Московского университета, погибших в Великой Отечественной войне"
Приводим один отрывок, остальные смотрите в фб: https://facebook.com/Mech.Math.LMSU/
"Евгений Павлович Павлов (1918 года рождения) был студентом пятого выпускного курса механико-математического факультета МГУ, жил в общежитии на Стромынке. Имея в дипломе только отличные отметки, блестяще защитив дипломную работу на кафедре аэромеханики, Женя еще в студенческие годы стал сотрудником ЦАГИ – весьма престижного научно-исследовательского института, где его научным руководителем был член-корреспондент АН СССР Сергей Алексеевич Христианович. Когда началась война, Евгению предлагали бронь, но он отказался от распределения. За годы учебы он овладел многими военными специальностями, был прекрасным спортсменом, в том числе, лыжником. Он руководил школой пулеметчиков МГУ которую окончили многие студенты университета, среди них Лариса Ратушная, Лиза Шамшикова (с исторического факультета). Среди воспитанников школы пулеметчиков была белокурая светлоглазая студентка механико-математического факультета – Надя Комогорцева. Евгений заметил ее, когда был студентом четвертого курса. Она жила недалеко от Стромынки, и они часто ездили в университет на метро, попадая в один вагон. По разговору Нади с ее товарищами — Катей Рябовой, Юрой Тихомировым — Е. Павлов понял, что это первокурсники с его же факультета. У Евгения Павлова с его ученицей пулеметного дела Надей Комогорцевой сложились к началу войны дружественные отношения. Но оба они погибли в начале войны.
Посмертно была опубликована научная статья Е.П. Павлова в соавторстве с его научным руководителем С.А. Христиановичем.
В конце июня 1941 года Евгений Павлов писал одно за другим заявления во все инстанции с просьбой о мобилизации его в армию. Летом 1941 года его зачислили в 898-й стрелковый полк. Уже в августе 1941 года Евгений Павлович Павлов пропал без вести на дальних подступах к Москве. Надя обучалась штурманской профессии в городе Энгельсе. Она так и не узнала о гибели Жени Павлова: она погибла в ночном учебном полете в условиях резкой перемены погоды в ночь с 8 на 9 марта 1942 года"
— Ссылка:
Войдите на Facebook
В официальной группе мехмата в фейсбуке в последние дни публиковались отрывки из книги И.А. Тюлиной "Памяти математиков и механиков Московского университета, погибших в Великой Отечественной войне"
Приводим один отрывок, остальные смотрите в фб: https://facebook.com/Mech.Math.LMSU/
"Евгений Павлович Павлов (1918 года рождения) был студентом пятого выпускного курса механико-математического факультета МГУ, жил в общежитии на Стромынке. Имея в дипломе только отличные отметки, блестяще защитив дипломную работу на кафедре аэромеханики, Женя еще в студенческие годы стал сотрудником ЦАГИ – весьма престижного научно-исследовательского института, где его научным руководителем был член-корреспондент АН СССР Сергей Алексеевич Христианович. Когда началась война, Евгению предлагали бронь, но он отказался от распределения. За годы учебы он овладел многими военными специальностями, был прекрасным спортсменом, в том числе, лыжником. Он руководил школой пулеметчиков МГУ которую окончили многие студенты университета, среди них Лариса Ратушная, Лиза Шамшикова (с исторического факультета). Среди воспитанников школы пулеметчиков была белокурая светлоглазая студентка механико-математического факультета – Надя Комогорцева. Евгений заметил ее, когда был студентом четвертого курса. Она жила недалеко от Стромынки, и они часто ездили в университет на метро, попадая в один вагон. По разговору Нади с ее товарищами — Катей Рябовой, Юрой Тихомировым — Е. Павлов понял, что это первокурсники с его же факультета. У Евгения Павлова с его ученицей пулеметного дела Надей Комогорцевой сложились к началу войны дружественные отношения. Но оба они погибли в начале войны.
Посмертно была опубликована научная статья Е.П. Павлова в соавторстве с его научным руководителем С.А. Христиановичем.
В конце июня 1941 года Евгений Павлов писал одно за другим заявления во все инстанции с просьбой о мобилизации его в армию. Летом 1941 года его зачислили в 898-й стрелковый полк. Уже в августе 1941 года Евгений Павлович Павлов пропал без вести на дальних подступах к Москве. Надя обучалась штурманской профессии в городе Энгельсе. Она так и не узнала о гибели Жени Павлова: она погибла в ночном учебном полете в условиях резкой перемены погоды в ночь с 8 на 9 марта 1942 года"
— Ссылка:
Войдите на Facebook
NK
📢 Репост из группы Кафедра математической логики МГУ:
#матлог #наука #лекции #НИС
Научно-исследовательский семинар по математической логике
под руководством академика РАН Л. Д. Беклемишева и академика РАН А. Л. Семёнова
В среду 12 мая 2021 г. в 18:30 состоится доклад через Zoom:
Анупам Дас (Anupam Das, University of Birmingham)
"On axiomatisations and proof theory for Kleene algebra (and friends)"
Abstract:
Kleene algebra (KA) is a quasi-equational theory that captures the theory of rational language inclusion. However, completeness of the former for the latter is a non-trivial result, finally demonstrated in the celebrated works of Kozen '91 and Krob '91.
In this talk I will speak about a recent line of work that connects *cyclic proofs* to KA and certain extensions. I will show how a natural non-wellfounded system can be made regular via enriching the syntax of usual sequents to a form of 'hypersequent'. This takes advantage of several basic techniques on the cyclic proof side as well as known normal forms from automaton theory.
As an application, I will explain how to recover an alternative demonstration of Kozen's and Krob's result, as well as a later strengthening to so-called 'left-handed' KAs, due to Boffa '95 (cf. also Kozen & Silva '12).
---------------------------
Доклад будет проводиться через ZOOM
(приложение для компьютера и смартфона)
Скачать: https://zoom.us/download
Для получения ссылки на зум-конференцию пишите на почту ezolin@yandex.ru.
Важно: Просьба подключаться с реальными именами (русскими или английскими).
---------------------------
Плейлист видеозаписей прежних докладов:
https://www.youtube.com/playlist?list=PLEBNQnjHceeWSIr6UvHqBgoGs_8VL-8PE
YouTube-канал семинара:
http://www.youtube.com/channel/UCEEPLGdGja3msw4ZBv-lnVw
Веб-страница семинара:
http://lpcs.math.msu.su/rus/nis.htm
#матлог #наука #лекции #НИС
Научно-исследовательский семинар по математической логике
под руководством академика РАН Л. Д. Беклемишева и академика РАН А. Л. Семёнова
В среду 12 мая 2021 г. в 18:30 состоится доклад через Zoom:
Анупам Дас (Anupam Das, University of Birmingham)
"On axiomatisations and proof theory for Kleene algebra (and friends)"
Abstract:
Kleene algebra (KA) is a quasi-equational theory that captures the theory of rational language inclusion. However, completeness of the former for the latter is a non-trivial result, finally demonstrated in the celebrated works of Kozen '91 and Krob '91.
In this talk I will speak about a recent line of work that connects *cyclic proofs* to KA and certain extensions. I will show how a natural non-wellfounded system can be made regular via enriching the syntax of usual sequents to a form of 'hypersequent'. This takes advantage of several basic techniques on the cyclic proof side as well as known normal forms from automaton theory.
As an application, I will explain how to recover an alternative demonstration of Kozen's and Krob's result, as well as a later strengthening to so-called 'left-handed' KAs, due to Boffa '95 (cf. also Kozen & Silva '12).
---------------------------
Доклад будет проводиться через ZOOM
(приложение для компьютера и смартфона)
Скачать: https://zoom.us/download
Для получения ссылки на зум-конференцию пишите на почту ezolin@yandex.ru.
Важно: Просьба подключаться с реальными именами (русскими или английскими).
---------------------------
Плейлист видеозаписей прежних докладов:
https://www.youtube.com/playlist?list=PLEBNQnjHceeWSIr6UvHqBgoGs_8VL-8PE
YouTube-канал семинара:
http://www.youtube.com/channel/UCEEPLGdGja3msw4ZBv-lnVw
Веб-страница семинара:
http://lpcs.math.msu.su/rus/nis.htm
V
/or писать crdt на питоне или писать crdt на haskell
A
писать crdt на питоне
M
писать crdt на питоне
V
Ля
V
Ну ладно
S
Есть имитатор движений мышки реального человека. Какие шансы наебать антибот системы? Подробности об имитаторе спрашивайте.
S
S
Демка
I
Лучше фалоимитатор бери
S
Завидуешь
S
Давайте сыграем в игру, вы будете говорить как можно отличить кликер от реального человека и я буду говорить, что против этого принято в данном имитаторе
PS
хз, плавность траектории, задержка между действиями