В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

codingteam

69 membersпожаловаться на группу
2020 July 13

c

codingteam@cjr in codingteam
Minoru
ок, про восьмерых я вас перепугал, конечно. Фолекс и Дядюшка Чу пока ещё даже инваты не приняли, и Фолекс уже сказал, что не знает, будет ли у него время
источник
13:00пожаловаться#1

t

ttldtor in codingteam
codingteam@cjr
Minoru
о, а что, инвазивно тоже можно было?
С Присмотром всё можно
источник
13:00пожаловаться#2

c

codingteam@cjr in codingteam
Славный капитан
там надо будет сделать стековую машину с польской записью выражений и считать программы, заданные в виде битмапов или даже частотно-модулированных сигналов.
источник
13:01пожаловаться#3

Dv

Dr. Friedrich von Ne... in codingteam
codingteam@cjr
Славный капитан
там надо будет сделать стековую машину с польской записью выражений и считать программы, заданные в виде битмапов или даже частотно-модулированных сигналов.
Мне нравится, довайте запилим
источник
13:01пожаловаться#4

c

codingteam@cjr in codingteam
Славный капитан
я... пока не уверен что хочу ради этого отказываться от субботнего баттлтеха и воскресного D&D
источник
13:02пожаловаться#5

t

ttldtor in codingteam
кто если не ты?
источник
13:03пожаловаться#6

c

codingteam@cjr in codingteam
Славный капитан
например, ты ;3
источник
13:04пожаловаться#7

t

ttldtor in codingteam
я в субботу буду где-то у Воронежа
источник
13:06пожаловаться#8

t

ttldtor in codingteam
гм... или уже в Питере?
источник
13:06пожаловаться#9

t

ttldtor in codingteam
не понимаю я эти поезда
источник
13:06пожаловаться#10

c

codingteam@cjr in codingteam
Славный капитан
ну значит фон Невер
источник
13:07пожаловаться#11

c

codingteam@cjr in codingteam
Славный капитан
вы только ему саморезы если будете вкручивать, то неоцинкованные, а то ЭДС возникнет и все плохо будет.
источник
13:08пожаловаться#12

Dv

Dr. Friedrich von Ne... in codingteam
ЭДС — хорошо
источник
13:08пожаловаться#13

Dv

Dr. Friedrich von Ne... in codingteam
Главное чтоб не паразитная
источник
13:08пожаловаться#14

c

codingteam@cjr in codingteam
portnov_work
https://habr.com/ru/post/510648/ так, тут штанга какая-то
Хабр
Встраивание Haskell: компиляторы и компиляция компиляторов
Эта статья является переводом поста Chris Hodapp Embedding Haskell: Compilers, and compiling compilers В своём посте автор рассматривает различные подходы к испо...
источник
15:11пожаловаться#15

c

codingteam@cjr in codingteam
Minoru
где штанга вот штанга: https://soap.coffee/~lthms/posts/AlgebraicDatatypes.html
источник
15:30пожаловаться#16

c

codingteam@cjr in codingteam
Minoru
лично я перестал что-либо понимать в коде на доказательстве транзитивности type_equiv, а мозги потекли при доказательстве того, что list — это морфизм. Надо учить Coq, ничегошеньки непонятно ведь!
источник
15:34пожаловаться#17

c

codingteam@cjr in codingteam
Minoru
(да-да, перестал понимать ещё на этапе введения *вспомогательной нотации*)
источник
15:35пожаловаться#18

c

codingteam@cjr in codingteam
Akon32
Minoru: а чо там с чатиком под icfpc?
источник
16:36пожаловаться#19

c

codingteam@cjr in codingteam
Minoru
Akon32: ты правильно заходил, заходи снова. Я тебе просто ответить не успел в прошлый раз
источник
16:41пожаловаться#20