H
потому что если мы будем проводить изоморфизмы между интерпретациями реальностей в диалоге то сможем избежать недопониманий многих
Size: a a a
2020 August 01
p
ты не прав
Мне пофиг я назову HOL потому что могу
H
потому что если мы будем проводить изоморфизмы между интерпретациями реальностей в диалоге то сможем избежать недопониманий многих
но сперва нужно телепатию изборестии
p
но сперва нужно телепатию изборестии
Достаточно контекст разговора оговаривать а не подразумевать
H
а ещё лучше формальный язык для разговоров
H
логос кек
p
Все сводится к логосу
H
@tucnak опередил своё время на тысячилетия вперёд
p
Давайте сделаем наш оффтопиковый логос
KR
а ещё лучше систему типов, чтобы мапила любой диалект/терминый в этот базовый язык
p
О придумал!
SP
ЛОГОС
KR
чтобы каждый говорил как хотел но не было мисинтерпретаций
p
Опишем формально процесс дискуссии в Раст оффтопике и верифицируем его
p
чтобы каждый говорил как хотел но не было мисинтерпретаций
Да
H
савельев ещё говорил о централизованном механизме для подбора пар
H
сканируем мозг и подбираем тебе тян
p
Ну не
p
Это скучно
SP
тян окажется куном