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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

codingteam

82 membersпожаловаться на группу
2021 February 18

f

folex in codingteam
Dr. Friedrich von Never
Выглядит очень интересно.

Это что-то для описания доказательств?
Зависимые и линейные типы + вывод статик пруфов из всяких if, как в котлине + возможность менять эти пруфы чз функции, как в тайпскрипте только вроде мощнее
источник
09:36пожаловаться#1

O

Omap in codingteam
вообще termux даёт доступ к своим файлам через saf, но я хз как его открыть в самсунговском файловом менеджере
источник
09:38пожаловаться#2

t

ttldtor in codingteam
Omap
у тебя андроед какй?
10
источник
10:11пожаловаться#3

t

ttldtor in codingteam
folex
Зависимые и линейные типы + вывод статик пруфов из всяких if, как в котлине + возможность менять эти пруфы чз функции, как в тайпскрипте только вроде мощнее
Про какие ещё доказательства в котлине и тс ты говоришь? Гм.
источник
10:12пожаловаться#4

t

ttldtor in codingteam
Dr. Friedrich von Never
И писать C++ компилятор :)
А люди тогда живут, чтобы постоянно совершать акт дефекации
источник
10:14пожаловаться#5

SS

Sergiy Shatunov in codingteam
ttldtor
А люди тогда живут, чтобы постоянно совершать акт дефекации
так вот в чём реальный смысл жизни!
источник
10:15пожаловаться#6

O

Omap in codingteam
ttldtor
10
на 10 у меня работало
источник
10:18пожаловаться#7

FO

FORTRAN ONE LOVE in codingteam
Devel29A
Они хитро поступили. Теперь он на базе кланга
А лицензия шланга такое позволяет?
источник
10:26пожаловаться#8

K

Kerrigan in codingteam
шланг вроде бсд
источник
10:26пожаловаться#9

D

Devel29A in codingteam
FORTRAN ONE LOVE
А лицензия шланга такое позволяет?
Понятия не имею. Я вообще не уверен, что не вели отдельных переговоров на этот счет
источник
10:26пожаловаться#10

K

Kerrigan in codingteam
не, своя какая-то даже
источник
10:27пожаловаться#11

K

Kerrigan in codingteam
у меня какая-то странная ерунда творится с виндовым терминалом
источник
10:29пожаловаться#12

K

Kerrigan in codingteam
он регулярно не дает печатать какие-то буквы
источник
10:30пожаловаться#13

K

Kerrigan in codingteam
например D
источник
10:30пожаловаться#14

D

Devel29A in codingteam
какой именно?
источник
10:30пожаловаться#15

K

Kerrigan in codingteam
который новый модный
источник
10:30пожаловаться#16

D

Devel29A in codingteam
павершельный?
источник
10:30пожаловаться#17

K

Kerrigan in codingteam
Devel29A
павершельный?
да
источник
10:31пожаловаться#18

t

ttldtor in codingteam
Kerrigan
например D
он не даёт печатать капсом
источник
10:47пожаловаться#19

K

Kerrigan in codingteam
ttldtor
он не даёт печатать капсом
другие буквы дает
источник
10:48пожаловаться#20