Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

2021 March 13

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
линейность там неплохо помогает
источник

(

( in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
Elijah
да я же рофлю
А я не расстраиваю Диму, а то подумает, что он больше не нужен бизнесу
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
как всегда с пруф серчем
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
фокализация еще
источник

E

Elijah in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
типа, ясен пень что полностью он всю работу за тебя делать не будет (иначе нахуя ты тогда?), но тот факт, что он способен большую часть механической работы сделать самостоятельно — впечатляет
источник

E

Elijah in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
короче, Type-Driven Development with Idris это одна из наиболее потрясающих книг, которые я когда-либо открывал
источник

E

Elijah in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
и я всего навсего 3 главы успел осилить
источник

w

welcometotheclubbudd... in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
Elijah
и я всего навсего 3 главы успел осилить
Эх, сча бы осилить
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
даже вон DPLL можно загнать в фокусно-линейные рамки
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
в целом я считаю всякие штуки из автосолверов переносить в теорию типов это довольно богатая тема
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
так что тут брэди может что и накопает еще крутого
источник

E

Elijah in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
эх, сколько всего интересного, только бери и разбирайся
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
он правда уже который год всё собирается этим заняться и всё как-то не доходят видимо руки :)
источник

E

Elijah in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
а мог бы в понв раз в две недели приходить и с горящей жопой улетать через день
источник

E

Elijah in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
а такой вопрос, где в основном эти штуки используют, куда мне идти искать работу?
источник

(

( in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
Elijah
а мог бы в понв раз в две недели приходить и с горящей жопой улетать через день
В него как-то в твиттере въехали, что мол велью где
источник

w

welcometotheclubbudd... in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
(
В него как-то в твиттере въехали, что мол велью где
А попа помыта?
источник

(

( in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
welcometotheclubbuddy
А попа помыта?
источник

E

Elijah in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
(
В него как-то в твиттере въехали, что мол велью где
есть тред?
источник