Size: a a a

Programming Offtop

2020 June 25

RU

Roman Ushakov in Programming Offtop
давайте выпуклых котов сделаем стикерами канала
источник

(

( in Programming Offtop
Roman Ushakov
давайте выпуклых котов сделаем стикерами канала
Получится филиал понва
источник

(

( in Programming Offtop
Понвтоп
источник

(

( in Programming Offtop
Unrelated: чёт у меня котест не взлетает. Зелёной стрелочки "запустить" нету в студии
@themishkun ты вроде им активно пользуешься?
источник

AD

Aleksey D. in Programming Offtop
у меня одного сегодня все странички с пятого раза грузятся? 🙄
источник

ML

Mikhail Levchenko in Programming Offtop
(
Unrelated: чёт у меня котест не взлетает. Зелёной стрелочки "запустить" нету в студии
@themishkun ты вроде им активно пользуешься?
а ты плагин поставил?
источник

ML

Mikhail Levchenko in Programming Offtop
там плагин для intelij (так и называется)
источник

(

( in Programming Offtop
Mikhail Levchenko
а ты плагин поставил?
А
источник

(

( in Programming Offtop
Ладно, мне казалось, раньше без плагина можно было гонять
Спасибо
источник

ML

Mikhail Levchenko in Programming Offtop
(
Ладно, мне казалось, раньше без плагина можно было гонять
Спасибо
раньше да, но только всь класс целиком
источник

ML

Mikhail Levchenko in Programming Offtop
и ваще, там kotest ломает обратную совместимость уже 4 раза
источник

ML

Mikhail Levchenko in Programming Offtop
для тестового фреймворка это непозволительно безответственно
источник

BP

Bogdan Panchenko in Programming Offtop
(
Это же не динамика какая-то, ей богу
Это ничем не лучше. Те же яйца. Только в компайлтайме
источник

BP

Bogdan Panchenko in Programming Offtop
(
Так это же основные принципы формальной верификации, теории типов, множеств и всего прочего
F<A> можно проверять на любых A и это гарантирует, что F будет идентично работать для любых A
Мне сигналы вспомнились...
источник

QH

Quantum Harmonizer in Programming Offtop
Господа, знаете, что общего между СРОКАМИ и СРАКАМИ?
источник

AO

Artem Osipov in Programming Offtop
и те и те горят?
источник

QH

Quantum Harmonizer in Programming Offtop
Artem Osipov
и те и те горят?
дыа)
источник

AM

Andrew Mikhaylov in Programming Offtop
Quantum Harmonizer
Господа, знаете, что общего между СРОКАМИ и СРАКАМИ?
источник

I

Igor in Programming Offtop
Если еще не знаете, как с пользой провести сегодняшний вечер
и хотите узнать о фичах лучшего прикладного языка программирования 😎🤓🧐‼️
Ссылка на zoom будет в @fprog_spb
источник

I

Igor in Programming Offtop
Приветы! В этот четверг (25.06) в 19-00MSK планируется доклад от Юрия Горшкова @Yuu_chan
«Предмет верблюжьей гордости»

Наверное, нет другого языка со столь навороченной системой модулей, как в OCaml. В докладе мы посмотрим, как с их помощью можно не только организовывать код, но и имитировать объекты, тайпклассы, семейства типов и другие штуки.

Ссылка появиться в канале за 15 минут до мероприятия. До встречи!
источник