O
Сказали, что творческого подхода не нужно, а вот коммуникабельность и технический подход нужен
Size: a a a
2020 June 29
O
Я так подумала, что мне как раз подходит 😁
O
Но пока офер ещё не прислали, я бы себя так не называла 😅
AG
звучит как BI
O
звучит как BI
что это?
AG
bunched implications!
AG
разновидность логической системы, где контексты являются деревьями, а не мультимножествами
AG
используется для аксиоматизации сепарационной логики например
AG
еще можно рассматривать как внутренний язык бимоноидальных категорий
O
используется для аксиоматизации сепарационной логики например
🤯
O
еще можно рассматривать как внутренний язык бимоноидальных категорий
мне как-то проще объясняли 😅
O
O
возможно тот же метод, но задачи там другие. Мне самой интересно как это все устроено 😅
M
Ну в целом пофигу так как после отзывов про очереди буду брать страховку сам, или работодатель даст если хорошая фирма попадётся
Насчёт походов к специалистам согласна, гораздо быстрее в частную клинику на прием попасть, чем в поликлинику. Но мне понравилось, например, что по госстраховке можно зарегистрироваться у семейного врача в частной клинике и содра покрывает 100% расходов. Полезно, если нужно взять больничный, продлить рецепт и прочие мелочи, и даже некоторые анализы в частной клинике содра компенсирует
M
а мне сделали рабочее предложение в германии 🤓 а я без документов и времени все сделать до октября 😅 вообще не представляю как...
😍 а какой город, Франкфурт? я тоже в Германию переезжаю скоро, вдруг где-то по соседству окажемся)
O
😍 а какой город, Франкфурт? я тоже в Германию переезжаю скоро, вдруг где-то по соседству окажемся)
Франкфурт на Майне 😊
O
Но я пока ещё не переезжаю 😅 я пока кусаю локти, что улетела неделю назад 🤣
M
а я всю весну кусала, что в Германии не осталась переживать карантин 😭 вернулась за несколько дней до закрытия границ и сидела в Вильнюсе одна, не знала, когда смогу вернуться, такое себе