Shadow Fiend?

да запиньте вы уже

Запинили-таки, хатико дождался ?

думаю начать sf, хотя тапл просто так раньше читал, без решения задачек, и то 1/5 осилил мб

sf как-то получше идёт. ну то есть когда читал его мне пруверы казались чем-то неинтересным, но решение задачек как-то втянуло (а потом чёт забесило что bool и prop из разных миров и доказательства стали какими-то адовыми и бросил)

хм

/stat@combot

combot.org/chat/-1001071213089

0%?

0%

Это health

лол

может потому что гитхаб прилег?)

хелз 68% стабильно

очень неплохо

как так вообще

как так вообще

у тебя flood ratio оче низкий. плохой пример подаёшь

Яж не флудер

ну ты постарайся

idris страшный вообще

после кока смотреть на него невозможно

ну, в контексте пруфов конечно, а так все ок

ну в коке как-то кажется магическим то что у тебя откуда то эти тактики берутся.

ну так суть пруфов доказать что-то, а не писать максимально явный код если тактики выглядят магически, но при этом они доказанно верно работают, то все ок

еще agda есть)

agda мне нравится юникодом) как и lean

lean кстати выглядит наиболее интуитивно понятным

можно сразу сесть и чет написать и доказать, не читая почти туторы

https://brianmckenna.org/blog/evenodd_agda_idris_haskell_scala

надо писать доказательства на жс, ну

надо писать доказательства на жс, ну

На го

надо писать доказательства на жс, ну

Код на жс не требует доказательств

Ето аксиома

Потому что он лучший

Вот на хаскелле естт редакс?

Сомневаюсь

ну вообще есть)

Не может быть, зига уже говорил нам что редакс идеологически неверный

Неверные в хаскеле? Нонсенс!

Шах и мат аметисты

Зига - это ошибка компиляции

?

А зигохистоморфный?

я вообще хз чем ему редакс не угодил

обычный фолд стрима событий же в стрим состояний

Украдкой кинул ошибку компиляции

Зига - это ошибка компиляции

а ты я смотрю через чур дерзским стал?

ух. таки выразился резковато, признаю. Но смысл остается

я думаю не позволительно так выражаться

Код на жс не требует доказательств

Ух

бля

кто то юзал reagent в react native?

@clojure_ru ?

ребзя, а где можно аниму на англ посмотреть?

ну на шики в принципе часто бывают англ сабы

всего одна серия вышла а уже на аве а вдруг это просто графонистый шлак

ну читавшие ранобе прям пищали от радости

да и у меня она была в списке оооочень задолго до релиза, но не помню, почему

видно, что-то убедило меня железно ждать и посмотреть

а так-то не важно, кого на аву ставить, мне просто понравилось, как Вайлет нарисована

ну справедливо

просто пока что не цепляет

ERROR: S client not available

полагаю, где-то проскакивала новость, что нетфликс как-то приложит руку к изданию

забавно, что первая серия самодостаточна то есть это могла бы быть анима где каждая серия со своим сюжетом

вот цитрус мне прям советовали почитать давно, а посмотрел первую серию и хрень какая-то

но зимний сезон прям шикарен на тайтлы, давно такого не было

/stat@combot

combot.org/chat/-1001071213089

>73%

это из-за аниме?

ну конечно

я ведь уже говорил, кто когда аниме обсуждаешь, хелз растет

вон в фв хелз 125%, а там только аниме

а вот сегодня там был срачик за раст - не фп, и хелз до 114 упал

надо все крутые апкоминги 2018 добавить в ptw

а вот сегодня там был срачик за раст - не фп, и хелз до 114 упал

не про это

да, там был срачик не про "раст - не фп", а про "раст - фп". Ну или "раст - не только лишь процедурщина", но тем не менее все скатилось в первые два

раст ооп

Нонсенс, что значит не только лишь процедурщина?

combot.org/chat/-1001071213089

кажись пропала любимая шкала

какая?

о, хелз уже 83

а где он

а всё

под similar chats

о, хелз уже 83

это потому что здесь так мало активности видимо

да, но между отсутствием активности и хелзом зависимость не прямая

то есть в активных чатах хелз тоже высокий

м

надо чтобы раз в день было обсуждение и не про фп

и люди разные