Первокур?

anyamsu😍😍😍😍👍👍👍👍👍

Онимэчнеке быдло

📢 Репост из группы Кафедра математической логики МГУ:

#матлог #наука #лекции

Возобновляет работу семинар "Алгоритмические вопросы алгебры и логики" (семинар С.И. Адяна). Заседания семинара в ближайшее время будут проходить онлайн.

В ближайший вторник 27.10.2020, 18:30 MSK (UTC+3) состоится доклад

A.A. Razborov (University of Chicago and Steklov Mathematical Institute)
Title: SAT Solvers and Ordered Decision Strategies

Abstract: SAT solvers have become standard tools in many application domains. The
techniques dominating the landscape of practical SAT solving today are
collectively called ``Conflict-Driven Clause Learning'' (CDCL) and their
tight connections to proof complexity and the resolution proof system in
particular make them very amenable to mathematical analysis.

We will start by reviewing the most important features of CDCL-based
solvers, such as decision strategy, learning scheme and restart policy. Time permitting, we will talk about the effect the choice of decision strategy may have on the performance of the solvers. Somewhat surprisingly, the answer crucially depends on a priori unrelated
feature, learning scheme.

Based on joint work with Nathan Mull and Shuo Pang.

(Язык доклада английский.)

Подключиться к конференции Zoom 27.10, 18:30 MSK (UTC+3)
https://mi-ras-ru.zoom.us/j/98507073373?pwd=MU1iN3lJV010UCt6SnR2YjJRY0F1UT09

Идентификатор конференции: 985 0707 3373
Код доступа: 027567

/wtf

/help@msu_hub_bot

Функции бота

⚜️ Чаты МГУ:
• Изначальная цель бота — объединять чаты МГУ обновляемыми закрепами
• @chat_msu — основной чат
• /links — ссылки на все чаты инфраструктуры
• /internet — мониторинг интернета в общежитиях

🎙 Формат файлов:
• /stt — speech-to-text, опознает текст в войсе
• /tts — text-to-speech, переводит текст в речь
• /itt — image-to-text, опознает текст в картинке
• /itp — image-to-pdf, опознает текст и выдает размеченную пдфку
• /song — опознаёт песню

🗣 Языковой перевод:
• /tr lang — перевод текста на язык lang (ru, en и т.п.)
• /en — перевод текста на английский
• /ru — перевод текста на русский

👥 Фишки для чатов:
• /vote — голосование опросом
• /rate — голосование кнопками
• /like — возможность лайкнуть сообщение
• /raffle — запустить розыгрыш

🤖 Генерация случайностей:
• /roll n m — ролл m чисел из n цифр
• /rolls n m — команда /roll для всех
• /random n m — случайное число от n до m включительно
• /randoms n m — команда /random для всех
• /d6, /dice — бросить кубик
• /truth — выдает истину на любой вопрос
• /or — выдает один из вариантов из текста с или
• /mash — превращает текст в кашу

👨🏻‍💻 Программирование:
• /py — выполнить код на Python 3
• /pys — аналог /py, но с вводом данных
• /prog — все доступные языки (70 штук)

🧠 Нейронки и прочее:
• /wf (/wolfram) — результат от WolframAlpha по запросу (link)
• /sr (/srgan, /lg) — увеличивает изображение SRGAN'ом (link)
• /wa (/waifu) — увеличивает изображение Waifu2x'ом (link)
• /bg (/removebg) — удаление фона у изображения (link)
• /dd (/deepdream) — погрузиться в пучины безумия (link)
• /what (/wtf) — получить описание картинки (link)
• /toon (/toonify) — преобразиться героем Disney (link)
• /bw (/badwiki) — определение сгенерированное GPT-2 (link)

📨 Стикеры:
• /s — сделать стикер из любой картинки, через пробел можно задать его эмодзи
• /sc — аналог /s, но создает стикерпак для чата, где вызван
• /sa — скопировать существующий анимированный стикер к себе в пак
• /sac — аналог /sa, но создает стикерпак для чата, где вызван
• /sd — удалить стикер из пака
• /a, /m — из текста делает анимированный стикер

📝 Обработка текста:
• s/one/two — аналог sed, ищет паттерн one и заменяет на two
• /t (/tex) — компилирует LaTeX код
• /trans — транслит текста
• /punto — меняет раскладку: ghbdtn -> привет
• /zalgo — делает страшный текст

🤪 Всякие разные:
• /arxiv — поиск статей на arXiv
• /tenet — разворачивает контент в обратную сторону
• /avatar — сгенерировать уникальный аватар пользователя
• /me — аналог команды эпохи IRC
• /location — из локации даёт широту и долготу, из широты и долготы даёт локацию
• /excuse — генерирует отмазку
• /gender — узнать гендер
• /2ch board — выдаёт топ тредов с доски (работает только в лс)
• /json — системная информация о сообщении
• /donate — поддержать развитие бота
• /help — вызов этого сообщения

🛠 Функции без команд:
• Переводит войсы в текст
• Распознает ссылки на посты VK и выдает красиво форматированный результат
• Распознает ссылки на видео YouTube и VK и выдает прямые ссылки
• Проверяет новых участников на спамеров по системе CAS
• Поздравляет при успехе бросков: 🎯, 🏀

🟠 Примечание: для большинства команд поддержана работа через реплай. Например, команду /en можно использовать двумя способами:
— набрать текст после команды: /en привет
— вызвать команду ответом на уже отправленное сообщение

🟢 Примечание: для команд с аргументами есть дефолтные значения. Например, /roll вызывает /roll 3 1.

🔵 Примечание: некоторые команды можно вызывать через хештег. Например, Получил пятёрку! #like. Аргументы у хештегов задаются через подчеркивания, а не пробел. В отличие от команд, хештеги можно писать в любой части текста.

🟣 Примечание: максимальный размер файлов доступных ботам в Telegram — 20 Мб.

👨🏻‍💻 Создатель: @rm_bk

/tts

/wtf

/wtf

Всем привет!
У нас есть вот такой первоначальный сеттингс для игры: Четыре игрока обслуживают один город, производят в его округе различные товары, всего их 16. Товары делятся на 3 уровня в зависимости от сложности добычи. Например есть зерно, есть животная ферма, которая потребляет зерно и делает кожу, есть фабрика следующего уровня, где кожа перерабатывается в одежду. Суть игры в том, что игроки сбывают эти товары в город, но при этом стоимость этих товаров будет биржевая. Ищем математика/экономиста, кто реализует алгоритм поведения цены в зависимости от множества факторов, таких как уровень производства, уровень потребления, уровень счастья в городе, население и прочее.
Кому интересно пишите @veikab

Социализм и плановую экономику стройте. Хуй забейте на население, счастье, потребление и прочее.

Это игра)

Экосистема чатов МГУ ✨
— это сообщество студентов и выпускников МГУ
— здесь приветствуется взаимопомощь в любом виде
— спам удаляется, а агрессия не одобряется

⚜️ Основные ресурсы:
— Чат МГУ | 654 уч. | @chat_msu
— Новости МГУ | 213 уч. | @news_msu
— Новости экосистемы | 67 уч. | @msu_hub

🏘 По общежитиям:
— ГЗ | 677 уч. | @ds_msu
— ДСЛ | 329 уч. | @dsl_msu
— ДАС | 222 уч. | @das_msu
— ДСВ и ДСК | 77 уч. | @dsv_dsk_msu

👨🏻‍🎓 По факультетам:
— Мехмат | 850 уч. | @mechmath
— Физфак | 221 уч. | @phys_msu
— ВМК | 216 уч. | @cs_msu
— Химфак | 132 уч. | @chem_msu
— Геолфак | 111 уч. | @geol_msu
— Биофак | 86 уч. | @bio_msu
— Филосфак | 50 уч. | @philos_msu
— Психфак | 40 уч. | @ps_msu
— Юрфак | 39 уч. | @law_msu
— Эконом | 39 уч. | @econ_msu
— Журфак | 34 уч. | @journ_msu
— Филфак | 31 уч. | @phil_msu
— Истфак | 19 уч. | @hist_msu
— Соцфак | 14 уч. | @soc_msu
— Геофак | 14 уч. | @geo_msu
— ФИЯР | 13 уч. | @ffl_msu

🗺 По филиалам:
— Ташкент | 194 уч. | @tb_msu

🗿 Тематика:
— Видеоигры | 37 уч. | @cyber_msu
— Межфакультетские курсы | 16 уч. | @mfk_msu
— Хакатоны МГУ | 6 уч. | @hack_msu

🏖 Лагеря:
— Буревестник | 53 уч. | @bur_chat
— Университетский | 40 уч. | @universitetsky_msu
— Красновидово | 36 уч. | @krasnovidovo_msu

📜 Каналы:
— Вакансии МГУ | 197 уч. | @jobs_msu
— Новости студсоветов | 19 уч. | @studsovet_msu

Приятного общения ✌🏻