@haskellru

Страница 711 из 1551
Richter
27.12.2017
12:48:47
бакалавриатская программа же смешная

Alexander
27.12.2017
12:49:08
ну бакалавры точно не нужны

Richter
27.12.2017
12:49:09
хз че в рашке в вузах 4 года делают

Leonid
27.12.2017
12:49:23
5 лет на инженера

Google
Richter
27.12.2017
12:49:30
ну учитывая что в моем вузе почти все краснодипломники это бабы то понятно

Alexander
27.12.2017
12:49:32
но я видел мало людей, которые не шли на магистров

ну те кому образование вообще нужно

на физфаке не воспроизводится

Alexander
27.12.2017
12:50:26
из краснодипломников девушек крайне мало было, впрочем те кто были за дело

Richter
27.12.2017
12:50:42
я видел диплом одной шкуры, она сфоткала проводник windows и писала, что нужно дважды щелкнуть на ярлык, чтобы открыть программу

Alexander
27.12.2017
12:50:45
(
это утрировано, но после бакалавров обычно или в работу или дальше

Richter
27.12.2017
12:50:46
у нее красный диплом

? animufag ?
27.12.2017
12:51:35
это утрировано, но после бакалавров обычно или в работу или дальше
ну да. а какие ещё варианты? (армию) двигать науку со степенью бакалавра?

Alexander
27.12.2017
12:51:37
ну или в какой-нить исследовательский институт и там программу заканчивать

ну да. а какие ещё варианты? (армию) двигать науку со степенью бакалавра?
ну кому нужна корочка/образование - идут на магистра

Aragaer
27.12.2017
12:52:07
у меня красный диплом - я в начале пятого курса полистал свою зачетку и обнаружил, что мне надо пересдать 3 предмета и будет красный диплом.

Google
? animufag ?
27.12.2017
12:52:10
образование уменьшается у магистров, у кого то начинается преподавательская практика но в основном происходит написание диплома (на самом деле нет)

Richter
27.12.2017
12:53:51
кстати, я вот зачем сюла пришел в рашке можно получить техническое высшее экстерном?

Alexander
27.12.2017
12:54:05
сюда лучше с вопросами про haskell

? animufag ?
27.12.2017
12:54:09
исключение ау – там магистратура просто удобная форма для тех кто уже отбакалаврил где-то но хочет норм образования

Alexander
27.12.2017
12:55:06
ну про haskell здесь ответят лучше

вроде людей работающих в образовании сербии тут нету

;)

экстернаты в рф вроде во всех вузах топовых есть

A64m
27.12.2017
12:56:40
мне красный диплом было получить малореально, да я и не представляю как технически что-то можно было пересдать

Alister
27.12.2017
12:56:49
я на работе

ору в голос

? animufag ?
27.12.2017
12:57:59
поясните шутку

Aleksey
27.12.2017
12:58:02
A64m
27.12.2017
12:58:14
у меня были оценки в сессии что-то вроде 5 5 5 5 5 3 (например статфизика какая-нибудь) и я бы скорее удавился чем пересдавал статфизику, даже если бы мне дали пересдавать (нет), да и зачем?

? animufag ?
27.12.2017
12:58:18
вы тут типа друг с другом все скорешились и знаете кто откуда

Alexander
27.12.2017
12:58:33
поясните шутку
Рашка - Сербский город такой

? animufag ?
27.12.2017
12:58:46
ааа

Google
? animufag ?
27.12.2017
12:58:50
да было такое

Alexander
27.12.2017
12:59:39
тут 590 (о.О ?!) человек, я и половины не знаю, но из активных большинство имеет представление друг о друге

ну исключение @A64m_qb0, про него никто ничего не знает, но он возможно просто AI

Leonid
27.12.2017
13:00:02
:)

наверняка можно его докснуть по старым форумам, но всем лень

Richter
27.12.2017
13:00:59
Ну тогда всем привет

Меня зовут Влад, мне 19 лет

Я студент 2 курса мф ОГУ

Я тут очень давно, но ниче не писал. Увидел инвайт в комментах на eax.me

Leonid
27.12.2017
13:03:09
/me бросил гофера под ноги Richter

Index
27.12.2017
13:03:32
Это обряд посвящения?

Alister
27.12.2017
13:04:42
меня никто не знает, но я наверное уже всех достал

? animufag ?
27.12.2017
13:05:26
ты тот кто выдаёт задания

Alex
27.12.2017
13:05:39
Гофера не оставляй в живых

Leonid
27.12.2017
13:05:57
Это обряд посвящения?
это из древней копипасты с нульчана. про то как заходить в камеру в тюрячке же.

Index
27.12.2017
13:06:06
Он и так уродился инвалидом, не обижайте гофера.

? animufag ?
27.12.2017
13:06:10
Я тут очень давно, но ниче не писал. Увидел инвайт в комментах на eax.me
да когда-то интересно было наблюдать за этим челом

Index
27.12.2017
13:06:15
Из-за дефекта ДНК у него нет генериков.

Google
Alister
27.12.2017
13:06:41
а еще многословность граничащая с шизофазией

Richter
27.12.2017
13:07:09
весело тут у вас

Index
27.12.2017
13:07:36
подходящий маскот для Go это Uma (ugliest man alive) из Witcher 3. Он в принципе очень похож на их текущего маскота, только приближеннее к правде.

Alexander
27.12.2017
13:07:42
сегодня тут очень странная атмосфера

Richter
27.12.2017
13:08:09
а кто-нибудь собирается из россии уезжать?

Alister
27.12.2017
13:08:27
невозможно уехать из России когда ты из Украины

Евгений
27.12.2017
13:08:36
сегодня тут очень странная атмосфера
Новый год скоро, атмосфера совсем нерабочая

Admin
ERROR: S client not available

Richter
27.12.2017
13:08:41
у меня прабабка была гражданка литвы, я иогу получить литовский паспорт, но для этого придется отказаться от гражданства рф

и будет гражданствл ес

я хз, стоит ли

Denis
27.12.2017
13:09:03
да как тут работать, открываешь работу а там КРОВЬКИШКИТАЙПФЕМИЛИ

A64m
27.12.2017
13:09:17
Стоит, конечно

Alexander
27.12.2017
13:09:24
у меня вот кровь и красное СИ поломали все что можно

и на праздники ушли

Alister
27.12.2017
13:09:30
внимание задача

Index
27.12.2017
13:09:32
@catamorphism А что у тебя там с type family и кайндами, я видел утром вопрос, но без конкретики.

Alister
27.12.2017
13:09:33
Учитель написал на доске четыре числа и предложил ученикам посчитать произведение любых двух. Тут же прозвучали пять ответов: «2», «3», «4», «5», «6», но произведение одной из пар так и осталось неназванным. Чему оно равно?

Alexander
27.12.2017
13:09:34
сиди и разребай

Leonid
27.12.2017
13:10:10
я хз, стоит ли
Хуже не будет

Google
Index
27.12.2017
13:10:15
вроде ж и кайнды, и типы, это всё обычные параметры в type family, по которым можно матчить по обычным правилам

Sergey
27.12.2017
13:11:17
четыре числа, но сколько раз он написал каждое число?

Richter
27.12.2017
13:11:26
Хуже не будет
не хочу отказываться от гражданства рф

это как проклятие

Alister
27.12.2017
13:11:42
по одному

Denis
27.12.2017
13:12:08
@catamorphism А что у тебя там с type family и кайндами, я видел утром вопрос, но без конкретики.
Есть ТФ, в ней два оверлаппинг поликайндных паттерна(на самом деле несколько пар оверлаппинг паттернов, но это неважно). Она не редьюсится, не мог понять почему, залип в пейпер в итоге.

Alister
27.12.2017
13:12:31
я вот думаю стоит ли ливать в США, или все же куда-то в англоязычные далекие земли типа Новой Зеландии или Австралии

Leonid
27.12.2017
13:12:40
возьму паттерны точёные, срублю тайп фемели оверлапчёные

Denis
27.12.2017
13:12:56
λeonid yes please

Index
27.12.2017
13:13:00
Насколько я понимаю, нет разницы между kind variable и type variable в паттерн-матчинге семей типов.

Евгений
27.12.2017
13:13:18
по одному
Ты понимаешь, что облажался в условиях? 2, 3, 5 — простые, они могут быть только произведениями 1 на самих себя. Это уже четыре числа. А 4 из них не получить

Alexander
27.12.2017
13:13:38
никто не говорил, что числа целые

вроде

(но меняет ли это дело, мне пока не очевидно)

A64m
27.12.2017
13:14:53
не хочу отказываться от гражданства рф
а какой толк от российского паспорта?

Евгений
27.12.2017
13:15:47
(но меняет ли это дело, мне пока не очевидно)
Меняет. Если там есть нецелые числа, то нужно расширить целые соответствующими нецелыми числами и изучать простые в этом более широком полукольце

Alexander
27.12.2017
13:16:08
ну в смысле с нецелыми я сходу решения не нашёл

так то понятно, что меняет

Denis
27.12.2017
13:16:14
https://gist.github.com/dredozubov/282331b9473a6879598434c6618943d7 вот чего-то вроде этого есть(там еще другие клоузы, поэтому существует первый аргумент), но оно нифига не редьюсится нормально вторым клоузом

Страница 711 из 1551